metateoria

metateoria

In logica matematica, teoria che ne ha per oggetto un’altra, detta teoria-oggetto. Si usa distinguere una m. sintattica, o sintassi, da una m. semantica, o semantica. La sintassi ha per oggetto le sole proprietà formali o strutturali delle espressioni della teoria, la semantica studia invece anche i significati dei simboli (➔ teoria).