Blog: http://pensatoio.ilcannocchiale.it

Illogica logica : La logica matematica secondo Barwise

Per Barwise la logica matematica procede in questo modo :

  1. Assume come materiale grezzo le formule, gli assiomi, le dimostrazioni e i teoremi di tutte le branche della matematica.
  2. Costituisce una struttura matematica in cui questo materiale corrisponde ad oggetti astratti della struttura stessa
  3. Essa cioè trasforma formule, assiomi, dimostrazioni in oggetti astratti come punti, rette della geometria piana. Così essi possono essere studiati per mezzo degli strumenti esatti della matematica

 

 

 

La logica matematica è dunque interpretabile metafisicamente.

Essa realizza in un determinato campo il programma parmenideo e platonico di oggettivazione dei processi, di atemporalizzazione di procedimenti che accadono nel tempo, di spazializzazione astratta di strumenti che con la dimensione spaziale non hanno niente a che fare.

 

 

 

 

 

Pubblicato il 7/6/2011 alle 16.38 nella rubrica Epistemologia.

Il Cannocchiale, il mondo visto dal web