6 Ana Mantık Türleri
Birkaç tür mantık vardır ve hepsi, mantığın ne olduğunu ve ne zaman doğru ya da yanlış olduklarını tanımlamak için çalışma hedeflerine odaklanır.
Mantık çalışması, Yunan filozofu Aristoteles'in zamanından günümüze gelişti ve bu, daha spesifik ve aynı zamanda, insanın günlük yaşamına daha fazla adapte olmak amacıyla ayarlandı. farklı alanlarda daha somut bir uygulama.
Mantık, argümanların ve önermelerin sistematik çalışmasını araştırır ve farklı mantık türleri, bu ifadelerin hem yalnızca biçimsel yapısını hem de içeriği ile ilgili olanları ve içeriği ile ilgili olanları incelemeyi mümkün kılar.
Mantık ifadelerin incelenmesine dayanmasına rağmen, açıkça doğal dile (bildiğimiz dil) odaklanmamakla birlikte, kullanım alanı farklı alanlara ve matematik gibi farklı yapılara ulaşmıştır. işlem.
En uygun mantık türleri
biçimsel
Klasik mantık veya Aristoteles mantığı olarak da bilinen biçimsel mantık, yapısal açıdan önermelerin, tartışmaların, ifadelerin veya cümlelerin incelenmesidir.
Düşünceyi yapılandırmak ve belirli bir yaklaşımın doğru ya da yanlış biçimlerini belirlemek için bir yöntemdir.
Biçimsel mantık, belirli bir argüman içeriğinin gerçeğine veya yanlışlığına odaklanmaz, ancak geçerliliğine veya biçiminin oluşturulmasına odaklanır.
Yani, biçimsel mantık çalışmasının amacı ampirik değildir, mantıkçı için sunulan argümanın gerçek ve kanıtlanmış olup olmadığının belirlenmesi ile ilgili değildir; Ancak yaptığı çalışma açıkça argümanın yapısı üzerine odaklanmıştır.
Resmi mantık içinde iki önemli sınıflandırma vardır: tümdengelimli mantık ve tümevarımlı mantık.
Tümdengelim mantık, genel kavramlardan üretilen özel ifadeleri ifade eder. Bu tür bir mantıkla, zaten var olan kavram ve teorilerden çıkarımlar yapılabilir.
Örneğin, tümdengelimli mantık içinde, eğer insanlar bacakları varsa ve Clara bir insan ise, o zaman Clara'nın bacakları olduğunu söyleyebiliriz.
Endüktif mantık söz konusu olduğunda, argümanların yapımı tersine olur; yani, genel kavramlar belirli argümanlardan yaratılır.
Örneğin, endüktif mantık içinde biri, bir kedi balığı severse, bir başkasının da sevdiğini, diğerinin de, o zaman tüm kedileri balık gibi olduğunu söyleyebilir.
resmi olmayan
Enformel mantık, dile ve anlamsal kurgu ve argümanlardan kaynaklanan mesaja odaklanan bir çalışma alanıdır.
Bu mantık biçimsel mantıktan farklıdır, çünkü biçimsel mantık cümlelerin ve önermelerin yapılarını inceler; ve gayri mantık, iletilen mesajın arka planına odaklanır.
Çalışmanın amacı, istenen sonucu elde etmenin tartışmanın yoludur. Gayri mantık, daha zayıf bir tartışmacı yapıya sahip olan diğerleri arasında daha tutarlı olan mantıksal argümanlara geçerlilik kazandırır.
Klasik değil
Klasik olmayan mantık ya da modern mantık ondokuzuncu yüzyılda ortaya çıkar ve klasik mantığın bildirimlerinin aksine ortaya çıkar.
Klasik mantık yaklaşımıyla içerilebilecek olandan daha fazla yönü kapsayacak başka analiz biçimleri kurar.
Matematiksel ve sembolik unsurlar, biçimsel bir mantık sisteminin eksikliklerini telafi eden yeni ifadeler veya teoremler bu şekilde dahil edilmiştir.
Klasik olmayan mantık içinde, diğerleri arasında modal, matematiksel, üç değerlikli gibi farklı mantık alt tipleri vardır.
Tüm bu mantık türleri, bir dereceye kadar resmi mantığa göre farklılık gösterir veya tamamlayıcı olan yeni unsurları içerir ve belirli bir ifadenin mantıksal çalışmasına izin verir, günlük yaşamdaki faydaya daha doğru ve uyarlanır.
sembolik
Sembolik mantık aynı zamanda birinci dereceden mantık veya matematiksel mantık olarak da adlandırılır ve bağımsız değişkenleri "çevirmek" için yeni bir dil oluşturan semboller kullanılarak tanımlanır.
Sembolik mantığın amacı, soyut düşünceleri daha resmi yapılara dönüştürmektir.
Aslında, doğal dili (dili) kullanmaz, ancak cümleleri, doğal dilinde uygulanabilecek olanlardan daha kesin kuralların uygulanmasına duyarlı öğelere dönüştüren teknik bir dil kullanır.
Daha sonra, sembolik mantık, karışıklık veya yanlışlıkları önlemek için, teklif yasalarının hesaplama yasaları ile muamele edilmesine izin verir.
Resmi mantık yapılarının analizine matematiksel unsurları dahil etmeye çalışır. Matematik alanında, teoremleri ispatlamak için mantık kullanılır.
Kısacası, sembolik veya matematiksel mantık, insan düşüncesini matematik diliyle ifade etmeyi amaçlamaktadır.
Bu mantıksal mantık uygulaması argümanların ve yapıların daha doğru olmasını sağlar.
kip
Modal mantık, argümanların incelenmesine odaklanır, ancak söz konusu ifadenin doğru veya yanlış olması olasılığı ile ilgili unsurlar ekler.
Modal mantık, insan düşüncesi ile daha uyumlu görünüyor, bu nedenle "olabilir", "muhtemelen", "bazen", "belki", "muhtemelen", "muhtemel", "belki" gibi yapıların kullanımını da içeriyor ", Diğerleri arasında.
Modal mantıkta, bunun mümkün olabileceği bir senaryoyu düşünmekle ilgilidir ve kişi varolan tüm olasılıkları mantıksal bakış açısıyla düşünmeye meyillidir.
bilişimsel
Hesaplamalı mantık, sembolik veya matematiksel mantıktan türetilmiş bir tür mantıktır, yalnızca hesaplama alanında uygulanır.
Bilgisayar programları, programlama dilini gelişimleri için kullanırlar ve mantıkla bu dil sistemleri üzerinde çalışmak, belirli görevler vermek ve doğrulama işlemlerini gerçekleştirmek mümkündür.
