Uninferenza immediata è una deduzione che può essere fatta da una proposizione dichiarativa.. Ad esempio, dalla proposizione "tutti i rospi sono verdi" è possibile trarre la deduzione immediata che "nessun rospo non è verde".
Esistono un certo numero di inferenze immediate che possono validamente essere fatte usando le operazioni logiche, il cui risultato è una proposizione logicamente equivalente a quella iniziale. Esistono anche tipi di inferenza immediata non valide che corrispondono a forme di sillogismo errate.
Inferenze immediate valide
Inversione
Data una proposizione dichiarativa di tipo E, dal quadrato delle opposizioni, cioè che "Nessun S è P", si può fare la deduzione immediata che "Nessun P è S", che è il contrario della proposizione iniziale. Data una proposizione di tipo I, "Alcuni S sono P", si può fare la deduzione immediata che "Alcuni P sono S", che è il contrario della proposizione iniziale.
Obversione
Data una proposizione dichiarativa di tipo A, "Tutti gli S sono P", si può fare la deduzione immediata che "Nessun S è non-P", che è l'obversa della proposizione data. Data una proposizione di tipo E, "Nessun S è P.", si può fare la deduzione immediata che "Tutti gli S sono non-P", che è l'obversa della proposizione data. Data una proposizione di tipo I, "Alcuni S sono P", si può fare la deduzione immediata che "Alcuni S non sono non-P", che è l'obversa della proposizione data. Data una proposizione di tipo O, "Alcuni S non sono P", si può fare la deduzione immediata che "Alcuni S sono non-P", che è l'obversa della proposizione data.
Contrapposizione
Data una proposizione dichiarativa di tipo A, "Tutti gli S sono P", si può fare la deduzione immediata che "Tutti i non-P sono i non-S", che è la contrapposta della proposizione iniziale. Data una proposizione di tipo O, "Alcuni S non sono P", si può fare la deduzione immediata che "Alcuni non-P non sono non-S", che è la contrapposta della proposizione iniziale.
Inferenze immediate non valide I casi di non corretta applicazione delle contrarie, subcontrarie e subalterne sono casi di sillogismo errato chiamati contrario illecito, subcontrario illecito, e subalterno illecito.
I casi di non corretta applicazione fra proposizioni tra loro contraddittorie sono così rari, che un errore del tipo "contraddizione illecita" in genere non viene nemmeno preso in considerazione.
Contrario illecito È falso che tutti gli A sono B, quindi nessun A è B. È falso che nessun A è B, quindi tutti gli A sono B.
Subcontrario illecito Alcuni A sono B, quindi è falso che alcuni A non sono B. Alcuni A non sono B, quindi un po 'di A sono B.
Subalterno illecito (superalterno) Alcuni A non sono B, quindi nessun A è B. È falso che tutti gli A sono B, quindi è falso che alcuni A sono B.
Note
Categoria:Logica