Salva veritate -Salva veritate

La traduction littérale du latin " salva veritate " est " avec (ou par) la vérité indemne", utilisant l' ablatif de manière : " salva " signifiant " sauvetage ", " salut " ou " bien-être " et " veritate " signifiant " réalité " " ou "vérité". Ainsi, Salva veritate (ou intersubstitutivité ) est la condition logique par laquelle deux expressions peuvent être échangées sans altérer la valeur de vérité des déclarations dans lesquelles les expressions se produisent. La substitution salva veritate de termes co-extensionnels peut échouer dans des contextes opaques .

Leibniz

L'expression se produit en deux fragments de Gottfried Leibniz de sciences générales. Caractéristiques :

  • Au chapitre 19, Définition 1, Leibniz écrit : « Deux termes sont identiques ( eadem ) si l'un peut être substitué à l'autre sans altérer la vérité d'aucune affirmation ( salva veritate ) ».
  • Au chapitre 20, Définition 1, Leibniz écrit : « Les termes qui peuvent être substitués les uns aux autres où bon nous semble sans altérer la vérité d'aucune affirmation ( salva veritate ), sont les mêmes ( eadem ) ou coïncident ( coïncidentia ). Par exemple, ' triangle ' et 'trilatéral', car dans chaque proposition démontrée par Euclide concernant 'triangle', 'trilatéral' peut être substitué sans perte de vérité ( salva veritate )."

Quiné

WVO Quine considère que la substitution salva veritate est la même que "l'indiscernabilité des identiques". Étant donné une déclaration vraie, l'un de ses deux termes peut être substitué à l'autre dans toute déclaration vraie et le résultat sera vrai. Il continue de montrer que selon le contexte, la déclaration peut changer de valeur. En fait, toute la logique modale quantifiée de la nécessité est dépendante du contexte et vide autrement ; car il s'effondre si l' essence est retirée.

Par exemple, les déclarations :

(1) Giorgione = Barbarelli,
(2) Giorgione était ainsi appelé à cause de sa taille

sont vrai; cependant, le remplacement du nom 'Giorgione' par le nom 'Barbarelli' tourne (2) dans le mensonge :

  Barbarelli était ainsi appelé à cause de sa taille.

L'exemple de Quine se réfère ici à Giorgio Barbarelli de sobriquet « Giorgione », un nom italien à peu près passé sous silence comme « Big George ».

Voir également

Les références

Bibliographie

Liens externes