Portador de la verdad

Entidades que se dice que son verdaderas o falsas

Un portador de verdad es una entidad que se dice que es verdadera o falsa y nada más. La tesis de que algunas cosas son verdaderas mientras que otras son falsas ha llevado a diferentes teorías sobre la naturaleza de estas entidades. Dado que hay divergencia de opiniones sobre el tema, el término portador de verdad se utiliza para ser neutral entre las diversas teorías . Los candidatos a portadores de verdad incluyen proposiciones , oraciones , ejemplos de oraciones , afirmaciones , creencias , pensamientos , intuiciones , enunciados y juicios, pero diferentes autores excluyen uno o más de estos, niegan su existencia, argumentan que son verdaderos solo en un sentido derivado, afirman o asumen que los términos son sinónimos, ^[1] o buscan evitar abordar su distinción o no la aclaran. ^[2]

Introducción

A continuación se presentan algunas distinciones y terminología tal como se utiliza en este artículo, basadas en Wolfram 1989 ^[3] (Capítulo 2 Sección 1). Debe entenderse que la terminología descrita no siempre se utiliza de las formas establecidas, y se introduce únicamente con fines de discusión en este artículo. Se hace uso de las distinciones tipo-muestra y uso-mención . La reflexión sobre las ocurrencias de los numerales podría ser útil. ^[4] En gramática, una oración puede ser una declaración, una explicación , una pregunta, una orden. En lógica, una oración declarativa se considera una oración que puede usarse para comunicar la verdad. Algunas oraciones que son gramaticalmente declarativas no lo son lógicamente.

Un carácter ^{[nb 1]} es un carácter tipográfico (impreso o escrito), etc.

Un token de palabra ^{[nb 2]} es un patrón de caracteres. Un tipo de palabra ^{[nb 3]} es un patrón idéntico de caracteres. Un token de palabra con significado ^{[nb 4]} es un patrón de caracteres con significado. Dos tokens de palabra que significan lo mismo tienen el mismo significado ^{[nb 5]}

Un token de oración ^{[nb 6]} es un patrón de tokens de palabras. Un token de oración con sentido ^{[nb 7]} es un token de oración con sentido o un patrón con sentido de tokens de palabras con sentido. Dos tokens de oración son del mismo tipo de oración si son patrones idénticos de caracteres de tokens de palabras ^{[nb 8]} Un token de oración declarativa es un token de oración que puede usarse para comunicar la verdad o transmitir información. ^{[nb 9]} Un token de oración declarativa con sentido es un token de oración declarativa con sentido ^{[nb 10]} Dos tokens de oración declarativa con sentido son del mismo tipo de oración declarativa con sentido ^{[nb 11]} si son patrones idénticos de tokens de palabras. Un token de oración declarativa sin sentido ^{[nb 12]} es un token de oración declarativa que no es un token de oración declarativa con sentido. Un uso de un token de oración declarativa con significado ^{[nb 13]} ocurre cuando y solo cuando un token de oración declarativa con significado se usa declarativamente.

Una expresión de referencia ^{[nb 14]} es una expresión que se puede usar para seleccionar o hacer referencia a una entidad en particular. Un éxito referencial ^{[nb 15]} es el éxito de una expresión de referencia en la identificación de una entidad en particular. Un fracaso referencial ^{[nb 16]} es el fracaso de una expresión de referencia en la identificación de una entidad en particular. Un uso de un token de oración declarativa con significado y referencialmente exitoso ^{[nb 17]} es un uso de un token de oración declarativa con significado que no contiene ninguna expresión de referencia que no pueda identificar una entidad en particular.

Oraciones en lenguajes naturales

Como señaló Aristóteles , puesto que algunas oraciones son preguntas, órdenes o carecen de sentido, no todas pueden ser portadoras de verdad. Si en la propuesta "Lo que hace que la oración La nieve es blanca sea verdadera es el hecho de que la nieve es blanca" se supone que oraciones como La nieve es blanca son portadoras de verdad, entonces se expresaría más claramente como "Lo que hace que la oración declarativa con sentido La nieve es blanca sea verdadera es el hecho de que la nieve es blanca".

Teoría 1a:

Todos y sólo los tipos de oraciones declarativas con significado ^{[nb 18]} son ​​portadores de verdad

Críticas a la teoría 1a

Algunos tipos de oraciones declarativas con significado serán a la vez verdaderas y falsas, contrariamente a nuestra definición de portador de verdad, por ejemplo, (i) en oraciones de paradoja del mentiroso como "Esta oración es falsa" (ver Fisher 2008 ^[5] ), (ii) y en oraciones que dependen del tiempo, lugar y persona como "Es mediodía", "Esto es Londres" y "Soy Espartaco".

Cualquiera puede atribuir verdad o falsedad a los signos proposicionales deterministas que aquí llamamos enunciados. Pero si adopta esta línea, debe reconocer, como Leibniz, que la verdad no puede ser un asunto exclusivo de enunciados reales, ya que tiene sentido hablar del descubrimiento de verdades no formuladas previamente. (Kneale, W&M (1962)) ^[6]

Revisión de la Teoría 1a , haciendo una distinción entre tipo y token.

Para escapar de la crítica dependiente del tiempo, el lugar y la persona, la teoría puede revisarse, haciendo uso de la distinción tipo-muestra , ^[7] de la siguiente manera

Teoría 1b:

Todos y sólo los tokens de oraciones declarativas con significado son portadores de verdad.

Quine sostuvo que los portadores primarios de la verdad son los enunciados ^{[nb 19]}

Habiendo reconocido ahora de manera general que lo que es verdadero son las oraciones, debemos pasar a ciertas precisiones. Lo que se ve mejor como verdadero o falso en primer lugar no son las oraciones sino los eventos de enunciados. Si un hombre pronuncia las palabras “está lloviendo” cuando llueve, o las palabras “tengo hambre” cuando tiene hambre, su actuación verbal cuenta como verdadera. Obviamente, una emisión de una oración puede ser verdadera y otra emisión de la misma oración puede ser falsa.

Fuente: Quine 1970, ^[8] página 13

Críticas a la teoría 1b

(i) La teoría 1b impide que las oraciones que son tipos de oraciones declarativas con significado sean portadoras de verdad. Si todos los tipos de oraciones declarativas con significado tipográficamente idénticos a "El todo es mayor que la parte" son verdaderos, entonces seguramente se sigue que el tipo de oración declarativa con significado "El todo es mayor que la parte" es verdadero (así como todos los ejemplos de oraciones declarativas con significado tipográficamente idénticos a "El todo es mayor que la parte" son ingleses implica que los tipos de oraciones declarativas con significado "El todo es mayor que la parte" es ingles) (ii) Algunos ejemplos de oraciones declarativas con significado serán verdaderos y falsos, o ninguno, contrariamente a nuestra definición de portador de verdad. Por ejemplo, un ejemplo, t, del tipo de oración declarativa con significado 'P: Soy Espartaco', escrito en un cartel. El token t sería verdadero cuando lo usara Espartaco, falso cuando lo usara Bertrand Russell, ni verdadero ni falso cuando lo mencionara Espartaco o cuando no lo usara ni lo mencionara.

Teoría 1b.1

Todos los usos de tokens de oraciones declarativas con significado son portadores de verdad; algunos tipos de oraciones declarativas con significado son portadores de verdad

Para permitir que al menos algunos tipos de oraciones declarativas con significado puedan ser portadoras de verdad, Quine permitió que las llamadas "oraciones eternas" ^{[nb 20]} fueran portadoras de verdad.

En la terminología de Peirce, los enunciados y las inscripciones son elementos de la oración u otra expresión lingüística en cuestión; y esta expresión lingüística es el tipo de esos enunciados e inscripciones. En la terminología de Frege, la verdad y la falsedad son los dos valores de verdad . Sucintamente, entonces, una oración eterna es una oración cuyos elementos tienen los mismos valores de verdad.... Lo que se considera mejor como verdadero y falso no son proposiciones sino elementos de oraciones, u oraciones si son eternas.

Quine 1970 ^[9] páginas 13–14

Teoría 1c

Todos y sólo los usos simbólicos de oraciones declarativas con significado son portadores de verdad.

Argumentos a favor de la teoría 1c

Al respetar la distinción entre uso y mención , la Teoría 1c evita la crítica (ii) de la Teoría 1b.

Críticas a la teoría 1c

(i) La teoría 1c no evita la crítica (i) de la teoría 1b. (ii) los usos de elementos de oraciones declarativas con significado son eventos (ubicados en posiciones particulares en el tiempo y el espacio) e implican un usuario. Esto implica que (a) nada (ningún portador de verdad) existe y, por lo tanto, nada (ningún portador de verdad) es verdadero (o falso) en ningún momento en ningún lugar (b) nada (ningún portador de verdad) existe y, por lo tanto, nada (ningún portador de verdad) es verdadero (o falso) en ausencia de un usuario. Esto implica que (a) nada era verdadero antes de la evolución de los usuarios capaces de usar elementos de oraciones declarativas con significado y (b) nada es verdadero (o falso) excepto cuando es usado (afirmado) por un usuario. Intuitivamente, la verdad (o falsedad) de 'El árbol continúa estando en el cuadrante' continúa en ausencia de un agente que la confirme.

Fallo referencial Un problema de cierta antigüedad es el estatus de oraciones como U: El rey de Francia es calvo V: El primo más alto no tiene factores W: Pegaso no existió Tales oraciones pretenden referirse a entidades que no existen (o no siempre existen). Se dice que sufren de fallo referencial. Estamos obligados a elegir (a) Que no son portadoras de verdad y en consecuencia no son ni verdaderas ni falsas o (b) Que son portadoras de verdad y per se son verdaderas o falsas.

Teoría 1d

Todos y sólo los usos de símbolos de oraciones declarativas significativas y referencialmente exitosas son portadores de verdad.

La teoría 1d toma la opción (a) anterior al declarar que los usos de tokens de oraciones declarativas con significado que fallan referencialmente no son portadores de verdad.

Teoría 1e

Todos los usos de tokens de oraciones declarativas significativas y referencialmente exitosos son portadores de verdad; algunos tipos de oraciones declarativas significativas son portadores de verdad

Argumentos a favor de la teoría 1e

La teoría 1e tiene las mismas ventajas que la teoría 1d. La teoría 1e permite la existencia de portadores de verdad (es decir, tipos de oraciones declarativas con significado) en ausencia de usuarios y entre usos. Si para cualquier x, donde x es un uso de un token referencialmente exitoso de un tipo de oración declarativa con significado yx es un portador de verdad, entonces y es un portador de verdad; de lo contrario, y no es un portador de verdad. Por ejemplo, si todos los usos de todos los tokens referencialmente exitosos del tipo de oración declarativa con significado 'El todo es mayor que la parte' son portadores de verdad (es decir, verdaderos o falsos), entonces el tipo de oración declarativa con significado 'El todo es mayor que la parte' es un portador de verdad. Si algunos, pero no todos los usos de algunos tokens referencialmente exitosos del tipo de oración declarativa con significado 'Soy Espartaco' son verdaderos, entonces el tipo de oración declarativa con significado 'Soy Espartaco' no es un portador de verdad.

Críticas a la teoría 1e

La teoría 1e hace uso implícito del concepto de un agente o usuario capaz de usar (es decir, afirmar) un elemento de oración declarativa significativa referencialmente exitoso. Aunque la teoría 1e no depende de la existencia real (ahora, en el pasado o en el futuro) de tales usuarios, sí depende de la posibilidad y coherencia de su existencia. En consecuencia, el concepto de portador de verdad según la teoría 1e depende de que se dé cuenta del concepto de "usuario". En la medida en que los elementos de oración declarativa significativa referencialmente exitosos son particulares (ubicables en el tiempo y el espacio), la definición de portador de verdad solo en términos de oración declarativa significativa referencialmente exitosa es atractiva para quienes son (o quisieran ser) nominalistas. La introducción de "uso" y "usuarios" amenaza con la introducción de intenciones, actitudes, mentes, etc. como un bagaje ontológico poco bienvenido.

Oraciones en lenguajes de lógica clásica

En la lógica clásica, una oración de un lenguaje es verdadera o falsa bajo (y solo bajo) una interpretación y, por lo tanto, es portadora de verdad. Por ejemplo, un lenguaje en el cálculo de predicados de primer orden podría incluir uno o más símbolos de predicado y una o más constantes individuales y una o más variables. La interpretación de un lenguaje de este tipo definiría un dominio (universo del discurso); asignaría un elemento del dominio a cada constante individual; asignaría la denotación en el dominio de alguna propiedad a cada símbolo de predicado unario (de un solo lugar). ^[10]

Por ejemplo, si un lenguaje L consistiera en la constante individual a , dos letras predicativas unarias F y G y la variable x , entonces una interpretación I de L podría definir el Dominio D como animales, asignar a Sócrates a a , la denotación de la propiedad de ser un hombre a F , y la denotación de la propiedad de ser mortal a G . Bajo la interpretación I de L, Fa sería verdadera si, y solo si Sócrates es un hombre, y la oración x(Fx Gx) sería verdadera si, y solo si todos los hombres (en el dominio) son mortales. En algunos textos se dice que una interpretación da "significado" a los símbolos del lenguaje. Dado que Fa tiene el valor verdadero bajo algunas interpretaciones (pero no todas), no es el tipo de oración Fa el que se dice que es verdadero sino solo algunos ejemplos oracionales de Fa bajo interpretaciones particulares. Un ejemplo de Fa sin una interpretación no es ni verdadero ni falso. Se dice que algunas oraciones de un lenguaje como L son verdaderas bajo todas las interpretaciones de la oración, por ejemplo x(Fx Fx), dichas oraciones se denominan verdades lógicas , pero nuevamente dichas oraciones no son verdaderas ni falsas en ausencia de una interpretación. ${\displaystyle \forall }$ ${\displaystyle \to }$ ${\displaystyle \forall }$ ${\displaystyle \lor }$ ${\displaystyle \neg }$

Proposiciones

Varios autores ^[11] utilizan el término proposición como portadores de verdad. No existe una única definición o uso. ^{[12] [13]} A veces se utiliza para referirse a una oración declarativa significativa en sí misma; a veces se utiliza para referirse al significado de una oración declarativa significativa. ^[14] Esto proporciona dos posibles definiciones para los fines de la discusión, como se muestra a continuación.

Teoría 2a :

Todas y sólo las oraciones declarativas con significado son proposiciones

Teoría 2b :

Un elemento oracional declarativo con significado expresa una proposición; dos elementos oracionales declarativos con significado que tienen el mismo significado expresan la misma proposición; dos elementos oracionales declarativos con significados diferentes expresan proposiciones diferentes.

(cf. Wolfram 1989, ^[15] pág. 21)

La proposición no siempre se utiliza de una u otra de estas maneras.

Críticas a la teoría 2a.

• Si todas y sólo las oraciones declarativas con significado son proposiciones, como lo propone la Teoría 2a, entonces los términos son sinónimos y podemos hablar igualmente de las oraciones declarativas con significado como portadoras de la verdad: no hay un concepto distinto de proposición a considerar, y el término proposición es literalmente redundante.

Críticas a la teoría 2b

• La teoría 2b implica que si todos los tokens oracionales declarativos significativos tipográficamente idénticos, por ejemplo, "soy Espartaco", tienen el mismo significado, entonces (i) expresan la misma proposición (ii) esa proposición es a la vez verdadera y falsa, ^[16] contrariamente a la definición de portador de verdad.
• El concepto de proposición en esta teoría se basa en el concepto de significado aplicado a oraciones declarativas con significado, en una palabra, sinonimia entre oraciones declarativas con significado. Quine 1970 sostiene que el concepto de sinonimia entre oraciones declarativas con significado no puede sostenerse ni aclararse, por lo que los conceptos de "proposiciones" y "significados de oraciones" son, en efecto, vacíos y superfluos ^{[17] [18] [19]}

Declaraciones

Muchos autores consideran que los enunciados son portadores de verdad, aunque, como ocurre con el término "proposición", existen divergencias en la definición y el uso de ese término. A veces se considera que los "enunciados" son oraciones declarativas con sentido; a veces se piensa que son lo que se afirma mediante una oración declarativa con sentido. No siempre está claro en qué sentido se utiliza la palabra. Esto proporciona dos posibles definiciones para los fines de la discusión que se presenta a continuación.

Strawson introdujo un concepto particular de enunciado en la década de 1950, ^{[20] [21] [22]}

Considere lo siguiente:

• I: El autor de Waverley ha muerto
• J: El autor de Ivanhoe ha muerto.
• K: Mido menos de seis pies de alto.
• L: Mido más de seis pies de alto.
• M: El director es soltero.
• N: El conductor está casado

Suponiendo que la misma persona escribió Waverley e Ivanhoe, los dos patrones distintos de caracteres (oraciones declarativas significativas) I y J hacen la misma afirmación pero expresan proposiciones diferentes.
Los pares de oraciones declarativas significativas (K, L) y (M, N) tienen significados diferentes, pero no son necesariamente contradictorios, ya que K y L pueden haber sido afirmadas por diferentes personas, y M y N pueden haber sido afirmadas sobre diferentes conductores.

Lo que estos ejemplos muestran es que no podemos identificar lo que es verdadero o falso (el enunciado) con la oración utilizada para formularlo; pues la misma oración puede utilizarse para formular diferentes enunciados, algunos de ellos verdaderos y otros falsos. (Strawson, PF (1952) ^[22] )

Esto sugiere:

• Dos oraciones declarativas con significado que dicen lo mismo acerca del mismo objeto(s) hacen la misma declaración.

Teoría 3a

Todas y sólo las afirmaciones son oraciones declarativas con significado.

Teoría 3b

Todas y sólo las oraciones declarativas con significado se pueden usar para hacer declaraciones.

La declaración no siempre se utiliza de una u otra de estas maneras.

Argumentos a favor de la teoría 3a

• "Todas y sólo las afirmaciones son oraciones declarativas con sentido" es una definición estipulativa o una definición descriptiva. Si es la primera, la estipulación es útil o no lo es; si es la segunda, la definición descriptiva describe correctamente el uso del inglés o no lo hace. En cualquiera de los casos, no son aplicables los argumentos como tales.

Críticas a la teoría 3a

• Si el término enunciado es sinónimo del término oración declarativa con sentido , entonces las críticas aplicables son las mismas que las que se describen en la oración siguiente.
• Si todas y sólo las oraciones declarativas con significado son enunciados, como propone la teoría 3a, entonces los términos son sinónimos y podemos hablar igualmente de las oraciones declarativas con significado como portadoras de la verdad: no hay un concepto distinto de enunciado a considerar, y el término enunciado es literalmente redundante.

Pensamientos

Frege (1919) argumentó que una oración indicativa en la que comunicamos o enunciamos algo, contiene tanto un pensamiento como una afirmación, expresa el pensamiento y el pensamiento es el sentido de la oración. ^[23]

Véase también

• William Kneale
• Realismo hacedor de verdad
  • Barry Smith

Notas

1. Carácter Un carácter es un carácter tipográfico (impreso o escrito), una unidad de discurso, un fonema, una serie de puntos y rayas (como sonidos, pulsos magnéticos, impresos o escritos), una bandera o un palo sostenido en un ángulo determinado, un gesto, un signo como el que se usa en el lenguaje de señas, un patrón o sangrías en relieve (como en braille), etc. en otras palabras, el tipo de cosas que comúnmente se describen como los elementos de un alfabeto.
2. Palabra-token Una palabra-token es un patrón de caracteres. El patrón de caracteres A Este tucán puede atrapar una lata contiene seis palabras-token. El patrón de caracteres D Él es un tonto contiene tres palabras-token.
   
   
3. Tipo de palabra Un tipo de palabra es un patrón idéntico de caracteres, .
   El patrón de caracteres A: Este tucán puede atrapar una lata. contiene cinco tipos de palabras (la palabra-muestra puede aparece dos veces)
4. Palabra-muestra-con-significado Una palabra-muestra-con-significado es una palabra-muestra-con-significado. grnd en D Él es grnd. no es significativo.
5. Significado de la palabra Dos elementos de palabra que significan lo mismo tienen el mismo significado de palabra. Solo aquellos elementos de palabra que son elementos de palabra con significado pueden tener el mismo significado que otro elemento de palabra. El patrón de caracteres A: Este tucán puede atrapar una lata. contiene seis significados de palabras. Aunque solo contiene cinco tipos de palabras, las dos apariciones del elemento de palabra pueden tener significados diferentes. Suponiendo que balde y cubo significan lo mismo, el patrón de caracteres B: Si tienes un balde, entonces tienes un cubo contiene diez elementos de palabra, siete tipos de palabras y seis significados de palabras.
   
   
6. Oración-token Una oración-token es un patrón de palabras-token. El patrón de caracteres D: He is grnd es una oración-token porque grnd es una palabra-token (aunque no una palabra-token significativa ).
   
7. Símbolo de oración con significado Un símbolo de oración con significado es un símbolo de oración con significado o un patrón con significado de símbolos de palabras con significado. El patrón de caracteres D: He is grnd no es un símbolo de oración porque grnd no es un símbolo de palabra con significado.
   
8. Tipo de oración Dos tokens de oración son del mismo tipo de oración si son patrones idénticos de caracteres de tokens de palabras, por ejemplo, los tokens de oración P: Soy Espartaco y Q: Soy Espartaco son del mismo tipo de oración.
9. Símbolo de oración declarativa Un símbolo de oración declarativa es un símbolo de oración que se puede utilizar para comunicar la verdad o transmitir información. El patrón de caracteres E: ¿Estás feliz? no es un símbolo de oración declarativa porque es interrogativo, no declarativo.
   
10. Fichas de oración declarativa con significado Una ficha de oración declarativa con significado es una ficha de oración declarativa con significado. El patrón de caracteres F: Cats blows the wind no es una ficha de oración declarativa con significado porque está mal formada gramaticalmente. El patrón de caracteres G: This stone is thinking about Vienna no es una ficha de oración declarativa con significado porque no se puede predicar el pensamiento de una piedra. El patrón de caracteres H: This circle is square no es una ficha de oración declarativa con significado porque es internamente inconsistente. El patrón de caracteres D: He is grnd no es una ficha de oración declarativa con significado porque contiene una ficha de palabra ( grnd ) que no es una ficha de palabra con significado.
    
    
    
    
11. Tipos de oraciones declarativas con significado Dos tokens de oraciones declarativas con significado son del mismo tipo de oración declarativa con significado si son patrones idénticos de caracteres de tokens de palabras, por ejemplo, los tokens de oraciones P: Soy Espartaco y Q: Soy Espartaco son del mismo tipo de oración declarativa con significado. En otras palabras, un tipo de oración es un tipo de oración declarativa con significado si todos sus tokens son tokens de oraciones declarativas con significado
12. Ficha-de-oración-declarativa-sin-sentido Una ficha-de-oración-declarativa-sin-sentido es una ficha-de-oración-declarativa que no es una ficha-de-oración-declarativa-con-significado. Los patrones de caracteres F: Los gatos soplan el viento , G: Esta piedra está pensando en Viena y H: Este círculo es cuadrado son fichas-de-oración-declarativa-sin-sentido porque son fichas-de-oración-declarativa pero no fichas-de-oración-declarativa-con-significado. El patrón de caracteres D: Él es grnd no es una ficha-de-oración-declarativa-sin-sentido porque no es una ficha-de-oración-declarativa porque contiene una ficha-de-palabra ( grnd ) que no es una ficha-de-palabra-con-significado.
    
13. Uso de token de oración declarativa con significado Un uso de token de oración declarativa con significado ocurre cuando y solo cuando un token de oración declarativa con significado se usa declarativamente, en lugar de, digamos, mencionarse. El patrón de caracteres T: Spartacus no comió todas sus espinacas en Londres el 11 de febrero de 2009 es un token de oración declarativa con significado pero, con toda probabilidad, nunca se ha usado declarativamente y, por lo tanto, no ha habido usos de token de oración declarativa con significado de T. Un token de oración declarativa con significado se puede usar de cero a muchas veces. Dos usos de token de oración declarativa con significado del mismo tipo de oración declarativa con significado son idénticos si y solo si son eventos idénticos en el tiempo y el espacio con usuarios idénticos.
    
14. Expresión de referencia Una expresión que se puede utilizar para seleccionar o hacer referencia a una entidad en particular, como descripciones definidas y nombres propios.
15. Éxito referencial el éxito de una expresión de referencia en la identificación de una entidad particular O el uso de un token de oración declarativa con significado que contiene una o más expresiones de referencia, todas las cuales logran identificar una entidad particular
16. Falla referencial: el fracaso de una expresión de referencia para identificar una entidad particular es referencialmente exitoso O un uso de token de oración declarativa significativa que contiene una o más expresiones de referencia que no logran identificar una entidad particular.
17. Uso de token de oración declarativa significativa referencialmente exitoso Un uso de token de oración declarativa significativa que no contiene ninguna expresión de referencia que no identifique una entidad en particular. Un uso de un token del tipo de oración declarativa significativa U: '' El rey de Francia es calvo'' es un uso de token de oración declarativa significativa referencialmente exitoso si (y solo si) la expresión de referencia incorporada 'El rey de Francia' es referencialmente exitosa. No hay uso de un token del tipo de oración declarativa significativa V: El primo más alto no tiene otros factores que él mismo y 1 no es un uso de token de oración declarativa significativa referencialmente exitoso ya que la expresión de referencia incorporada El primo más alto es siempre un fracaso referencial.
18. * Tipos de oraciones declarativas con significado Dos tokens de oraciones declarativas con significado son del mismo tipo de oración declarativa con significado si son patrones idénticos de caracteres de tokens de palabras, por ejemplo, los tokens de oraciones P y Q anteriores son del mismo tipo de oración declarativa con significado. En otras palabras, un tipo de oración es un tipo de oración declarativa con significado si sus tokens son tokens de oraciones declarativas con significado
19. Enunciado : El término enunciado se utiliza con frecuencia para referirse a una oración declarativa con significado. Véase, por ejemplo, Grice, Meaning , 1957 http://semantics.uchicago.edu/kennedy/classes/f09/semprag1/grice57.pdf
20. Oración eterna : una oración que permanece eternamente verdadera o eternamente falsa, independientemente de las circunstancias especiales en las que se pronuncie o escriba. Más exactamente, un tipo de oración declarativa con significado cuyos elementos tienen los mismos valores de verdad. Por ejemplo, El todo es mayor que la parte es una oración eterna, Está lloviendo no es una oración eterna, pero Llueve en Boston, Mass., el 15 de julio de 1968 es una oración eterna.

Referencias

1. por ejemplo
   • "En lógica simbólica , un enunciado (también llamado proposición) es una oración declarativa completa, que es verdadera o falsa." Viñeta 17 Lógica, verdad y lenguaje
   • "Una afirmación es justamente eso; es una declaración sobre algo, cualquier cosa, una declaración que puede evaluarse como verdadera o falsa. "Estoy leyendo esta oración" es una afirmación, y si de hecho la has visto y comprendido su significado, entonces es seguro decir que esa afirmación puede evaluarse como verdadera". Conceptos fundamentales de lógica: Afirmación Archivado el 22 de mayo de 2008 en Wayback Machine.
2. eg * "Algunos filósofos afirman que las oraciones declarativas del lenguaje natural tienen formas lógicas subyacentes y que estas formas se muestran mediante fórmulas de un lenguaje formal . Otros escritores sostienen que las oraciones declarativas (exitosas) expresan proposiciones; y las fórmulas de los lenguajes formales de alguna manera muestran las formas de estas proposiciones". Shapiro, Stewart (2008). "Classical Logic". En Edward N. Zalta (ed.). "Classical Logic" en The Stanford Encyclopedia of Philosophy (edición de otoño de 2008). Metaphysics Research Lab, Stanford University.
3. Wolfram, Sybil (1989). Lógica filosófica . Routledge, Londres y Nueva York. ISBN. 0-415-02317-3.
4. Apariciones de numerales
5. Fisher (2008). Filosofía de la lógica . Cengage Learning. ISBN 978-0-495-00888-0.
6. Kneale, W&M (1962). El desarrollo de la lógica . Oxford. ISBN 0-19-824183-6.página 593
7. Véase Wolfram, Sybil (1989) en general sobre la aplicación de la distinción entre tipo y elemento.
8. Quine, WV (1970). Filosofía de la lógica . Prentice Hall. ISBN 0-13-663625-X.
9. QUINE, WV (1970). Filosofía de la lógica . Prentice Hall. ISBN 0-13-663625-X.
10. Véase también Lógica de primer orden#Semántica
11. por ejemplo, Russell, Wittgenstein y Stanford Encyclopedia of Philosophy URL = http://plato.stanford.edu/entries/facts/#FacPro: "Por 'proposición', nos referiremos a portador de verdad, y permaneceremos neutrales en cuanto a si los portadores de verdad son oraciones, declaraciones, creencias u objetos abstractos expresados ​​por oraciones, por ejemplo, excepto en la sección 2.4.1".
12. McGrath, Matthew, "Proposiciones", The Stanford (edición de otoño de 2008), Edward N. Zalta (ed.), URL = <http://plato.stanford.edu/archives/fall2008/entries/propositions/>."El término 'proposición' tiene un amplio uso en la filosofía contemporánea. Se utiliza para referirse a algunos o todos los siguientes: los portadores primarios del valor de verdad, los objetos de creencia y otras "actitudes proposicionales" (es decir, lo que se cree, lo que se duda, etc.), los referentes de las cláusulas "that" y los significados de las oraciones."
13. Mark, Richard (2006). "Proposiciones". En un uso del término, las "proposiciones" son objetos de aserción, lo que dicen los usos exitosos de oraciones declarativas. Como tales, determinan valores de verdad y condiciones de verdad. En un segundo uso, son los objetos de ciertos estados psicológicos (como creencia y asombro) adscritos con verbos que toman complementos oracionales (como creer y asombrarse). En un tercer uso, son lo que se nombra (o podría nombrarse) por los complementos de tales verbos. Muchos asumen que las proposiciones en un sentido son proposiciones en los otros.
14. "La tolerancia de los filósofos hacia las proposiciones ha sido alentada en parte por la ambigüedad del término 'proposición'. El término a menudo se usa simplemente para las oraciones mismas, oraciones declarativas; y luego algunos escritores que usan el término para los significados de las oraciones son descuidados con la distinción entre oraciones y sus significados" Quine 1970, p. 2
15. Wolfram, Sybil (1989). Lógica filosófica . Routledge.
16. es decir, cuando se expresa mediante una oración declarativa significativa hecha por Espartaco, y cuando se expresa por alguien que no es Espartaco
17. "Los filósofos que están a favor de las proposiciones han dicho que las proposiciones son necesarias porque sólo la verdad de las proposiciones, no de las oraciones [léase oraciones declarativas con significado, Ed.], es inteligible. Una respuesta poco comprensiva es que podemos explicar la verdad de las oraciones como proposicionales en sus propios términos: las oraciones son verdaderas cuyos significados son proposiciones verdaderas. Cualquier falla de inteligibilidad aquí ya es su propia culpa". Quine 1970 página 10
18. Véase también Willard Van Orman Quine , Proposición , La antinomia de Russell-Myhill , también conocida como Principios de las matemáticas Apéndice B Paradoja [1]
19. Véase también Internet Encyclopedia of Philosophy: "Las proposiciones son entidades abstractas; no existen en el espacio ni en el tiempo. A veces se dice que son entidades "atemporales", "eternas" u "omnitemporales". Terminología aparte, el punto esencial es que las proposiciones no son objetos concretos (o materiales). Ni tampoco son entidades mentales; no son "pensamientos" como Frege había sugerido en el siglo XIX. La teoría de que las proposiciones son portadoras de valores de verdad también ha sido criticada. Los nominalistas objetan el carácter abstracto de las proposiciones. Otra queja es que no está suficientemente claro cuándo tenemos un caso de las mismas proposiciones en oposición a proposiciones similares. Esto es muy parecido a la queja de que no podemos determinar cuándo dos oraciones tienen exactamente el mismo significado. La relación entre oraciones y proposiciones es un problema filosófico serio".
20. Strawson, PF (1950). "Sobre la referencia". Mente . 9 .Reimpreso en Strawson 1971 y en otros lugares
21. Strawson, PF (1957). "Proposiciones, conceptos y verdades lógicas". The Philosophical Quarterly . 7 (26): 15–25. doi :10.2307/2216343. JSTOR  2216343.Reimpreso en Strawson, PF (1971). Documentos lógico-lingüísticos . Methuen. ISBN 0-416-09010-9.
22. Strawson, PF (1952). Introducción a la teoría lógica . Methuen: Londres. pág. 4. ISBN 0-416-68220-0.
23. Frege G. (1919). Die Gedanke , trad. AM y Marcelle Quinton en Frege, G (1956). "El pensamiento: una investigación lógica". Mind . 65 : 289–311. doi :10.1093/mind/65.1.289.reimpreso en Strawson 1967.

Enlaces externos

• Enciclopedia de filosofía de Stanford :
  • Verdad; 2.1 Las oraciones como portadoras de verdad ; Glanzberg, Michael
  • La teoría de la correspondencia de la verdad; 2. Portadores de la verdad y hacedores de la verdad ; David, Marian