Logica - Negazione: esplorazioni logiche

Periodo di svolgimento
‌‌
Info sul corso
Ore del corso
20
Ore dei docenti responsabili
20
Ore di didattica integrativa
0
CFU 3
‌‌

Modalità esame

Relazione di seminario

Docente

Vedi dettagli del docente

Programma

Il corso affronta la nozione di negazione da un punto di vista logico, sia semantico che sintattico, considerando questa nozione fondamentale come una sorta di periscopio per osservare la composizione di diversi paesaggi logici. Partendo da un breve excursus di storia della logica, si affronteranno temi fra loro intrecciati di logica, filosofia della logica e filosofia del linguaggio. In particolare, si discuterà il ruolo della nozione di contraddizione, di falsità, e dell’uso dell’informazione negativa in logica classica e in diverse logiche non classiche.

Obiettivi formativi

Il corso intende introdurre a temi avanzati di teroia della dimostrazione in relazione alla nozione di negazione.