stringtranslate.com

Afirmación (lógica)

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

  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]

Descripción general

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:

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

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 ]

Como entidad abstracta

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]

Véase también

Notas

  1. ^ Kashef, Arman. (2023), En busca de la lógica universal: una breve descripción general de la evolución de la lógica formal, doi :10.13140/RG.2.2.24043.82724/1
  2. ^ Despertar
  3. ^ Ruzsa 2000, pág. 16

Referencias