6 Ana Mantık Türleri

Birkaç var mantık türleri ve hepsi, çalışma amaçlarını, muhakemeyi anlama ve doğru ya da yanlış olduklarında tanımlama konusunda odaklanırlar..

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 uygulama.

Mantık, argümanların ve önermelerin sistematik bir şekilde incelenmesini ister ve farklı mantık türleri, bu ifadelerin hem tamamen resmi yapısını, hem de içerikle ne yapması gerektiğinin araştırılmasını 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 da odaklanır..

Başka bir deyişle, 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 çalışmasının açıkça söylenen argümanın yapısına odaklandığını.

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ık çıkarımı yoluyla, zaten var olan kavram ve teorilerden yapılabilir..

Örneğin, tümdengelimli mantık içinde, bir insanın 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ığı sever, diğeri de onu sever, diğeri de balık gibi tüm kedileri sever..

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 aktarılan 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ümanları doğrular..

Klasik değil

Klasik olmayan mantık ya da modern mantık, on dokuzuncu yüzyılda ortaya çıkar ve klasik mantık ifadelerine zıt olarak ortaya çıkar..

Klasik mantık yaklaşımı ile kapsanmanın mümkün olduğundan daha fazlası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 buna 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ıktan farklıdır veya tamamlayıcı olan yeni unsurlar içerir ve belirli bir ifadenin mantıksal çalışmasının günlük yaşamda daha doğru ve kullanışlı hale getirilmesine olanak sağlar..

sembolik

Sembolik mantık ayrıca 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 dilde uygulanabilecek olandan daha kesin kuralların uygulanmasına duyarlı öğelere dönüştüren teknik bir dil kullanır..

Ardından, sembolik mantık, karışıklığı veya yanlışlıkları önlemek için, teklif yasalarının hesaplama yasalarıyla ele alınmasına 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çlar..

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, olasılık olan bir senaryoyu düşünmek meselesidir ve mevcut olabilecek tüm olasılıkları mantıksal bakış açısıyla değerlendirmek eğilimindedir..

bilişimsel

Hesaplamalı mantık, sembolik veya matematiksel mantıktan türetilmiş bir mantık türüdür, sadece bilgisayar alanında uygulanır..

Bilgisayar programları, programlama dilini gelişimleri için kullanır ve bu mantıkla bu dil sistemleri üzerinde çalışmak, belirli görevler vermek ve doğrulama işlemlerini gerçekleştirmek mümkündür..

referanslar

1. Ansiklopedi Britannica'da "Mantık". 4 Ağustos 2017 tarihinde Ansiklopedi Britannica'dan alındı: britannica.com
2. Ansiklopedi Britannica'da "Resmi mantık". 4 Ağustos 2017 tarihinde Ansiklopedi Britannica'dan alındı: britannica.com
3. Hernández, F. Meksika Ulusal Özerk Üniversitesi'nde "Hesaplamalı Mantık". 4 Ağustos 2017 tarihinde Meksika Ulusal Özerk Üniversitesi'nden alınmıştır: unam.mx
4. Muñoz, C. Madrid'deki Complutense Üniversitesi'nde "Klasik Olmayan Mantık". 4 Ağustos 2017 tarihinde Universidad Complutense de Madrid'den alındı: ucm.es
5. Julia, J. "Sembolik mantık nedir?" EHow en Español'da. 4 Ağustos 2017 tarihinde eHow en Español'dan alındı: ehowenespanol.com
6. Oller, C. "Örgün mantık ve tartışma" (2006), La Plata Ulusal Üniversitesi'nde. 4 Ağustos 2017 tarihinde La Plata Ulusal Üniversitesi'nden alındı: rfytp.fahce.unlp.edu.ar
7. Junta de Extremadura'da "tümdengelimli ve endüktif çıkarımlar". Junta de Extremadura'da 4 Ağustos 2017 tarihinde alındı: educarex.es.