Nota: Não confundir comPreposição. | Este artigo ou secção contémuma lista de referências no fim do texto, mas as suas fontes não são claras porquenão sãocitadas no corpo do artigo, o quecompromete aconfiabilidade das informações. Ajude amelhorar este artigoinserindo citações no corpo do artigo. |
Proposição é um termo usado emlógica para descrever o conteúdo deasserções. Umaasserção é um conteúdo que pode ser tomado comoverdadeiro ou falso. Asserções são abstrações desentenças não linguísticas que a constituem. A natureza das proposições é altamente controversa entrefilósofos, muitos dos quais sãocéticos sobre a existência de proposições. Muitos lógicos preferem evitar o uso do termoproposição em favor de usarsentença.
Diferentes sentenças podem expressar a mesma proposição quando têm o mesmosignificado. 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".
Nalógica aristotélica uma proposição é um tipo particular de sentença, a saber, aquela que afirma ou nega umpredicado de umsujeito.
Proposições são usualmente consideradas como oconteúdo decrenças e outrospensamentosrepresentativos. Elas também podem ser o objeto de outrasatitudes, comodesejo,preferência,intenção, como em "Desejoum carro novo" e "Esperoque 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 discussão em torno da natureza da proposição travada no século XX e contemporaneamente, oscila e, por vezes, tenta conciliar ambas noções.
Muitos filósofos elinguistas 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 dasemântica.Quine demonstrou que aindeterminação da tradução impede qualquer discussão com sentido de proposição e que a mesma deve ser descartada em favor das sentenças.
Todavia, como em réplica dizAlvin Plantinga (emThe Nature of Necessity, Oxford:Clarendon Press,1974):
Por fim, ressalta-se que proposições filosóficas, não se confundem com as proposições de raciocínio lógico matemático. São matérias distintas. Nas proposições lógicas apenas são válidas frases declarativas (com sujeito e predicado definidos) frases com sujeito oculto não são proposições. Exemplo de uma proposição lógica válida: O Brasil é um país do continente americano. Agora, vejamos uma frase inválida como proposição: x é um número ímpar. Frase declarativa, porém x é sujeito indefinido, logo é uma sentença aberta, não se sabe o valor e não poderá ser considerada uma sentença lógica. Assim ocorre com frases com sujeito oculto como: Serei campeão. (eu sujeito oculto) sentença aberta, não se sabe quem é o sujeito, não é válida como uma proposição lógica.
 | Este artigo sobrefilosofia/um(a)filósofo(a) é umesboço. Você pode ajudar a Wikipédiaexpandindo-o. |
