En önemli 4 mantık türü (ve özellikleri)

Mantık, muhakeme ve çıkarımların incelenmesidir. Geçerli argümanların yanlışlardan ne kadar farklı olduğunu ve onlara nasıl ulaştığımızı anlamayı mümkün kılan bir dizi soru ve analizdir.

Bunun için, dört ana mantık türü ile sonuçlanan farklı çalışma sistemlerinin ve biçimlerinin geliştirilmesi esas olmuştur. Aşağıda her birinin ne hakkında olduğunu göreceğiz.

• Önerilen makale: "10 çeşit mantıksal ve tartışmacı yanılgı"

mantık nedir?

"Mantık" kelimesi, farklı şekillerde tercüme edilebilen Yunanca "logos"tan gelir: kelime, düşünce, argüman, ilke veya akıl bunlardan başlıcalarıdır. Bu anlamda mantık, ilkelerin ve akıl yürütmenin incelenmesidir.

Bu çalışmanın amacı, farklı çıkarım kriterlerini ve geçersiz delillerin aksine geçerli delillere nasıl ulaştığımızı anlamaktır. O halde mantığın temel sorusu, doğru düşünmenin ne olduğu ve geçerli bir argüman ile yanlışı nasıl ayırt edebiliriz?

Bu soruyu yanıtlamak için mantık, ister resmi sistemlerde ister doğal dilde olsun, ifadeleri ve argümanları sınıflandırmanın farklı yollarını önerir. Spesifik olarak, doğru veya yanlış olabilecek önermeleri (bildirim cümleleri) analiz eder. yanılgılar, paradokslar, nedensellik içeren argümanlar ve genel olarak tartışma.

Genel anlamda, bir sistemi mantıklı olarak kabul etmek için üç kriteri karşılamaları gerekir:

• Tutarlılık (sistemi oluşturan teoremler arasında çelişki yoktur)
• sağlamlık (test sistemleri yanlış çıkarımlar içermez)
• eksiksizlik (tüm doğru cümleler test edilebilir olmalıdır)

4 çeşit mantık

Gördüğümüz gibi mantık, bir şeyi haklı çıkarmak için kullandığımız mantığı anlamak için farklı araçlar kullanır. Geleneksel olarak, her biri bazı alt türlere ve özelliklere sahip dört ana mantık türü tanınır. Aşağıda her birinin ne hakkında olduğunu göreceğiz.

1. biçimsel mantık

Geleneksel mantık veya felsefi mantık olarak da bilinir, tamamen biçimsel ve açık içerikli çıkarımların incelenmesidir.. Anlamları içsel olmayan, daha çok, verildikleri yararlı uygulamalar nedeniyle sembolleri anlamlı olan biçimsel ifadeleri (mantıksal veya matematiksel) analiz etmekle ilgilidir. İkincisinin türediği felsefi geleneğe tam olarak "biçimcilik" denir.

Buna karşılık, resmi bir sistem, bir veya daha fazla öncülden bir sonuç çıkarmak için kullanılan sistemdir. İkincisi, aksiyomlar (apaçık önermeler) veya teoremler (sabit bir dizi çıkarım ve aksiyom kuralından sonuçlar) olabilir.

Biçimsel mantıkla ulaştığımız sonuçlar, geçerli öncüllere dayanıyorlarsa ve mantıksal işlemlerde hata yoksa, kendi içlerinde doğrudurlar.. Aslında bu, formel mantığın bilim dünyasına ait olup olmadığı konusunda açık bir tartışmaya yol açar. ya da gerçekliği değil, kendi kurallarını tanımladıkları için başka bir bilgi alanına aittirler. işleyen.

2. resmi olmayan mantık

Gayri resmi mantık ise daha yeni bir disiplindir. Doğal veya günlük dilde konuşlandırılan argümanları inceler, değerlendirir ve analiz eder. Bu nedenle, "gayri resmi" kategorisini alır. Hem sözlü hem de yazılı dil veya bir şeyi iletmek için kullanılan herhangi bir mekanizma ve etkileşim türü olabilir. Örneğin bilgisayar dillerinin incelenmesi ve geliştirilmesi için geçerli olan biçimsel mantığın aksine; resmi dil, dilleri ve dilleri ifade eder.

Böylece informal mantık, kişisel akıl yürütme ve argümanlardan siyasi tartışmalara kadar her şeyi analiz edebilir. gazete, televizyon, internet gibi medya tarafından yayılan yasal argümanlar veya öncüller, vb.

3. sembolik mantık

Adından da anlaşılacağı gibi, sembolik mantık, semboller arasındaki ilişkileri analiz eder. Bazen karmaşık matematiksel dil kullanır, çünkü geleneksel biçimsel mantığın karmaşık veya üstesinden gelmesi zor bulduğu problemleri incelemekle görevlidir. Genellikle iki alt tipe ayrılır:

• Tahmine dayalı veya birinci dereceden mantık: formüllerden ve ölçülebilir değişkenlerden oluşan resmi bir sistemdir.
• önermesel: "mantıksal bağlaçlar" adı verilen bağlaçlar aracılığıyla başka önermeler oluşturabilen önermelerden oluşan biçimsel bir sistemdir. Bunda neredeyse hiç ölçülebilir değişken yoktur.

4. matematiksel mantık

Onu tanımlayan yazara bağlı olarak, matematiksel mantık bir tür biçimsel mantık olarak kabul edilebilir. Diğerleri, matematiksel mantığın hem biçimsel mantığın matematiğe uygulanmasını hem de matematiksel akıl yürütmenin biçimsel mantığa uygulanmasını içerdiğini düşünür.

Genel olarak konuşursak, insan zihnini yeniden üretmeyi mümkün kılan mantıksal sistemlerin inşasında matematiksel dilin uygulanmasıyla ilgilidir. Örneğin, bu, yapay zekanın gelişiminde ve biliş çalışmasının hesaplama paradigmalarında çok mevcut olmuştur.

Genellikle iki alt tipe ayrılır:

• mantık: mantığın matematikte uygulanmasıyla ilgilidir. Bu türün örnekleri, ispat teorisi, model teorisi, küme teorisi ve özyineleme teorisidir.
• sezgicilik: hem mantığın hem de matematiğin, uygulaması karmaşık zihinsel yapıları yürütmek için tutarlı olan yöntemler olduğunu savunur. Ancak mantık ve matematiğin tek başlarına analiz ettikleri elementlerin derin özelliklerini açıklayamadığını söylüyor.

Endüktif, tümdengelim ve modal akıl yürütme

Diğer yandan, mantıksal sistemler olarak da kabul edilebilecek üç tür akıl yürütme vardır.. Bunlar, öncüllerden sonuçlar çıkarmamıza izin veren mekanizmalardır. Tümdengelimli akıl yürütme, bu çıkarımı genel bir öncülden belirli bir öncülü yapar. Klasik bir örnek, Aristoteles'in önerdiği örnektir: Tüm insanlar ölümlüdür (genel önerme budur); Sokrates insandır (ana öncüldür) ve son olarak Sokrates ölümlüdür (sonuç budur).

Kendi adına, tümevarımsal akıl yürütme, ters yönde bir sonucun çıkarıldığı süreçtir: özelden genele. Buna bir örnek "Görebildiğim tüm kargalar siyahtır" olabilir (özellikle öncül); yani tüm kargalar siyahtır (sonuç).

Son olarak, akıl yürütme veya modsal mantık, olasılık argümanlarına dayanır, yani bir olasılığı (bir modaliteyi) ifade ederler. "Olabilir", "olabilir", "zorunlu", "sonunda" gibi terimleri içeren biçimsel bir mantık sistemidir.

Bibliyografik referanslar:

• Groarke, L. (2017). Resmi olmayan Mantık. Stanford Felsefe Ansiklopedisi. 2 Ekim 2018'de alındı. Uygun https://plato.stanford.edu/entries/logic-informal/
• Mantık (2018). Felsefenin temelleri. 2 Ekim 2018'de alındı. Uygun https://www.philosophybasics.com/branch_logic.html
• Magnani, L. (2001). Kaçırma, Akıl ve Bilim: Keşif ve Açıklama Süreçleri. New York: Kluwer Akademik Plenum Yayıncıları.
• McGinn, C. (2000). Mantıksal Özellikler: Özdeşlik, Varlık, Tahmin, Gereklilik, Doğruluk. Oxford: Clarendon Basın.
• Quine, W.V.O. (1986) (1970). Mantık Felsefesi. Cambridge, MA.: Harvard University Press.
• Shapiro, S. ve Kouri, S. (2018). Klasik Mantık. 2 Ekim 2018'de alındı. Mantıkta (2018) mevcuttur. Felsefenin temelleri. 2 Ekim 2018'de alındı. Uygun https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Modal Mantık. Stanford Felsefe Ansiklopedisi. 2 Ekim 2018'de alındı. Uygun https://plato.stanford.edu/entries/logic-modal/