Proposición — En lógica y filosofía del lenguaje, una proposición es el contenido declarativo de un enunciado — aquello que se dice al hacer una afirmación, y que puede ser verdadero o falso. Una distinción fundamental: el enunciado es la expresión lingüística (una secuencia de palabras en una lengua particular), mientras que la proposición es el contenido que el enunciado expresa. Dos enunciados en lenguas diferentes (“Snow is white” / “La nieve es blanca”) expresan la misma proposición; un mismo enunciado puede expresar proposiciones distintas en contextos diferentes (“Tengo hambre” — dicho por personas distintas).

Frege: Proposiciones como Pensamientos

Gottlob Frege, en “Der Gedanke: Eine logische Untersuchung” (1918, Beiträge zur Philosophie des deutschen Idealismus; traducido como “El pensamiento: una investigación lógica”), denomina las proposiciones Gedanken (pensamientos). Un pensamiento no es un contenido mental subjetivo (estado psicológico de un individuo), sino un contenido objetivo y atemporal — algo que puede ser captado por varios sujetos, que existe independientemente de cualquier mente y que es el portador primario del valor de verdad. Frege distingue rigurosamente: (a) el enunciado (signo lingüístico); (b) el sentido del enunciado (Sinn), que es el pensamiento; y (c) la referencia del enunciado (Bedeutung), que es su valor de verdad (lo Verdadero o lo Falso, tratados como objetos lógicos).

Russell: Proposiciones Estructuradas

Bertrand Russell, en su fase realista (anterior a 1905), propuso que las proposiciones son entidades estructuradas que contienen los propios objetos y relaciones como componentes. Una proposición sobre el Mont Blanc contiene el Mont Blanc. En “On Denoting” (1905), Russell reformuló la teoría mediante la teoría de las descripciones — las llamadas “descripciones definidas” como “el actual rey de Francia” no tienen referente, pero pueden aparecer en proposiciones coherentes mediante el análisis lógico. La teoría russelliana de las proposiciones estructuradas fue revivida y sistematizada en la filosofía analítica contemporánea por filósofos como Nathan Salmon y Scott Soames.

Proposiciones como Conjuntos de Mundos Posibles

Una alternativa influyente, desarrollada en el contexto de la semántica de mundos posibles, identifica las proposiciones con conjuntos de mundos posibles: la proposición expresada por un enunciado es el conjunto de todos los mundos posibles en que el enunciado es verdadero. Esta aproximación, asociada a Stalnaker, Lewis y la semántica formal de los años 1970-1980, es matemáticamente elegante pero enfrenta objeciones: hace que todas las proposiciones necesariamente verdaderas (como los teoremas matemáticos) sean idénticas al conjunto de todos los mundos posibles — lo que implica que “2+2=4” y “el cuadrado de 4 es 16” expresarían la misma proposición, lo cual parece contraintuitivo (el problema de las proposiciones hiperintensionales).

Actitudes Proposicionales

Las proposiciones son indispensables para el análisis de las actitudes proposicionales — estados mentales como creencia, deseo, esperanza, miedo, que son siempre estados sobre algo: creer que lloverá mañana, desear que el equipo gane. La estructura lógica de tales actitudes es S cree que p, donde p designa una proposición. El debate sobre la naturaleza de las proposiciones tiene, por tanto, consecuencias directas para la filosofía de la mente y la teoría de la intencionalidad.

← Glosario