LOGICA MATEMATICA NON SOLO PER RAGIONARE
Ma anche per creare maggior serenità
Coordinatrice: dott.ssa Iolanda Davletbaiev*
Un breve corso di tre incontri che vuole presentare in sintesi la storia della logica dalle origini della Grecia classica agli ultimi studi nel linguaggio del computer.
Verrà introdotta la logica di Aristotele (IV sec. a.C.) con i sillogismi (deduzioni), la logica delle proposizioni (frasi) che ha avuto origine con Crisippo (III sec. a.C.) e i suoi connettivi, la logica dei predicati (concetti) con Gottob Frege (XX sec. d.C.)