Blog: http://pensatoio.ilcannocchiale.it

Illogica logica : Aristotele e la logica formale

Malatesta dice che Aristotele ha inventato la logica formale e l’assiomatica.

Aristotele sarà imitato da Euclide (assiomatizzazione della geometria), Newton (assiomatizzazione della meccanica) Clausius (assiomatizzazione della termodinamica) Peano (assiomatizzazione della matematica) Woodger (biologia).

 

 

Sarebbe più corretto dire che ha iniziato il processo di formalizzazione della logica, ma la sua non è una logica del tutto formalizzata.

Dal punto di vista dell’assiomatica ha fatto di più, perché se gli assiomi sono i sillogismi perfetti, allora gli assiomi sono tautologie logicamente vere a priori ed il sistema che ne viene fuori è anch’esso logicamente vero, mentre altri sistemi assiomatici che non hanno tautologie per assiomi sono veri solo nella loro struttura inferenziale, ma non sono necessariamente vere anche le loro conclusioni (i teoremi), il cui valore di verità dipende dal valore di verità degli assiomi.

 

 

Pubblicato il 29/3/2011 alle 11.52 nella rubrica Epistemologia.

Il Cannocchiale, il mondo visto dal web