Blog: http://pensatoio.ilcannocchiale.it

Illogica logica : teorie e metateorie

Il Prof. Malatesta dice che, essendo la Teoria insieme unione tra linguaggio e realtà e cioè

T0 = (L0, U0), il linguaggio che tratta dell’universo,

La metateoria T1  deve essere l’insieme unione del metalinguaggio e del linguaggio e dunque

T1 = (L1L0), dove l’universo è il linguaggio oggetto.

La meta-meta-teoria T2 deve essere l’insieme del meta-meta-linguaggio e del metalinguaggio che ne è l’universo e cioè T2 = (L2L1)

 

 

Tale classificazione è condivisibile solo se il linguaggio è un insieme di funzioni proposizionali le cui variabili sono sostituibili da oggetti ed in cui la Teoria è il risultato di tale sostituzione. La Teoria in tal caso sarebbe il linguaggio in cui le variabili siano sostituite da nomi propri e predicati.

 

 

 

 

Pubblicato il 16/2/2011 alle 11.41 nella rubrica Epistemologia.

Il Cannocchiale, il mondo visto dal web