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

A propósito da [[lexico:d:distincao:start|distinção]] entre sentença e proposição, observamos que, quando um [[lexico:c:criterio-de-verdade:start|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:start|modo]] [[lexico:g:geral:start|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:start|linguagem formal]], sem considerar as regras de [[lexico:i:interpretacao:start|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:start|formal]] e convencional: trata-se, simplesmente, de "valores" que podem ser associados a certas expressões, de [[lexico:a:acordo:start|acordo]] com determinadas prescrições. (Estabelece-se, por [[lexico:e:exemplo:start|exemplo]], uma lista de [[lexico:s:sentencas:start|sentenças]] "verdadeiras", os "axiomas", [[lexico:b:bem:start|Bem]] como as regras de [[lexico:d:deducao:start|dedução]] possibilitando criai sentenças "verdadeiras", a partir de sentenças "verdadeiras"). Nos casos em que um [[lexico:c:criterio:start|critério]] de verdade [[lexico:n:nao:start|não]] é aplicável (caso das sentenças performativas, que não são "constatos"), far-se-á [[lexico:n:necessario:start|necessário]] especificar que uma sentença é uma expressão capaz de exprimir o [[lexico:a:ato:start|ato]] correspondente (promessa, veredito, etc). [Ladrière]

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