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.
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.
Marksizm, özgün bir siyasal felsefe akımı, tarihin diyalektik materyalist bir yorumuna dayanan ekonomik ve toplumsal bir dünya görüşü, kapitalizmin Marksist açıdan çözümlenmesi, bir toplumsal değişim teorisi, Karl Marx'ın ve Friedrich Engels'in çalışmalarından çıkarılan, insanın özgürleşmesiyle ilgili bir düşünce sistemidir.
Ç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.
Maoculuk ya da Maoizm, adını Mao Zedong'dan alan, kapitalizmin Avrupa'daki gibi bir gelişme seyri izlemediği Uzak Doğu toplumlarına özgü Marksizm'in pratiği olarak ifade edilebilir. Maoizm, taraftarlarına göre, Marksizm-Leninizm siyaset biliminin 3. nitel aşamasıdır ve kırlardan şehirleri kuşatarak proleterya diktatörlüğüne ulaşabilmenin tek altın anahtarıdır. Maocuların asgari programlarında ise, bağımsızlığın sağlanması ve feodalizmin tasfiyesi vardır.
Maddecilik, özdekçilik veya materyalizm, her şeyin maddeden oluştuğunu ve bilinç de dahil olmak üzere bütün görüngülerin maddi etkileşimler sonucu oluştuğunu öne süren, a priori olan hiçbir metafiziksel kavramı kabul etmeyen felsefe kuramıdır. Bir diğer deyişle madde, var olan tek tözdür. Maddecilik "fiziksel maddenin tek veya esas gerçeklik olduğu" yönündeki kuramdı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.
Pierre-Joseph Proudhon, Fransız ekonomist ve düşünür. Kendini "anarşist" olarak adlandıran ilk kişidir ve ilk anarşist düşünür olarak nitelenir.
Alman felsefesi, 18. yüzyıl sonu ve 19. yüzyıl başlarından itibaren belirgin bir ağırlık kazanan, bir bakıma felsefenin yurdu hâline gelen Alman felsefe geleneğini ya da başka bir açıdan farklı felsefi eğilimlere sahip olan Alman felsefecilerinin bütünlüğünü ifade etmektedir.
Post-Marksizm'in iki ilişkili fakat farklı kullanımı vardır. İlk olarak, Post-Marksizm Doğu Avrupa ve Sovyetler Birliği'nde komünizmin çöküşü sonrasında ortaya çıkan duruma işaret edebilir.
20. yüzyıl felsefesi, 19. yüzyıl sonlarından başlayıp günümüze kadar gelen ve devam eden düşünce geleneklerini ve felsefi akımları kapsar. Her çağın felsefesinin kendi toplumsal, kültürel ve siyasal koşullarıyla etkileşimli olduğu gibi, 20. yüzyıl felsefesi de kendi siyasal ve toplumsal gelişmelerinden etkilenmiştir. Çağın siyasal olayları, kültürel ve teknolojik gelişmeler, bilimsel alandaki yeni sonuçlar, ortaya çıkan yeni düşünce eğilimlerinin hepsi 20. yüzyıl felsefesinde görülen bilime yönelik sorgulayıcı yaklaşımların, aklın sorgulanması girişimlerinin, dile yönelik ilginin, özne kavramı üzerinde yürütülen tartışmaların, zihin problemlerinin, yeni bir boyut kazanan bilgi sorununun, cinsellik soruşturmasının, yabancılaşma ve iktidar sorunsalının arka planını oluşturmaktadır. Bu çağın düşünürlerinin çoğunluğu bir şekilde çalışmalarında çağın kuramsal sorunlarını dillendirmiş ve yanıt arayışında olmuştur.
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.
Skolastik felsefe/düşünce, Latince kökenli schola (okul) kelimesinden türetilen scholasticus teriminden gelmektedir ve kelime anlamı olarak okul felsefesi demektir. Bu anlam önemlidir, zira skolastik felsefe, Orta Çağ düşüncesinde doğrunun zaten mevcut olduğu düşüncesine ve felsefenin okullarda okutularak öğretilmesine dayanan bir yaklaşım sergiler. Bu felsefenin temeli teolojidir, ona dayanır ve onu desteklemeye çalışır.
Sınıf mücadelesi kavramını ilk olarak Karl Marx ele almış ve 1848 yılında Friedrich Engels'le birlikte kaleme aldığı Komünist Manifesto adlı eserde "Şimdiye kadarki bütün toplumların tarihi, sınıf savaşımları tarihidir" demiştir. Marx'a göre, kapitalizmde üretici pozisyonda bulunan ama bu pozisyonuna karşın üretim araçlarının burjuvazinin özel mülkiyetinde olmasından dolayı sömürülen işçi sınıfının, bu sömürüden kurtulması için burjuvazinin iktidarına son vermesi ve üretim araçlarını kamulaştırması gerekmektedir.
Ortodoks Marksizm, Karl Marx'ın 1883 yılında ölümünden sonra onun kuramlarını takip edip Marksizmi basit bir düzene sokup sistemleştirerek düzenlemeyi, belirsizlik ve tutarsızlıktan arındırmayı amaçlayan düşünce okulu. Ortodoks Marksizm Klasik Marksizm'in algılanan muğlaklıklarını ve çelişkilerini açıklığa kavuşturarak Marksist yöntem ve teoriyi basitleştirmeyi, kodlamayı ve sistematik hale getirmeyi amaçlar. Marksistler arasında çeşitli uyuşmazlıklar başlamasıyla ortaya çıkmış olan iki düşünce okulundan biridir. Diğeri Revizyonist Marksizm'dir. Bâzı düşünürler ise onları, Marx'ın öğretilerine tamamen inanan, noktasına virgülüne dokunmadan benimseyen grup olarak tanımlar.
Tarih felsefesi, tarihin kavramsal bir bakış açısıyla yorumlanması. Eleştirel tarih felsefesi ve kurgusal tarih felsefesi olarak iki başlık altında incelenir. Bunlardan ilki, akademik tarih dalını "kuram" özelinde incelemekte; tarihsel belgelerin doğası, nesnelliğin ne derece olası olduğu gibi konularla uğraşmaktadır. Kurgusal tarih felsefesi ise insanlık tarihi başta olmak üzere olayların önem derecesini konu almaktadır.
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
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.
