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