Mantık felsefesi

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.

mantığın tarihinde karşılaştırma yapılırsa, mantık felsefesi ve felsefi mantık arasındaki farklar son zamanlarda ortaya çıksa da yine de her zaman tam net değildir. karakteristikleri:
 mantık felsefesi, mantığın kapsamını ve doğasını incelemeye adanmış felsefe alanıdır.
 mantık felsefesi, mantıkta araştırma, eleştirel analiz ve entelektüel yansımalardan ortaya çıkan sorulardır. alanın felsefi mantıktan farklı olduğu kabul edilir.
 felsefi mantık; referans, yüklem, özdeşlik, doğruluk, niceleme, varoluş, gereklilik ile ilgili sorularla ilgilenen çalışma dalıdır.
 felsefi mantık, biçimsel mantık tekniklerinin felsefi sorunlara uygulanmasıdır.

doğruluk 
aristotle der ki; bir şeyi söylerken o şeyin olmadığını veya o şeyin o şey olmadığını söylemek yanlıştır; o şeyin o şey olduğunu veya o şeyin şey olmamasının şey olmadığını söylemek doğrudur. (var olanın var olmadığını veya varlığı olmadığını söylemek yanlıştır; var olanın var olduğunu veya var olmayanın var olmadığını söylemek doğrudur.)

bu görünen doğruluğun sorunsuz olduğu ispatlanmamıştır.

 doğruculuk 

mantık; doğru, yanlış, tutarsız, geçerli ve kendi içinde çelişkili gibi terimler kullanır. bu terimlerin kullanımıyla da strawson'ın (1952) yazdığı gibi sorular ortaya çıkmaktadır.

(a) bu mantıksal değerlendirme sözcüklerini kullandığımızda, tam olarak değerlendirdiğimiz nedir? ve (b) mantıksal değerlendirme nasıl mümkün olur?

 tarski'nin doğruluk tanımı 
bakınız:
 stanford felsefe ansiklopedisi, tarski'nin doğru tanımı'na giriş 
 2.1. semantik paradoksun sonuçları, stanford felsefe ansiklopedisi 

 analitik doğru, mantıksal doğru, geçerlilik, mantıksal sonuçlar ve zorunluluk 
terimlerin kullanımı, anlamı, anlamlılığı ve anlamsızlığı tartışmanın bir parçası olduğundan dolayı, tartışmanın amacına yalnızca aşağıdaki çalışma tanımlarını vermek mümkündür:
 zorunlu doğru; dünyanın durumu ne olursa olsun, veya bazı durumlarda mümkün olan her dünyada doğrudur.
 mantıksal doğru, zorunlu gerçeklerdeki mantıksal sabitler doğru olduğu sürece gerektiğinde doğrudur.
 biçimsel mantıkta doğru, tüm olası şartlar altında doğru olan bir "ifade"den (hiçbir değişkenin serbest olmadığı semboller dizisi) ibarettir.
 analitik doğru, belirtilen kavramın konusundaki kavramı içeren doğrudur.

bu durumda şu sorular ortaya çıkıyor:
 eğer doğru olması gereken doğrular varsa, onları doğru yapan nedir?
 mantıksal doğru olmayan analitik doğrular var mıdır?
 analitik doğru olmayan zorunlu doğrular var mıdır?
 mantıksal doğru olmayan zorunlu doğrular var mıdır?
 analitik doğru ile sentetik doğru arasındaki fark sahte midir?

paradoks

 anlam ve kaynaklar 
bakınız
 dil felsefesi kaynakçası
 saul kripke (kaynakça)
 gottlob frege (kaynakça)
 denotasyon
 konotasyon

 adlar ve tanımlar 
 bas van fraassen
 dil felsefesi

 niceleme ve niceleme teorisi 

 mantık felsefesi teorileri 
konsepsiyonelizm
oluşturmacı matematik
finitizm
biçimcilik
sezgici matematik
mantıksal atomculuk
adcılık
felsefi gerçekçilik
yapısalcılık

 ayrıca bakınız 
 bulanıklık
 matematik felsefesi
 kullanma-sözetme ayrımı

 önemli figürler 

mantık felsefesindeki figürlerden bazıları:

 noriko h. arai
 aristotle
 george boole
 george boolos
 john buridan
 agata ciabattoni
 alonzo church
 gordon clark
 michael dummett
 augustus de morgan
 gottlob frege
 kurt gödel
 georg hegel
 william of ockham
 peter of spain
 rudolf carnap
 immanuel kant
 gottfried leibniz
 david lewis
 john stuart mill
 charles sanders peirce
 valeria de paiva
 alvin plantinga
 arthur prior
 willard van orman quine
 bertrand russell
 alfred tarski
 ludwig wittgenstein

 mantık filozofları 

w.v.o. quine
bertrand russell
ludwig wittgenstein

michael dummett
hilary putnam
saul kripke

charles sanders peirce
alfred tarski
donald davidson

augustus de morgan
gordon clark
aristotle

 dış bağlantılar 
 routledge encyclopedia of philosophy entry 

 kaynakça 
özel

genel
 haack, susan.  1978.  philosophy of logics.  cambridge university press.  ()
 quine, w. v. o.  2004.  philosophy of logic.  2nd ed.  harvard university press.  ()
 alfred tarski. 1983. the concept of truth in formalized languages, pp. 152–278, logic,semantics, metamathematics, papers from 1923 to 1938, ed. john corcoran (logician), hackett,indianapolis 1983.

i̇leri okuma
 fisher jennifer, on the philosophy of logic, thomson wadworth, 2008, 
 goble, lou, ed., 2001. (the blackwell guide to) philosophical logic.  oxford: blackwell. .
 grayling, a. c., 1997. an introduction to philosophical logic.  3rd ed. oxford: blackwell. .
 jacquette, dale, ed., 2002.  a companion to philosophical logic.  oxford blackwell. .
 
 mcginn, colin,  2000. logical properties: identity, existence, predication, necessity, truth. oxford: oxford university press. .
 
 sainsbury, mark, 2001. logical forms: an introduction to philosophical logic.  2nd ed. oxford: blackwell. .
 
 alfred tarski,1983. the concept of truth in formalized languages, pp. 152–278, logic,semantics, metamathematics, papers from 1923 to 1938, ed. john corcoran (logician), hackett,indianapolis 1983.
 wolfram, sybil, 1989. philosophical logic: an introduction.'' london: routledge. 290 pages. , 
 journal of philosophical logic, springer sbm

mantık felsefesi
mantık kavramı
epistemoloji
mantık