===== SENTENÇA E PROPOSIÇÃO =====
Tornou-se corrente, na [[lexico:l:logica|lógica]] [[lexico:m:moderna|moderna]], distinguir os termos [[lexico:s:sentenca-e-proposicao|sentença e proposição]]. Uma [[lexico:s:sentenca|sentença]] é uma [[lexico:e:entidade|entidade]] [[lexico:l:linguistica|linguística]] capaz de [[lexico:s:ser|ser]] portadora de um [[lexico:s:sentido|sentido]] completo, considerada, porém, do [[lexico:p:ponto|ponto]] de vista puramente sintáxico, [[lexico:a:abstracao|abstração]] feita de sua [[lexico:s:significacao|significação]]. Uma [[lexico:p:proposicao|proposição]] é uma entidade [[lexico:i:ideal|ideal]] que constitui o correlato semântico de uma sentença. Para Frege, uma sentença denota ou nomeia um [[lexico:v:valor|valor]] de [[lexico:v:verdade|verdade]] (considerando-se o "[[lexico:v:verdadeiro|verdadeiro]]" ou o "[[lexico:f:falso|falso]]" como objetos abstratos) e conota ou significa uma proposição. Nesta [[lexico:p:perspectiva|perspectiva]], a sentença aparece como uma [[lexico:e:especie|espécie]] de [[lexico:e:expressao|expressão]] nominal que tem por [[lexico:r:referente|referente]] um valor de verdade e, por sentido, uma proposição.

A propósito da [[lexico:d:distincao|distinção]] entre sentença e proposição, observamos que, quando um [[lexico:c:criterio-de-verdade|critério de verdade]] é aplicável, dir-se-á que uma sentença é uma expressão suscetível de ser verdadeira ou falsa. Particularmente no caso das linguagens artificiais, é realmente assim que se caracterizará uma sentença. (Pelo menos quando é utilizada uma lógica com dois valores. De [[lexico:m:modo|modo]] [[lexico:g:geral|geral]], poder-se-á afirmar que se trata de uma expressão suscetível de ser associada a um valor de verdade.) Certamente, restringindo-se ao interior de uma [[lexico:l:linguagem-formal|linguagem formal]], sem considerar as regras de [[lexico:i:interpretacao|interpretação]] (que conferem uma significação às suas expressões), os próprios termos "verdadeiro" e "falso" possuem um sentido apenas [[lexico:f:formal|formal]] e convencional: trata-se, simplesmente, de "valores" que podem ser associados a certas expressões, de [[lexico:a:acordo|acordo]] com determinadas prescrições. (Estabelece-se, por [[lexico:e:exemplo|exemplo]], uma lista de [[lexico:s:sentencas|sentenças]] "verdadeiras", os "axiomas", [[lexico:b:bem|Bem]] como as regras de [[lexico:d:deducao|dedução]] possibilitando criai sentenças "verdadeiras", a partir de sentenças "verdadeiras"). Nos casos em que um [[lexico:c:criterio|critério]] de verdade [[lexico:n:nao|não]] é aplicável (caso das sentenças performativas, que não são "constatos"), far-se-á [[lexico:n:necessario|necessário]] especificar que uma sentença é uma expressão capaz de exprimir o [[lexico:a:ato|ato]] correspondente (promessa, veredito, etc). [Ladrière]