Mantık

bullvar_katip · 21 Mayıs 2024

Mantık ya da eseme, bilginin yapısını inceleyen, doğru ile yanlış arasındaki akıl yürütmenin ayrımını yapan disiplindir, doğru düşüncenin aletidir. Önceleri bir felsefe dalıyken daha sonra kendi başına bir ihtisas alanı olmuştur. Matematik ve bilgisayar biliminin de parçası haline gelmiştir. Bir disiplin olarak Aristoteles tarafından kurulmuştur. Aristoteles'den etkilenen Farabi tarafından iki kısımda kategorize edilmiştir. (düşünce ve sonuç) İbn-i Sina geçicilik ve içerme arasındaki ilişkiyi geliştirmiştir. Çağdaş zamanlarda Frege, Russell ve Wittgenstein önemli katkılar yapmıştır. Mantık Uygulaması Basit bir örnek vermek gerekirse: Eğer bütün insanlar memeli ise ve Aristoteles insan ise, Aristoteles de memelidir. Bu örnek mantık sembolleriyle şöyle gösterilebilir: veya; bu örnek daha genel olarak şöyle ifade edilebilir: bu Tüm az bulunanlar değerlidir. Zümrüt az bulunur. O halde, zümrüt değerlidir. Mantık, doğru düşünmenin kurallarını inceleyen felsefi bir disiplindir. Bu açıdan mantık, bilginin doğruluğunu değil, bilginin doğruluğunu ifade eden düşünce ve kavramların kendi içsel bütünlüğünün doğruluğunu inceler. Böylece mantıken doğru olan bilgi ve bilim manasında yanlış olabilir. Akıl yürütme biçimleri usavurma yöntemleridir. Bir genel öncülden özele veya tikele varma tümden gelimdir: Dedüksiyon, Bütün memeliler çok hücrelidir, İnsan bir memelidir, O zaman insan çok hücrelidir. Bir özel öncülden genele gitme tümevarımdır. (Endüksiyon) Nokia cep telefonu kanser yapar, Samsung cep telefonu kanser yapar, Motorola telefonu kanser yapar, O zaman tüm cep telefonları kanser yapar. Analoji ise benzeştirmedir. Bunda da aynı niteliklere sahip nesnelerin tanımlanmasında benzeşme yoluyla bir tür "sıçratma" uygulanır. Yunanistan ve Türkiye aynı enlemdedir, Yunanistan’da yazlar sıcak geçer, O halde Türkiye’de de yazlar sıcak geçer. Mantık ilkeleri küçükresim|upright=0.91|Elektrik devreleri mantık ilkeleriyle çalışır. Özdeşlik Mantık ilkesi, "Bir şey ne ise odur" ifadesinde mana bulur. Bir akıl yürütmede her kavram ve önerme kendisiyle aynı manada olmalıdır. Platon'a kadar kaynağı bulunabilecek bu temel ilkeyi en kapsamlı olarak Gottfried Leibniz formülize etmiştir. Çelişmezlik Bir şeyin hem kendisi hem de başkası olamayacağını ifade eden kuraldır. Aynı özdeşlik ilkesi gibi kavram veya önermeler kendisiyle çelişmemektedir. Üçüncü durumun olanaksızlığı Bu ilke, bir önermenin ya doğru ya yanlış olacağını ifade eder. Bu mantığa göre bir önerme hem doğru hem yanlış olamaz. Temel matematikteki küme kavramı bu ilkeleri belli ölçülerde tartışmaya açar. Zira bir nesneye ait olan nitelik farklı nesnelere ait olabilir. Bunu da sağlayan aslında benzeşim özelliğidir. İnsan bir canlıdır ancak canlı olmayan şeylerden de oluşmuştur. O halde insan hem canlıdır hem de canlı değildir. Bu ilkelerde sorun iki değerli mantık yerine çok değerli mantığın gelişmesine sebebiyet vermiştir. Doğru ve yanlış yerine "belirsiz" tanımının eklenmesine yol açmıştır. Bu ilkeye göre her yargının doğruluğu için bir başka yargı gereklidir. Yeterli sebep olmadıkça bir yargının doğruluğundan söz edilemez. Tüm ilkelere bakınca modern usavurmada yetersiz kaldıkları görülebilir. Bu da bizi kuantum fiziğinin de oluşmasında yardımcı olduğu yeni kurallara götürebilir. Kuantum deneylemelerinde bir kedi hem ölü hem diri olabilir. Yani hem o, hem diğeridir. Mantığın tarihçesi [[Dosya:Aristotle Altemps Inv8575.jpg|küçükresim|upright=0.68|Aristoteles, MÖ. 384–322.]] Hint ve Çin felsefelerinde kavram belirleme teknikleri, Mezopotamya ve Mısır'da ölçme, sayma, sınıflandırma usulleriyle mevcuttu. Buralarda kimi aritmetik işlemler oldukça gelişmiş olmasına rağmen, matematik ve mantık sistemi kurulamamıştır. Bu nedenle mantık tarihi, genellikle logos kavramının ortaya çıktığı Yunanistan ve Ön Asya'dan başlatılır. Logos: söz, yasa, akıl, akıl ilkesi, tanrısal akıl, gibi pek çok anlam içeren ve doğu felsefesinden etkilenerek Yunan felsefecilerinde şekillenen merkezi bir kavramdır. İlk olarak Herakleitos bahsetmiştir. Thales ve Platon arası devirde diğer felsefeciler tarafından da tartışılmıştır. Bugün bildiğimiz anlamdaki mantık üzerine ilk bütünsel düşünme ve araştırmayı Aristoteles yapmıştır. Mantık üzerine altı kitap yazmış ve bu kitaplar o öldükten sonra Organon başlığı altında toplanmıştır. Bunlara, Kategoriler, Önermeler, Birinci Analitikler, İkinci Analitikler, Topikler, Sofistik Kanıtlar, daha sonra da Poetika, Retorik ve Porfiryos’un İsagoji’si de eklenmiştir. Organon, Porfiryos tarafından sadeleştirilmiş, M.S. 6'da, Boetyus tarafından Latinceye çevrilmiştir. Orta Çağ boyunca Aristo’nun öncülük ettiği Skolastik düşünce hakimiyetini sürdürmüştür. F. Bacon, tümevarım mantığını içeren deneysel yöntemin geçerli olduğunu göstermiştir. Descartes ve Ramus gibi düşünürler bilimcil yöntem konusunu Yeni Çağ’da ön plana çıkarmıştır. Sembolik mantık üzerine ilk sistemli çalışma Leibniz tarafından yapılmıştır. De Morgan sembollerle ifade edilebilecek bir mantık üzerine çalışmıştır. G. Boole gibi matematikçiler mantığın matematikleştirilmesine çalışırken, G. Frege bugünkü önermeler ve niceleme mantığını kurmuştur. Sembolik mantığın en önemli klasiklerinden biri B. Russel ve N. Whitehead'ın birlikte yazdığı Matematiğin İlkeleri kitabıdır. Günümüzde lojik adı verilen sembolik mantık büyük ölçüde bu kitaba dayanmaktadır. Lukasiewic üç değerli mantık sistemi geliştirmiş, Reicheinbach olasılık mantığı adıyla sonsuz doğruluk değerli mantık sistemini kurmuştur. İslam Dünyasında Mantık Kindi (Alkindus) (805–873) Farabi (Alfarabi) (873–950) İbn Sina (Avicenna) (980–1037) İbn Hazm (994-1064) Gazali (Algazel) (1058–1111) İbn Rüşd (Averroes) (1126–1198) Fahreddin Razi (1149-1210) Şahabeddin Sühreverdi (Sohrevardi) (1155-1191) İbn Nefis (1213-1288) İbn Teymiyye (1263-1328) Muhammad ibn Fayd Allah ibn Muhammad Amin al-Sharwani (15. yy) Nasîruddin Tûsî Lotfi Zadeh (b. 1921) İslam dünyasındaki diğer mantıkçılardır. Ayrıca bakınız Bulanık matematik Bulanık Mantık Dilbilim Matematik Matematiksel mantık Semantik Sembolik Mantık Mantık Programlama Yapay Zeka Niceleme (mantık) Mantık bağlacı Mantık tarihi Sıralı mantık Zamansal mantık Tümleme (mantık) Doğruluk değeri Felsefi mantık Diyalektik mantık Soyut mantık Formel mantık Korkuluk mantık hatası Cümle (mantık) Kaynakça Konuyla ilgili yayınlar AYER, Jules Alfred, Dil, Doğruluk ve Mantık, Metis Yayınları, 152 s. AYIK, Hasan (2007) İslam Mantık Geleneği, Ensar Neşriyat, İstanbul, 360 s. ÇAPAK, İbrahim (2005), Gazali'nin Mantık Arayışı, Elis Yayınları, 286 s. ÇUBUKÇU, Aydın, Mantık ve Diyalektik, Evrensel Basım Yayın, 248 s. ÇÜÇEN, A. Kadir, Mantık, Asa Kitabevi, 304 s. EMİROĞLU, İbrahim (2004), Mantık Yanlışları, Elis Yayınları, 238 s. GRUNBERG, Teo (2007), Epistemik Mantık Üzerine Bir Araştırma, Yapı Kredi Yayınları, İstanbul, 160 s. GRUNBERG, Teo (2005), Felsefe ve Felsefi Mantık Yazıları, Yapı Kredi Yayınları, İstanbul, 392 s. HEGEL, George W.F. (2004), Mantık Bilimi, (Çeviren: Aziz Yıldırım), İdea Yayınları, 402 s. İBRAHİM, Ahmad M. (2006), Gömülü Sistemlerde Bulanık Mantık, Bileşim Yayınları, 198 s. KÖZ, İsmail (2003), Mantık Felsefesi, Elis Yayınları, 144 s. ÖZLEM, Doğan (2000), Mantık Klasik/Sembolik Mantık, Mantık Felsefesi, İnkılap Kitabevi, İstanbul, 398 s. ŞEN, Zekai (2003), Modern Mantık, Bilge Kültür Sanat, 168 s. ŞEN, Zekai (2004), Mühendislikte Bulanık Mantık ile Modelleme Prensipleri, Su Vakfı, 190 s. TAYLAN, Necip, Mantık Tarihçesi-Problemleri, Marmara Üniversitesi İlahiyat Fakültesi Yayınları, 176 s. TOPÇU, Nurettin (2001), Mantık, Dergâh Yayınları, İstanbul, 94 s. YILDIRIM, Cemal, Mantık 'Doğru Düşünme Yöntemi', Bilgi Yayınevi, Ankara, 250 s. Dış bağlantılar İnternet Ortamında Mantık Araştırmaları Kaynakları Grünberg, Teo, Mantık Felsefesi, Felsefe Dünyası Dergisi (pdf) Türker,Sadık (2002/1) “Farabî’de Dil ve Mantık İlişkisi”, [[Kutadgubilig], İstanbul, sayı 1, s.137-175.] Türker, Sadık (2002/2) “Mantıkta Kullanılan Lafızlar”, Kutadgubilig, İstanbul, sayı 2, s.93-126. Vural, Mehmet (2002) “Düşünce Tarihinde Mantık: Aristoteles Mantığından Bulanık Mantığa”, [[Kutadgubilig], İstanbul, sayı 2] Kategori:Soyutlama Kategori:Eleştirel düşünme Kategori:Formal bilimler Kategori:Mantık tarihi Kategori:Felsefe tarihi Kategori

üşünce tarihi Kategori:Felsefi mantık Kategori:Mantık felsefesi Kategori:Muhakeme Kategori

üşünce

Ara

Ara

Foruma hoş geldin 👋, Ziyaretçi

Mantık

bullvar_katip

Administrator

Benzer konular

Tema özelleştirme sistemi

Tam ekran yada dar ekran

Izgara yada normal mod

Forum arkaplan resimleri

Sidebar blogunu kapat/aç

Yapışkan sidebar kapat/aç

Radius aç/kapat

Foruma hoş geldin 👋, Ziyaretçi