Felsefe
üzerine bir seri
Platon Kant Nietzsche Buda Konfüçyüs İbn-i Rüşd
Dallar Geleneksel Epistemoloji Estetik Etik Mantık Metafizik ...felsefesi Algı Antropoloji Bilgisayar bilimi Bilim Biyoloji Cinsellik Coğrafya Dil Din Ekonomi Enformasyon Fizik Edebiyat Eğitim Hukuk Kimya Kültür Mantık Matematik Felsefe Mühendislik Müzik Psikiyatri Psikoloji Savaş Sinema Siyaset Sosyal bilimler Tarih Teknoloji Tıp Toplum Zaman Varlık Yapay zekâ Zihin
Dönemler Antik Çağ Orta Çağ Rönesans 17. yüzyıl Modern Çağdaş
Gelenekler Analitik Neopozitivizm Gündelik dil Aristoculuk Budist Abidarma Madyamaka Pramāṇavāda Yogacara Cārvāka Hegelci Hindu Mīmāṃsā Nyāya-Vaiśeṣika Sāṃkhya Yoga Vedanta Keşmir Şivacılığı Navya-Nyāya Neo-Vedanta İntegral yoga Hristiyan Augustinci Hümanist Skotçu Thomasçılık Okkamcılık İslamî Eş'ari Erken dönem İbn-i Rüşdcü İbn-i Sinacı İşraki İsmaili Tasavvuf Jain Kantçı Yeni Kıta Varoluşçuluk Fenomenoloji Konfüçyüsçülük Neo Yeni Legalizm Marksist Eleştirel teori Frankfurt Okulu Platoncu Yeni Pragmatizm Şüphecilik Taocu felsefe Yahudi Yahudilik-İslam Bölgelere göre gelenekler Afrika Etiyopya Doğu Çin Hint Endonezya Japon Kore Vietnam Orta Doğu Antik Mısır İran Türk Batı Antik Yunan Alman İtalyan Eski İskandinav Amerikan Yerlileri
Literatür Estetik Epistemoloji Etik Mantık Metafizik Siyasi felsefe
Filozoflar Estetikçiler Epistemologlar Etikçiler Mantıkçılar Metafizikçiler Sosyal ve politik filozoflar Felsefede kadınlar
Listeler Dizin Yıllar Problemler Yayınlar Teoriler Sözlük Filozoflar
g t d

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. (düşünce ve sonuç) İ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.

Mantık uygulaması[değiştir | kaynağı değiştir]

Basit bir örnek vermek gerekirse: Eğer bütün insanlar memeli ise ve Aristoteles insan ise, Aristoteles de memelidir.

Bu örnek mantık sembolleriyle şöyle gösterilebilir:

${\displaystyle [(insan\Rightarrow memeli)\land (Aristoteles\Rightarrow insan)]\Rightarrow (Aristoteles\Rightarrow memeli)}$

veya; bu örnek daha genel olarak şöyle ifade edilebilir: bu

${\displaystyle [(a\Rightarrow b)\land (c\Rightarrow a)]\Rightarrow (c\Rightarrow b)}$

Tüm az bulunanlar değerlidir. Zümrüt az bulunur. O halde, zümrüt değerlidir.

Mantık, doğru düşünmenin kurallarını inceleyen felsefi bir disiplindir. Bu açıdan mantık, bilginin doğruluğunu değil, bilginin doğruluğunu ifade eden düşünce ve kavramların kendi içsel bütünlüğünün doğruluğunu inceler. Şablon:Bkz. Sentaks-Semantik Dikotomisi Böylece mantıken doğru olan bilgi ve bilim manasında yanlış olabilir. Akıl yürütme biçimleri usavurma yöntemleridir.

• Bir genel öncülden özele veya tikele varma tümden gelimdir:

Dedüksiyon,

Bütün memeliler çok hücrelidir,

İnsan bir memelidir,

O zaman insan çok hücrelidir.

• Bir özel öncülden genele gitme tümevarımdır. (Endüksiyon)

Nokia cep telefonu kanser yapar,

Samsung cep telefonu kanser yapar,

Motorola telefonu kanser yapar,

O zaman tüm cep telefonları kanser yapar.

• Analoji ise benzeştirmedir. Bunda da aynı niteliklere sahip nesnelerin tanımlanmasında benzeşme yoluyla bir tür "sıçratma" uygulanır.

Yunanistan ve Türkiye aynı enlemdedir,

Yunanistan’da yazlar sıcak geçer,

O halde Türkiye’de de yazlar sıcak geçer.

Mantık ilkeleri[değiştir | kaynağı değiştir]

Özdeşlik[değiştir | kaynağı değiştir]

Mantık ilkesi, "Bir şey ne ise odur" ifadesinde mana bulur. Bir akıl yürütmede her kavram ve önerme kendisiyle aynı manada olmalıdır. Platon'a kadar kaynağı bulunabilecek bu temel ilkeyi en kapsamlı olarak Gottfried Leibniz formülize etmiştir.^[1]

Çelişmezlik[değiştir | kaynağı değiştir]

Bir şeyin hem kendisi hem de başkası olamayacağını ifade eden kuraldır. Aynı özdeşlik ilkesi gibi kavram veya önermeler kendisiyle çelişmemektedir.

Üçüncü durumun olanaksızlığı[değiştir | kaynağı değiştir]

Bu ilke, bir önermenin ya doğru ya yanlış olacağını ifade eder. Bu mantığa göre bir önerme hem doğru hem yanlış olamaz.

Temel matematikteki küme kavramı bu ilkeleri belli ölçülerde tartışmaya açar. Zira bir nesneye ait olan nitelik farklı nesnelere ait olabilir. Bunu da sağlayan aslında benzeşim özelliğidir. İnsan bir canlıdır ancak canlı olmayan şeylerden de oluşmuştur. O halde insan hem canlıdır hem de canlı değildir. Bu ilkelerde sorun iki değerli mantık yerine çok değerli mantığın gelişmesine sebebiyet vermiştir. Doğru ve yanlış yerine "belirsiz" tanımının eklenmesine yol açmıştır. Bu ilkeye göre her yargının doğruluğu için bir başka yargı gereklidir. Yeterli sebep olmadıkça bir yargının doğruluğundan söz edilemez. Tüm ilkelere bakınca modern usavurmada yetersiz kaldıkları görülebilir. Bu da bizi kuantum fiziğinin de oluşmasında yardımcı olduğu yeni kurallara götürebilir. Kuantum deneylemelerinde bir kedi hem ölü hem diri olabilir. Yani hem o, hem diğeridir.^[2]

Mantığın tarihçesi[değiştir | kaynağı değiştir]

Hint ve Çin felsefelerinde kavram belirleme teknikleri, Mezopotamya ve Mısır'da ölçme, sayma, sınıflandırma usulleriyle mevcuttu. Buralarda kimi aritmetik işlemler oldukça gelişmiş olmasına rağmen, matematik ve mantık sistemi kurulamamıştır.^[3] Bu nedenle mantık tarihi, genellikle logos kavramının ortaya çıktığı Yunanistan ve Ön Asya'dan başlatılır. Logos: söz, yasa, akıl, akıl ilkesi, tanrısal akıl, gibi pek çok anlam içeren ve doğu felsefesinden etkilenerek Yunan felsefecilerinde şekillenen merkezi bir kavramdır. İlk olarak Herakleitos bahsetmiştir. Thales ve Platon arası devirde diğer felsefeciler tarafından da tartışılmıştır.^[4] Bugün bildiğimiz anlamdaki mantık üzerine ilk bütünsel düşünme ve araştırmayı Aristoteles yapmıştır. Mantık üzerine altı kitap yazmış ve bu kitaplar o öldükten sonra Organon başlığı altında toplanmıştır. Bunlara, Kategoriler, Önermeler, Birinci Analitikler, İkinci Analitikler, Topikler, Sofistik Kanıtlar, daha sonra da Poetika, Retorik ve Porfiryos’un İsagoji’si de eklenmiştir. Organon, Porfiryos tarafından sadeleştirilmiş, M.S. 6'da, Boetyus tarafından Latinceye çevrilmiştir. Orta Çağ boyunca Aristo’nun öncülük ettiği Skolastik düşünce hakimiyetini sürdürmüştür.

F. Bacon, tümevarım mantığını içeren deneysel yöntemin geçerli olduğunu göstermiştir. Descartes ve Ramus gibi düşünürler bilimcil yöntem konusunu Yeni Çağ’da ön plana çıkarmıştır.

Sembolik mantık üzerine ilk sistemli çalışma Leibniz tarafından yapılmıştır. De Morgan sembollerle ifade edilebilecek bir mantık üzerine çalışmıştır. G. Boole gibi matematikçiler mantığın matematikleştirilmesine çalışırken, G. Frege bugünkü önermeler ve niceleme mantığını kurmuştur. Sembolik mantığın en önemli klasiklerinden biri B. Russel ve N. Whitehead'ın birlikte yazdığı Matematiğin İlkeleri kitabıdır. Günümüzde lojik adı verilen sembolik mantık büyük ölçüde bu kitaba dayanmaktadır. Lukasiewic üç değerli mantık sistemi geliştirmiş, Reicheinbach olasılık mantığı adıyla sonsuz doğruluk değerli mantık sistemini kurmuştur.

İslam Dünyasında mantık[değiştir | kaynağı değiştir]

Kindi (Alkindus) (805–873) Farabi (Alfarabi) (873–950) İbn Sina (Avicenna) (980–1037) İbn Hazm (994-1064) Gazali (Algazel) (1058–1111) İbn Rüşd (Averroes) (1126–1198) Fahreddin Razi (1149-1210) Şahabeddin Sühreverdi (Sohrevardi) (1155-1191) İbn Nefis (1213-1288) İbn Teymiyye (1263-1328) Muhammad ibn Fayd Allah ibn Muhammad Amin al-Sharwani (15. yy) Nasîruddin Tûsî Lotfi Zadeh (b. 1921) İslam dünyasındaki diğer mantıkçılardır.

Ayrıca bakınız[değiştir | kaynağı değiştir]

Kaynakça[değiştir | kaynağı değiştir]

Konuyla ilgili yayınlar[değiştir | kaynağı değiştir]

• AYER, Jules Alfred, Dil, Doğruluk ve Mantık, Metis Yayınları, 152 s.
• AYIK, Hasan (2007) İslam Mantık Geleneği, Ensar Neşriyat, İstanbul, 360 s.
• ÇAPAK, İbrahim (2005), Gazali'nin Mantık Arayışı, Elis Yayınları, 286 s.
• ÇUBUKÇU, Aydın, Mantık ve Diyalektik, Evrensel Basım Yayın, 248 s.
• ÇÜÇEN, A. Kadir, Mantık, Asa Kitabevi, 304 s.
• EMİROĞLU, İbrahim (2004), Mantık Yanlışları, Elis Yayınları, 238 s.
• GRUNBERG, Teo (2007), Epistemik Mantık Üzerine Bir Araştırma, Yapı Kredi Yayınları, İstanbul, 160 s.
• GRUNBERG, Teo (2005), Felsefe ve Felsefi Mantık Yazıları, Yapı Kredi Yayınları, İstanbul, 392 s.
• HEGEL, George W.F. (2004), Mantık Bilimi, (Çeviren: Aziz Yıldırım), İdea Yayınları, 402 s.
• İBRAHİM, Ahmad M. (2006), Gömülü Sistemlerde Bulanık Mantık, Bileşim Yayınları, 198 s.
• KÖZ, İsmail (2003), Mantık Felsefesi, Elis Yayınları, 144 s.
• ÖZLEM, Doğan (2000), Mantık Klasik/Sembolik Mantık, Mantık Felsefesi, İnkılap Kitabevi, İstanbul, 398 s.
• ŞEN, Zekai (2003), Modern Mantık, Bilge Kültür Sanat, 168 s.
• ŞEN, Zekai (2004), Mühendislikte Bulanık Mantık ile Modelleme Prensipleri, Su Vakfı, 190 s.
• TAYLAN, Necip, Mantık Tarihçesi-Problemleri, Marmara Üniversitesi İlahiyat Fakültesi Yayınları, 176 s.
• TOPÇU, Nurettin (2001), Mantık, Dergâh Yayınları, İstanbul, 94 s.
• YILDIRIM, Cemal, Mantık 'Doğru Düşünme Yöntemi', Bilgi Yayınevi, Ankara, 250 s.

Dış bağlantılar[değiştir | kaynağı değiştir]

• İnternet Ortamında Mantık Araştırmaları Kaynakları15 Eylül 2008 tarihinde Wayback Machine sitesinde arşivlendi.
• Grünberg, Teo, Mantık Felsefesi, Felsefe Dünyası Dergisi (pdf)
• Türker,Sadık (2002/1) “Farabî’de Dil ve Mantık İlişkisi”, Kutadgubilig, İstanbul, sayı 1, s.137-175.
• Türker, Sadık (2002/2) “Mantıkta Kullanılan Lafızlar”, Kutadgubilig, İstanbul, sayı 2, s.93-126.
• Vural, Mehmet (2002) “Düşünce Tarihinde Mantık: Aristoteles Mantığından Bulanık Mantığa”, Kutadgubilig, İstanbul, sayı 2