SETTORE SCIENTIFICO DISCIPLINARE
LOGICA E FILOSOFIA DELLA SCIENZA (M-FIL/02) - Scienze storiche, filosofiche, pedagogiche e psicologiche
Tengo attualmente insegnamenti di Logica (triennale e magistrale) e di filosofia della scienza. L'obbiettivo del corso di Logica triennale è fornire una conoscenza della logica delle proposizioni e dei predicati. La presentazione dei calcoli è in stile derivazione naturale. Dopo aver fornito alcuni elementi storici, si passa a introdurre il linguaggio e le procedure di derivazione. Particolare importanza viene data alle tecniche di scoperta delle prove. Oggetto del corso di Logica magistrale è l'analisi sintattica e semantica del linguaggio naturale. Vengono considerate alcune teorie moderne e contemporanee che propongono analisi logiche e linguistiche; in particolare quelle Ajdukiewicz, Lambek, Montague. Il focus dei corsi di filosofia della scienza è la verità e il significato dei concetti. Se ne discute a partire dalla tradizione del neopositivismo logico.