- En alakalı mantık türleri
- Biçimsel mantık
- Gayri resmi mantık
- Klasik olmayan mantık
- Sembolik mantık
- Modal mantık
- Hesaplamalı mantık
- Referanslar
Birkaç mantık türü vardır ve bunların tümü, çalışma hedeflerini akıl yürütmeyi anlamaya ve ne zaman doğru veya yanlış olduklarını belirlemeye odaklanır. Mantık çalışması, Yunan filozof Aristoteles'in zamanından günümüze kadar gelişmiştir.
Etik, daha spesifik ve aynı zamanda insanın günlük yaşamına daha fazla adapte olma niyetiyle ayarlanıyor, bu da farklı alanlarda daha somut bir uygulamaya izin veriyor.
Aristoteles, mantığın babası olarak kabul edildi.
Mantık, argümanların ve önermelerin sistematik olarak incelenmesini ister ve farklı mantık türleri, hem bu ifadelerin yalnızca biçimsel yapısını hem de içerikle ne ilgisi olduğunu ve söz konusu içeriğin gücünü incelemeyi mümkün kılar.
Mantık, ifadelerin incelenmesine dayanmasına rağmen, açıkça doğal dile (bildiğimiz şekliyle dil) odaklanmıyor, ancak kullanışlılığı farklı alanlara ve matematik ve matematik gibi farklı yapılara ulaştı. bilgi işlem.
En alakalı mantık türleri
Biçimsel mantık
Klasik mantık veya Aristoteles mantığı olarak da bilinen biçimsel mantık, yapısal bir bakış açısından önermelerin, argümanların, ifadelerin veya cümlelerin incelenmesidir. Düşünceyi yapılandırma ve belirli bir yaklaşımın doğru veya yanlış biçimlerini belirleme yöntemidir.
Biçimsel mantık, belirli bir argümanın içeriğinin doğruluğuna ya da yanlışlığına odaklanmaz, daha ziyade formunun inşasının geçerliliğine ya da geçerliliğine odaklanır.
Yani, biçimsel mantığın incelenmesinin amacı deneysel değildir, mantıkçı için sunulan argümanın gerçek ve kanıtlanmış olup olmadığını belirlemek alakalı değildir; Daha ziyade, çalışması açıkça söz konusu argümanın yapısına odaklanmıştır.
Biçimsel mantık içinde çok önemli iki sınıflandırma vardır: tümdengelimli mantık ve tümevarımlı mantık.
Tümdengelimli mantık, genel kavramlardan üretilen belirli ifadeleri ifade eder. Bu tür bir mantık yoluyla, zaten var olan kavram veya teorilerden çıkarımlar yapılabilir.
Örneğin, tümdengelim mantığında, eğer insanların bacakları varsa ve Clara bir insan ise o zaman Clara'nın bacakları olduğu söylenebilir.
Tümevarımsal mantık durumunda, argümanların yapımı tam tersi şekilde gerçekleşir; yani, genel kavramlar belirli argümanlardan oluşturulur.
Örneğin, tümevarım mantığına göre, eğer bir kedi balıktan hoşlanırsa, diğeri de balıktan hoşlanırsa, o zaman tüm kedilerin balıkları sevdiği söylenebilir.
Gayri resmi mantık
Gayri resmi mantık, dile ve semantik yapılardan ve argümanlardan çıkan mesaja odaklanan çalışma dalı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 resmi mantık, iletilen mesajın özüne odaklanır.
Çalışmanın amacı, istenen sonucu elde etmek için tartışmanın yoludur. Gayri resmi mantık, daha zayıf bir argümantasyon yapısına sahip diğerleri arasında daha tutarlı olan mantıksal argümanlara geçerlilik verir.
Klasik olmayan mantık
Klasik olmayan mantık veya modern mantık, on dokuzuncu yüzyılda ortaya çıkar ve klasik mantığın ifadelerine zıt olarak ortaya çıkar. Mantığa klasik yaklaşımla dahil edilebilenlerden daha fazla yönü kapsayabilecek başka analiz formları oluşturur.
Biçimsel bir mantık sisteminin eksikliklerini telafi etmek için gelen matematiksel ve sembolik unsurlar, yeni ifadeler veya teoremler bu şekilde dahil edilir.
Klasik olmayan mantık içinde, diğerleri arasında modal, matematiksel, üç değerlikli gibi farklı mantık alt türleri vardır.
Tüm bu mantık türleri bir dereceye kadar biçimsel mantıktan farklıdır veya tamamlayıcı olan yeni unsurları içerir ve belirli bir ifadenin mantıksal çalışmasının daha doğru olmasına ve günlük yaşamda kullanıma uyarlanmasına izin verir.
Sembolik mantık
Sembolik mantık, birinci dereceden mantık veya matematiksel mantık olarak da adlandırılır ve argümanların "çevrildiği" yeni bir dil oluşturan semboller kullanılarak karakterize edilir.
Sembolik mantığın amacı, soyut düşünceleri daha resmi yapılara dönüştürmektir. Aslında, doğal dili (deyim) kullanmaz, ancak cümleleri doğal dilde uygulanabilecek olandan daha kesin kuralların uygulanmasına duyarlı unsurlara dönüştüren teknik bir dil kullanır.
Bu nedenle, sembolik mantık, karışıklık veya yanlışlıkları önlemek için önermelerin analiz yasaları aracılığıyla ele alınmasına izin verir.
Biçimsel mantık yapılarının analizine matematiksel unsurları dahil etmeye çalışır. Matematiksel alanda, teoremleri ispatlamak için mantık kullanılır.
Kısacası, sembolik veya matematiksel mantık, insan düşüncesini matematiksel dil aracılığıyla ifade etmeye çalışır.
Mantığın bu matematiksel uygulaması, argümanların ve yapıların daha kesin olmasına izin verir.
Modal mantık
Modal mantık, argümanların incelenmesine odaklanır, ancak söz konusu ifadenin doğru veya yanlış olma olasılığı ile ilgili unsurlar ekler.
Modal mantık, insan düşüncesi ile daha uyumlu olmaya çalışır, bu nedenle "olabilir", "muhtemelen", "bazen", "belki", "muhtemelen", "olasıdır", "belki" gibi yapıların kullanımını kapsar. ", diğerleri arasında.
Modal mantıkta, bir olasılığın olduğu bir senaryoyu düşünmekle ilgilidir ve mevcut olabilecek tüm olasılıkları mantıksal bakış açısından ele alma eğilimindedir.
Hesaplamalı mantık
Hesaplamalı mantık, sembolik veya matematiksel mantıktan türetilen bir mantık türüdür, yalnızca hesaplama alanında uygulanır.
Bilgisayar programları, geliştirme için programlama dilini kullanır ve mantık yoluyla bu dil sistemleri üzerinde çalışmak, belirli görevler atamak ve doğrulama eylemlerini yürütmek mümkündür.
Referanslar
- Encyclopedia Britannica'da "Mantık". Encyclopedia Britannica'dan 4 Ağustos 2017'de alındı: britannica.com
- Encyclopedia Britannica'da "biçimsel mantık". Encyclopedia Britannica'dan 4 Ağustos 2017'de alındı: britannica.com
- Hernández, F. National Autonomous University of Mexico'da F. "Hesaplamalı Mantık". Meksika Ulusal Özerk Üniversitesi'nden 4 Ağustos 2017'de alındı: unam.mx
- Muñoz, C. Madrid Complutense Üniversitesi'nde "Klasik Olmayan Mantık". Madrid Complutense Üniversitesi'nden 4 Ağustos 2017'de alındı: ucm.es
- Julia, J. "Sembolik mantık nedir?" eHow'da İspanyolca. 4 Ağustos 2017'de eHow'dan İspanyolca olarak alındı: ehowenespanol.com
- Oller, C. Ulusal La Plata Üniversitesi'nde "Biçimsel mantık ve argümantasyon" (2006). 4 Ağustos 2017'de La Plata Ulusal Üniversitesi'nden alındı: rfytp.fahce.unlp.edu.ar
- Junta de Extremadura'da "Tümevarımsal ve tümevarımsal çıkarımlar". Junta de Extremadura'da 4 Ağustos 2017'de alındı: educarex.es.