===== LINGUAGEM FORMAL =====
No quadro de uma [[lexico:l:linguagem-formal:start|linguagem formal]] assim entendida, será [[lexico:p:possivel:start|possível]] construir um [[lexico:s:sistema-formal:start|sistema formal]], estabelecendo-se um [[lexico:p:processo:start|processo]] de produção da [[lexico:c:classe:start|classe]] de [[lexico:s:sentencas:start|sentenças]] "verdadeiras".   Se a esta [[lexico:l:linguagem:start|linguagem]] for associada uma [[lexico:i:interpretacao:start|interpretação]], poder-se-á especificar, por [[lexico:m:meio:start|meio]] de regras semânticas, quais são as sentenças "verdadeiras". (Evidentemente, uma interpretação "[[lexico:n:normal:start|normal]]" situará na [[lexico:c:categoria:start|categoria]] das sentenças "verdadeiras" aquelas que, em [[lexico:r:referencia:start|referência]] aos termos da interpretação em [[lexico:q:questao:start|questão]], representarem estados de [[lexico:c:coisas:start|coisas]] efetivamente realizados). Ademais, pode-se realmente considerar um [[lexico:s:sistema:start|sistema]] [[lexico:f:formal:start|formal]] como uma linguagem; com [[lexico:e:efeito:start|efeito]], trata-se de um processo que permite a produção de um conjunto de frases. [Ladrière]

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