Logica - Negazione: esplorazioni logiche
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.