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.