Geometri, matematiğin uzamsal ilişkiler ile ilgilenen alt dalıdır. Yunanca Γεωμετρία "Geo" (yer) ve "metro" (ölçüm) birleşiminden türetilmiş bir isimdir.
İbn Rüşd, Endülüslü-Arap felsefeci, hekim, fıkıhçı, matematikçi ve tıpçı. Tercüme ve yorumlamalarıyla Aristo'yu Avrupa'ya yeniden tanıtmıştır. İslam felsefesinde Aristocu akım olan meşşailiğin temsilcilerindendir.
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.
Zihin ya da bilinç; düşüncenin, algılamanın, belleğin, duygunun, isteğin ve düşlemenin bazı birleşimlerinde görünür olan bilincin ve zekânın kolektif görünüşlerini kapsar. Zihin bilinç akışı olarak tanımlanabilir. İnsan beyninin bilinçli süreçlerin tümünü içerir. Ayrıca bu sözcük kesin içeriklerde hayvanların bilinçli veya insanların bilinçaltı düşüncelerinin çalışmasını içermek için kullanılır. "Zihin" mantığın düşünce süreçlerine özellikle değinmek için sıklıkla kullanılır.
Aristoteles veya kısaca Aristo, Antik Yunanistan'da klasik dönem aralığında yaşamını sürdürmüş olan Yunan filozof, polimat ve bilgedir.
Prolog, yapay zekâ uygulamalarında kullanılan dördüncü nesil bilgisayar dili ailesinden olan bir mantık programlama dilidir.
Friedrich Ludwig Gottlob Frege, modern matematiksel mantığın ve analitik felsefenin kurucusu sayılan Alman matematikçi, mantıkçı ve filozof.
Mantık tarihi, mantığın tarihteki çeşitli kültürler ve geleneklerde ortaya çıktığı biçimlerini karşılaştırmalı olarak inceler.
Fârâbî, 8. ve 13. yüzyıllar arasındaki İslam'ın Altın Çağı'nda yaşamış ünlü filozof ve bilim insanıdır. Aynı zamanda gök bilimci, mantıkçı ve müzisyendir.
George Boole, İngiliz matematikçi, eğitimci ve filozof.
Analitik felsefe, felsefenin ana işlevinin analiz olması gerektiğini öne süren felsefe geleneğidir. Ezici çoğunlukla Anglosfer ve İskandinav dünyasında yaygındır. Kıta felsefesi ile birlikte, çağdaş felsefede ön planda olan iki gelenekten biridir. Nadir bir kullanım olsa da, çözümleyici felsefe ismiyle de bilinir.
Farabi bibliyografyası Farabi'ye ait olduğu düşünülen eserleri içermektedir. Hangi eserlerin Farabi'ye ait olduğu yıllardan beri tartışılmakta ve tam olarak açık olmayan bir konudur.
Organon Aristoteles'in 6 ciltlik klasik mantık üzerine olan kitap serisi. Organon ismi daha sonraları Aristo'nun izleyicileri olan Peripatetikler tarafından verilmiştir. Şu 6 adet kitaptan oluşur:
- Kategoriler
- Önermeler
- Birinci Analitikler
- İkinci Analitikler
- Topikler
- Sofistik Deliller
Kategoriler ya da Yüklemler Aristoteles'in Organon adı altında derlenen mantık ile ilgili metinlerinden biridir. Eser 15 bölümden oluşan kısa bir metindir. Metin eşadlılık, ortakadlılık ve yanadlılık tanımlamalarıyla başlayarak, tasımda kullanılması amaçlanan terim türlerinin özelliklerini inceler.
Kitabü'ş-Şifa, İbn-i Sina'nın yazmış olduğu İyileşme Kitabı anlamına gelen bir eserdir. Başta mantık, matematik, fizik ve metafizik olmak üzere tüm bilim dalları hakkında yazılmıştır ve 11 cilttir. Birçok kere Latinceye çevrilmiş ve ders kitabı olarak okutulmuştur.
Klasik mantıkta, çelişki bir ya da daha fazla önerme arasında uyumsuzluk olması durumudur. Çelişkili iki önerme birlikte değerlendirildiğinde genellikle birbiriyle zıt olan iki mantıksal sonuç ortaya çıkar. Bu konuda Aristo'nun çelişmezlik kanunu'na göre "Aynı şey, aynı zamanda, aynı açıdan, aynı nesneye hem dahil hem de dahil olmayan olamaz"
Kaziye veya hüküm, klasik mantıkta, iki veya daha fazla terimle yapılmış, doğru ya da yanlış olma ihtimali taşıyan bir hüküm bildiren, akıl yürütmelerde başlı başına birer görev îfâ eden önerme cümlesi.
Georg Henrik von Wright Finlandiyalı filozoftu.
Ernest Nagel Amerikalı bir bilim filozofuydu. Rudolf Carnap, Hans Reichenbach ve Carl Hempel ile birlikte, bazen mantıksal pozitivist hareketin en önemli figürlerinden biri olarak görülmektedir. 1961 tarihli Bilimin Yapısı adlı kitabı, bilimsel açıklama mantığında temel bir çalışma olarak kabul edilir.
Felsefi çalışmaların gelişmesi sürecinde on dokuzuncu yüzyılda sembolik mantık ile yürüyen mantık, yirminci yüzyılda matematiksel mantıkla devam ederken, geleneksel olarak basit mantığın ötesine geçiyorsa, mantığın bir parçası olarak değil de felsefi mantık veya mantık felsefesi olarak değerlendirildi.