Proposição

Proposição é um termo usado em lógica para descrever o conteúdo de asserções. Uma asserção é um conteúdo que pode ser tomado como verdadeiro ou falso. Asserções são abstrações de sentenças não-lingüísticas que a constituem. A natureza das proposições é altamente controversa entre filósofos, muitos dos quais são céticos sobre a existência de proposições. Muitos lógicos preferem evitar o uso do termo proposição em favor de usar sentença.

Diferentes sentenças podem expressar a mesma proposição quando têm o mesmo significado. Por exemplo, "A neve é branca" e "Snow is white" são sentenças diferentes, mas ambas dizem a mesma coisa, a saber, que a neve é branca. Logo, expressam a mesma proposição. Outro exemplo de sentença que expressa a mesma proposição que as anteriores é "A precipitação de pequenos cristais de água congelada é branca", pois "precipitação de pequenos cristais de água congelada" é a definição de "neve".

Na lógica aristotélica uma proposição é um tipo particular de sentença, a saber, aquela que afirma ou nega um predicado de um sujeito.

Proposições são usualmente consideradas como o conteúdo de crenças e outros pensamentos representativos. Elas também podem ser o objeto de outras atitudes, como desejo, preferência, intenção, como em "Desejo um carro novo" e "Espero que chova", por exemplo.

Também não é raro contrastar com a noção de proposição como conteúdo mental a noção de proposições russellianas. De facto, boa parte da discusão em torno da natureza da proposição, travada no século xx e contemporaneamente, oscila, e por vezes tenta conciliar, ambas noções.

Objeções às proposições

Muitos filósofos e linguistas alegam que a noção de proposição é muito vaga ou inútil. Para eles, é apenas um conceito enganador que deve ser removido da filosofia e da semântica. Quine que a indeterminação da tradução impede qualquer discussão com sentido de proposições, e que as mesmas devem ser descartadas em favor das sentenças.

Todavia, como em réplica diz Alvin Plantiga (em The Nature of Necessity, Oxford:Clarendon Press,1974):

"Na medida em que a alegada debilidade [a falta de um claro critério de identidade] pode tornar-se toleravelmente clara, trata-se de uma debilidade que proposições compartilham com eléctrons, montanhas, guerras -- e sentenças."