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. La distinción fundamental separa el enunciado — la expresión lingüística, una secuencia de palabras en una lengua particular — de la proposición, que es el contenido abstracto que aquel expresa. Por eso “La nieve es blanca” y “Snow is white” expresan la misma proposición, mientras que un solo enunciado como “Tengo hambre” expresa proposiciones distintas según quién lo profiera. Gottlob Frege, en “Der Gedanke” (1918), llamó a las proposiciones Gedanken (pensamientos) y las concibió no como estados psicológicos privados, sino como contenidos objetivos y atemporales, portadores primarios del valor de verdad — identificando el Gedanke con el sentido (Sinn) de la oración declarativa (siendo la referencia/Bedeutung su valor de verdad). Bertrand Russell, en su fase realista (Principles of Mathematics, 1903), defendió proposiciones estructuradas, que contienen los propios objetos como componentes; su “On Denoting” (1905), lejos de refinar ese análisis, marcó un alejamiento del mismo — la teoría de las descripciones fue precisamente el instrumento de esa ruptura — y autores contemporáneos como Nathan Salmon y Scott Soames retomaron versiones neo-russellianas de la tesis estructurada. Una concepción rival, ligada a la semántica de mundos posibles (Stalnaker, Lewis), identifica la proposición con el conjunto de mundos posibles en que el enunciado es verdadero — un enfoque elegante, pero que vuelve idénticas todas las verdades necesarias. Las proposiciones son además indispensables para las actitudes proposicionales (creencia, deseo, esperanza), analizadas en la forma “S cree que p”, lo que vincula el debate con la filosofía de la mente y la teoría de la intencionalidad.
← Glosario