Aslında, “felsefi mantık” terimi çok belirsiz, çelişkilidir ve tek bir kullanımı yoktur. Matematiğin çeşitli uzmanları , sembolik mantık ve felsefenin kendisinde, felsefi mantık farklı şekillerde anlaşılmaktadır, aksine. Özel bir bilimsel disiplin olarak anlaşılsa bile, konusunu, uygulama sınırlarını ve yöntemlerini belirlemek mümkün değildir. “Felsefi mantık” ve “mantık felsefesi” terimleri arasında karışıklık ortaya çıkar. Genellikle iki farklı araştırma alanı olmasına rağmen, biri diğerinin yerine geçer.

“Felsefi mantık” terimi İngilizce konuşan mantık-felsefi literatürde ortaya çıkmış ve 50-60'lı yüzyıllarda yaygın olarak kullanılmıştır. Bir yandan matematiğin temellerindeki kriz (set teoride paradoksların keşfi ve A. Tarski ve C. Goedel'in kısıtlayıcı teoremleri), mantık kavramının derinlemesine anlaşılmasını gerektiriyordu. Öte yandan, klasik olmayan mantıkların ortaya çıkması ve hızlı gelişimi, öncelikli olarak modal mantık, felsefî yönelimli logistlerin geniş ilgisini çekti, “mantık felsefesi” olarak bilinen araştırma alanı ortaya çıktı. Mantık-matematikçiler için, mantık felsefesi, küme teorisinin gelişimi ve kümelerin oluşum şekli ve sayının doğası ile ilgili sorulardır. Paradoksların küme teorisindeki keşfi ve özellikle, Russell'ın paradoksunu (bkz. Mantık Paradoksu) matematiğin doğası meselesini gündeme getirdi. Mantıkçılık, matematiğin temel kavramlarını mantıksal terimlerle tanımlamaya çalışmıştır (1884’te G. Frege ve 1903’te B.Rassel). Bu sadece teknik değil, aynı zamanda felsefi bir problemdir. 

Bu anlamda görkemli yapı N. Whitehead ve B. Russell tarafından Principia Mathematica'da yapıldı. Ve mantıksal-matematik teorisinde paradokslar olmamasına rağmen, sonsuz kümelerin varlığını tamamen mantıksal aksiyomlardan türetmek imkansızdı. Sezgisellik, paradoksların keşfedilmesine bir başka cevap olarak, sonlu ve sonsuz arasındaki farkla ilgili arasındaki temel sorular ortaya koydu. Russell'ın paradoksu (bkz. Mantık Paradoksu) matematiğin doğası sorununu gündeme getirdi. Mantıkçılık, matematiğin temel kavramlarını mantıksal terimlerle tanımlamaya çalışmıştır (1884’te G. Frege ve 1903’te B.Rassel). Bu sadece teknik değil, aynı zamanda felsefi bir problemdir. Bu anlamda görkemli yapı N. Whitehead ve B. Russell tarafından Principia Mathematica'da yapıldı. Ve mantıksal-matematik teorisinde paradokslar olmamasına rağmen, sonsuz kümelerin varlığını tamamen mantıksal aksiyomlardan türetmek imkansızdı. Sezgisellik, paradoksların keşfedilmesine bir başka cevap olarak, sonlu ve sonsuz arasındaki farkla ilgili arasındaki temel sorular ortaya koydu. Russell'ın paradoksu (bkz. Mantık Paradoksu) matematiğin doğası sorununu gündeme getirdi. Mantıkçılık, matematiğin temel kavramlarını mantıksal terimlerle tanımlamaya çalışmıştır (1884’te G. Frege ve 1903’te B.Rassel). Bu sadece teknik değil, aynı zamanda felsefi bir problemdir. 

Bu anlamda görkemli yapı N. Whitehead ve B. Russell tarafından Principia Mathematica'da yapıldı. Ve mantıksal-matematik teorisinde paradokslar olmamasına rağmen, sonsuz kümelerin varlığını tamamen mantıksal aksiyomlardan türetmek imkansızdı. Sezgisellik, paradoksların keşfedilmesine bir başka cevap olarak, sonlu ve sonsuz arasındaki farkla ilgili arasındaki temel sorular ortaya koydu. 1884 yılında Frege ve 1903 yılında B.Rassel). Bu sadece teknik değil, aynı zamanda felsefi bir problemdir. Bu anlamda görkemli yapı N. Whitehead ve B. Russell tarafından Principia Mathematica'da yapıldı. Ve mantıksal-matematik teorisinde paradokslar olmamasına rağmen, sonsuz kümelerin varlığını tamamen mantıksal aksiyomlardan türetmek imkansızdı. Sezgisellik, paradoksların keşfedilmesine bir başka cevap olarak, sonlu ve sonsuz arasındaki farkla ilgili arasındaki temel sorular ortaya koydu. 1884 yılında Frege ve 1903 yılında B.Rassel). Bu sadece teknik değil, aynı zamanda felsefi bir problemdir. Bu anlamda görkemli yapı N. Whitehead ve B. Russell tarafından Principia Mathematica'da yapıldı. Ve mantıksal-matematik teorisinde paradokslar olmamasına rağmen, sonsuz kümelerin varlığını tamamen mantıksal aksiyomlardan türetmek imkansızdı. Sezgisellik, paradoksların keşfedilmesine bir başka cevap olarak, sonlu ve sonsuz arasındaki farkla ilgili arasındaki temel sorular ortaya koydu. Ve mantıksal-matematik teorisinde paradokslar olmamasına rağmen, sonsuz kümelerin varlığını tamamen mantıksal aksiyomlardan türetmek imkansızdı. Sezgisellik, paradoksların keşfedilmesine bir başka cevap olarak, sonlu ve sonsuz arasındaki farkla ilgili arasındaki temel sorular ortaya koydu. Ve mantıksal-matematik teorisinde paradokslar olmamasına rağmen, sonsuz kümelerin varlığını tamamen mantıksal aksiyomlardan türetmek imkansızdı. Sezgisellik, paradoksların keşfedilmesine bir başka cevap olarak, sonlu ve sonsuz arasındaki farkla ilgili arasındaki temel sorular ortaya koydu.Potansiyel sonsuzluk ve gerçek. Klasik mantık yasalarının statüsünün yanı sıra, kanıtların varlığı ve gerekçesiyle ilgili bir sorun vardı. Bütün bunlar felsefi bir problematik. D. Hilbert'in formalistik programı (bkz. Formalizm) aynı zamanda canlı bir felsefi tartışmayı, özellikle de finalitizm sorununu kışkırttı.

Aslında, öncül mantık felsefesinden ziyade matematik felsefesine atıfta bulunur, ancak mantığın çeşitli matematik problemlerinin çözümüne mantık uygulamasının felsefi anlama görevi devam etmektedir. Burada inandırıcı bir örnek K. Goedel'in yeterince zengin teorilerin (1931) eksikliğiyle ilgili kısıtlayıcı teoremleridir (1931); bu, tüm matematiği kapsayan ve prensip olarak yeterli bir formalizm olmadığını gösterir. Bu sonuçların felsefi sonuçları bu güne değinildi ve sadece profesyonel mantıkçıların değil, aynı zamanda mantık kavramı olmayan filozofların , metodologların ve amatörlerin de dikkatini çekti . Buna Kilise Turing tezi hakkında felsefi bir tartışma eklenmelidir .

Mantık felsefesinin, içinde derin sonuçlar elde eden matematikçiler tarafından ele alınması ilginçtir (G. Frege, B. Russel, W. Quinn, R. Carnap, vb.). 1940 yılında Quinn “Matematiksel Mantık” başlıklı bir kitap yayınladı ve 1970 yılında - mantığı ile mantıksal gerçeklerin sistematik çalışma olarak anlaşılmaktadır başlığı “Mantık Felsefesi”, altında ve mantık felsefesi altında - Bir alet doğal analiz etmek için dil. Kitap, Quinn'in mantık felsefesine atıfta bulunduğu aşağıdaki bölümleri içerir: “Anlam ve gerçek” (ifadeler ve cümleler sorunu, bilgi gibi ifadeler, dilsel ifadelerin anlam teorisi, gerçek ve anlamsal anlaşma ); “Dilbilgisi” (dilbilgisi özyinelemeli görevi, kategoriler , dilbilgisi revizyonu hedefi, isimler ve functors, kelime kriteri, zaman, olaylar, fiiller, önerme ortamları ve modalite); “Gerçek” (Tarski'ye göre hakikat tanımı, nesne dilinde paradokslar, anlamsal ve mantıksal paradokslar arasındaki bağlantı); “Mantıksal gerçek” (yapı açısından, model açısından, ikame açısından, ispat açısından, dilbilgisi açısından); “Mantığın kapsamı” ( kimlik sorunu , küme teorisi, niceleme); “Sapkın (sapkın) mantık” (bu, klasik olmayan mantık, öncelikle çok değerli mantık, sezgisel mantık, dallanma niceleyicileri anlamına gelir); “Mantıksal gerçeğin temelleri” (mantık, mantık ve diğer bilimlerin yeri).

Bu yüzden, Quinn çalışmalarını mantık felsefesindeki ana problem etrafında yoğunlaştırdı: gerçek nedir? Soru o kadar kutsaldır ki 2000 yıldan beri duyulmaktadır. Bununla birlikte, yalnızca sembolik mantığın gelişmesiyle, yani A. Tarski'nin (1936) çalışmalarından başlayarak , ilk önce büyük bir biçimsel dil grubu için anlamsal bir tanım tanımı yapıldı ve aynı zamanda bu sınırların sınırları bir tanım gösterilir. Aslında, mantık felsefesinin kapsamı çok daha geniştir. Önerme biçiminin dünyadaki bazı şeylerin (şeylerin) konumlarına dair ifadeler olarak teorisi, mantıksal ve anlamsal kategoriler teorisi, referans ve tahmin teorisinesnelerin tanımlanması, var olma sorunu, edatların doktrini, analitik ve sentetik kararlar arasındaki ilişki, bilimsel hukuk sorunu, mantıktaki ontolojik varsayımlar ve daha fazlası. Ve hatta tamamen mantıklı gibi görünen bu tür sorular bile, mantık felsefesine atıfta bulunur: herhangi bir ifade veya ifade grubu arasında aşağıdaki veya mantıksal çıkarım ilişkisinin özü ve genel niteliği , mantıksal bağlantıların anlamı, mantıksal yasaların bilgilendiriciliği, sembolik mantıkta ve bununla bağlantılı olarak elde edilen temel teoremlerin önemi “hesaplanabilirlik”, “çözülebilirlik” “tekrarlanabilirlik” ve tekrar “gerçek” gibi kavramların kapsamlı bir analizidir.

Mantık felsefesinin aksine, aslında felsefi mantığa modal mantık, yani “olasılık” ve “gereklilik” gibi felsefi kavramların mantıksal analizi denir. Tarihsel olarak, bu iki kavram, özellikle Aristo'dan beriFilozofların sürekli ilgisini çekti ve sembolik mantığın gelişmesiyle, belirtilen yöntemleri ve ilişkilerini kesin yöntemlerle analiz etmek mümkün hale geldi. Aynı şey “gelecek” ve “geçmiş” gibi felsefi kavramlara da oldu. Modal mantığın gelişmesiyle birlikte, yeni modalite türleri, mantıksal araştırma alanına girmeye başladı: zaman, modal-zamansal (mekanik bağlantı değil, modal ve zamansal operatörlerin sentezi), fiziksel veya nedensel, deontolojik, epistemik, Vb. 4 ciltlikteki “Felsefi Mantık El Kitabı” bazı gelişimlerini özetledi. İkinci ve üçüncü ciltler, çeşitli klasik olmayan mantıkların ve elbette modal mantık, zaman, çok değerli, sezgisel, konuyla ilgili vb. Genel olarak, kuantum mekaniği teorisinin mantığı, varoluş mantığı, varoluşsal varsayımlardan arınmış mantık, bağlayıcı ve izin verme mantığı (yasal ve etik bağlamlar) gibi bir dizi yeni mantık teorisi ortaya çıkmaktadır. eylemler, takımlar, değerlendirmeler, niyetler ve tercihler, bilgi mantığı, inanç, inanç, şüphe, algı, soru mantığını tahmin etme, biçimsel ontoloji vb. Ancak, 50'lerde (S.Kanger, S.Kripke, A.Priyor, J.Hintikka) olası dünyaların anlambiliminin ortaya çıkmasıyla (bkz. Semantikliğin Muhtemel dünyaları) birçok merkezi felsefenin mantıklı bir analizini yapmak mümkün oldu. kavramlar: “bilgi”, “inanç”, “algı”, “taahhüt” vb. kuantum mekaniği teorisinin mantığı, varoluş mantığı, varoluşsal varsayımlardan arınmış mantık, bağlama ve izin verme mantığı (yasal ve etik bağlamlar), eylemlerin mantığı, ekipler, değerlendirmeler, niyetler ve tercihler, mantık gibi bilgi, inanç, inanç, şüphe, algı, soru mantığını tahmin etme, biçimsel ontoloji vb. Ancak, 50'lerde (S.Kanger, S.Kripke, A.Priyor, J.Hintikka) olası dünyaların anlambiliminin ortaya çıkmasıyla (bkz. Semantikliğin Muhtemel dünyaları) birçok merkezi felsefenin mantıklı bir analizini yapmak mümkün oldu. kavramlar: “bilgi”, “inanç”, “algı”, “taahhüt” vb. kuantum mekaniği teorisinin mantığı, varoluş mantığı, varoluşsal varsayımlardan arınmış mantık, bağlama ve izin verme mantığı (yasal ve etik bağlamlar), eylemlerin mantığı, ekipler, değerlendirmeler, niyetler ve tercihler, mantık gibi bilgi, inanç, inanç, şüphe, algı, soru mantığını tahmin etme, biçimsel ontoloji vb. Ancak, 50'lerde (S.Kanger, S.Kripke, A.Priyor, J.Hintikka) olası dünyaların anlambiliminin ortaya çıkmasıyla (bkz. Semantikliğin Muhtemel dünyaları) birçok merkezi felsefenin mantıklı bir analizini yapmak mümkün oldu. kavramlar: “bilgi”, “inanç”, “algı”, “taahhüt” vb. bağlama ve izin verme mantığı (yasal ve etik bağlamlar), eylemlerin mantığı, ekipler, değerlendirmeler, niyetler ve tercihler, bilgi mantığı, inanç, inanç, şüphe, algı, soru mantığını tahmin etme, biçimsel ontoloji, vb. üzerinde. Ancak, 50'lerde (S.Kanger, S.Kripke, A.Priyor, J.Hintikka) olası dünyaların anlambiliminin ortaya çıkmasıyla (bkz. Semantikliğin Muhtemel dünyaları) birçok merkezi felsefenin mantıklı bir analizini yapmak mümkün oldu. kavramlar: “bilgi”, “inanç”, “algı”, “taahhüt” vb. bağlama ve izin verme mantığı (yasal ve etik bağlamlar), eylemlerin mantığı, ekipler, değerlendirmeler, niyetler ve tercihler, bilgi mantığı, inanç, inanç, şüphe, algı, soru mantığını tahmin etme, biçimsel ontoloji, vb. üzerinde. Ancak, 50'lerde (S.Kanger, S.Kripke, A.Priyor, J.Hintikka) olası dünyaların anlambiliminin ortaya çıkmasıyla (bkz. Semantikliğin Muhtemel dünyaları) birçok merkezi felsefenin mantıklı bir analizini yapmak mümkün oldu. kavramlar: “bilgi”, “inanç”, “algı”, “taahhüt” vb.

Bu mantıkların her birinin mantık felsefesine ve dolayısıyla yukarıda listelenen felsefi sorunlara dikkat etmemize dikkat edin, çünkü formülün doğruluğunun tanımı, mantıksal sıra, ifade kavramı ve mantıksal anlam çoğu mantıkta işlemler farklıdır. Ayrıca, her felsefi mantığın ek felsefi problemleri vardır. Örneğin, modal mantıklarda, bunlar referans problemidir, çapraz tanımlama, yani çeşitli olası dünyalardaki nesnelerin tanımlanması ve bununla bağlantılı olarak bir niceleme problemi ortaya çıkar. Çok değerli mantıklarda, genellikle sayılarla ifade edilen doğruluk değerleri setini yorumlamanın en karmaşık felsefi problemi vardır: rasyonel, doğal, tam sayı, gerçek. Pek çok felsefi problem, örneğin sezgisel mantıkla ortaya çıkar.

Felsefi mantık, tamamen felsefi problemleri analiz etmeye ve yeniden yapılandırmaya başlamamıza izin veren, hatta felsefi problemleri ve hatta kadercilik ve özgür irade, determinizm ve rastlantısallık problemi gibi temel problemleri analiz etmemizi ve yeniden yapılandırmamızı sağlayan dilsel ve teknik bir cihaza sahiptir. zaman ve asimetri zamanı, Tanrı'nın varlığı ve her şeyi bilmesi, vb.

Genel olarak, felsefi mantık kavramı çelişkilidir. Bir yandan, bunlar tamamen matematiksel olmayan ve sembolik mantıkla ilgisiz görünen, birçok mantık filozofunun “sembol oynamak” olarak anladığı mantıksal çalışmaları içeriyor. Öte yandan, modal mantığın, zamansal, sezgisel ve özellikle çok değerli ve bazıları ise sembolik mantığın bölümlerinden başka bir şey değildir: aynı sembolizasyon metotları ve aksiyomatik yapım metotları ve en önemlisi, birçok açıdan aynı tamamen teknik görev ve problemler. Burada, tamamen felsefi, yani çok değerli, modal, ilgili, paraconsistent set teorileri olan felsefi olan klasik olmayan mantıklarla yeni kuram kümeleri inşa etmek öğreticidir. Bu eğilimleri modern mantıkta sembolik mantık, felsefi mantık, mantık felsefesi, klasik olmayan mantık gibi birleştiren bir şeyin olduğunu vurgulamakta fayda var. Bu, 20. yüzyılın sonlarındaki temel felsefi soruyu ifade eder: mantık nedir?

Son olarak, 90'lı yıllarda, “mantıksal felsefe” olarak adlandırdığımız konu ile doğrudan bir ilişkiye sahip olan bir terim daha var. 1993'ten beri, Mantık ve Mantıksal Felsefe dergisi Polonya'da görünmeye başladı. Hangi “mantıksal felsefenin” felsefi mantıktan daha zor olduğunu tanımlamak için. Büyük olasılıkla, bunların hepsi herhangi bir formda mantığı uygulayabileceğiniz yerlerdir. Bu nedenle, felsefi mantık ve sembolik mantık alanından eserler buraya gelir.

1972'den bu yana, uluslararası sembolik mantık birliğinin himayesinde, felsefi mantık alanındaki en ünlü dergi şimdi yayınlandı - “Felsefi Mantık Dergisi”.