Modus Ponendo Ponens Açıklama ve Örnekler

 modus ponendo ponens Bu, iyi bilinen önerme mantığının çıkarılması kurallarının biçimsel sistemine ait bir tür mantıksal argümandır. Bu tartışmacı yapı, teklif mantığında iletilen ilk kalıptır ve koşullu argümanlarla doğrudan ilişkilidir..

Argüman modus ponendo ponens link olarak hizmet etmek için üçüncü bir terim kullanmak yerine, önceki öğeyi sonuçtaki elemanla ilişkilendirdiği koşullu bir cümle kullanan, iki bacaklı bir syllogism olarak görülebilir..

Gelenekler bırakarak, görebiliriz modus ponendo ponens prosedür olarak (tarz) Tazminat kurallarından,ponendoBir öncül ya da referanstan (önceki bir unsur), ileri sürmeyi başarır (Ponens) bir sonuç veya sonuç için (daha sonraki bir unsur).

Bu makul formülasyon iki önermeden veya binadan başlar. Argüman içinde örtük ve şartlandırılmış olmasına rağmen, sonuçtan önce kendisinin ve kendisinden önce gelen bir sonuç olarak kabul edilmek için çifte bir onay gerektirdiği sonucuna varmaya çalışır..

indeks

• 1 Kökenleri
  • 1.1 Etimoloji
• 2 Açıklama
• 3 Örnekler
  • 3.1 İlk örnek
  • 3.2 İkinci örnek
  • 3.3 Üçüncü örnek
• 4 Varyantlar ve örnekler
  • 4.1 Değişken 1
  • 4.2 Değişken 2
  • 4.3 Varyant 3
  • 4.4 Varyant 4
• 5 Modus ponens, mantığa giden bir yol
• 6 Kaynakça

başlangıç

Tümdengelim mantığının bir parçası olarak bu olumlu kipin kökleri antik dönemdedir. M.Ö. 4. yüzyılda Estagira'nın Yunan filozofu Aristotelesinin eliyle gösterilmiştir. C.

Aristo ile yetiştirilen modus ponens -Aynı zamanda denildiği gibi - bir öncül ve bir sonucun öncülünde doğrulanması yoluyla gerekçeli bir sonuç elde etmek. Bu süreçte öncül ortadan kalkar, sadece sonuç bırakılır.

Yunan düşünürü, insanın varlığına yakın tüm olayları, çevre ile etkileşimlerinin ürünü olanları açıklamak ve kavramsallaştırmak için mantıksal betimleyici mantığın temellerini koymak istedi..

etimoloji

modus ponendo ponens Latince kökleri vardır. İspanyol dilinde, anlamı: "daha önce de belirtildiği gibi, yapılanmasında olumlu olan iki unsurdan (bir öncül ve bir sonuç) oluşan" onaylayan bir yöntemdir ".

açıklama

Genel anlamda, modus ponendo ponens iki önermeyi ilişkilendirir: "P" olarak adlandırılan bir şartlanma ve "Q" adını alan şartlı bir sonuç.

Öncül 1'in her zaman "if-then" koşullandırma formunu sunması önemlidir; “eğer” öncülden önce gider ve “sonra” sonuçtan önce gider.

Formülasyonu aşağıdaki gibidir:

Öncül 1: eğer "P" sonra "Q".

Öncül 2: "P".

Sonuç: "Q".

Örnekler

İlk örnek

Öncü 1: "Sınavı yarın geçmek istersen, o zaman çok çalışmalısın".

Mülkiyet 2: "Sınavı yarın geçmek istiyorsun".

Sonuç: "Bu yüzden çok çalışmalısın".

İkinci örnek

Öncü 1: "Çabuk okula gitmek istiyorsan, o yola girmelisin".

Mülkiyet 2: "Çabuk okula gitmek istiyorsun".

Sonuç: "Bu nedenle, o yola girmelisin".

Üçüncü örnek

Mülkiyet 1: "Balık yemek istiyorsanız, o zaman pazardan satın almalısınız".

Mülkiyet 2: "Balık yemek istiyorsun".

Sonuç: "Bu nedenle, piyasadan satın almak zorundasınız"

Çeşitler ve örnekler

modus ponendo ponens formülasyonunda küçük değişkenler gösterebilir. Daha sonra, kendi örnekleri ile birlikte en yaygın dört değişken sunulacak.

Değişken 1

Öncül 1: eğer "P" sonra "¬Q"

Öncül 2: "P"

Sonuç: "¬Q"

Bu durumda "¬" sembolü "Q" inkarına benzemektedir.

İlk örnek

Mülkiyet 1: "Bu şekilde yemeye devam edersen, ideal kilonuza ulaşamazsın".

Mülkiyet 2: "Sen böyle yedin".

Sonuç: "Dolayısıyla ideal kilonuza ulaşamayacaksınız".

İkinci örnek

Mülkiyet 1: "Eğer çok fazla tuz yersen, o zaman hipertansiyonu kontrol edemezsin".

Mülkiyet 2: "Hala çok fazla tuz yiyorsun".

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

Üçüncü örnek

Mülkiyet 1: "Eğer yoldaysanız, kaybedemezsiniz".

Mülkiyet 2: "Yolu izliyorsunuz".

Sonuç: "Dolayısıyla, kaybetmeyeceksiniz".

Değişken 2

Öncül 1: eğer "P" ^ "R" sonra "Q"

Mülkiyet 2: "P" ^

Sonuç: "Q"

Bu durumda "^" sembolü "ve" ortak bağını belirtirken, "R" "Q" 'yu ​​doğrulamak için eklenen başka bir öncülü temsil eder. Yani, çifte durumun varlığındayız..

İlk örnek

Mülkiyet 1: "Eğer eve gelir ve patlamış mısır getirirsen, o zaman bir film izleriz".

Mülkiyet 2: "Eve gel ve patlamış mısır getir".

Sonuç: "Dolayısıyla bir film göreceğiz".

İkinci örnek

Mülkiyet 1: "Eğer sarhoş sürücü ve cep telefonu görürseniz, o zaman çökecek".

Kurum 2: "Sarhoş ve cep telefonunu görüyorsun".

Sonuç: "Bu nedenle çökeceksin".

Üçüncü örnek

Öncü 1: "Kahve içip çikolata yersen, o zaman kalbine bakıyorsun".

Mülkiyet 2: "Kahve iç ve çikolata ye".

Sonuç: "Bu nedenle, kalbinle ilgileniyorsun".

Varyant 3

Öncül 1: eğer "¬P" sonra "Q"

Mülkiyet 2: "¬P"

Sonuç: "Q"

Bu durumda "¬" sembolü "P" inkarına benzemektedir..

İlk örnek

Öncü 1: "Ünlü harfleri üzerine çalışmadıysanız, dil sınavından geçemezsiniz".

Öncü 2: "Ünlü harflerini incelemediniz".

Sonuç: "Bu nedenle, dil sınavında başarısız olacaksınız".

İkinci örnek

Mülkiyet 1: "Papağanıza yemek vermezseniz, ölecek".

Mülkiyet 2: "Papağanıza yemek vermeyin".

Sonuç: "Bu nedenle ölecek".

Üçüncü örnek

Mülkiyet 1: "Eğer su içmezseniz, susuz kalırsınız".

Mülkiyet 2: "Su içmeyin".

Sonuç: "Dolayısıyla susuz kalacaksınız".

Varyant 4

Öncül 1: eğer "P" sonra "Q" ^ "R"

Öncül 2: "P"

Sonuç: "Q" ^ "R"

Bu durumda, "^" sembolü "ve" bağdaşım birleşimine işaret eder, "R" ise teklifte ikinci bir sonucu temsil eder; bu nedenle bir öncül, aynı anda iki sonucu onaylayacaktır..

İlk örnek

Öncü 1: "Eğer annene iyiysen baban sana bir gitar ve telleri getirecek".

Mülkiyet 2: "Annenle iyiydin".

Sonuç: "Bu nedenle, baban sana bir gitar ve telleri getirecek".

İkinci örnek

Öncü 1: "Eğer yüzmeye çalışıyorsanız, fiziksel dayanıklılığınızı artıracak ve kilo vereceksiniz".

Öncü 2: "Yüzmeye çalışıyorsun".

Sonuç: "Dolayısıyla fiziksel dayanıklılığınızı artıracak ve kilo vereceksiniz".

Üçüncü örnek

Öncü 1: "Bu makaleyi Lifeder'de okuduysanız, o zaman öğrendiniz ve daha hazırlıklı oldunuz".

Öncül 2: "Bu makaleyi Lifeder'de okudunuz".

Sonuç: "Bu nedenle daha çok öğrendin ve daha hazırlıklısın".

Modus ponens, mantığa giden yol

modus ponens önerme mantığının ilk kuralını temsil eder. Bu, basit öncüllerden anlamaya başlayarak, daha derin muhakeme anlayışını 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; bu sadece tümdengelimli delillerin detaylandırılması için bir yöntemdir.

Sonuçlardan bir karar silerek, modus ponens kesintiler yapılırken, kümelenme ve öğelerin kapsamlı bir şekilde birleştirilmesini önler. Bu kalite için aynı zamanda "ayırma kuralı" olarak da adlandırılır..

modus ponendo ponens Aristoteles mantığı hakkında tam bilgi sahibi olmak için vazgeçilmez bir kaynaktır.

referanslar

1. Ferrater Mora, J. (1969). Felsefe Sözlüğü. Buenos Aires: Hispanoteca. Alınan: hispanoteca.eu.
2. Ponens koyarak modus. (S. f.). İspanya: Web düğümü. Alınan: ley-de-inferencia5.webnode.es.
3. Ponens koyarak modus. (S. f.). (n / a): Vikipedi. Alınan: wikipedia.org.
4. Çıkarım ve denklik kuralları. (S. f.). Meksika: UPAV. Alınan kaynak: universidadupav.edu.mx.
5. Mazón, R. (2015). Ponponları koymak. Meksika: Süper Milto. Kurtarıldı: supermileto.blogspot.com.