Proposição

Proposição — Na lógica e na filosofia da linguagem, uma proposição é o conteúdo declarativo de um enunciado — aquilo que é dito quando se faz uma afirmação, e que pode ser verdadeiro ou falso. Distinção fundamental: o enunciado é a expressão linguística (uma sequência de palavras em uma língua particular), enquanto a proposição é o conteúdo que o enunciado expressa. Dois enunciados em línguas diferentes (“Snow is white” / “A neve é branca”) expressam a mesma proposição; um mesmo enunciado pode expressar proposições diferentes em contextos diferentes (“Eu estou com fome” — dito por pessoas diferentes).

Frege: Proposições como Pensamentos

Gottlob Frege, em “Der Gedanke: Eine logische Untersuchung” (1918, Beiträge zur Philosophie des deutschen Idealismus; traduzido como “The Thought: A Logical Inquiry”), chama as proposições de Gedanken (pensamentos). Um pensamento não é um conteúdo mental subjetivo (estado psicológico de um indivíduo), mas um conteúdo objetivo e atemporal — algo que pode ser apreendido por vários sujeitos, que existe independentemente de qualquer mente e que é o portador primário do valor de verdade. Frege distingue rigorosamente: (a) o enunciado (signo linguístico); (b) o sentido do enunciado (Sinn), que é o pensamento; e (c) a referência do enunciado (Bedeutung), que é seu valor de verdade (verdadeiro ou falso, tratados como objetos lógicos).

Russell: Proposições Estruturadas

Bertrand Russell, em sua fase realista (anterior a 1905), propunha que proposições são entidades estruturadas que contêm os próprios objetos e relações como componentes. Uma proposição sobre o Monte Branco contém o Monte Branco. Em “On Denoting” (1905), Russell reformulou a teoria por meio da teoria das descrições — as chamadas “frases definidas” como “o atual rei da França” não têm referente, mas ainda assim podem aparecer em proposições coerentes mediante a análise lógica. A teoria russelliana das proposições estruturadas foi revivida e sistematizada na filosofia analítica contemporânea por filósofos como Nathan Salmon e Scott Soames.

Proposições como Conjuntos de Mundos Possíveis

Uma alternativa influente, desenvolvida no contexto da semântica de mundos possíveis, identifica proposições com conjuntos de mundos possíveis: a proposição expressa por um enunciado é o conjunto de todos os mundos possíveis em que o enunciado é verdadeiro. Esta abordagem, associada a Stalnaker, Lewis e à semântica formal dos anos 1970-80, é matematicamente elegante, mas enfrenta objeções: ela torna as proposições matematicamente necessárias (como os teoremas matemáticos) todas idênticas ao conjunto de todos os mundos possíveis — o que significa que “2+2=4” e “o quadrado de 4 é 16” expressariam a mesma proposição, o que parece contraintuitivo (problema das proposições hiperinstensionais).

Atitudes Proposicionais

As proposições são indispensáveis para a análise das atitudes proposicionais — estados mentais como crença, desejo, esperança, medo, que são sempre estados sobre algo: crer que choverá amanhã, desejar que o time ganhe. A estrutura lógica de tais atitudes é S acredita que p, onde p designa uma proposição. O debate sobre a natureza das proposições tem, portanto, consequências diretas para a filosofia da mente e para a teoria da intencionalidade.

← Glossário