Cos'è un'inferenza? Tipi e caratteristiche principali
Un'inferenza è una conclusione o un'opinione che viene raggiunta prendendo in considerazione prove o fatti noti. Nella logica, un'inferenza è definita come il processo di derivazione delle conseguenze logiche dalle assunzioni assunte.
Una premessa è anche definita come una proposizione data come vera e da cui è tratta una conclusione.
In alcuni casi, l'inferenza non è logicamente derivabile dalle assunzioni assunte, ma ha un certo grado di probabilità rispetto a queste ipotesi.
La parola inferenza deriva dal latino medievale inferentia che significa "portare dentro". Questo termine è spesso usato come sinonimo di argomento.
L'inferenza è un meccanismo attraverso il quale avviene il ragionamento. Questi due vanno di pari passo, ed è essenziale seguire un processo di inferenza appropriato per garantire la validità del ragionamento.
Contributo di Charles Peirce
La ricerca sull'inferenza e gli argomenti è stata arricchita dal lavoro del filosofo e matematico Charles Sanders Peirce (1839-1914).
Ha dato un contributo significativo alla teoria e alla metodologia dell'induzione e ha scoperto un terzo tipo di ragionamento o inferenza: l'abduzione.
Quindi, la classificazione di Peirce comprendeva tre tipi di inferenza essenzialmente distinti ma non totalmente indipendenti: deduzione, induzione e abduzione.
Sebbene nelle ultime fasi della sua vita li considerasse come tre diversi stadi di ricerca invece di diversi tipi di inferenza, questa classificazione è ancora mantenuta.
I 3 tipi di inferenza
1- Deduzione
La deduzione è il processo di derivare una conclusione dagli assiomi e dai fatti dati. Cioè, trarre una conclusione sulla base delle conoscenze disponibili e delle osservazioni.
La conclusione si può trarre applicando la regola del modus ponens . Questa regola di inferenza afferma che se sappiamo che sia P che P → Q sono vere, possiamo concludere che Q deve anche essere vero. L'inferenza per deduzione è anche nota come inferenza logica.
esempio
Assioma: tutti i mammiferi hanno ghiandole mammarie.
Fatto / premessa: le balene sono mammiferi.
Conclusione: le balene hanno ghiandole mammarie.
2- Induzione
D'altra parte, l'induzione implica derivare una regola generale (detta anche assioma) da osservazioni particolari o specifiche.
Questo tipo di ragionamento è l'opposto del deduttivo. Fondamentalmente, significa estrarre conclusioni o inferenze da vari dati, passando dallo specifico al generale. Gli scienziati usano il ragionamento induttivo per formare ipotesi e teorie.
esempio
dati:
- Juan dorme meno di sei ore e si sveglia stanco.
- Lucia dorme meno di sei ore e si sveglia stanca.
- María dorme meno di sei ore e si sveglia stanca.
- Carlos dorme meno di sei ore e si sveglia stanco.
Inferenza: se una persona dorme meno di sei ore, svegliati stanco.
3- Abduction
Questo tipo di inferenza si basa su un insieme di osservazioni incompleto, che consente di ottenere la spiegazione più probabile possibile.
Si basa sul fare e testare ipotesi usando le migliori informazioni disponibili. Spesso implica fare un'ipotesi dopo aver osservato un fenomeno per il quale non esiste una spiegazione chiara.
esempio
Un esempio di ciò sono le diagnosi mediche basate sui risultati dei test. Un altro esempio sono le decisioni delle giurie nelle prove, basate sulle prove presentate loro.
