Elementi di storia della Logica formale

Giorgio Tomaso BAGNI

1997, 136 pagine, formato 17x24 cm, € 10.00
ISBN 88-371-0923-7

Collana: "Complementi di matematica per l'indirizzo didattico"

Questo libro propone un'introduzione alla storia della logica formale, con particolare riferimento alle applicazioni didattiche. Ogni capitolo è stato corredato da alcuni "temi di logica", ovvero da alcune citazioni riguardanti il contenuto del capitolo che il lettore è invitato a commentare, e da una bibliografia. Il volume si compone dei seguenti capitoli: Introduzione. Storia e geografia della logica; Aristotele e la logica megarico-stoica; La logica scolastica; Da Cartesio a Leibniz; De Morgan, Boole; Il calcolo dei predicati e Frege; Le antinomie e Russell; Uno sguardo sul XX secolo.
G. T. Bagni: ha tenuto lezioni di Storia della Matematica come professore a contratto presso la Facoltà di Scienze MM.FF.NN., corso di laurea in Matematica, Università di Bologna. Ha fatto parte del nucleo di Ricerca in Didattica della Matematica di Bologna. Autore di numerose pubblicazioni scientifiche sulla storia e sulla didattica della Matematica, è stato membro ordinario dell'Ateneo di Treviso.