En filosofía , la 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 aparecen las expresiones. La sustitución salva veritate de términos coextensionales puede fallar en contextos opacos . [1]
La traducción literal del latín " salva veritate " es "con (o por) la verdad intacta", usando el ablativo de modo : " salva ", que significa "rescate", "salvación" o "bienestar", y " veritate ", que significa "realidad" o "verdad".
La frase aparece en dos fragmentos de la Ciencia general de Gottfried Leibniz . Características :
Quine considera que la sustitutividad 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 demostrando que, dependiendo del contexto, el enunciado 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, ya que se derrumba si se le retira la esencia . [3]
Por ejemplo, las afirmaciones:
son verdaderas; sin embargo, la sustitución del nombre 'Giorgione' por el nombre 'Barbarelli' convierte (2) en la falsedad:
El ejemplo de Quine aquí se refiere al apodo de Giorgio Barbarelli , "Giorgione", un nombre italiano traducido aproximadamente como "Big George".