Proposição
conceito da lógica e da filosofia relacionado a asserções, sentenças e valores de verdade (comparar com Q3918409, 'proposta') / De Wikipedia, a enciclopédia encyclopedia
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 linguí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.
Este artigo ou secção contém uma lista de referências no fim do texto, mas as suas fontes não são claras porque não são citadas no corpo do artigo, o que compromete a confiabilidade das informações. (Novembro de 2014) |
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 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.