La traducción literal del latín " salva veritate " es "con (o por) verdad ilesa", usando ablativo de manera : " salva " que significa "rescate", "salvación" o "bienestar", y " veritate " que significa "realidad "o" verdad ". Así, Salva veritate (o intersubstitutividad ) es la condición lógica por la cual dos expresiones pueden intercambiarse sin alterar el valor de verdad de los enunciados en los que ocurren las expresiones. La sustitución salva veritate de términos coextensionales puede fallar en contextos opacos . [1]
Leibniz
La frase aparece en dos fragmentos de la ciencia general de Gottfried Leibniz . Caracteristicas :
- En el Capítulo 19, Definición 1, Leibniz escribe: "Dos términos son iguales ( eadem ) si uno puede ser sustituido por el otro sin alterar la verdad de ninguna declaración ( salva veritate )".
- En el Capítulo 20, Definición 1, Leibniz escribe: "Los términos que pueden sustituirse entre sí donde queramos sin alterar la verdad de ninguna declaración ( salva veritate ), son iguales ( eadem ) o coincidentes ( coincidentia ). Por ejemplo, ' triángulo 'y' trilateral ', porque en cada proposición demostrada por Euclides con respecto a' triángulo ',' trilateral 'puede ser sustituida sin pérdida de verdad ( salva veritate ) ".
Quine
WVO Quine considera que la sustituibilidad salva veritate es lo mismo que la "indiscernibilidad de los idénticos". Dado un enunciado verdadero, uno de sus dos términos puede sustituirse por el otro en cualquier enunciado verdadero y el resultado será verdadero. [2] Continúa mostrando que dependiendo del contexto, la declaración puede cambiar de valor. De hecho, toda la lógica modal cuantificada de la necesidad depende del contexto y, en caso contrario, está vacía; porque se derrumba si se retira la esencia . [3]
Por ejemplo, las declaraciones:
(1) | Giorgione = Barbarelli, |
(2) | Giorgione fue llamado así por su tamaño |
son verdaderas; sin embargo, la sustitución del nombre 'Giorgione' por el nombre 'Barbarelli' convierte (2) en la falsedad:
Barbarelli se llamaba así por su tamaño. [4] |
Ejemplo de Quine se refiere aquí a Giorgio Barbarelli 's sobrenombre de 'Giorgione', un nombre italiano o menos glosado como 'Big George'.
Ver también
Referencias
Bibliografía
- Clarence Irving Lewis , Un estudio de lógica simbólica , Apéndice, Dover.