L’insegnante introduce l’argomento attraverso la trattazione dei fondamenti di logica: le proposizioni, i connettivi logici, i quantificatori.

I modelli matematici (diversi!) di Galileo e Einstein per rappresentare la realtà.

Formulazione di esempi di proposizioni nel linguaggio comune che vengono male interpretate; traduzione di una frase in linguaggio matematico. 

Partendo dal presupposto che la matematica dà informazioni esatte purché le premesse siano esatte (quindi anche la matematica diventa “relativa”) e che ogni comunicazione offre un modello della realtà, verrà intavolata una discussione in classe sull’affidabilità dell’informazione anche nel caso in cui lo strumento d’indagine risulti esatto.

Si possono proporre diversi approfondimenti:

• Tradurre alcune frasi da linguaggio naturale a linguaggio logico.
• Individuare, nei messaggi sui media, un uso errato dei quantificatori.
• Individuare nei media pretese di assolutezza di modelli di rappresentazione della realtà.
• Ricerca sui modelli della teoria degli insiemi, nei quali è frequente scoprire che un teorema può essere vero o falso a seconda del tipo di modello.