Lista formelor de argument valide - List of valid argument forms
Dintre numeroasele și variate forme de argument care pot fi construite, doar foarte puține sunt forme de argument valabile . Pentru a evalua aceste forme, enunțurile sunt puse în formă logică . Forma logică înlocuiește orice propoziții sau idei cu litere pentru a elimina orice părtinire din conținut și permite unei persoane să evalueze argumentul fără nici o părtinire din cauza subiectului său.
A fi un argument valid nu înseamnă neapărat că concluzia va fi adevărată. Este valabil pentru că dacă premisele sunt adevărate, atunci concluzia trebuie să fie adevărată. Acest lucru poate fi dovedit pentru orice formă de argument valid folosind un tabel de adevăr care arată că nu există nicio situație în care să existe toate premisele adevărate și o concluzie falsă.
Forme silogistice valabile
În logica silogistică , există 256 de modalități posibile de a construi silogisme categorice folosind formularele de declarație A , E , I și O în pătratul opoziției . Dintre cele 256, doar 24 sunt formulare valide. Dintre cele 24 de formulare valide, 15 sunt valabile necondiționat, iar 9 sunt valabile condițional.
Valabil necondiționat
| figura 1 | Figura 2 | Figura 3 | Figura 4 | ||||
|---|---|---|---|---|---|---|---|
|
AAA EAE AII EIO |
AEE EAE EIO AOO |
AII IAI OAO EIO |
AEE IAI EIO |
||||
Valabil condiționat
| figura 1 | Figura 2 | Figura 3 | Figura 4 | Condiție necesară | |||||
|---|---|---|---|---|---|---|---|---|---|
|
AAI EAO |
AEO EAO |
AEO | Subiectul există | ||||||
|
AAI EAO |
EAO | Termenul mediu există | |||||||
| AAI | Predicat există | ||||||||
Forme propoziționale valabile
Următoarea este o listă a unor forme de argument valide comune în logica propozițională. Nu este nici pe departe exhaustiv și oferă doar câteva exemple de forme de argument valide mai cunoscute.
Modus ponens
O formă de argument validă este cunoscută sub numele de modus ponens , care nu trebuie confundată cu modus tollens , care este o altă formă de argument validă care are un nume și o structură asemănătoare. Modus ponens (uneori prescurtat ca MP) spune că dacă un lucru este adevărat, atunci altul va fi. Apoi afirmă că primul este adevărat. Concluzia este că al doilea lucru este adevărat. Este prezentat mai jos sub formă logică.
- Dacă A, atunci B
- A
- Prin urmare B
Înainte de a fi pus în formă logică, afirmația de mai sus ar fi putut fi ceva asemănător cu cel de mai jos.
- Dacă Kelly nu-și termină temele, nu va merge la curs
- Kelly nu și-a terminat temele
- Prin urmare, Kelly nu va merge la curs
Primele două afirmații sunt premisele, în timp ce a treia este concluzia derivată din acestea.
Modus tollens
O altă formă de argument este cunoscută sub numele de modus tollens (prescurtat în mod obișnuit MT). În această formă, începeți cu aceeași primă premisă ca la modus ponens. Cu toate acestea, a doua parte a premisei este respinsă, ducând la concluzia că prima parte a premisei ar trebui respinsă și. Este prezentat mai jos sub formă logică.
- Dacă A, atunci B
- Nu B
- Prin urmare nu A.
Când se folosește modus tollens cu conținut real, arată mai jos.
- Dacă sfinții câștigă Super Bowl, în acea noapte va avea loc o petrecere în New Orleans
- În noaptea aceea nu a fost petrecere în New Orleans
- Prin urmare, sfinții nu au câștigat Super Bowl-ul
Silogismul ipotetic
La fel ca modus ponens și modus tollens, silogismul ipotetic (uneori prescurtat ca HS) conține două premise și o concluzie. Este totuși puțin mai complicat decât primele două. Pe scurt, se afirmă că, dacă se întâmplă un lucru, se va întâmpla și altul. Dacă acel al doilea lucru se întâmplă, un al treilea îl va urma. Prin urmare, dacă se întâmplă primul lucru, este inevitabil ca și al treilea să o facă. Este prezentat mai jos sub formă logică.
- Dacă A, atunci B
- Dacă B, atunci C
- Prin urmare, dacă A, atunci C
Când este pus în cuvinte, arată ca mai jos.
- Dacă astăzi plouă, îmi voi purta geaca de ploaie
- Dacă voi purta geaca de ploaie, voi rămâne uscat
- Prin urmare, dacă plouă astăzi, voi rămâne uscat
Silogismul disjunctiv
Silogismul disjunctiv (uneori prescurtat DS) are una dintre aceleași caracteristici ca și modus tollens prin faptul că conține o premisă, apoi într-o a doua premisă neagă o afirmație, ducând la concluzie. În Silogismul disjunctiv, prima premisă stabilește două opțiuni. Al doilea îl îndepărtează, deci concluzia afirmă că celălalt trebuie să fie adevărat. Este prezentat mai jos sub formă logică.
- Ori a, ori b
- Nu A
- Prin urmare B
Când se utilizează A și B sunt înlocuite cu exemple din viața reală, arată mai jos.
- Ori îl veți vedea pe Joe astăzi în clasă sau va dormi prea mult
- Nu l-ai văzut azi pe Joe în clasă
- Prin urmare, Joe a adormit
Silogismul disjunctiv ia două opțiuni și îl restrânge la una.
Dilemă constructivă
O altă formă validă de argument este cunoscută sub numele de dilemă constructivă sau uneori doar „dilemă”. Nu lasă utilizatorul cu o singură afirmație la sfârșitul argumentului, ci oferă o opțiune de două afirmații diferite. Prima premisă oferă o opțiune de două afirmații diferite. Apoi se afirmă că, dacă se întâmplă primul, va exista un rezultat particular și, dacă se va întâmpla al doilea, va exista un rezultat separat. Concluzia este că fie primul rezultat, fie al doilea rezultat se va întâmpla. Critica cu această formă este că nu dă o concluzie definitivă; doar o declarație de posibilități. Când este scris sub formă de argument, arată mai jos.
- Ori a, ori b
- Dacă A, atunci C
- Dacă B, atunci D
- Prin urmare, fie C, fie D
Când conținutul este inserat în locul literelor, arată ca mai jos.
- Bill va lua scările sau liftul în camera lui
- Dacă va lua scările, va fi obosit când va ajunge în camera sa
- Dacă va lua liftul, îi va fi dor de începutul jocului de fotbal la televizor
- Prin urmare, Bill va fi fie obosit când va ajunge în camera lui, fie va rata dorința de a începe meciul de fotbal
Există o versiune ușor diferită a dilemei care folosește negația mai degrabă decât să afirme ceva cunoscut sub numele de dilemă distructivă . Când este pus sub formă argumentativă, arată ca mai jos.
- Dacă A, atunci C
- Dacă B, atunci D
- Nu C sau nu D
- Prin urmare, nu A sau nu B