Elementi di storia della logica formale

La logica formale lo studio del ragionamento deduttivo: quello che conta la forma delle affermazioni, non la loro verit; conta la validit della deduzione (comunque, una deduzione valida porta da un'affermazione vera a un'affermazione pure vera). Essa risale ad Aristotele, che per primo costru la teoria di una particolare forma di ragionamento, il sillogismo. Con la scolastica medioevale si ebbe un'altra rifioritura della logica formale, con acute analisi. La logica formale si identifica oggi con la logica matematica, sviluppatasi a partire dalla met dell'Ottocento come applicazione alla logica di metodi matematici. Con la crisi dei fondamenti della matematica, la logica considerata da alcuni come la base su cui costruire la matematica, da altri come il linguaggio base delle teorie formalizzate.

di Bagni, Giorgio T. - 2023-09-01

Edizioni Bonomo

ISBN 9788869722981