Pozitivizm veya olguculuk; Auguste Comte'un başını çektiği, doğru bilginin yalnızca bilimsel bilgi olduğu, doğru bilgiye ise yalnızca ampirizm (deneycilik) ile ulaşılabileceğini ve bu bilginin kendisinin deneysel olmadığını savunan düşünce akımıdır. Pozitivizm, sosyal bilimlerin fen bilimleri gibi kesin gerçeklikler içeren kurallara dayanması ve felsefi tartışmalardan uzaklaşmak hedefiyle, 19. yüzyıl içindeki toplumsal ilişkiler çerçevesinde şekillenmiştir.
Matematik felsefesi, matematiğin varlıksal, bilgisel ve yöntemsel sorunlarını inceleyen, matematiğin temelleriyle ilgili ana kavramları irdeleyen bir felsefe dalıdır.
Ludwig Josef Johann Wittgenstein, Avusturya doğumlu filozof, matematikçi.
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.
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.
Sayılar teorisi, tamsayılar ve bunlarla ilgili işlemleri inceleyen bilim dalıdır. Sayılar teorisi, tam sayıların özelliklerini inceleyen matematiğin bir alanıdır. Matematiğin en eski alanlarından biri olan bu alanda, uzun yıllar uygulama sahası çok az bulunmuştur. Fakat son yıllarda teknolojik gelişmelerin ve bilgisayar sistemlerinin temelinin sonlu sayıda işlem yapan makinelere dayanması bu alanı uygulama bulur hale getirmiştir. Aslen, matematiğin ihtiyaçtan değil de felsefi temellerden oluştuğunun bir kanıtıdır.
Fenomenoloji veya görüngü bilimi, kurucusu Edmund Husserl olan bir felsefe akımı. 20. yüzyılın ilk çeyreğinde görülen bilimlerdeki ve düşüncedeki genel bunalım içinde doğup gelişen bir felsefe akımıdır. Husserlci fenomenoloji, bu bağlamda, Metafiziği sona erdirerek somut yaşantıya dönmek ve böylece tıkanmış olan felsefeye yeni bir başlangıç yapmak iddiasıyla ortaya çıkmıştır.
Hans Reichenbach, Alman düşünür.
Rudolf Carnap 1935'ten önce Avrupa'da, sonrasında Amerika'da etkin olan Alman filozof. Viyana Çevresinin önemli bir üyesi ve mantıksal olguculuğun bir destekçisiydi. "Yirminci yüzyıl filozofları arasında bir dev" sayılmaktadır.
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.
Batı felsefesi, Antik Yunan'dan başlayıp günümüze kadar gelen Batılı felsefe tarihi anlayışı. Özellikle Avrupa'nın ve batı olarak adlandırılan dünyanın 19. yüzyıl'da felsefe tarihini yazarken kategorize ettikleri düşünce geleneği Batı felsefesi olarak adlandrılır. Platon'dan başlayıp modern zamanlara uzanan belirli bir felsefe yapma tarzı batı felsefesinin ayırıcı özelliği, daha ayrıcalıklı özelliği olarak anlaşılır. Bu eğilim genel bir yaklaşımla "Doğu'da felsefe yoktur" savını ileri sürer. Antik Mısır, Mezopotamya, İran, Çin ve Hint kültürleri tarih olarak çok daha eski olmalarına ve buralarda yaşayan insanların belirli düşünce geleneklerine sahip olmalarına rağmen, Batı felsefesi Antik Yunan dönemiyle birlikte başlatılır ve bunlar dışta bırakılır. Doğu felsefesi, Hint ve Çin felsefeleri dahil olmak üzere çok önceleri başlamıştır, bu gelenekler etkileşimlerle sürekli varlıklarını devam ettirmişlerdir, ancak Batı felsefesi bu gelenekleri felsefe-dışı sayma yönelimindedir. Felsefe tarihi kitapları, genel bir eğilim olarak, MÖ 500'lerden başlayarak bugüne kadar, batı olarak addedilen bölgelerde ve batılı düşürlerce ortaya konulan felsefe yapma geleneği Batı felsefesi olarak görülür.
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.
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.
Değer kavramı, öncelikle genel anlamda kişinin nesne ile ilişkisinden doğan nitelik olarak anlaşılır. Bu anlamda değer öznel bir görüş açısından değerlendirilir. Dolayısıyla değer kişiden kişiye değişebilmekte, farklı türde değer düzeyleri ortaya konulabilmektedir. Değerin bir başka ya da ikinci bir anlamı ise, kişinin kendi kişiselliğinin dışında, yani insanın deneyimlerinin dışında kendi başına var olan kendinde bir nitelik olarak anlaşılır. Max Scheler ve Nicolai Hartman'da bu yönde bir görüş görülür. Buna göre değerler, biçimsel yönden ve içeriksel yönden olmak üzere ikiye ayrılırlar. Sonra bu alanlar da kendi alt bölümlerine ayrılabilirler. Değer kavramı hem nesne alanında hem de mantıksal alanda, ahlaksal alanda ve estetik alanda ortaya çıkar. Değerleri felsefenin ana konusu yapan ve ayrıca değerlerin incelenmesini hedefleyen felsefe eğilimi de söz konusudur ve değer felsefesi olarak adlandırılır.
Felsefe, felsefe biçimleri, tanımları veya düşünce akımlarını listeler.
Otomatikleştirilmiş muhakeme, otomatik akıl yürütmenin farklı yönlerinin izah edilmesine odaklanmış bir bilgisayar bilimi ve matematiksel mantık alanıdır. Otomatik akıl yürütme çalışması, bilgisayarların neredeyse tamamen otomatik olarak bilgisayar programları üretmesine yardımcı olur. Otomatik akıl yürütme, yapay zekanın bir alt alanı olarak düşünülmesine rağmen, teorik bilgisayar bilimi ve hatta felsefe ile de bağlantıları vardır.
Viyana Çevresi, 1922'de Viyana Üniversitesi'nde profesör olarak görev yapan Moritz Schlick'in önderliğinde toplanan bir grup teorisyen, matematikçi ve filozof. Gelişen felsefi yön, mantıksal pozitivizm veya mantıksal deneycilik olarak adlandırıldı.
Berlin Çevresi, mantıksal pozitivizm temellinde birleşen bir gruptur.
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.
