La 'logica dimostrativa' è un manuale scritto in occasione del primo incarico didattico importante di Gerolamo Saccheri, nel Collegio dell'Ordine a Torino.
La 'logica dimostrativa' è un manuale scritto in occasione del primo incarico didattico importante di Gerolamo Saccheri, nel Collegio dell'Ordine a Torino.
Saccheri, con questo libro, volle dimostrare le assurde conseguenze che si sarebbero ottenute considerando non vero il postulato V di Euclide sulle parallele. Di fatto egli ottiene lucide e articolate conseguenze, che però gli giocano uno scherzo: nessuna di esse è una assurdità logica e tutte insieme costituiscono un piccolo corpus di geometria non-euclidea. Da Saccheri in poi, non si può ignorare che da un assioma opposto a quello euclideo derivi una geometria in sé perfettamente coerente.
Saccheri, con questo libro, volle dimostrare le assurde conseguenze che si sarebbero ottenute considerando non vero il postulato V di Euclide sulle parallele. Di fatto egli ottiene lucide e articolate conseguenze, che però gli giocano uno scherzo: nessuna di esse è una assurdità logica e tutte insieme costituiscono un piccolo corpus di geometria non-euclidea. Da Saccheri in poi, non si può ignorare che da un assioma opposto a quello euclideo derivi una geometria in sé perfettamente coerente.
