===== LINGUAGEM-OBJETO =====
(in. Object-language).

Esta [[lexico:n:nocao:start|noção]] surge em [[lexico:c:correspondencia:start|correspondência]] com a de [[lexico:m:metalinguagem:start|metalinguagem]]  toda vez que uma [[lexico:l:linguagem:start|linguagem]] é considerada "semanticamente fechada", por [[lexico:n:nao:start|não]] conter, [[lexico:a:alem:start|além]] de suas expressões, os nomes dessas expressões ou termos (como "[[lexico:v:verdadeiro:start|verdadeiro]]" e "[[lexico:f:falso:start|falso]]") que a elas se refiram. Neste caso, é [[lexico:n:necessario:start|necessário]] distinguir a linguagem da qual se [[lexico:f:fala:start|fala]], que é o assunto da [[lexico:d:discussao:start|discussão]], e a linguagem com a qual se fala, com a qual desejamos construir a [[lexico:d:definicao:start|definição]] de [[lexico:v:verdade:start|verdade]] para a primeira linguagem. Esta última é a metalinguagem, a primeira é a [[lexico:l:linguagem-objeto:start|linguagem-objeto]]. A [[lexico:d:distincao:start|distinção]] entre linguagem-objeto e metalinguagem foi introduzida pelos lógicos poloneses por volta de 1919 e difundida por [[lexico:t:tarski:start|Tarski]] (cf. "The Semantic Conception of Truth", 1944, em Readings in Philosophical Analysis, 1949, p. 60). Essa distinção foi aceita por Carnap (Foundations of Logic and Mathematics, 1939, § 3). Por vezes, todavia, a linguagem-objeto e a metalinguagem coincidem, como p. ex. quando se fala em italiano sobre o italiano. A distinção vale sobretudo para as linguagens formalizadas.

{{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}