BIÇIMSEL MANTIK: ÇALIŞMANIN AMACI, ÖZELLIKLER VE ÖRNEKLER - FELSEFE - 2024

Formel mantık muhakeme geçerli ve doğru formları tespit mantıksal teorik ya da matematiksel mantık adlandırılan vardır. Bu uygulama yoluyla doğru olanı yanlış olanı ayırt etmeye çalışıyoruz.

Biçimsel mantıkta, semboller, manipüle edilememeleri için açık bir şekilde ve mümkün olan en açık şekilde kullanılır. Bu uygulama sayesinde kendi fikirlerinizi geliştirmeniz mümkün.

Alfred North Whitehead, biçimsel mantığın savunucularından biriydi. Kaynak: Wellcome Trust

"Mantık" kelimesi, "entelektüel, diyalektik, tartışmacı akla sahip" anlamına gelen eski Yunanca λογικήlogik ḗ'den gelir. Mantık, felsefe ve matematiğin dallarından biridir ve bu disiplinler için büyük kullanım alanı olarak kabul edilir.

Genel olarak mantık, düşüncenin biçimini inceler. Mantıkla ilgili yapılan ilk çalışmalar Yunan filozof Aristo'ya atfedilir, bu yüzden bu düşünce alanının kurucu babası olarak bilinir.

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

Alfred Tarski, KurtGödel, Bertrand Russell ve Willard Van Orman Quine, diğerlerinin yanı sıra, büyük savunuculardı.

Çalışmanın amacı

Biçimsel mantık, bir çalışma nesnesi olarak akıl yürütme, kavram, yargı ve gösteri gibi yönleri kullanır. Bu unsurlardan bir sonuca varmak için dil ve anlambilimin tüm kaynaklarını analiz eder ve inceler.

Bu anlamda, biçimsel mantıkta akıl yürütmenin yapılandırılmış bir bakış açısıyla, geçerliliğinden veya geçersizliğinden incelendiği tespit edilmiştir.

Biçimsel mantık, akıl yürütme sürecinin ampirik bir incelemesi değildir. Bir sonuca varmak için argümanların yapısını gerektirdiği için ikna ile karıştırılmamalıdır.

Bu mantık aynı zamanda teorik veya saf mantık olarak da bilinir ve tümdengelimli argümanların, ifadelerin, önermelerin ve iddialı olarak kullanılan cümlelerin içeriklerine veya mantıksal biçimlerine ilişkin soyut bir çalışma yürütmeye çalışır.

Biçimsel mantık kalıpları üzerinde kapsamlı bir çalışma yürütmek, her bireyin kendi düşünceleriyle ilişkili prosedürleri tam olarak bilmesini sağlayacaktır.

karakteristikleri

Biçimsel mantığı diğer mantık türlerinden ayıran en belirli özellikler aşağıdadır:

- Yalnızca malzemeyi inceleyen diğer mantık türlerinden farklı olarak, öncül biçimini inceleyen bir bilimdir.

-Maddesiz bir yapıdır.

- Biçimsel sistemlerin bir alt kümesi altında kurulmuştur.

- Biçimsel mantık yoluyla neyin yanlış olduğunu doğru olanı ayırt edebilecek kadar etkili yöntemler uygulayın.

-Doğru muhakeme veya geçerliliğin sonuçları, gerçek öncüllerin yapısı analiz edildiği için ortaya çıkar.

-İnsanları doğrudan düşünmek için çalışın ve analiz edin ve böylece her bireyin zihninde yeni kalıplar oluşturabilin.

-Sembolik olmasıyla karakterizedir.

- Biçimsel bir bilim bakış açısından matematik, felsefe, bilgisayar bilimi ve istatistikte önemli bir rol oynar.

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

-Çalışma yapıları, bu yüzden matematikle karşılaştırılır.

-Bu aynı zamanda psikoloji ile de ilgilidir çünkü her bir bireyin düşüncesini incelemeye odaklanır.

Türleri

Deontik mantık

Eski Yunanca δέον déon'dan gelir ve "gerekli olan" veya "gerekli olan" anlamına gelir. Avusturyalı mantıkçı Alois Höffler, normların incelenmesi ve analizine atıfta bulunan bu konseptin öncüsüdür.

İkili mantık

Yalnızca doğru ve yanlış değerleri destekleyen mantık türüdür. Gölgelere inanmıyor, her şey siyah ya da beyaz; Bu tür bir mantıkta gri tonlama imkansızdır.

İlkeleri, kimlik, çelişkisizlik ve dışlanmış üçüncü taraf olan Aristoteles mantığına dayanmaktadır.

Çok değerlikli veya çok amaçlı mantık

Bu tür bir mantık, filozoflar Jan Łukasiewicz ve Emil Post'un halihazırda ortak olan "doğru" ve "yanlış" dışındaki değerlerin de kabul edilebileceğini ve bu değerlere pratik olarak ulaşılabileceğini belirttikleri çalışmalar sonucunda doğmuştur. sonsuzluğa.

Bu anlamda, sadece iki değeri kabul eden iki değerlikli mantıktan farklıdır. Araştırmalar, çok değerlikli veya çok amaçlı mantığın olasılık, zorunluluk, zorunluluk, hakikat, yalan ve imkansızlık gibi değerleri ele aldığını göstermektedir.

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

Örnekler

Biçimsel mantık yoluyla, belirli bir akıl yürütmeye bir 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 odaklanmaz; yalnızca bunun doğru mu yanlış mı olduğuna odaklanır. Bu anlamda, aşağıda biçimsel mantığa dayalı bazı örnekleri listeliyoruz:

-Buenos Aires Arjantin'in başkentidir; öyleyse, Buenos Aires'te doğanların hepsi Arjantinlidir.

-Joao, Portekizce konuşuyor. Joao Portekiz'de doğdu. Portekiz'de herkes Portekizce konuşuyor.

-İnekler süt verir. İnekler memelilerdir. Bütün memeliler süt verir.

-Pedro beyaz ve Maria esmer, yani beyaz ve kahverengi insanlar var.

-María rock orkestrasında çalıyor. Müzisyenler rock orkestrasında çalanlar. Maria bir müzisyendir.

-José'nin siyah saçı var. Elena'nın kahverengi saçları var. Kızları siyah veya kahverengi saçlı doğabilir.

- Ayağın beş parmağı var. İnsanın bir sağ ayağı ve bir sol ayağı vardır. Her kişinin on parmağı vardır.

-İspanya bir ülkedir. İspanya Avrupa'da kalıyor. Tüm İspanyollar Avrupalı.

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

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

- Maria sıcak yemeğini yedi. Maria sıcak yemeğini yerken yanmış. Sıcak yemek yanıkları.

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

- Elektrik ışığı yanar. Sokaklarda elektrik ışığı var. Elektrik ışığı sokakları aydınlatır.

Referanslar

1. Yeni dünya ansiklopedisinde "biçimsel mantık". 21 Nisan 2019'da Yeni dünya ansiklopedisinden alındı: newworldencyclopedia.org.
2. Morton L. Schagrin Ge Hughes "Biçimsel mantık" 21 Nisan 2019'da Britannica'dan alındı: britannica.com.
3. Akademi'de "Mantık ve sınıflandırması". 23 Nisan 2019'da Academia'dan alındı: academia.edu.
4. Felsefi Sözlüğünde "Biçimsel Mantık". 23 Nisan 2019'da Philosophical Dictionary'den alındı: Philosophy.org.
5. Felsefi Sözlüğünde "Çok değerlikli mantık". 23 Nisan 2019'da Philosophical Dictionary'den alındı: Philosophy.org.
6. Kulüp Denemelerinde "mantığın genel özellikleri" (18 Ağustos 2013). Kulüp denemelerinden 23 Nisan 2019'da alındı: clubensayos.com.
7. Wikipedia'da "Deontik mantık" . 23 Nisan 2019'da Wikipedia'dan alındı: es.wikipedia.org.
8. Wikipedia'da "çok amaçlı mantık" . 23 Nisan 2019'da Wikipedia'dan alındı: es.wikipedia.org.
9. Wikipedia'da "İkili mantık" . Wikipedia'dan 23 Nisan 2019'da alındı: es.wikipedia.org