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

Mantık, akıl yürütme ve çıkarımların incelenmesidir.. Geçerli tartışmaların hatalardan nasıl farklılaştığını ve bunlara nasıl ulaştığımızı anlamamızı sağlayan bir dizi soru ve analiz..

Bunun için dört ana mantık türüne yol açan farklı sistem ve çalışma biçimlerinin geliştirilmesi kaçınılmaz olmuştur. Her birinin neyle ilgili olduğunu aşağıda göreceğiz..

• Önerilen makale: ["10 tür mantıksal ve tartışmacı yanlışlık türü]] (10 tür mantıksal ve tartışmacı yanlışlık türü)

Mantık nedir?

"Mantık" kelimesi farklı şekillerde çevrilebilen Yunanca "logolarından" gelir: kelime, düşünce, tartışma, ilke veya sebep, bunlardan bazılarıdır. Bu anlamda mantık, ilke ve akıl yürütme çalışmasıdır..

Bu çalışma, farklı çıkarım kriterlerini ve geçersiz gösterilerin aksine, geçerli gösterilere nasıl vardığımızı anlamayı amaçlamaktadır. Öyleyse, mantığın temel sorusu doğru düşünme nedir ve geçerli bir argüman ile yanılsama arasındaki farkı nasıl ayırt edebiliriz??

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

Genel olarak, bir sistemi mantıksal olarak düşünmek için üç kritere uymaları gerekir:

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

4 tip mantık

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

1. Biçimsel mantık

Geleneksel mantık veya felsefi mantık olarak da bilinir, tamamen resmi ve açık içerikli çıkarımların incelenmesi hakkında. Bu, anlamı içsel değil, sembolleri verilen faydalı uygulama ile anlam ifade eden biçimsel ifadeleri (mantıksal veya matematiksel) analiz etmekle ilgilidir. İkincisinin ortaya çıktığı felsefi geleneğe "formalizm" denir..

Sırayla, resmi bir sistem bir ya da daha fazla binadan sonuç çıkarmak için kullanılan sistemdir. İkincisi, aksiyomlar (açık ifadeler) veya teoremler (sabit çıkarım kuralları ve aksiyomlar dizisinin sonuçları) olabilir..

2. Gayri mantık

Gayri resmi mantık, daha yeni bir disiplindir; doğal veya günlük dilde gösterilen argümanları incelemek, değerlendirmek ve analiz etmek. Bu nedenle, "gayri resmi" kategorisini alır. Sözlü veya yazılı bir dil veya bir şeyi iletmek için kullanılan her türlü mekanizma ve etkileşim olabilir. Örneğin bilgisayar dillerinin incelenmesi ve geliştirilmesi için geçerli olan resmi mantıktan farklı olarak; resmi dil, dilleri ve dilleri ifade eder..

Böylece, gayri resmi mantık kişisel muhakeme ve argümanlardan siyasal tartışmalara, yasal argümanlara veya gazeteler, televizyon, internet 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 bir dil kullanır, çünkü geleneksel biçimsel mantığın ele alması zor veya zor olduğu sorunları incelemekten sorumludur. Genellikle iki alt gruba ayrılır:

• Tahmini mantık veya birinci dereceden: formüller ve ölçülebilir değişkenlerden oluşan resmi bir sistemdir
• önermeler: "Mantıksal bağlanma" olarak adlandırılan bağlaçlarla başka teklifler yaratabilen önermelerden oluşan resmi bir sistemdir. Bu konuda neredeyse ölçülebilir değişken yok.

4. Matematiksel mantık

Bunu tanımlayan yazara bağlı olarak, matematiksel mantık bir tür resmi mantık olarak düşünülebilir. Diğerleri matematiksel mantığın hem formal mantığın matematiğe uygulanmasını hem de matematiksel mantığın formal mantığa uygulanmasını içerdiğini düşünmektedir..

Genel olarak konuşursak, matematik dilinin mantıksal sistemlerin inşasında uygulanması insan zihninin çoğaltılmasını mümkün kılar. Örneğin, bu yapay zekanın gelişiminde ve biliş çalışmasının hesaplamalı paradigmalarında çok mevcut olmuştur..

Genellikle iki alt gruba ayrılır:

• Mantıksalcılık: mantığın matematiğe uygulanması ile ilgilidir. Bu tipin örnekleri test teorisi, model teorisi, kümeler teorisi ve özyineleme teorisidir..
• intuitionism: Hem mantığın hem de matematiğin, uygulamasının karmaşık zihinsel yapıları gerçekleştirmek için tutarlı olduğu yöntemlerdir. Ancak, kendilerinde mantık ve matematiğin analiz ettikleri öğelerin derin özelliklerini açıklayamadığını söylüyor.

Endüktif, tümdengelimli ve modsal akıl yürütme

Öte yandan, Mantıksal sistemler olarak da kabul edilebilecek üç tür akıl yürütme vardır.. Bunlar, tesislerden sonuç çıkarmamıza izin veren mekanizmalardır. Tümdengelimli akıl yürütme, böyle bir çıkarımı genel bir öncülden belirli bir öncül haline getirir. Klasik bir örnek Aristoteles tarafından önerilenlerdir: Bütün insanlar ölümlüdür (genel öncül budur); Sokrates bir insandır (asıl öncüldür) ve nihayet Sokrates ölümlüdür (sonuç budur).

Öte yandan, endüktif bir akıl yürütme, bir sonucun zıt yönde çizildiği süreçtir: özelden genele. Buna bir örnek “Görebildiğim bütün kargalar siyah” (özel öncül); o zaman bütün kargalar siyah (sonuç).

Son olarak, muhakeme ya da modal mantık olasılıksal argümanlara dayanır, yani bir olasılık (modalite) ifade eder. “Can”, “can”, “olmalıdır”, “nihayet” gibi terimleri içeren resmi bir mantık sistemidir..

Bibliyografik referanslar:

• Groarke, L. (2017). Gayri Mantık. Stanford felsefe ansiklopedisi. 2 Ekim 2018 tarihinde alındı. Https://plato.stanford.edu/entries/logic-informal/ adresinde mevcuttur.
• Mantık (2018). Felsefenin temelleri. 2 Ekim 2018 tarihinde alındı. Https://www.philosophybasics.com/branch_logic.html adresinde mevcuttur.
• Shapiro, S. ve Kouri, S. (2018). Klasik Mantık. 2 Ekim 2018'de alındı. Mantıkta (2018) mevcuttur. Felsefenin temelleri. 2 Ekim 2018 tarihinde alındı. Https://www.philosophybasics.com/branch_logic.html adresinde mevcuttur.
• Garson, J. (2018). Modal Mantık. Stanford felsefe ansiklopedisi. 2 Ekim 2018 tarihinde alındı. Https://plato.stanford.edu/entries/logic-modal/ adresinde mevcuttur.