Seznam platných formulářů argumentů - List of valid argument forms
Z mnoha a rozmanitých formy argumentů které lze případně postavit, je jich jen velmi málo platné argumenty. Za účelem vyhodnocení těchto forem prohlášení jsou vloženy do logická forma. Logická forma nahradí jakékoli věty nebo nápady písmeny, aby odstranila jakoukoli zkreslení z obsahu a umožnila vyhodnotit argument bez jakékoli zkreslení kvůli jeho předmětu.[1]
Být a platný argument 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 prokázat pro jakoukoli platnou formu argumentu pomocí a pravdivostní tabulka což ukazuje, že neexistuje situace, kdy by existovaly všechny pravdivé premisy a falešný závěr.[2]
Platné sylogistické formy
v sylogistická logika, existuje 256 možných způsobů konstrukce kategorické sylogismy za použití A, E, Já, a Ó formuláře prohlášení v náměstí 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 | S existuje | ||||||
| AAI EAO | EAO | M existuje | |||||||
| AAI | P 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
Jeden platný formulář argumentu je známý jako modus ponens, neměli byste se mýlit 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.[3] 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é prohlášení 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 nebude chodit do třídy
První dva výroky jsou premisami, zatímco třetí je z nich odvozený závěr.
Modus tollens
Jiná 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.[3]
Když se modus tollens použije se skutečným obsahem, vypadá to níže.
- Pokud Svatí vyhrají Super Bowl, bude tu noc párty v New Orleans
- Té noci se v New Orleans nekonala žádná párty
- Svatí proto Super Bowl nevyhráli
Hypotetický úsudek
Stejně jako modus ponens a modus tollens, hypotetický úsudek (někdy zkráceně HS) obsahuje 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í.[3] 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 si vezmu dešťovou bundu, zůstanu v suchu
- 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 disjunktivním úsudku stanoví první premisa dvě možnosti. Druhá odnáší jednu, takže závěr uvádí, že zbývající musí být pravdivá.[3] 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 „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é se uvádí, že pokud dojde k prvnímu, dojde k určitému výsledku a pokud dojde k druhému, dojde k samostatnému výsledku. Závěrem je, že dojde buď k prvnímu výsledku, nebo k druhému. Kritika této formy je, že nedává definitivní závěr; jen prohlášení o možnostech.[3] 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ž to dáme 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 [4]
Reference
- ^ May, Robert (1993). Logická forma: její struktura a odvození. Cambridge, Massachusetts: MIT Press.
- ^ Stanley, Jason (30. srpna 2000). "Kontextová a logická forma". Lingvistika a filozofie. 23 (4).
- ^ A b C d E Johnson, Robert (2006). Logická kniha: Základy uvažování. Cengage Learning.
- ^ Elugardo, Reinaldo (1. září 2001). "Logická forma a lidová mluva". Mysl a jazyk. 16 (4).