# 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?


## 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


## 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


### Önemli figürler.
Mantık felsefesindeki figürlerden bazıları:
 - YÖNLENDİRME 
 - YÖNLENDİRME 
  - 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
 - YÖNLENDİRME 


### Mantık filozofları.
 - YÖNLENDİRME 
 - YÖNLENDİRME 
 - W.V.O. Quine
 - Bertrand Russell
 - Ludwig Wittgenstein
 - YÖNLENDİRME 
 - Michael Dummett
 - Hilary Putnam
 - Saul Kripke
 - YÖNLENDİRME 
 - Charles Sanders Peirce
 - Alfred Tarski
 - Donald Davidson
 - YÖNLENDİRME 
 - Augustus De Morgan
 - Gordon Clark
 - Aristotle
 - YÖNLENDİRME