Konjektür, çoğunlukla yetersiz zeminlere dayanılarak gerçek, doğru, hilesiz olduğu farz edilen önermelere verilen ad. Karl Popper konjektür teriminin bilim felsefesinde yaygın kullanımına öncülük etmiştir. Konjektür, öngörülen koşullarda sınanabilir olan hipotezin (bundan ötürü teorinin, aksiyomun ve kanunun da) karşıtıdır. Matematikte konjektür, doğru gibi görünen fakat kanıtlanmamış önerme ya da teoremler için kullanılır.
Matematiksel ispat, matematiksel bir ifade için türetilmiş varsayımların mantıksal olarak doğru olduğu sonucunu garantileyen, çıkarımsal bir argümandır. Argüman, teoremler gibi önceden oluşturulmuş diğer ifadeleri kullanabilir; lakin prensipte her delil, kabul edilen çıkarım kurallarıyla birlikte yalnızca aksiyom olarak bilinen belirli temel veya orijinal varsayımlar kullanılarak oluşturulabilir.
Eksiklik Teoremi, Kurt Gödel'in 1931 yılında doktorasında yer verdiği "Principia Mathematica Gibi Dizgelerin Biçimsel Olarak Karar Verilemeyen Önermeleri Üzerine" başlıklı makalesinde 4. önerme olarak geçer. Sezgisel olarak matematikte belitlere (aksiyom) dayanan her sistemin tutarlı olması dahilinde eksik olması gerektiğini bildirir.
Matematiksel mantık, biçimsel mantığın matematiğe uygulanmasıyla ilgilenen bir matematik dalıdır. Metamatematik, matematiğin temelleri ve kuramsal bilgisayar bilimi alanlarıyla yakınlık gösterir. Matematiksel mantığın temel konuları biçimsel sistemlerin ifade gücünün ve biçimsel ispat sistemlerinin tümdengelim gücünün belirlenmesidir.
Mantık ya da eseme, bilginin yapısını inceleyen, doğru ile yanlış arasındaki akıl yürütmenin ayrımını yapan disiplindir, doğru düşüncenin aletidir. Önceleri bir felsefe dalıyken daha sonra kendi başına bir ihtisas alanı olmuştur. Matematik ve bilgisayar biliminin de parçası haline gelmiştir. Bir disiplin olarak Aristoteles tarafından kurulmuştur. Aristoteles'den etkilenen Farabi tarafından iki kısımda kategorize edilmiştir. İbn-i Sina geçicilik ve içerme arasındaki ilişkiyi geliştirmiştir. Çağdaş zamanlarda Frege, Russell ve Wittgenstein önemli katkılar yapmıştır.
Mantıkta, doğrulanabilir ya da yanlışlanabilir olmak zorunda olan ifadelere önerme denir. Kesin olan cümleler yanlış veya doğru da olsa önermedir; yani cümlenin yanlış veya doğru olduğunun bilinmesi gerekmez, doğrulanabilir olduğunun bilinmesi yeterlidir. Soru tümceleri önerme olamaz çünkü bir soru doğruluk ifade etmez.
Tüketerek tanıtlama veya kaba kuvvet yöntemi ya da durum çözümlemesi olarak bilinen yöntem, tanıtlanacak önermenin sonlu sayıda duruma bölünerek her durumun ayrı ayrı tanıtlandığı bir matematiksel tanıt yoludur. Tüketerek tanıtlama iki aşamada gerçekleştirilir:
Öklid (Grekçe: Εὐκλείδης Eukleídēs; MÖ 330 - 275 yılları arasında yaşamış, İskenderiyeli bir matematikçidir. Megaralı Öklid'den ayırmak için bazen İskenderiyeli Öklid olarak anılır, genellikle "geometrinin kurucusu" veya "geometrinin babası" olarak anılan bir Yunan matematikçiydi. Ptolemy I döneminde İskenderiye'de aktifti. Elemanlar, yayınlandığı zamandan 19. yüzyılın sonlarına veya 20. yüzyılın başlarına kadar matematik öğretimi için ana ders kitabı olarak hizmet veren, matematik tarihindeki en etkili çalışmalardan biridir. Elemanlar’da, Öklid, küçük bir aksiyom setinden, şimdi Öklid geometrisi olarak adlandırılan şeyin teoremlerini çıkardı. Öklid ayrıca perspektif, konik kesitler, küresel geometri, sayı teorisi ve matematiksel kesinlik üzerine eserler yazdı.
Tümevarımcılık, bilimsel teoriler geliştirmek için bilimsel yöntemin geleneksel ve hala yaygın felsefesidir. Tümevarımcılık, bir alanı tarafsız bir şekilde gözlemlemeyi, incelenen durumlardan yasalar çıkarmayı - dolayısıyla tümevarımsal akıl yürütmeyi - ve böylece nesnel olarak gözlemlenenin tek doğal doğru teorisini keşfetmeyi amaçlar.
Sezgi; felsefe, mistisizm, ezoterizm ve farklı öğreti sistemlerinde farklı anlamlarda kullanılan terim.
Zorunluluk. Başka türlü olamayan, olumsal olmayan ya da olmaması olanaklı olmayan durum; olduğundan başka türlü olamayacak olma durumunu dillendiren, olduğundan başka türlü olmanın mantıksal bakımdan olanaksızlığını dile getiren felsefi ulam. Öte yandan, mantık diliyle söylendiğinde, bir önerme yanlışlanamıyor ise zorunlu demektir. Bu tür önermeler yanlışlığı düşünülemez, değillemesi de çelişik olan, bu nedenle de doğrulukları zorunlu olan önermelerdir. Şeylerin gerçekte olmadığı ama olabileceği birçok olanaklı durum tasarlanabilir. Eğer bir önerme tasarlanan olanaklı durumların hepsi için doğru ise o önermeye bütün olanaklı dünyalarda doğru ya da zorunlu önerme denir.
Argumentum ad logicam yani safsatadan argüman bir safsata türüdür. En bariz ve kısa şekilde safsata safsatası olarak da adlandırılabilir. Şu genel argüman formundadır:
Mantıksal pozitivizm, Viyana Çevresi olarak adlandırılan filozofların felsefi düşünüş sistemlerini adlandırır. Başlıca temsilcileri Moritz Schlick, Rudolph Carnap ve Otto Neurath olan bu çevre, yeni pozitivistler ya da mantıkçı empiristler olarak da adlandırılır. Bu çevrenin oluşumunda önemli etkisi olan isim Ernst Mach'tır ki Mach'ın Viyana'da belirli dönemlerde mantık, fizik ve felsefe profesörlüğü yaptığı bilinmektedir. Mantıksal pozitivizmin çok farklı konumlardaki ve disiplinlerdeki filozofları bir araya getirir. Söz konusu akımın içinde sayılan ya da sayılmış olan belli başlı filozoflar şöyledir: Ernest Nagel, Hans Hahn, Kurt Gödel, Felix Kaufmann, Philipp Frank, Bertrand Russell, Whitehead, A. J. Ayer, Wittgenstein.
Matematik, bilimde olduğu kadar günlük hayatımızda karşılaştığımız sorunların çözümünde kullandığımız önemli bir araçtır. Bundan dolayı matematikle ilgili davranışlar ilköğretimden yükseköğretim programına kadar her alanda yer alır. İlköğretimde ortaöğretime hazırlık olarak, ortaöğretimde yükseköğretime hazırlık olarak matematik öğretimi yapılır. Matematik öğretiminin temel amacı; kişiye günlük hayatın gerektirdiği matematik bilgi ve becerileri kazandırmak, problem çözmeyi öğretmektir. Matematik insan tarafından yaratılan zihinsel bir sistemdir. Bu matematiği soyut hale getirir. Görece, zor öğrenilmesinin sebebi budur. Öğretim sırasında somut araçlar kullanılarak kolaylaştırılabilir.
Tahmin, gündelik dilde, bilinmeyen bir şey hakkında hakkında rastgele veya belirsiz bilgi kullanarak bir sonuca varmaktır. Elde var olan bilgiye dayanarak bir çıkarım yapılır, bu çıkarıma dayanarak geleceğe dönük bir öndeyi yapılabilir. Hem çıkarım, hem de öndeyi için gündelik dilde tahmin sözcüğü kullanılır.
Doğruluk tablosu, mantıkta, özellikle Boole cebiri ve Boole fonksiyonları ile ilişkili olarak, fonksiyon değişkenlerinin bütün kombinasyonları için mantıksal ifadenin değerini hesaplamakta kullanılan bir matematiksel tablo.
Immanuel Kant; Saf Aklın Eleştirisi'nde analitik ve sentetik yargılar olmak üzere iki ayrı kavram tanımlar. Analitik-Sentetik ayrımının en belirgin özelliği deneyden bağımsız veya deneye bağımlı olmadır. Bunun yanı sıra analitik yargılar daima doğru olan yargılarken, sentetik yargılar doğru ya da yanlış olabilen yargılardır. Analitik yargılar içeriği boş yargılar olmaları dolayısıyla bilgimizi genişletmez ancak sentetik yargılar bilgimizi genişletirler. Kant şu şekilde ifade etmiştir:
Bir önerme, hipotez ya da teori; özünde yanlış olduğunun kanıtlanabilme ihtimali varsa; yanlışlanabilirdir. Bir yargıyı geçersiz kılacak herhangi bir gözlem yapmak ya da argüman sunmak mümkünse bu yargı yanlışlanabilirdir. Bu anlamda, yanlışlamak ile geçersiz kılmak eş anlamlıdır. Bilimsel bir önerme yanlışlanabilme özelliği barındırır. Yanlışlanabilirlik ilkesi, bilim ile bilim dışı olanı, bilgi ile inancı ayırmak için kullanılır.
Bilişselcilik, etik cümlelerin birer önerme olduğunu, yani doğru veya yanlış olabildiklerini savunan meta-etik görüştür. Karşıtı olan gayribilişselcilik ahlaki cümlelerin önerme olamayacağını savunur. Bilişsellik ahlaki gerçekçiliği, etik öznelliği ve hata teorisini de kapsayan geniş bir tezdir.
William Vallance Douglas Hodge Britanyalı matematikçi. Cebirsel geometri ve topoloji alanlarında çalışmaları olmuştur.
Ahlaki kuşkuculuk, hiç kimsenin ahlaki bilgiye sahip olmadığını iddia eden bir metaetik teoriler sınıfıdır. Birçok ahlaki şüpheci, ahlaki bilginin imkansız olduğuna dair daha güçlü, modal iddiada bulunur. Ahlaki kuşkuculuk, özellikle bilinebilir ve nesnel ahlaki gerçekler olduğu görüşünü savunan ahlaki gerçekçiliğe karşıdır.