Il libro mette in luce come il progetto leibniziano di una caratteristica universale e di un calculus ratiocinator rappresenti una sorprendente anticipazione delle idee alla base della logica matematica, dell’algebra booleana e persino dell’informatica teorica. In particolare, l’autore mostra:

come Leibniz immaginasse un linguaggio formale capace di eliminare le ambiguità del linguaggio naturale;

l’idea di ridurre il ragionamento a un calcolo, in modo che le dispute filosofiche potessero essere “risolte facendo di conto” («Calculemus!);

il tentativo di costruire una notazione simbolica rigorosa, simile nelle intenzioni a quella che sarà sviluppata due secoli dopo da Boole, Frege, Peano e Russell;

il ruolo delle sue intuizioni nella transizione dalla logica aristotelica alla logica moderna.

L’opera combina filologia, storia della logica e interpretazione filosofica, mostrando come molte delle innovazioni attribuite ai logici dell’Ottocento affondino le radici nelle visioni teoriche di Leibniz.

Cod: 8051767707062

L'articolo Leibniz e la logica simbolica. proviene da Diffusione del Libro.