En el uso ordinario, “verdad” y “hecho” son a menudo intercambiables. Por ejemplo, si le digo algo que ya sabe como “el tráfico se está volviendo insoportable en esta ciudad”, puede responder ya sea “esa es la verdad”, “eso es verdad” o “eso es un hecho”. Sin embargo, en filosofía, la verdad es un valor asignado a una proposición , mientras que un hecho es una proposición verdadera como “Sócrates es un hombre”. Eso significa que todas las proposiciones verdaderas son hechos, y todos los hechos son proposiciones verdaderas.
Pero la verdad también puede asignarse a predicados como “es un hombre”, temas como “Sócrates”, frases preposicionales como “con sombrero” y cualquier variable de base permitida en la lógica. Podemos llamar a estas estructuras a las que se les pueden asignar valores fórmulas bien formadas ( wff para abreviar) en el sistema. No todas las wff son “hechos”, ya que no todas las wff son proposiciones. En lógica proposicional, realmente no hay ninguna diferencia significativa porque todas las wff son proposiciones. Así que podríamos decir que si el wff es verdadero, también es un hecho. Sin embargo, hay algunas dudas sobre si las proposiciones analíticamente verdaderas (proposiciones que son verdaderas por sí mismas, como “Sócrates es Sócrates”) pueden ser hechos, o si un hecho debe ser una proposición sintéticamente verdadera (proposiciones que son verdaderas basadas en otra cosa). , observación generalmente verificable empíricamente tal como “está lloviendo hoy”).
La verdad tiene algunas propiedades lógicas formales especiales que dependen de la lógica en la que funciona, y difiere de otros valores que podrían asignarse, como falso. Por ejemplo, los valores verdaderos generalmente se conservan en inferencias, lo que significa que si el antecedente de la inferencia es verdadero, entonces su consecuente no puede ser verdadero. Los valores falsos no se conservan de esta manera, lo que significa que si el antecedente de una inferencia es falso, su consecuencia podría no ser falsa. Entonces, para cualquier número de valores, cada valor puede interpretarse como preservado o no preservado a través de una operación como la inferencia en ese sistema. Los sistemas multivalor que contienen al menos un valor preservado a veces se denominan lógicas de conservación . Tienen la ventaja de preservar la inferencia booleana sin comprometerse con la ley de la no contradicción, por lo que son útiles para aplicaciones paraconsistentes como el razonamiento inductivo donde la información incompleta puede llevar a conclusiones clásicamente contradictorias. Las teorías conservacionistas de la verdad afirman que la preservación es tanto necesaria como suficiente para asignar la verdad.
Exactamente cómo se asigna la verdad y qué estado ontológico se da, depende del sistema en el que funciona y de la interpretación de los valores del sistema. Típicamente, los valores se interpretan semánticamente. Entonces, si bien podemos asignar formalmente los valores 0 y 1 a una fórmula bien formada en lógica booleana, la interpretación semántica de 0 como falsa y 1 como verdadera se realiza fuera del sistema. Normalmente llamamos a esto el meta-lenguaje para el sistema, y a menudo es allí donde se hacen las metanoticiones sobre el sistema, por ejemplo, para lograr integridad y consistencia.
- ¿Se puede definir una paradoja como una afirmación (proposición) que no se puede afirmar ni negar sin problemas?
- ¿Nietzsche negó que somos sujetos distintos de nuestro entorno? ¿O solo que nuestra definición del ‘yo’ es engañosa y ficticia?
- ¿Cuál es la filosofía?
- ¿Es toda la filosofía autodidacta?
- ¿Los filósofos modernos (académicos o de otro tipo) realmente determinan algo de interés o mérito hoy en día, o ya se ha pensado en todo de “interés”?
Parte de la interpretación de la verdad depende de la propia teoría de la verdad. La teoría de la verdad está en el centro de la filosofía, ya que tiene aplicación en todos los campos. También es muy debatido y se han propuesto muchas teorías diferentes. Las teorías más populares incluyen:
- Teoría de la correspondencia. La teoría de la correspondencia usualmente dice que un wff es verdadero si corresponde de manera correcta con el mundo. A veces, de manera más general, se dice que una proposición se hace verdadera mediante hechos. En la práctica, se verifica una plantilla o se falsifica su negación mediante la observación directa o el razonamiento indirecto de las observaciones. En una teoría de la correspondencia de la verdad, la existencia y la verdad son casi, pero no del todo, idénticas. Al igual que dos fenómenos pueden tener una fuerte correlación, la verdad y los hechos se correlacionan. Esta fue la teoría favorecida por los primeros positivistas lógicos, pero se remonta al menos a Platón. El problema principal https://en.wikipedia.org/wiki/Co…
- Teoría de la coherencia. La teoría de la coherencia postula que la verdad es algo que depende de un dominio. Una proposición es verdadera, por ejemplo, solo dentro de un conjunto de proposiciones. Un teorema de alguna lógica axiomática es verdadero, por ejemplo, porque se puede derivar de las reglas de la lógica y sus axiomas. La verdad, entonces, es un valor compartido que hace que todas las oraciones que son verdaderas sean verdaderas. Se podría pensar que la teoría de la coherencia afirma que la verdad es una propiedad interna de un sistema, no algo externo al sistema como lo es la teoría de la correspondencia. Aquellos que favorecen la posible semántica mundial también suelen favorecer una teoría de coherencia de la verdad. https://en.wikipedia.org/wiki/Co…
- Teoría de la identidad. Similar a la teoría de la correspondencia, la teoría de la identidad afirma que la verdad y los hechos son lo mismo, sin una relación intermedia. La teoría de la identidad se usa más comúnmente en las teorías fisicistas contemporáneas en la filosofía de la mente, como las de Daniel Dennett, que afirman que la mente es idéntica al cerebro (no es causada, no está correlacionada, no está correlacionada, no es relevante, está relacionada con alguna relación intermedia).
http://plato.stanford.edu/entrie… - Teoría pragmática. Las teorías pragmáticas de la verdad afirman que la verdad depende de para qué intentamos usarla. ¿Cuál es su valor y función, o aplicación? La verdad no es algo en sí misma, y no existe en el mundo real aparte de los sistemas cognitivos y lingüísticos en los que los usamos. El valor de la verdad en un sistema depende de qué tan bien se aplique a lo que significa el sistema. que hacer. Usualmente la función propuesta es semántica similar a la teoría de la coherencia. Algo es cierto cuando se refiere con éxito, ya sea a una entidad ficticia o alguna observable. Los hechos son aquellos que exitosamente se refieren a los observables.
https://en.wikipedia.org/wiki/Pr…
Además de la teoría, el dominio también importa. Uno podría afirmar que la verdad se aplica a un solo dominio, por lo que la teoría de la verdad de uno se aplica a ese dominio. O uno podría distinguir entre dominios en los que se utiliza la noción de verdad y aplicar diferentes teorías a diferentes dominios. Se podría argumentar que la verdad es solo un valor semántico y, por lo tanto, solo depende del dominio semántico en el que el wff es verdadero. Pero uno podría usar la teoría pragmática para cubrir la referencia y la teoría de la coherencia para cubrir el referente.
También hay una relación desordenada con la existencia, y una que no ayuda a demarcar claramente la verdad de los hechos. En la lógica de predicados, la verdad a menudo se interpreta como existencia , lo que significa que un predicado es verdadero si y solo si puede ser predicado de al menos un sujeto. “Sócrates es un hombre” es cierto porque Sócrates existe y ser hombre puede ser correctamente atribuido a Sócrates. Sin embargo, se vuelve complicado si consideras la existencia como algo más que semántico. Normalmente, pensamos en la existencia como algo que es cierto acerca de algo, ya sea que algo se predice o no. La existencia de algo no significa nada en sí misma. Sin embargo, cuando predicamos algo de una entidad ficticia, como “Zeus es un hombre”, queremos decir de alguna manera que dicho predicado no es verdadero porque “Zeus no es un hombre” es cierto, no porque Zeus no exista. Así que este es un caso en el que o bien asignamos la verdad aparte de la existencia, entendemos la existencia como dependiente de un dominio semántico (en lugar de ser dependientes del mundo real), o distinguimos entre la verdad y el hecho de tal manera que la verdad es predicada por la existencia en una semántica. dominio mientras que los hechos son proposiciones sintéticas predicadas por la existencia en el mundo real , sin embargo, interpretamos eso.
Entonces, si bien la verdad es un valor atribuido a un wff en un dominio, los hechos son verdaderos wffs , o la referencia exitosa o referentes reales de los verdaderos wffs , hechos verdaderos por alguna relación con su existencia en el dominio específico del mundo real . Tanto la relación de la verdad con los hechos como la delineación exacta del mundo real o real siguen siendo problemáticas en la filosofía. Sin embargo, la distinción es importante, no solo para atribuir la verdad a lo ficticio, sino también para atribuirlo a la negación de los contrafactuales . Una hipótesis científica, por ejemplo, podría asumir un contrafactual para refutarlo, probando indirectamente su hipótesis.
Una cosa que espero haber demostrado es que la distinción real entre verdad y hechos es muy complicada y cuestionada. Así que la próxima vez que alguien te diga algo, de hecho , puedes preguntarles qué significan los hechos. La mayoría de las veces, es una técnica retórica tratar de convencerte de que lo que dijeron es obviamente verdadero y no necesita más investigación.
Referencias adicionales y lectura adicional:
http://plato.stanford.edu/entrie…
https://en.wikipedia.org/wiki/Truth
https://explorable.com/truth-and…
http://www.iep.utm.edu/plur-tru/