Metateoria

La nozione di metateoria non fa parte del dizionario della Reale Accademia Spagnola (RAE). Tuttavia, possiamo analizzare i suoi elementi compositivi per cominciare a capire il concetto.

Il prefisso meta- significa "dopo", "circa", "tra", "accanto a" o "con". Il sostantivo teoria, invece, può riferirsi a un'ipotesi i cui effetti hanno applicazione in una scienza; a un insieme di leggi che permettono di collegare un ordine di fenomeni; o a un tipo di conoscenza speculativa.

Ritornando all'idea di metateoria, si riferisce a una teoria che ruota intorno a un'altra teoria o a un gruppo di esse. Questo è il motivo per cui viene spesso chiamata una teoria delle teorie.

Le metateorie fanno parte del campo della filosofia e sono spesso inquadrate come parte dell'epistemologia. Queste teorie prendono come oggetto lo studio di altre teorie, indagando il loro sistema di principi e le loro procedure e determinando i loro limiti.

La formulazione delle metateorie si realizza in un metalinguaggio: un linguaggio che viene usato per riferirsi ad un altro linguaggio. Ciò che le metateorie fanno, in breve, è esaminare come le teorie sono formalizzate.

Le metateorie più sviluppate includono la metamatematica (la metateoria della matematica) e la metalogica (la metateoria della logica). Se ci concentriamo sulla metalogica, essa è dedicata allo studio dei componenti e delle proprietà dei sistemi formali, come la completezza e la coerenza. Così, come la logica mira alla costruzione di sistemi logici, la metalogica indaga le caratteristiche di tali sistemi.