stringtranslate.com

Salva la verdad

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".

Leibniz

La frase aparece en dos fragmentos de la Ciencia general de Gottfried Leibniz . Características :

Quine

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".

Véase también

Referencias

  1. ^ LTF Gama, lógica, lenguaje y significado , 1991
  2. ^ WVO Quine, Quintaesencia: referencia y modalidad , 2004, pág. 378
  3. ^ WVO Quine, Quintaesencia: referencia y modalidad , 2004, págs. 356-357
  4. ^ WVO Quine, Quintaesencia: referencia y modalidad , 2004, pág. 361

Bibliografía

Enlaces externos