metalenguaje 16
Meta-linguagem é qualquer proposta que fala outra língua. Proposições (expressões linguísticas significativos que podem ser true ou false) podem ser de dois tipos: que fala da realidade (constituem a linguagem) e a língua falada (constituem as metalinguagens). Portanto, existem diferentes níveis de verdade ou falsidade: a linguagem de nível 0 que fala do real, que fala do nível 0 nível 1 nível 2 nível 1 falando e assim ao infinito. Estes estudos de filósofos como Bertrand Russell e Wittgenstein foram muito úteis em lógica e ciência da computação e resolveram as aparentes contradições da língua, como o clássico mentiroso: Epimênides, um cretense, disse: todos o cretense m? ienten sempre.? Epimênides mente ou dizem a verdade?.