MODUS PONENS KOYARAK: AÇIKLAMA VE ÖRNEKLER - FELSEFE - 2025

Modus ponendo Ponens tanınmış önermeler mantığının kesinti kurallarının resmi sisteme ait, gerekçeli çıkarımın mantıksal argüman, bir türüdür. Bu argümantasyon yapısı, önermeler mantığında aktarılan ve doğrudan koşullu argümanlarla ilgili olan ilk kılavuzdur.

Tartışma modu ponendo ponens, iki ayaklı bir kıyaslama olarak görülebilir; bu, bir bağlantı görevi gören üçüncü bir terim kullanmak yerine, öncül öğeyi sonuçtaki öğeyle ilişkilendiren koşullu bir cümle kullanır.

Aristoteles, felsefi mantığın babası

Gelenekleri terk ederek, modus ponendo ponens'i, bir öncül veya referans (önceki bir öğe) iddiası (koyma) yoluyla, bir sonuca (ponens) iddia etmeyi (ponens) yöneten kesinti kurallarının bir prosedürü (modus) olarak görebiliriz. veya sonuç (daha sonraki bir öğe).

Bu makul formülasyon iki önermeden veya önermeden başlar. Argüman içinde örtük ve şartlandırılmış olmasına rağmen, sonuç olarak kabul edilebilmesi için -hem ondan önce gelen terimin hem de kendisinin- çift onaylama gerektirdiği sonucuna varmaya çalışır.

kökenleri

Tümdengelimli mantığın uygulanmasının bir parçası olarak bu olumlu modun kökenleri antik çağlara dayanmaktadır. MÖ 4. yüzyıldan itibaren Yunan filozof Aristotle de Estagira'nın elinden çıktı. C.

Aristoteles, modus ponens ile birlikte - aynı zamanda adlandırıldığı gibi - bir öncüldeki hem bir emsalin hem de bir sonucun doğrulanması yoluyla gerekçeli bir sonuç elde etmeyi önerdi. Bu süreçte, öncül ortadan kaldırılır ve geriye yalnızca sonuç kalır.

Helenik düşünür, çevreyle etkileşiminin ürünü olan insanın varoluşuna yakın tüm olguları açıklamak ve kavramsallaştırmak için betimleyici mantıksal akıl yürütmenin temellerini atmak istemiştir.

etimoloji

Modus ponendo ponens'in kökleri Latince'dir. İspanyolca dilinde anlamı şudur: "onaylayan (iddia eden), onaylayan (iddia eden) bir yöntem", çünkü daha önce belirtildiği gibi, yapılandırmasında olumlu iki unsurdan (bir öncül ve bir sonuç) oluşur.

açıklama

Genel anlamda, modus ponendo ponens iki önermeyi ilişkilendirir: "P" olarak adlandırılan bir koşullandırma öncülü ve "Q" olarak adlandırılan koşullu bir sonuç.

1. öncülün her zaman "eğer-o zaman" koşullandırma biçimine sahip olması önemlidir; "eğer" öncülden öncedir ve "o zaman" ise sonuçtan önce gelir.

Formülasyonu aşağıdaki gibidir:

Önerme 1: "P" ise "Q".

Önerme 2: "P".

Sonuç: "Q".

Örnekler

İlk örnek

Önerme 1: "Yarın sınavı geçmek istiyorsan, çok çalışmalısın."

Önerme 2: "Yarın sınavı geçmek istiyorsunuz."

Sonuç: "Bu nedenle, çok çalışmalısınız."

İkinci örnek

Önerme 1: "Okula hızlı gitmek istiyorsanız, o yolu izlemelisiniz."

Önerme 2: "Okula hızlı gitmek istiyorsun."

Sonuç: "Bu nedenle, bu yolu izlemelisiniz."

Üçüncü örnek

Önerme 1: "Balık yemek istiyorsanız, marketten alışverişe gitmelisiniz."

Önerme 2: "Balık yemek istiyorsun."

Sonuç: "Bu nedenle, pazarda satın almalısınız"

Varyantlar ve örnekler

Modus ponendo ponens, formülasyonunda küçük farklılıklar gösterebilir. İlgili örnekleriyle birlikte en yaygın dört varyant aşağıda sunulacaktır.

Varyant 1

Önerme 1: "P" ise "¬Q"

Önerme 2: "P"

Sonuç: "¬Q"

Bu durumda "¬" sembolü "Q" yadsımasına benzer.

İlk örnek

Önerme 1: "Bu şekilde yemeye devam ederseniz, ideal kilonuza ulaşamazsınız."

Önerme 2: "Bu şekilde yemeye devam edin."

Sonuç: "Bu nedenle, ideal kilonuza ulaşamayacaksınız."

İkinci örnek

Önerme 1: "Bu kadar çok tuz yemeye devam ederseniz, hipertansiyonunuzu kontrol edemezsiniz."

Önerme 2: "Çok fazla tuz yemeye devam ediyorsun."

Sonuç: "Bu nedenle, hipertansiyonu kontrol edemezsiniz."

Üçüncü örnek

Önerme 1: "Yolun farkındaysanız, kaybolmayacaksınız."

Önerme 2: "Yolun farkındasınız."

Sonuç: "Bu nedenle, kaybolmayacaksınız."

Varyant 2

Önerme 1: "P" ^ "R" ise "Q" ise

Önerme 2: "P" ^

Sonuç: "Q"

Bu durumda, "^" sembolü, "y" ortak birleşimine atıfta bulunurken, "R", "Q" yu doğrulamak için eklenen başka bir öncülü temsil eder. Yani, bir çift koşullandırıcının varlığındayız.

İlk örnek

Önerme 1: "Eve gelip biraz patlamış mısır getirirsen, bir film izleriz."

Önerme 2: "Eve gel ve patlamış mısır getir."

Sonuç: "Dolayısıyla bir film izleyeceğiz."

İkinci örnek

Önerme 1: "Sarhoş araba kullanırsanız ve cep telefonunuza bakarsanız, kaza yaparsınız."

Önerme 2: "Sarhoş araba kullanıyorsun ve cep telefonunu izliyorsun."

Sonuç: "Bu nedenle, çökeceksiniz."

Üçüncü örnek

Önerme 1: "Kahve içer ve çikolata yerseniz, kalbinize iyi bakmış olursunuz."

Önerme 2: "Kahve içer ve çikolata yersiniz."

Sonuç: "Bu nedenle, kalbinize iyi bakıyorsunuz."

Varyant 3

Önerme 1: "¬P" ise "Q"

Önerme 2: "¬P"

Sonuç: "Q"

Bu durumda "¬" sembolü "P" nin olumsuzlamasına benzer.

İlk örnek

Önerme 1: "Sesli harf uyumlarını incelemediyseniz, dilbilim testinde başarısız olursunuz."

Önerme 2: "Sesli harf uyumlarını incelemediniz."

Sonuç: "Bu nedenle, dilbilim testinde başarısız olacaksınız."

İkinci örnek

Önerme 1: "Papağanı beslemezsen ölür."

Önerme 2: "Papağanınıza yiyecek vermezsiniz."

Sonuç: "Bu nedenle ölecek."

Üçüncü örnek

Önerme 1: "Su içmezseniz, susuz kalırsınız."

Önerme 2: "Su içmezsiniz."

Sonuç: "Bu nedenle, susuz kalacaksınız."

Varyant 4

Önerme 1: "P" ise "Q" ^ "R"

Önerme 2: "P"

Sonuç: "Q" ^ "R"

Bu durumda, "^" sembolü, "ve" ortak birleşimine atıfta bulunurken, "R", önermedeki ikinci bir sonucu temsil eder; bu nedenle, bir öncül aynı anda iki sonucu onaylıyor olacaktır.

İlk örnek

Önerme 1: "Annene iyi davransaydın, baban sana bir gitar ve tellerini getirir."

Önerme 2: "Annene iyiydin."

Sonuç: "Bu nedenle, babanız size bir gitar ve tellerini getirecek."

İkinci örnek

Önerme 1: "Yüzme pratiği yapıyorsanız, fiziksel direncinizi artıracak ve kilo vereceksiniz."

Önerme 2: "Yüzüyorsunuz."

Sonuç: "Dolayısıyla fiziksel direncinizi artıracak ve kilo vereceksiniz."

Üçüncü örnek

Önerme 1: "Lifeder'da bu makaleyi okuduysanız, öğrenmişsinizdir ve daha hazırlıklısınız demektir."

Önerme 2: "Bu makaleyi Lifeder'da okudunuz."

Sonuç: "Bu nedenle, öğrendiniz ve daha hazırlıklısınız."

Modus ponens, önermesel mantığın ilk kuralını temsil eder. Basit öncüllerden başlayarak anlayışı daha derin muhakemeye açan bir kavramdır.

Mantık dünyasında en çok kullanılan kaynaklardan biri olmasına rağmen mantıksal bir yasa ile karıştırılamaz; basitçe tümdengelimli kanıt üretme yöntemidir.

Sonuçlardan bir cümle çıkararak, modus ponens, kesinti yaparken öğelerin kapsamlı bir şekilde birleştirilmesini ve birleştirilmesini önler. Bu kalite için "ayırma kuralı" olarak da adlandırılır.

Modus ponendo ponens, Aristoteles mantığının tam bilgisi için vazgeçilmez bir kaynaktır.

Referanslar

1. Ferrater Mora, J. (1969). Felsefe Sözlüğü. Buenos Aires: Hispanoteca. Kurtarıldı: hispanoteca.eu.
2. Modus midilli koyuyor. (S. f.). İspanya: Webnode. Yasalar-de-inferencia5.webnode.es'den kurtarıldı.
3. Modus midilli koyuyor. (S. f.). (n / a): Wikipedia. Wikipedia.org adresinden kurtarıldı.
4. Çıkarım ve denklik kuralları. (S. f.). Meksika: UPAV. Kurtarıldı: universidadupav.edu.mx.
5. Mazón, R. (2015). Midilli koymak. Meksika: Super Mileto. Kurtarıldı: supermileto.blogspot.com.