Seznam platných formulářů argumentů - List of valid argument forms
Z mnoha rozmanitých forem argumentů, které lze případně vytvořit, je jen velmi málo platných forem argumentů . Za účelem vyhodnocení těchto forem jsou příkazy dány do logické formy . Logická forma nahradí jakékoli věty nebo nápady písmeny, aby odstranila jakoukoli zaujatost z obsahu a umožnila člověku vyhodnotit argument bez jakékoli zaujatosti kvůli jeho předmětu.
Být platným argumentem nutně neznamená, že závěr bude pravdivý. Je platný, protože pokud jsou předpoklady pravdivé, musí být závěr pravdivý. To lze dokázat pro jakoukoli platnou formu argumentu pomocí tabulky pravdivosti, která ukazuje, že neexistuje situace, kdy by existovaly všechny pravdivé premisy a falešný závěr.
Platné sylogistické formy
V sylogistické logice existuje 256 možných způsobů, jak konstruovat kategorické sylogismy pomocí formulářů prohlášení A , E , I a O ve čtverci opozice . Z 256 je pouze 24 platných formulářů. Z 24 platných formulářů je 15 bezpodmínečně platných a 9 podmíněně platných.
Bezpodmínečně platné
| Obrázek 1 | Obrázek 2 | Obrázek 3 | Obrázek 4 | ||||
|---|---|---|---|---|---|---|---|
|
AAA EAE AII EIO |
AEE EAE EIO AOO |
AII IAI OAO EIO |
AEE IAI EIO |
||||
Podmíněně platné
| Obrázek 1 | Obrázek 2 | Obrázek 3 | Obrázek 4 | Požadovaný stav | |||||
|---|---|---|---|---|---|---|---|---|---|
|
AAI EAO |
AEO EAO |
AEO | Předmět existuje | ||||||
|
AAI EAO |
EAO | Střednědobý termín existuje | |||||||
| AAI | Predikát existuje | ||||||||
Platné výrokové formuláře
Následuje seznam některých běžných platných forem argumentů ve výrokové logice. Není zdaleka vyčerpávající a poskytuje pouze několik příkladů známějších platných forem argumentů.
Modus ponens
Jedna platná forma argumentu je známá jako modus ponens , nemýlit se s modus tollens , což je další platná forma argumentu, která má podobně znějící název a strukturu. Modus ponens (někdy zkráceně MP) říká, že pokud je jedna věc pravdivá, pak druhá bude. Dále uvádí, že první je pravdivá. Závěr je, že druhá věc je pravda. Je zobrazen níže v logické formě.
- Pokud A, pak B
- A
- Proto B
Před uvedením do logické formy mohlo být výše uvedené tvrzení něco jako níže.
- Pokud Kelly nedokončí svůj domácí úkol, nepůjde do třídy
- Kelly nedokončil domácí úkol
- Kelly proto nepůjde do třídy
První dva výroky jsou premisy, zatímco třetí je z nich odvozený závěr.
Modus mýtné
Další forma argumentu je známá jako modus tollens (běžně zkráceně MT). V této formě začínáte se stejnou první premisou jako u modus ponens. Druhá část premisy je však zamítnuta, což vede k závěru, že by měla být zamítnuta také první část premisy. Je zobrazen níže v logické formě.
- Pokud A, pak B
- Ne B
- Proto ne A.
Když se modus tollens použije se skutečným obsahem, vypadá to níže.
- Pokud Svatí vyhrají Super Bowl, bude tu noc v New Orleans párty
- Té noci se v New Orleans nekonala žádná párty
- Proto Svatí nevyhráli Super Bowl
Hypotetický úsudek
Podobně jako modus ponens a modus tollens obsahuje hypotetický úsudek (někdy zkráceně HS) dvě premisy a závěr. Je to však o něco složitější než u prvních dvou. Stručně řečeno, uvádí, že pokud se stane jedna věc, stane se i druhá. Pokud se ta druhá věc stane, bude ji následovat třetí. Pokud se tedy stane první věc, je nevyhnutelné, že i třetí. Je zobrazen níže v logické formě.
- Pokud A, pak B
- Pokud B, pak C
- Proto pokud A, pak C
Když se to vyjádří slovy, vypadá to níže.
- Pokud dnes prší, obléknu si pláštěnku
- Pokud budu mít dešťovou bundu, budu suchý
- Pokud tedy dnes prší, zůstanu v suchu
Disjunktivní úsudek
Disjunktivní úsudek (někdy zkráceně DS) má jednu ze stejných charakteristik jako modus tollens v tom, že obsahuje premisu, poté ve druhé premise popírá tvrzení vedoucí k závěru. V disjunktním úsloví stanoví první premisa dvě možnosti. Druhá odnáší jednu, takže závěr uvádí, že zbývající musí být pravdivá. Je zobrazen níže v logické formě.
- Buď a nebo b
- Ne A
- Proto B
Pokud jsou použity A a B nahrazeny příklady z reálného života, vypadá to níže.
- Buď uvidíte Joeho dnes ve třídě, nebo zaspí
- Joe jste dnes ve třídě neviděli
- Proto Joe zaspal
Disjunktivní úsudek má dvě možnosti a zužuje ji na jednu.
Konstruktivní dilema
Další platná forma argumentu je známá jako konstruktivní dilema nebo někdy jen jako „dilema“. Nenechává na konci argumentu uživatele s jediným příkazem, místo toho dává možnost dvou různých příkazů. První premisa dává možnost dvou různých tvrzení. Poté uvádí, že pokud dojde k prvnímu, dojde k určitému výsledku a pokud dojde k druhému, bude k dispozici samostatný výsledek. Závěrem je, že dojde buď k prvnímu výsledku, nebo k druhému. Kritika této formy spočívá v tom, že nedává definitivní závěr; jen prohlášení o možnostech. Když je to napsáno ve formě argumentu, vypadá to níže.
- Buď a nebo b
- Pokud A, pak C
- Pokud B, pak D
- Proto buď C, nebo D.
Pokud je místo písmen vložen obsah, vypadá to níže.
- Bill buď půjde po schodech, nebo výtahem do svého pokoje
- Pokud se vydá po schodech, bude unavený, až se dostane do svého pokoje
- Pokud se vydá výtahem, zmešká začátek fotbalového zápasu v televizi
- Proto bude Bill buď unavený, když se dostane do svého pokoje, nebo zmešká začátek fotbalového zápasu
Existuje mírně odlišná verze dilematu, která používá spíše negaci než potvrzení něčeho známého jako destruktivní dilema . Když se dá do argumentační formy, vypadá to níže.
- Pokud A, pak C
- Pokud B, pak D
- Ne C nebo D
- Proto ne A nebo ne B
