Inferenza

Da Wikipedia, l'enciclopedia libera.

Questa voce o sezione sull'argomento logica non cita le fonti
necessarie o quelle presenti sono insufficienti.
Nella logica l'inferenza (dal latino inferre, letteralmente portare dentro) è il processo, induttivo o deduttivo, attraverso il quale da una
proposizione assunta come vera si passa a una seconda proposizione la cui verità è derivata dal contenuto della prima secondo
opportune regole di inferenza.

Inferire è quindi trarre una conclusione come ad esempio accade nel sillogismo. Inferire X significa concludere che X è vero;
un'inferenza è la conclusione tratta da un insieme di fatti o circostanze. Gran parte dello studio della logica esplora la validità o non
validità di inferenze e implicazioni.

Esiste una sottile differenza tra implicare e inferire: il primo sottende in maniera tacita una conseguenza, il secondo vi perviene
esplicitamente. Se si scrive che "tutti gli uomini sono mortali" e "Socrate è un uomo", si implica che Socrate è mortale, ma un lettore
così attento da notare la nostra implicazione e pensare "quindi Socrate è mortale",
inferisce che Socrate è mortale.

« E quando qualcuno vi propone di credere a una proposizione voi dovete prima esaminare se essa è
accettabile, perché la nostra ragione è stata creata da Dio, e ciò che piace alla nostra ragione non può non
piacere alla ragione divina, sulla quale peraltro sappiamo solo quello che, per analogia e spesso per
negazione, ne inferiamo dai procedimenti della nostra ragione. »

(Guglielmo da Baskerville in: Umberto Eco , Il nome della rosa , p. 139 )

In linguistica si parla di "formulazione di inferenze", con riferimento allo schema di Roman Jakobson, intesa come sistema di segni
utili alla comunicazione. Si tratta di un procedimento che non prevede nessun emittente volontario ma solo la presenza di un oggetto
che viene interpretato come messaggio. Un esempio (a carattere deduttivo) è il seguente:

oggetto: "case dai tetti spioventi" → messaggio interpretato: "qui nevica spesso".

Voci correlate
Asserzione logica
Deduzione
Modus ponens
Motore inferenziale
Procedura di inferenza
Ragionamento
Regole di inferenza
RuleML
Sillogismo
Sistema esperto
Validità (logica)
Fallacia
Inferenza immediata
Inferenza statistica
Inferenza bayesiana
Proprietà transitiva
Altri progetti
Wikizionario contiene il lemma di dizionario «inferenza»

Collegamenti esterni
Inferenza, in Treccani.it – Enciclopedie on line, Istituto dell'Enciclopedia Italiana, 15 marzo 2011.
Inferenza, in Thesaurus del Nuovo soggettario, BNCF.
Controllo di autoritàGND (DE ) 4333533-0

Estratto da "https://it.wikipedia.org/w/index.php?title=Inferenza&oldid=92839324
"

Questa pagina è stata modificata per l'ultima volta il 27 nov 2017 alle 21:31.

Il testo è disponibile secondo lalicenza Creative Commons Attribuzione-Condividi allo stesso modo
; possono applicarsi
condizioni ulteriori. Vedi le condizioni d'uso per i dettagli.