Geçerli argüman formlarının listesi - List of valid argument forms
Muhtemelen inşa edilebilecek çok sayıda ve çeşitli argüman formlarından sadece çok azı geçerli argüman formlarıdır . Bu formları değerlendirmek için ifadeler mantıklı bir şekle sokulur . Mantıksal biçim, içerikteki herhangi bir önyargıyı ortadan kaldırmak için herhangi bir cümle veya fikri harflerle değiştirir ve kişinin konusu nedeniyle argümanı herhangi bir önyargı olmadan değerlendirmesine izin verir.
Geçerli bir argüman olmak , sonucun mutlaka doğru olacağı anlamına gelmez. Bu geçerlidir çünkü öncüller doğruysa, sonuç doğru olmalıdır. Bu, tüm geçerli öncüllerin ve yanlış bir sonucun olduğu hiçbir durumun olmadığını gösteren bir doğruluk tablosu kullanılarak herhangi bir geçerli argüman formu için kanıtlanabilir .
Geçerli kıyas biçimleri
Gelen syllogistic mantık , inşa etmek 256 olası yolu vardır kategorik syllogisms kullanarak A , E , I ve O deyimi formları muhalefetin meydanda . 256 taneden yalnızca 24'ü geçerli formdur. 24 geçerli formdan 15'i kayıtsız şartsız geçerlidir ve 9'u şartlı olarak geçerlidir.
Koşulsuz geçerli
| Şekil 1 | şekil 2 | Figür 3 | Şekil 4 | ||||
|---|---|---|---|---|---|---|---|
|
AAA EAE AII EIO |
AEE EAE EIO AOO |
AII IAI OAO EIO |
AEE IAI EIO |
||||
Koşullu olarak geçerli
| Şekil 1 | şekil 2 | Figür 3 | Şekil 4 | Gerekli koşul | |||||
|---|---|---|---|---|---|---|---|---|---|
|
AAI EAO |
AEO EAO |
AEO | Konu var | ||||||
|
AAI EAO |
EAO | Orta dönem var | |||||||
| AAI | Dayanak var | ||||||||
Geçerli teklif formları
Aşağıda, önerme mantığındaki bazı yaygın geçerli argüman formlarının bir listesi verilmiştir. Hiçbir yerde kapsamlı değildir ve daha iyi bilinen geçerli argüman formlarının yalnızca birkaç örneğini verir.
Modus ponens
Geçerli bir argüman formu modus ponens olarak bilinir ve benzer bir isme ve yapıya sahip başka bir geçerli argüman formu olan modus tollens ile karıştırılmamalıdır . Modus ponens (bazen MP olarak kısaltılır), bir şey doğruysa diğerinin olacağını söyler. Daha sonra ilkinin doğru olduğunu belirtir. Sonuç, ikinci şeyin doğru olduğudur. Aşağıda mantıksal biçimde gösterilmiştir.
- A ise, o zaman B
- Bir
- Bu nedenle B
Mantıksal biçime sokulmadan önce yukarıdaki ifade aşağıdaki gibi bir şey olabilirdi.
- Kelly ödevini bitirmezse sınıfa gitmeyecek
- Kelly ödevini bitirmedi
- Bu nedenle Kelly sınıfa gitmeyecek
İlk iki ifade öncüller iken üçüncüsü onlardan türetilen sonuçtur.
Modus geçiş ücretleri
Başka bir tartışma biçimi, modus tollens (genellikle MT olarak kısaltılır) olarak bilinir . Bu formda, modus ponens ile aynı ilk önermeyle başlarsınız. Bununla birlikte, öncülün ikinci kısmı reddedilir ve önermenin ilk kısmının da reddedilmesi gerektiği sonucuna varılır. Aşağıda mantıksal biçimde gösterilmiştir.
- A ise, o zaman B
- B değil
- Bu nedenle A.
Modus tollens gerçek içerikle kullanıldığında aşağıdaki gibi görünür.
- Azizler Super Bowl'u kazanırsa, o gece New Orleans'ta bir parti olacak.
- O gece New Orleans'ta parti yoktu
- Bu nedenle, Azizler Süper Kupa'yı kazanamadı.
Varsayımsal kıyas
Modus ponens ve modus tollens gibi, varsayımsal kıyas (bazen HS olarak kısaltılır) iki öncül ve bir sonuç içerir. Bununla birlikte, ilk ikisinden biraz daha karmaşıktır. Kısacası, bir şey olursa bir başkasının da olacağını belirtir. Bu ikinci şey olursa, üçüncü bir şey onu takip edecek. Bu nedenle, ilk şey olursa, üçüncünün de olması kaçınılmazdır. Aşağıda mantıksal biçimde gösterilmiştir.
- A ise, o zaman B
- B ise, o zaman C
- Bu nedenle eğer A ise, o zaman C
Kelimelere konulduğunda aşağıdaki gibi görünür.
- Bugün yağmur yağarsa, yağmurluk giyeceğim
- Yağmur ceketimi giyersem kuru kalırım
- Bu yüzden bugün yağmur yağarsa kuru kalacağım
Ayırıcı kıyas
Disjunctive syllogism modus sonuca yol açan, bir açıklama inkar ikinci öncül ardından, bir önermeyi içerdiğini de Tollens olarak (bazen kısaltılır DS) aynı özelliklere birine sahiptir. Ayırıcı Syllogism'de ilk öncül iki seçenek belirler. İkincisi birini alıp götürür, bu nedenle sonuç, kalanın doğru olması gerektiğini belirtir. Aşağıda mantıksal biçimde gösterilmiştir.
- Ya A ya da B
- A değil
- Bu nedenle B
Kullanıldığında A ve B gerçek hayattan örneklerle değiştirildiğinde aşağıdaki gibi görünür.
- Ya Joe'yu bugün sınıfta göreceksin ya da fazla uyuyacak.
- Joe'yu bugün sınıfta görmedin
- Bu yüzden Joe uyuyakaldı
Ayrık kıyaslama iki seçeneği alır ve onu bire indirger.
Yapıcı ikilem
Başka bir geçerli argüman biçimi, yapıcı ikilem veya bazen sadece 'ikilem' olarak bilinir . Kullanıcıyı argümanın sonunda tek bir ifadeyle bırakmaz, bunun yerine iki farklı ifade seçeneği sunar. İlk öncül, iki farklı ifade seçeneği sunar. Daha sonra, birincisi olursa, belirli bir sonuç olacağını ve ikincisi olursa ayrı bir sonuç olacağını belirtir. Sonuç, ya ilk sonucun ya da ikinci sonucun gerçekleşeceğidir. Bu formla yapılan eleştiri, kesin bir sonuç vermemesidir; sadece bir olasılık ifadesi. Argüman şeklinde yazıldığında aşağıdaki gibi görünmektedir.
- Ya A ya da B
- Eğer A ise C
- Eğer B ise D
- Bu nedenle ya C ya da D
Harflerin yerine içerik eklendiğinde aşağıdaki gibi görünür.
- Bill odasına ya merdivenleri ya da asansörü kullanacak.
- Merdivenleri çıkarsa odasına geldiğinde yorulur.
- Asansöre binerse, televizyondaki futbol maçının başlangıcını kaçıracak.
- Bu nedenle Bill odasına geldiğinde ya yorulacak ya da futbol maçının başlangıcını özleyecektir.
Yıkıcı ikilem olarak bilinen bir şeyi onaylamak yerine olumsuzlamayı kullanan biraz farklı bir ikilem versiyonu vardır . Tartışmalı hale getirildiğinde aşağıdaki gibi görünür.
- Eğer A ise C
- Eğer B ise D
- C değil veya D değil
- Bu nedenle A ya da B değil