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.
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.
Teori veya kuram, bilimde bir olgunun, sürekli olarak doğrulanmış gözlem ve deneyler temel alınarak yapılan bir açıklamasıdır. Kuram, herhangi bir olayı açıklamak için kullanılan düşünce sistemidir. Genel anlamda kuram, bir düşüncenin genel, soyut ve ussal olmasıdır. Ayrıca bir kuram, açıklanabilir genel bağımsız ilkelere dayanmaktadır. Bu ilkelere bağlı kalarak doğada sonuçların nasıl örneklendirileceğini açıklamaya çalışır. Sözcüğün kökü Antik Yunan’dan gelmektedir. Ancak günümüzde birçok ayrı anlamlarda kullanılmaktadır. Kuram, varsayımla (hipotez) aynı anlama sahip değildir. İkisinin de anlamı başkadır. Kuram bir gözlem için açıklanabilir bir çerçeve sağlar ve kuramı sağlayacak olan sınanabilir varsayımlar tarafından desteklenir.
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.
Deneycilik, empirizm veya ampirizm, bilginin duyumlar sayesinde ve deneyimle kazanılabileceğini öne süren görüştür. Deneyci görüşe göre insan zihninde doğuştan bir bilgi yoktur. İnsan zihni, bu nedenle boş bir levha gibidir.
Akılcılık; usçuluk veya rasyonalizm olarak da adlandırılan, bilginin doğruluğunun duyum ve deneyimde değil, düşüncede ve zihinde temellendirilebileceğini öne süren felsefi görüş.
Belirsizlik ilkesi, Heisenberg belirsizlik ilkesi ya da Belirlenemezlik ilkesi olarak da bilinir.
Baruch Spinoza, Yahudi kökenli Hollandalı filozof. Aydınlanmanın erken dönem düşünürlerinden olan Spinoza, evren ve insan hakkında modern fikirler ileri sürerek öncü ahit eleştirileri yapmış ve zamanla 17. yüzyıl felsefesinin en önde gelen rasyonalistlerinden biri olarak kabul edilmiştir. Descartes'ın fikirlerinden etkilenen Spinoza, Hollanda Altın Çağının önde gelen filozofu olmuştur.
Logos, Yunancada duyguları kavrama anlamındaki pathos sözcüğünün karşıt anlamı olan us ile kavrama anlamındadır.
Ç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.
Determinizm, belirlenircilik, gerekircilik veya belirlenimlilik evrenin işleyişinin, evrende gerçekleşen olayların çeşitli bilimsel yasalarla, örneğin fizik yasaları ile, belirlenmiş olduğunu ve bu belirlenmiş olayların gerçekleşmelerinin zorunlu olduğunu öne süren öğretidir. Yani öğretiye göre her şey belirlenmiştir ve değişmesi mümkün değildir. Bu görüş başta ahlak felsefesi olmak üzere felsefenin çeşitli dallarının uğraş ve çalışma alanına bir görüştür. Ahlak felsefesindeki "İnsan ahlaki eylemde bulunurken özgür müdür?" sorusunu yanıtlamaya çalışır.
Tanrı'nın varlığıyla ilgili argümanlar filozoflar, teologlar ve diğer düşünürler tarafından öne sürülmüştür. Felsefi terminolojide, Tanrı'nın varlığı problemi, tanrı ontolojisinin bilgi kuramı ile ilgilidir. Bilgi kuramı, epistemoloji, bilgiye olan yaklaşımı, doğru bilgiye nasıl ulaşılacağını inceler. Ontolojiyse, varlık/yokluk konuları üzerindeki argümanlardan oluşur. Yani, tanrı ontolojisinin bilgi kuramı, Tanrı'nın var olup olmadığı konusunda nasıl akıl yürüteceğimiz üzerinedir.
Mutlak ya da saltık, felsefî bir kavram olarak şeylerin, keşfedilmiş olsun olmasın, bütününü, tamamını tanımlar. Felsefenin farklı konularında ve farklı felsefî metinlerde, Mutlak nihai varlığı tanımlamak için de kullanılabilir; bu kullanımda fâni ve varlığı zorunlu olmayanın tersi olan yani mutlak olan varlık anlamındadır.
Objektivizm, Rus-Amerikan yazar ve filozof Ayn Rand tarafından geliştirilen bir felsefi sistemdir. Kendisi bu sistemi "insanı kahraman bir varlık olarak, kendi mutluluğunu hayatının ahlaki amacı olarak, üretken başarıyı en asil faaliyeti olarak ve aklı tek mutlak olarak gören bir kavram" olarak tanımlamıştır.
17. yüzyıl felsefesi, Rönesans'ın etkisiyle ortaya çıkan gelişmelere dayanarak, Yeni Çağ düşüncesinin temellerini atmak üzere ortaya çıkan felsefe eğilimidir. Rönesansın ortaya koyduğu düşünsel gelişmeleri ve belirsiz kavram içeriklerini kullanan 17. yüzyıl düşünürleri, felsefi formüllerini tam bir sağlamlık ve kesinlik içinde ortaya koyma arayışı içinde olmuşlar ve ortaya koydukları çalışmalarla sistematik felsefeyi yeni bir derinlikle temellendirmişlerdir. Aydınlanma çağı düşüncesinin ilkeleri ve temel kavramları büyük ölçüde 17. yüzyıl felsefesinde hazırlanmıştır.
Sembol veya simge, kavramın uzlaşımsal olarak betimlendiği gösterge türü. Bir düşüncenin, nesnenin, niteliğin, niceliğin vb. ruhbilimsel ve düşünbilimsel açıdan betimlenmesi simgesel anlam taşıyan yapay bir belirtidir. Tüm simgeler doğaları itibarıyla kavramsal olup, sözel, görsel ya da sayısal olabilirler.
Sahil veya sahil şeridi, kara ile deniz veya okyanusların buluştuğu hat. Gelgit gibi etkenler nedeniyle sahil hattının net olarak belirlenmesi mümkün değildir.
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.