Sokrates, Antik Yunan filozofudur. Heykeltıraş Sophroniskos'un ve Ebe Fenarete'nin oğludur. Yunan felsefesinin kurucularındandır.
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.
Öklid geometrisi, İskenderiyeli Yunan matematikçi Öklid’e atfedilen matematiksel bir sistemdir ve onun Elemanlar adlı geometri üzerine ders kitabında tarif edilmektedir. Öklid'in yöntemi, sezgisel olarak çekici küçük bir aksiyom seti varsaymaktan ve bu aksiyomlara dayanarak birçok başka önermeyi (teoremleri) çıkarmaktan ibarettir. Öklid'in sonuçlarının çoğu daha önceki matematikçiler tarafından ifade edilmiş olsa da, Öklid, bu önermelerin kapsamlı bir tümdengelimli ve mantıksal sisteme nasıl uyabileceğini gösteren ilk kişi oldu. Elemanlar, ilk aksiyomatik sistem ve resmi ispatın ilk örnekleri olarak ortaokulda (lise) hala öğretilen düzlem geometrisi ile başlar. Üç boyutlu katı geometrisi ile devam ediyor. Elemanlar’ın çoğu, geometrik dilde açıklanan, şimdi cebir ve sayı teorisi olarak adlandırılan şeyin sonuçlarını belirtir.
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.
Sembolik Mantık' ın anlaşılması için ilk olarak önerme kavramının açıklaması gerekir. Önerme; Bir yargı belirten, doğru veya yanlış olan cümlelere denir. Örneğin; "Ankara, Türkiye'nin güneyindedir." cümlesi bir önermedir ve bu önerme yanlıştır. "1 Ocak, yeni bir yılın başlangıcıdır." önermesi ise doğru bir önermedir. Önermeler mantığında basit önermeler p, q, r, s, t, v, z..... gibi önerme sembolleriyle gösterilir.
Ockhamlı William, yaklaşık 1287 ve 1347 yılları arasında yaşamış İngiliz Fransiskan rahibi ve skolastik filozof.
Saf Aklın Eleştirisi ya da Arı Usun Eleştirisi Immanuel Kant'ın 1781'de basılan ve en önemli eserleri arasında kabul edilen kitabıdır. Temel olarak Hume'un, olayların arasında bir neden-sonuç ilişkisi olduğu önermesinin kanıtlanamaz olduğu fikrinden yola çıkarak saf aklın mümkün olamayacağına dair ürettiği skeptik bakışına çözüm getirmeye çalışır. "İlk Eleştiri" olarak da anılan bu eseri, Pratik Aklın Eleştirisi (1788) ve Yargı Gücünün Eleştirisi (1790) eserleri takip etmiştir.
Çatışkı ya da Antinomi sözcük anlamı olarak iki yasanın gerçekte ya da görünüşte birbirleriyle uyuşmazlığıdır. Mantık ve epistemoloji’de geçen ve genel olarak bir paradoksu ya da çözümsüz bir çelişkiyi tanımlamak için kullanılan bir terimdir. Aynı anda ve ölçüde geçerli iki önermenin birbirinin yerine konulamazlığı durumunu ifade eder.
Aşkınlık, görülen, bilinen, yaşanılan, deneyimsel dünyanın ötesine geçerek ya da deyim yerindeyse üstüne çıkarak bir çeşit aşkın bir dünyayla buluşmanın ruh haliyle yazılmış sanat-edebiyat eserlerini nitelemek için kullanılan bir terimdir.
Safsata, bir düşünceyi ortaya koyarken ya da anlamaya çalışırken yapılan yanlış çıkarsamadır. Safsatalar ilk bakışta geçerli ve ikna edici gibi görülebilen fakat yakından bakıldığında kendilerini ele veren sahte argümanlardır.
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.
Burada Vikipedi'de bulunan paradoksların bir listesini bulacaksınız. Listedeki paradokslar temalarına göre sınıflandırılmıştır.
Sezgicilik ya da entüisyonizm, felsefi bir kavram olarak sezgiye akıl, zihin ve soyut düşünme karşısında hem öncelik hem de üstünlük tanıyan felsefe akımıdır. Henri Bergson akımın kurucusudur, bu nedenle kimi zaman felsefe tarihinde Bergsonculuk olarak adlandırılması da söz konusudur.
L'indovinello più difficile del mondo, Raymond Smullyan'dan esinlenilmiş ve İtalya'nın başlıca gazetelerinden La Repubblica'da yer almış şu mantık bulmacasına Amerikalı filozof ve mantıkçı George Boolos tarafından verilen ad:
Euthyphron ikilemi ya da İlahi buyruk teorisi ilk kez Platon'un Euthyphron ile diyaloğunda ortaya atılmış olan felsefi ve teolojik problem. Kısaca "ahlaki davranışlar tanrı tarafından emredildiği için mi ahlakidir, yoksa ahlaki olduğu için mi tanrı tarafından emredilmiştir" şeklinde bir sorudan ibarettir ve 2400 yıldır din felsefesinin temel sorularından biri olmuştur. İkilem tek tanrılı dinlerdeki teolojik tartışmalarda küçük bir farklılıkla yeniden kurulmuştur. İkilemde ya birinci ya ikinci seçenek tercih edilmek zorunda kalınmış, Hristiyanlıkta Ockham ile Augustinus, İslamiyette de Eş'ariyye ve Mutezile akımları iki farklı ucu desteklemiştir. Din felsefesindeki bu tartışma bugün de canlılığını korumaktadır.
(Antik Yunanca: Εὐθύδημος), Yunan filozof Platon'un erken dönem diyaloglarından biri olan eser, aynı adı taşıyan Khios'lu sofistin adından alınmadır. Diyalog, Kriton ve Sokrates arasında geçer.
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.
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.