真実を救う

哲学において、真理の救済（または相互置換性）とは、2つの表現が、その表現が含まれる文の真理値を変えることなく交換できる論理条件である。不透明な文脈では、共外延的な用語の置換真理の救済は失敗することがある。^[1]

ラテン語の「salva veritate 」を文字通り翻訳すると、「無傷の真実で（またはそれによって）」となり、様態の奪格が使われます。「salva」は「救助」、「救済」、または「福祉」を意味し、「veritate」は「現実」または「真実」を意味します。

ライプニッツ

このフレーズは、ゴットフリート・ライプニッツの『一般科学』の 2 つの断片に登場します。特徴:

第 19 章の定義 1 で、ライプニッツは次のように書いています。「2 つの用語が同じ ( eadem ) であるとは、いずれの文の真実性も変えずに( salva veritate )、一方を他方に置き換えることができる場合である。」
第 20 章の定義 1 で、ライプニッツは次のように書いています。「いかなる陳述の真実性( salva veritate ) も変えずに、好きな場所で互いに置き換えることができる用語は、同じ ( eadem ) または一致する ( coindentia ) 用語です。たとえば、「三角形」と「三辺形」は、ユークリッドが「三角形」に関して示したすべての命題において、真実性( salva veritate )を失うことなく「三辺形」を置き換えることができるからです。」

WVO クワインは、代用性救済を「同一物の識別不可能性」と同じものとみなしている。真の文が与えられた場合、その 2 つの項のうちの 1 つを他の 1 つに置き換えると、結果は真になる。^[2]彼は、文脈に応じて文の価値が変わる可能性があることを示し続けている。実際、必然性の量化された様相論理全体は文脈に依存しており、そうでなければ空である。なぜなら、本質が取り除かれると崩壊するからである。^[3]

たとえば、次の文があります。

は正しいが、「ジョルジョーネ」という名前を「バルバレッリ」という名前に置き換えると、（2）は誤りになる。

ここでクワインが挙げている例は、ジョルジョ・バルバレリの愛称「ジョルジョーネ」を指しており、これはイタリア語で大まかに「ビッグ・ジョージ」と訳される名前である。