Il ciclo di incontri intende introdurre i partecipanti all’uso del linguaggio formale in logica. La logica, da Aristotele alla logica matematica contemporanea, si prefigge due scopi:

1) Formalizzare il linguaggio, cioè rendere totalmente esplicito il linguaggio per mezzo del quale si intende parlare
di qualcosa, così da assicurare l’univocità dei significati trasmessi e il rigore nella elaborazione delle teorie;

2) Fornire un insieme di regole formali (calcolo), per determinare la relazione di conseguenza logica tra le proposizioni.

Il corso, essendo di carattere introduttivo, si soffermerà soprattutto sul primo aspetto, mostrando come è possibile passare dal linguaggio naturale LN a un linguaggio simbolico convenzionale LS, e da quest’ultimo a un linguaggio formale L in senso stretto.