Biçimsel mantık: çalışmanın amacı, özellikleri, çeşitleri ve örnekleri

Teorik mantık veya matematiksel mantık olarak da adlandırılan biçimsel mantık, hangisinin geçerli ve doğru muhakeme biçimlerinin hangisi olduğunu belirler. Bu uygulama sayesinde, hakkı yanlıştan ayırmaya çalışırız.

Biçimsel mantıkta semboller açıkça ve mümkün olduğunca net bir şekilde kullanılırlar, böylece manipüle edilemezler. Bu uygulama sayesinde kendi fikirlerinizi geliştirmek mümkündür.

"Mantık" kelimesi, "entelektüel, diyalektik, tartışmalı sebeple donatılmış" anlamına gelen eski Yunan λογικήlogik from kelimesinden gelir. Mantık, felsefe ve matematiğin dallarından biridir ve bu disiplinler için çok faydalı olduğu düşünülmektedir.

Genel olarak, mantık düşünce biçimini inceler. Mantıkla ilgili yapılan ilk çalışmalar, Yunan filozofu Aristoteles'e atfedilmiştir, bu yüzden bu düşünce alanının kurucu babası olarak bilinir.

Tarih boyunca çeşitli filozoflar, matematikçiler ve logistler biçimsel mantığı savundular. Bunlar arasında matematikçi ve mantıkçı Alonzo Kilisesi ismini verebiliriz; filozof, matematikçi ve mantıkçı Gottlob Frege; ve matematikçi ve filozof Alfred North Whitehead.

Ayrıca diğerlerinin yanı sıra Alfred Tarski, KurtGödel, Bertrand Russell ve Willard Van Orman Quine'nin de büyük savunucuları oldular.

Çalışmanın amacı

Biçimsel mantık, muhakeme, kavram, yargılamalar ve gösteri gibi çalışma yönlerinin bir nesnesi olarak kullanılır. Bu unsurlardan, bir sonuca ulaşmak için tüm dil ve anlambilim kaynaklarını analiz eder ve inceler.

Bu anlamda, biçimsel mantıkta gerekçelendirmenin yapılandırılmış noktadan, geçerliliği veya geçersizliği ile çalışıldığı belirlenmiştir.

Biçimsel mantık, muhakeme sürecinin deneysel bir çalışması değildir. Sonuç almak için argümanların yapısını aldığı için ikna ile karıştırılmamalıdır.

Bu mantık aynı zamanda teorik ya da saf mantık olarak da bilinir ve iddialı olarak kullanılan tümdengelim argümanlarının, ifadelerin, önermelerin ve cümlelerin içerikleri ya da mantıksal biçimleri hakkında soyut bir çalışma yapmaya çalışır.

Resmi bir mantık kalıplarının kapsamlı bir çalışmasını yürütmek, her bireyin düşünceleriyle ilgili prosedürleri tam olarak bilmesini sağlayacaktır.

özellikleri

Resmi mantığı, diğer mantık türlerinden ayıran en belirgin özellikler şunlardır:

-Bir materyali inceleyen diğer mantık türlerinin aksine, öncül şeklini inceleyen bir bilimdir.

- Maddesiz bir yapı.

- Resmi sistemler alt kümesinde kurulmuştur.

-Önemli yöntemlerle formal mantıkla hakkın yanlışından ayırt edilebilecek yöntemler uygular.

-Gerçek mekanın yapısı analiz edildiğinden doğru ya da geçerli muhakemenin sonuçları ortaya çıkar.

- Doğrudan düşünceye ulaşmak için insanları incelemek ve analiz etmek ve böylece her bireyin aklında yeni modeller oluşturabilmek.

- Sembolik olmakla karakterizedir.

Resmi bir bilim bakış açısıyla, matematik, felsefe, bilgisayar bilimi ve istatistik konularında önemli bir rol oynamaktadır.

- Anlambilim çalışması nedeniyle dilbilgisi ile ilgilidir.

- Yapıları inceleyin, bu nedenle matematikle karşılaştırılır.

- Aynı zamanda psikoloji ile de ilgilidir çünkü her bireyin düşüncesinin çalışmasına odaklanır.

tip

Deontik mantık

Eski Yunanca [τος] déon [öksürük] 'ten gelir ve “neyin” veya “neyin gerekli” olduğu anlamına gelir. Avusturyalı mantıkçı Alois Höffler, standartların çalışılması ve analizine atıfta bulunan bu kavramın temelini oluşturuyor.

İkili mantık

Yalnızca doğru ve yanlış değerlerini kabul eden bir mantık türüdür. Nüanslara inanmıyor, her şey siyah ya da beyaz; Bu tür bir mantıkta gri tonlama mümkün değildir.

İlkeleri kimlik, çelişki olmayan ve dışlanan üçüncü olan Aristoteles mantığına dayanır.

Çok değişkenli veya çok değerli mantık

Bu tür mantık, filozoflar Jan asukasiewicz ve Emil Post tarafından yapılan çalışmalardan doğmuş, ki bunlar "gerçek" ve "yanlış" olanların dışındaki değerlerin kabul edilebildiğini ve söz konusu değerlerin pratikte ulaşılabileceğini ifade etmişlerdir. sonsuzluğa.

Bu anlamda, sadece iki değer kabul eden iki değerli mantıktan farklıdır. Çalışmalar, çok değişkenli veya çok değerlikli mantığın olasılık, gereklilik, gereksizlik, doğruluk, yanlışlık ve imkansızlık gibi değerleri yönettiğini göstermektedir.

Aynı şekilde, bu tür bir biçimsel mantık da argümanların felsefi ve yapısal yönlerini incelemekten sorumludur.

Örnekler

Biçimsel mantıkla, belirli bir akıl yürütmeye doğruluk veya yanlışlık değeri eklemek mümkündür.

Daha önce açıkladığımız gibi, biçimsel mantık bir argümandan çıkarılabilecek tüm olasılıklara odaklanmamaktadır; sadece bunun doğru mu yanlış mı olduğuna odaklanır. Bu anlamda, resmi mantığa dayanan bazı örnekler:

-Buenos Aires, Arjantin’in başkentidir; o zaman Buenos Aires'te doğanlar Arjantinlidir.

-Jao, Portekizce biliyor. Joao Portekiz'de doğdu. Portekiz'deki herkes Portekizce biliyor.

- İnekler süt verir. İnekler memelilerdir. Tüm memeliler süt verir.

-Pedro beyaz ve María morena, bu yüzden beyaz ve kahverengi insanlar var.

-María, rock orkestrasında oynuyor. Müzisyenler, rock orkestrasında oynayanlar. María bir müzisyen.

-Jose siyah saçlı. Elena kahverengi saçlı. Kızları siyah ya da kahverengi saçlı doğmuş olabilir.

- Ayağın beş parmağı var. İnsanların sağ ayağı ve sol ayağı var. Her insanın ayağında on parmak vardır.

İspanya, bir ülkedir. İspanya Avrupa'da. Tüm İspanyollar Avrupalı.

- Ana yaşayan bir varlıktır. Ana ölümlüdür. Tüm canlılar ölümlüdür.

- José suyla ıslandı. Su ıslatıyor.

- Mary sıcak yemeğini yedi. Maria sıcak yemeğini yiyerek kendini yaktı. Sıcak yemek yanar.

- Dünya evrenin bir parçasıdır. Evrende gezegenler var. Dünya bir gezegendir.