Blog: http://pensatoio.ilcannocchiale.it

Illogica logica : formalizzazione della logica

Malatesta dice che

Il passaggio a questa terza fase è stato

  1. Iniziato da Leibniz
  2. Proseguito da Boole e De Morgan
  3. Realizzato da Frege

 

 

L’Ideografia di Frege

 

L’Ideografia opera la reductio ad unum di vari livelli di logica sino ad allora separati :

 

in un edificio unico tutto concatenato a partire da sei assiomi di logica enunciativa

 

 

Principia

 

All’Ideografia si aggiungono altre scoperte:

 

Il tutto confluisce nella Summa summarum dei Principia Mathematica di Russell e Whitehead che unificano :

1.      l’Ideografia di Frege

2.      l’Algebra della logica di Boole

3.      Il simbolismo di Peano

4.      L’applicazione della logica alla matematica

 

I Principia sono comunque imperfetti. Essi sono privi :

 

Definizioni della nuova logica

 

1.      Leibniz : calculus ratiocinator-logica matematica-logistica

 

2.      Plocquet : calcolo logico

3.      Castillon : algoritmo logico

4.      De Morgan: Logica formale

5.      Boole: Analisi matematica della logica

6.      Venn : logica simbolica

7.      Peirce : algebra logica

8.      Schroder : logica esatta

9.      Hilbert : logica teoretica

10.  Couturat : logistica (preferita da Lukasiewicz e Carnap)

 

Attualmente si distingue tra logica simbolica e logica matematica.

Quest’ultima è costituita dall’intersezione di logica e matematica.

Barwise parla di molti settori della logica simbolica di cui la logica matematica è soltanto uno.

 

 

A mio parere la migliore denominazione è logica simbolica (o formale) con all’interno un calcolo logico. La denominazione di logica teoretica o di logica esatta non ha senso. Quella legata al calcolo confonde il metodo di verifica per l’intera scienza, mentre logistica è solo un neologismo.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Pubblicato il 31/3/2011 alle 11.42 nella rubrica Epistemologia.

Il Cannocchiale, il mondo visto dal web