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

Mayıs Ayı 2, 2024

Mantık, akıl yürütme ve çıkarımların incelenmesidir. . Bu, geçerli argümanların yanlışlardan nasıl farklılaştığını ve onlara nasıl ulaştığımızı anlamamıza izin veren bir dizi soru ve analizdir.

Bunun için dört ana tip mantığa yol açan farklı sistemlerin ve çalışma biçimlerinin geliştirilmesi kaçınılmaz olmuştur. Her birinin ne hakkında olduğunu göreceğiz.

Önerilen makale: ["10 tür mantıksal ve tartışmacı yanıltıcı"] (10 tür mantıksal ve tartışmacı yanılsama)

Mantık nedir?

"Mantık" kelimesi, farklı şekillerde tercüme edilebilen Yunanca "logolar" kelimesinden gelmektedir: kelime, düşünce, argüman, prensip veya sebep, temel olanlardan bazılarıdır. Bu anlamda mantık prensip ve akıl yürütme çalışmasıdır.

Bu çalışma, geçersiz göstergelerin tersine, farklı çıkarım kriterleri ve geçerli gösterilere nasıl ulaştığımızı anlama amacına sahiptir. Öyleyse, mantığın temel sorusu, doğru düşünce nedir ve geçerli bir argüman ve bir yanlışlık arasında nasıl ayrım yapabiliriz?

Bu soruyu cevaplamak için mantık, resmi bir sistemde veya doğal dilde olsun, ifadeleri ve argümanları sınıflandırmanın farklı yollarını önerir. Spesifik olarak, doğru ya da yanlış olabilecek önermeleri (deklarasyon cümleleri), yanı sıra yanlışları, paradoksları, nedenselliği ve genel olarak argümantasyon teorisini içeren argümanları analiz eder.

Genel anlamda, bir sistemi mantıklı olarak değerlendirmek için, üç kriteri karşılamaları gerekir:

tutarlılık (sistemi oluşturan teoremler arasında bir çelişki yoktur)
katılık (test sistemleri yanlış çıkarımlar içermez)
tamlık (bütün doğru cümleler kanıtlanabilmelidir)

4 çeşit mantık

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

1. Resmi mantık

Geleneksel mantık veya felsefi mantık olarak da bilinir, Tamamen resmi ve açık içerikli çıkarımların incelenmesi ile ilgilidir. . Anlamları içsel olmayan, ancak verdikleri faydalı uygulama nedeniyle sembollerinin anlamlandırdığı biçimsel ifadeleri (mantıksal veya matematiksel) analiz etmekle ilgilidir. Sonuncunun türetildiği felsefi geleneğe kesin olarak "biçimcilik" denir.

Buna karşılık, resmi bir sistem, bir veya daha fazla binadan bir sonuca varmak için kullanılan bir sistemdir. İkincisi, aksiyomlar (kendini gösteren önermeler) ya da teoremler (çıkarım ve aksiyomların sabit bir takımının sonuçları) olabilir.

2. Resmi olmayan mantık

Onun için, gayri resmi mantık daha yeni bir disiplindir; Doğal veya gündelik dilde görüntülenen argümanları incelemek, değerlendirmek ve analiz etmek . Bu nedenle, "gayri resmi" kategorisini alır. Sözlü veya yazılı bir dil ya da bir şeyleri iletmek için kullanılan her türlü mekanizma ve etkileşim olabilir. Örnegin, bilgisayar dillerinin çalismasina ve gelistirilmesine uygulanacak resmi mantiktan farklı olarak; Resmi dil, dilleri ve dilleri ifade eder.

Böylelikle, kayıt dışı mantık, kişisel akıl yürütme ve argümanlardan gazeteler, televizyon, internet ve benzeri medya tarafından yayılan politik tartışmalara, yasal tartışmalara veya kurumlara kadar analiz edebilir.

3. Sembolik mantık

Adından da anlaşılacağı gibi sembolik mantık, semboller arasındaki ilişkileri analiz eder. Bazen karmaşık matematiksel dili kullanır, çünkü geleneksel biçimsel mantığın karmaşık veya zor adreslemiş olduğu problemleri çalışmaktan sorumludur. Genellikle iki alt gruba ayrılır:

Tahmini mantık veya ilk sipariş : Formüller ve ölçülebilir değişkenlerden oluşan resmi bir sistemdir.
önermeler : "mantıksal bağ" adı verilen konektörler aracılığıyla başka önermeler oluşturabilen önermelerden oluşan resmi bir sistemdir. Burada neredeyse hiçbir ölçülebilir değişken yoktur.

4. Matematiksel mantık

Bunu açıklayan yazara bağlı olarak, matematiksel mantık bir tür mantıksal mantık olarak düşünülebilir. Diğerleri ise matematiksel mantığın hem matematiğe resmi mantık uygulamasının hem de matematiksel akıl yürütmenin resmi mantığa uygulanmasını içerdiğini düşünmektedir.

Genel olarak, matematiksel dilin mantıksal sistemlerin inşasında uygulanması, insan zihninin yeniden üretilmesini mümkün kılmaktadır. Örneğin, bu, yapay zekanın gelişiminde ve bilişsel çalışmaların hesaplama paradigmalarında çok mevcut olmuştur.

Genellikle iki alt gruba ayrılır:

Mantıksalcılık : Matematikte mantığın uygulanmasıyla ilgilidir. Bu tipin örnekleri ispat teorisi, model teorisi, küme teorisi ve özyineleme teorisidir.
intuitionism : Hem mantık hem de matematiğin, uygulamaların karmaşık zihinsel yapıları gerçekleştirmek için tutarlı olduğu yöntemlerdir. Ama kendisi, mantık ve matematiğin, analiz ettikleri öğelerin derin özelliklerini açıklayamayacağını söylüyor.

Endüktif, tümdengelimli ve modsal mantık

Öte yandan, Mantıksal sistemler olarak da düşünülebilecek üç tür akıl yürütme vardır. . Bunlar, tesislerden sonuç çıkarmamızı sağlayan mekanizmalar. Dedektif akıl yürütme, bu tür bir özütlemeyi genel bir öncülden belirli bir öncül haline getirir. Klasik bir örnek Aristo'nun önerdiği: Tüm insanlar ölümlüdür (bu, genel dayanaktır); Sokrates bir insandır (en büyük önermedir) ve sonunda Sokrates faniedir (bu bir sonuçtur).

Bunun bir parçası olarak, bir endüktif akıl yürütme, bir sonucun ters yönde çizildiği süreçtir: özelden genele. Bunun bir örneği "Görebildiğim bütün kargalar siyahtır" (özellikle öncül); o zaman, tüm kargalar siyahtır (sonuç).

Son olarak, mantık ya da modal mantık olasılıksal argümanlara dayanır, yani bir olasılık (bir modalite) ifade ederler. "Olabilir", "yapabilir", "gerekir", "sonunda" gibi terimleri içeren resmi bir mantık sistemidir.

Bibliyografik referanslar:

Groarke, L. (2017). Gayri resmi Mantık. Stanford Felsefe Ansiklopedisi. 2 Ekim 2018'de alındı. //Plato.stanford.edu/entries/logic-informal/ adresinde bulunabilir.
Mantık (2018). Felsefenin temelleri. 2 Ekim 2018'de alındı. //Www.philosophybasics.com/branch_logic.html adresinden ulaşılabilir.
Shapiro, S. ve Kouri, S. (2018). Klasik Mantık. 2 Ekim 2018'de alındı. Mantık'ta mevcut (2018). Felsefenin temelleri. 2 Ekim 2018'de alındı. //Www.philosophybasics.com/branch_logic.html adresinden ulaşılabilir.
Garson, J. (2018). Modal Mantık. Stanford Felsefe Ansiklopedisi. 2 Ekim 2018'de alındı. //Plato.stanford.edu/entries/logic-modal/ adresinde bulunabilir.