Obbligatorio per tutti gli studenti di Filosofia

Crediti : 5 cfu

L'esame è solo scritto.

Tests degli anni precedenti sono disponibili al sito http://www.cs.unibo.it/~corsi/FolderDidattica/tests_precedenti.html


PROGRAMMA

Dario Palladino, Corso di logica, Carocci 2002, pp 15-244.

Dispense:

Linguaggio enunciativo e valutazioni

Sul sillogismo di P. Minari

Le domande dei tests sono relative alla bibliografia fin qui citata.

Ulteriori letture consigliate:

Da Mathematical Logic di W.V.O Quine, 1958

Sussidi, esercizi, ecc..

Tautologie e formule valide notevoli
(a cura di V. Armenise)

Esempi di formalizzazione

Tarski's world. I parte.

Tarski's world. II parte.

Reductio ad absurdum/irrazionalità di radice 2