La teoría de Truthmaker es “la rama de la metafísica que explora las relaciones entre lo que es verdadero y lo que existe”. [1]
Un hacedor de verdad para un portador de la verdad es esa entidad en virtud de la cual el portador de la verdad es verdadero. Los filósofos han especulado sobre la cuestión de si todo portador de la verdad requiere un hacedor de verdad. La afirmación clásica de Parménides de que lo que no existe no puede ser pensado ha sido leído como un reclamo de que todo portador de la verdad debe tener un hacedor de verdad, ya que de otro modo el portador de la verdad no se trata de nada. Un falso creador de una proposición es esa realidad existente en virtud de la cual esa proposición es falsa, asumiendo que es falsa.
Descripción general
En “Truth-Makers” (1984), Mulligan, Simons y Smith introdujeron la idea de hacer la verdad como una contribución a la teoría de la correspondencia de la verdad. Lógicamente, oraciones empíricas atómicas como “Juan besó a María” tienen verdades, típicamente eventos o tropos que corresponden a los verbos principales de las oraciones en cuestión. Mulligan et al. explora las extensiones de esta idea con oraciones de otro tipo, pero no adoptan ninguna posición de maximalismo creador de verdad, según el cual todo portador de la verdad tiene un hacedor de verdad.
Esta posición maximalista conduce a dificultades filosóficas, como la cuestión de qué podría ser el hacedor de verdad para un portador de la verdad ético , modal o matemático . Por supuesto, alguien que está lo suficientemente comprometido con los hacedores de verdad y que simultáneamente duda de que un hacedor de verdad pueda ser encontrado para cierto tipo de portador de la verdad simplemente negará que ese portador de la verdad sea verdadero. Aquellos que encuentran que la visión parmenídea es lo suficientemente convincente a menudo consideran que es una búsqueda metafísica particularmente esclarecedora para buscar hacedores de verdad de este tipo de proposiciones.
Otra dificultad para afirmar que todo portador de la verdad tiene un hacedor de verdad es con negaciones de proposiciones existenciales (o, de manera equivalente, proposiciones universales ). ¿Qué entidad hace que sea cierto que los unicornios no existen? Las propuestas incluyen la totalidad de todas las cosas, o alguna situación mundana como x1 no es un unicornio, x2 no es un unicornio, …, y todo es x1, o x2, o … (esta última sugerencia es debida a Richard M. Gale).
David Lewis ha propuesto una versión más moderada de la teoría de los hacedores de verdad en la cual solo se requieren creadores de verdad para proposiciones positivas (por ejemplo, debe haber un creador de verdad para la proposición de que hay caballos, pero no para la proposición igualmente verdadera de que no hay unicornios) . Lo que hace que una proposición negativa p verdadera es la falta de un falsemaker para ello, es decir, la falta de un hacedor de verdad para la negación de p . Así, lo que hace que sea cierto que no hay unicornios es la falta de un hacedor de verdad para la proposición de que no sonunicornios, es decir, la falta de unicornios. A lo que Protágoras se refería cuando dijo que hablar de verdad es decir de qué se trata y de qué no es lo que no es.
Los teóricos de los hacedores de verdad difieren en cuanto a qué entidades son los hacedores de verdad de los diversos portadores de la verdad. Algunos dicen que el hacedor de verdad de la proposición de que Sócrates está sentado (suponiendo que es!) Es de Sócrates está sentado (lo que sea exactamente lo que podría llegar a estar en la ontología correcta) y, en general, el hacedor de verdad de la truthbearer expresada por una sentencia s se puede denotar por la nominalización participial de s . Otros dirán que el hacedor de verdad de la proposición de que Sócrates está sentado es solo el propio Sócrates . En cualquier caso, se supone que el hacedor de verdad es algo concreto, Y en la primera vista es que cuya existencia se ha informado la truthbearer y en el segundo punto de vista es que el que la truthbearer es sobre .
Si bien la existencia de los hacedores de verdad puede parecer una pregunta abstrusa, las instancias concretas están en el corazón de una serie de cuestiones filosóficas. Por lo tanto, JL Mackie ha argumentado que los hacedores de verdad de las afirmaciones morales serían “entidades queer”, demasiado extrañas para existir, y por lo tanto, todas las afirmaciones morales son falsas. Alternativamente, un metaeticista de comando divino puede insistir en que el único candidato posible para un hacedor de verdad de un reclamo moral es un mandato de un Dios perfecto, y por lo tanto, si las afirmaciones morales son verdaderas y la teoría de un hacedor de verdad existe, entonces Dios existe. Por lo tanto, el desacuerdo entre varias escuelas metaéticas es, en parte, un desacuerdo sobre qué tipo de hacedores de verdad tendrían los reclamos morales si estas afirmaciones fueran verdaderas y sobre si existen tales hacedores de verdad.
Ver también
- Argumento de tirachinas
Referencias
- Salta hacia arriba^ hacedor de verdad Teoría – Internet Encyclopedia of Philosophy