Liste over gyldige argumentformularer - List of valid argument forms
Af de mange og varierede argumentformer, der muligvis kan konstrueres, er kun meget få gyldige argumentformer . For at evaluere disse formularer placeres udsagn i logisk form . Logisk form erstatter sætninger eller ideer med bogstaver for at fjerne enhver bias fra indholdet og tillade en at evaluere argumentet uden nogen bias på grund af dets emne.
At være et gyldigt argument betyder ikke nødvendigvis, at konklusionen vil være sand. Det er gyldigt, for hvis forudsætningerne er sande, skal konklusionen være sand. Dette kan bevises for enhver gyldig argumentform ved hjælp af en sandhedstabel, der viser, at der ikke er nogen situation, hvor der alle er sande forudsætninger og en falsk konklusion.
Gyldige syllogistiske former
I syllogistisk logik er der 256 mulige måder at konstruere kategoriske syllogismer ved hjælp af A- , E- , I- og O- sætningsformularerne i oppositionens firkant . Af de 256 er kun 24 gyldige formularer. Af de 24 gyldige formularer er 15 ubetinget gyldige, og 9 er betinget gyldige.
Ubetinget gyldig
| figur 1 | Figur 2 | Figur 3 | Figur 4 | ||||
|---|---|---|---|---|---|---|---|
|
AAA EAE AII EIO |
AEE EAE EIO AOO |
AII IAI OAO EIO |
AEE IAI EIO |
||||
Betinget gyldig
| figur 1 | Figur 2 | Figur 3 | Figur 4 | Nødvendig tilstand | |||||
|---|---|---|---|---|---|---|---|---|---|
|
AAI EAO |
AEO EAO |
AEO | Emne findes | ||||||
|
AAI EAO |
EAO | Mellemlang sigt eksisterer | |||||||
| AAI | Prædikat findes | ||||||||
Gyldige propositionsformularer
Følgende er en liste over nogle almindelige gyldige argumentformer i propositionelogik. Det er ikke nær udtømmende og giver kun et par eksempler på de bedre kendte gyldige argumentformer.
Modus ponens
En gyldig argumentform er kendt som modus ponens , ikke forveksles med modus tollens , hvilket er en anden gyldig argumentform, der har et lignende navn og struktur. Modus ponens (undertiden forkortet MP) siger, at hvis en ting er sandt, så vil en anden være. Derefter hedder det, at det første er sandt. Konklusionen er, at den anden ting er sandt. Det er vist nedenfor i logisk form.
- Hvis A, så B
- EN
- Derfor B
Før den blev sat i logisk form kunne ovenstående udsagn have været noget som nedenfor.
- Hvis Kelly ikke afslutter hjemmearbejdet, går han ikke i undervisning
- Kelly afsluttede ikke sit hjemmearbejde
- Derfor går Kelly ikke i undervisningen
De to første udsagn er forudsætningerne, mens den tredje er den konklusion, der stammer fra dem.
Modus bompenger
En anden form for argument er kendt som modus tollens (ofte forkortet MT). I denne form starter du med den samme første forudsætning som med modus ponens. Den anden del af forudsætningen nægtes imidlertid, hvilket fører til den konklusion, at den første del af forudsætningen også skal nægtes. Det er vist nedenfor i logisk form.
- Hvis A, så B
- Ikke B
- Derfor ikke A.
Når modus tollens bruges med faktisk indhold, ser det ud som nedenfor.
- Hvis de hellige vinder Super Bowl, er der fest i New Orleans den aften
- Der var ingen fest i New Orleans den aften
- Derfor vandt de hellige ikke Super Bowl
Hypotetisk syllogisme
I lighed med modus ponens og modus tollens indeholder hypotetisk syllogisme (undertiden forkortet HS) to forudsætninger og en konklusion. Det er dog lidt mere kompliceret end de to første. Kort sagt siger det, at hvis en ting sker, vil en anden også. Hvis den anden ting sker, følger en tredjedel den. Derfor, hvis det første sker, er det uundgåeligt, at det tredje også vil. Det er vist nedenfor i logisk form.
- Hvis A, så B
- Hvis B, så C
- Derfor, hvis A, så C
Når det sættes på ord, ser det ud som nedenfor.
- Hvis det regner i dag, vil jeg bære min regnjakke
- Hvis jeg bærer min regnjakke, holder jeg mig tør
- Derfor hvis det regner i dag, vil jeg holde mig tør
Disjunktiv syllogisme
Disjunktiv syllogisme (undertiden forkortet DS) har en af de samme egenskaber som modus tollens, idet den indeholder en forudsætning, og i en anden forudsætning benægter den en erklæring, der fører til konklusionen. I Disjunctive Syllogism etablerer den første forudsætning to muligheder. Den anden tager en væk, så konklusionen siger, at den resterende skal være sand. Det er vist nedenfor i logisk form.
- Enten A eller B
- Ikke A
- Derfor B
Når brugt A og B erstattes med virkelige eksempler, ser det ud som nedenfor.
- Enten vil du se Joe i timen i dag, eller så sovner han
- Du så ikke Joe i timen i dag
- Derfor sov Joe meget
Disjunktiv syllogisme tager to muligheder og indsnævrer den til en.
Konstruktivt dilemma
En anden gyldig form for argument er kendt som konstruktivt dilemma eller undertiden bare 'dilemma'. Det efterlader ikke brugeren med en sætning alene i slutningen af argumentet, men det giver mulighed for to forskellige udsagn. Den første forudsætning giver mulighed for to forskellige udsagn. Derefter står det, at hvis den første sker, vil der være et bestemt resultat, og hvis det andet sker, vil der være et separat resultat. Konklusionen er, at enten det første eller det andet resultat vil ske. Kritikken med denne form er, at den ikke giver en endelig konklusion; bare en redegørelse for muligheder. Når det er skrevet i argumentform, ser det ud som nedenfor.
- Enten A eller B
- Hvis A så er C
- Hvis B så er D
- Derfor enten C eller D
Når indhold indsættes i stedet for bogstaverne, ser det ud som nedenfor.
- Bill tager enten trappen eller elevatoren til sit værelse
- Hvis han tager trappen, bliver han træt, når han kommer til sit værelse
- Hvis han tager elevatoren, vil han gå glip af starten på fodboldkampen på tv
- Derfor vil Bill enten være træt, når han kommer til sit værelse, eller han vil gå glip af starten på fodboldkampen
Der er en lidt anden version af dilemma, der bruger negation i stedet for at bekræfte noget kendt som destruktivt dilemma . Når det sættes i argumenterende form, ser det ud som nedenfor.
- Hvis A så er C
- Hvis B så er D
- Ikke C eller ikke D
- Derfor ikke A eller ikke B
