Elenco delle forme di argomenti valide - List of valid argument forms
Delle molte e varie forme argomentative che possono essere costruite, solo pochissime sono valide forme argomentative . Per valutare queste forme, le dichiarazioni vengono messe in forma logica . La forma logica sostituisce qualsiasi frase o idea con lettere per rimuovere qualsiasi pregiudizio dal contenuto e consentire di valutare l'argomento senza pregiudizi dovuti all'argomento.
Essere un argomento valido non significa necessariamente che la conclusione sarà vera. È valido perché se le premesse sono vere, la conclusione deve essere vera. Questo può essere dimostrato per qualsiasi forma di argomento valida utilizzando una tabella di verità che mostra che non c'è situazione in cui ci sono tutte le vere premesse e una falsa conclusione.
Valide forme sillogistiche
Nella logica sillogistica , ci sono 256 modi possibili per costruire sillogismi categorici usando le forme di dichiarazione A , E , I e O nel quadrato dell'opposizione . Dei 256, solo 24 sono moduli validi. Dei 24 moduli validi, 15 sono incondizionatamente validi e 9 sono validi condizionatamente.
Incondizionatamente valido
| Figura 1 | figura 2 | Figura 3 | Figura 4 | ||||
|---|---|---|---|---|---|---|---|
|
AAA EAE AII EIO |
AEE EAE EIO AOO |
AII IAI OAO EIO |
AEE IAI EIO |
||||
Condizionalmente valido
| Figura 1 | figura 2 | Figura 3 | Figura 4 | Condizione richiesta | |||||
|---|---|---|---|---|---|---|---|---|---|
|
AAI EAO |
AEO EAO |
AEO | Il soggetto esiste | ||||||
|
AAI EAO |
EAO | Il medio termine esiste | |||||||
| AAI | Il predicato esiste | ||||||||
Valide forme proposizionali
Quello che segue è un elenco di alcune forme di argomenti validi comuni nella logica proposizionale. Non è neanche lontanamente esaustivo e fornisce solo alcuni esempi delle forme di argomentazione valide più note.
Modus ponens
Una forma di argomento valida è nota come modus ponens , da non confondere con modus tollens , che è un'altra forma di argomento valida che ha un nome e una struttura simili. Modus ponens (a volte abbreviato in MP) dice che se una cosa è vera, allora lo sarà un'altra. Quindi afferma che il primo è vero. La conclusione è che la seconda cosa è vera. È mostrato di seguito in forma logica.
- Se A, allora B
- UN
- Pertanto B
Prima di essere messa in forma logica, l'affermazione di cui sopra avrebbe potuto essere qualcosa di simile al di sotto.
- Se Kelly non finisce i compiti, non andrà a lezione
- Kelly non ha finito i compiti
- Pertanto, Kelly non andrà a lezione
Le prime due affermazioni sono le premesse mentre la terza è la conclusione che ne deriva.
Modus tollens
Un'altra forma di argomentazione è nota come modus tollens (comunemente abbreviato MT). In questa forma, inizi con la stessa prima premessa del modus ponens. Tuttavia, la seconda parte della premessa viene negata, portando alla conclusione che anche la prima parte della premessa dovrebbe essere negata. È mostrato di seguito in forma logica.
- Se A, allora B
- Non B
- Quindi non A.
Quando il modus tollens viene utilizzato con il contenuto effettivo, appare come di seguito.
- Se i Saints vincono il Super Bowl, quella sera ci sarà una festa a New Orleans
- Non ci fu festa a New Orleans quella notte
- Pertanto, i Saints non hanno vinto il Super Bowl
Sillogismo ipotetico
Proprio come il modus ponens e il modus tollens, il sillogismo ipotetico (a volte abbreviato in HS) contiene due premesse e una conclusione. Tuttavia, è leggermente più complicato dei primi due. In breve, afferma che se una cosa accade, anche un'altra lo farà. Se accade quella seconda cosa, la seguirà una terza. Pertanto, se accade la prima cosa, è inevitabile che lo faccia anche la terza. È mostrato di seguito in forma logica.
- Se A, allora B
- Se B, allora C
- Quindi se A, allora C
Quando viene espresso in parole, sembra di seguito.
- Se oggi piove, indosserò la mia giacca antipioggia
- Se indosso la giacca antipioggia, mi terrò asciutto
- Quindi se oggi piove, mi terrò all'asciutto
Sillogismo disgiuntivo
Il sillogismo disgiuntivo (a volte abbreviato DS) ha una delle stesse caratteristiche del modus tollens in quanto contiene una premessa, quindi in una seconda premessa nega un'affermazione, portando alla conclusione. In Disjunctive Syllogism, la prima premessa stabilisce due opzioni. Il secondo ne toglie uno, quindi la conclusione afferma che il rimanente deve essere vero. È mostrato di seguito in forma logica.
- O A o B
- Non A
- Pertanto B
Quando vengono utilizzati A e B vengono sostituiti con esempi di vita reale, appare come di seguito.
- O vedrai Joe in classe oggi o dormirà troppo
- Oggi non hai visto Joe in classe
- Quindi Joe dormì troppo
Il sillogismo disgiuntivo prende due opzioni e la restringe a una.
Dilemma costruttivo
Un'altra valida forma di argomentazione è nota come dilemma costruttivo o talvolta solo "dilemma". Non lascia all'utente una sola istruzione alla fine dell'argomento, ma offre un'opzione tra due diverse istruzioni. La prima premessa offre la possibilità di due diverse affermazioni. Quindi afferma che se si verifica il primo, ci sarà un risultato particolare e se si verifica il secondo, ci sarà un risultato separato. La conclusione è che accadrà il primo o il secondo risultato. La critica a questo modulo è che non dà una conclusione definitiva; solo una dichiarazione di possibilità. Quando è scritto in forma di argomento, appare come di seguito.
- O A o B
- Se A allora C
- Se B allora D
- Quindi o C o D
Quando il contenuto viene inserito al posto delle lettere, appare come di seguito.
- Bill o prenderà le scale o l'ascensore per la sua stanza
- Se prende le scale, sarà stanco quando arriverà nella sua stanza
- Se prende l'ascensore, salterà l'inizio della partita di calcio in TV
- Pertanto Bill sarà stanco quando arriverà nella sua stanza o salterà l'inizio della partita di calcio
Esiste una versione leggermente diversa del dilemma che utilizza la negazione anziché affermare qualcosa noto come dilemma distruttivo . Quando messo in forma argomentativa, appare come di seguito.
- Se A allora C
- Se B allora D
- Non C o non D
- Quindi non A o non B
