Salva veritate: cos’è, verità illesa

La traduzione letterale del latino salva veritate” è “con (o mediante) la verità illesa”, usando l’ablativo di modo: ” salva ” che significa “salvataggio”, “salvezza” o “benessere” e ” veritate ” che significa “realtà” ” o “verità”. Quindi, Salva veritate (o intersostitutività ) è la condizione logica per cui due espressioni possono essere scambiate senza alterare il valore di verità delle affermazioni in cui le espressioni ricorrono.La sostituzione salva veritate di termini coestensioni può fallire in contesti opachi.

Indice dei contenuti

Leibniz

La frase ricorre in due frammenti di General Science di Gottfried Leibniz .Caratteristiche :

  • Nel capitolo 19, Definizione 1, Leibniz scrive: “Due termini sono uguali ( eadem ) se uno può essere sostituito all’altro senza alterare la verità di alcuna affermazione ( salva veritate )”.
  • Nel capitolo 20, Definizione 1, Leibniz scrive: “Termini che possono essere sostituiti l’un l’altro ovunque si voglia senza alterare la verità di alcuna affermazione ( salva veritate ), sono gli stessi ( eadem ) o coincidenti ( coincidentia ). Ad esempio, ‘ triangolo ‘ e ‘trilaterale’, poiché in ogni proposizione dimostrata da Euclide rispetto al ‘triangolo’, ‘trilaterale’ può essere sostituita senza perdita di verità salva veritate ).”

Quine

WVO Quine ritiene che la sostitutività salva veritate sia la stessa dell'”indiscernibilità degli identici”. Data un’affermazione vera, uno dei suoi due termini può essere sostituito all’altro in qualsiasi affermazione vera e il risultato sarà vero. Continua a dimostrare che, a seconda del contesto, l’affermazione può cambiare di valore. In effetti, l’ intera logica modale quantificata della necessità dipende dal contesto e vuota altrimenti; perché crolla se l’ essenza viene ritirata.

Ad esempio, le affermazioni:

(1) Giorgione = Barbarelli,
(2) Giorgione era così chiamato per la sua talpa

sono vero; tuttavia, la sostituzione del nome ‘Giorgione’ con il nome ‘Barbarelli’ trasforma (2) nella falsità:

Barbarelli era così chiamato per la sua mole.

L’esempio di Quine qui si riferisce al soprannome di Giorgio Barbarelli ” Giorgione “, un nome italiano approssimativamente glossato come “Big George”.


https://en.wikipedia.org/wiki/Salva_veritate

Lascia un commento

Il tuo indirizzo email non sarà pubblicato. I campi obbligatori sono contrassegnati *