Afirmación (lógica)

En lógica y semántica , el término enunciado se entiende de diversas maneras:

1. una oración declarativa significativa que es verdadera o falsa , o
2. una proposición . Que es la afirmación que se hace mediante (es decir, el significado de) una oración declarativa verdadera o falsa.

En el último caso, un enunciado se distingue de una oración en que una oración es sólo una formulación de un enunciado, mientras que puede haber muchas otras formulaciones que expresen el mismo enunciado.

Por enunciado se entiende "lo que se afirma", no el hecho de que uno lo diga. Hay muchas interpretaciones de lo que significa el término enunciado, pero en general indica: una oración declarativa con sentido que es verdadera o falsa ( bivalencia ), o: una proposición. Una proposición es una afirmación que se hace mediante (es decir, el significado de) una oración declarativa verdadera o falsa. Una proposición es lo que significa un enunciado, es la noción o idea que expresa un enunciado, es decir, lo que representa. Podría decirse que "2 + 2 = 4" y "dos más dos son cuatro" son dos enunciados diferentes que expresan la misma proposición de dos maneras diferentes. ^[1]

El filósofo del lenguaje Peter Strawson (1919-2006) defendió el uso del término "enunciado" en el sentido (b) en lugar de proposición . Strawson utilizó el término "enunciado" para señalar que dos oraciones declarativas pueden hacer el mismo enunciado si dicen lo mismo de diferentes maneras. Así, en el uso defendido por Strawson, "Todos los hombres son mortales" y "Todo hombre es mortal" son dos oraciones diferentes que hacen el mismo enunciado.

En cualquier caso, una declaración se considera portadora de verdad .

Ejemplos de oraciones que son (o hacen) afirmaciones verdaderas:

• "Sócrates es un hombre."
• "Un triángulo tiene tres lados."
• "Madrid es la capital de España."

Ejemplos de oraciones que también son afirmaciones, aunque no sean verdaderas:

• "Todas las tostadoras están hechas de oro macizo."
• "Dos más dos es igual a cinco."

Ejemplos de oraciones que no son (o no hacen) afirmaciones:

1. "¿Quién eres?"
2. "¡Correr!"
3. "El verdor deambula."
4. "Yo comí un bocadillo, pero la berenjena de allí."
5. " El rey Carlos III es sabio".
6. "El brócoli tiene buen sabor".
7. "Pegaso existe."

Los dos primeros ejemplos no son oraciones declarativas y, por lo tanto, no son (o no constituyen) enunciados. El tercero y el cuarto son oraciones declarativas pero, al carecer de significado, no son ni verdaderas ni falsas y, por lo tanto, no son (o no constituyen) enunciados. El quinto y el sexto ejemplos son oraciones declarativas significativas, pero no son enunciados sino más bien cuestiones de opinión o gusto. Si la oración "Pegaso existe" es o no un enunciado es un tema de debate entre los filósofos. Bertrand Russell sostuvo que es un enunciado (falso). ^{[ cita requerida ]} Strawson sostuvo que no es un enunciado en absoluto. ^{[ cita requerida ]}

En algunos tratamientos, se introduce la palabra "enunciado" para distinguir una oración de su contenido informativo. Un enunciado se considera el contenido informativo de una oración portadora de información. Por lo tanto, una oración se relaciona con el enunciado que contiene como un numeral con el número al que se refiere. Los enunciados son entidades lógicas abstractas , mientras que las oraciones son entidades gramaticales . ^{[2] [3]}

• Creencia
• Reclamación (lógica)
• Concepto
• Oración (lógica matemática)
• Portador de la verdad - declaraciones

• AG Hamilton, Lógica para matemáticos , Cambridge University Press, 1980, ISBN 0-521-29291-3 . 
• Rouse, David L., "Oraciones, declaraciones y argumentos" (PDF) , Una introducción práctica a la lógica formal.
• Ruzsa, Imre (2000), Bevezetés a modern logikába , Osiris tankönyvek, Budapest: Osiris, ISBN 963-379-978-3
• Xenakis, Jason (1956). "Sentencia y enunciado: el profesor Quine sobre el señor Strawson". Análisis . 16 (4): 91–4. doi :10.2307/3326478. ISSN  1467-8284. JSTOR  3326478.
• Peter Millican , "Declaraciones y modalidad: Strawson, Quine y Wolfram"
• PF Strawson , "On Referring" en Mind , vol. 59, n.° 235 (julio de 1950)