词条 | Salva veritate | ||||||
释义 |
The literal translation of the Latin "salva veritate" is "with (or by) unharmed truth", using ablative of manner: "salva" meaning "rescue," "salvation," or "welfare," and "veritate" meaning "reality" or "truth". Thus, Salva veritate (or intersubstitutivity) is the logical condition by which two expressions may be interchanged without altering the truth-value of statements in which the expressions occur. Substitution salva veritate of co-extensional terms can fail in opaque contexts.[1] LeibnizThe phrase occurs in two fragments from Gottfried Leibniz's General Science. Characteristics:
QuineW.V.O. Quine takes substitutivity salva veritate to be the same as the "indiscernibility of identicals". Given a true statement, one of its two terms may be substituted for the other in any true statement and the result will be true.[2] He continues to show that depending on context, the statement may change in value, In fact, the whole quantified modal logic of necessity is dependent on context and empty otherwise; for it collapses if essence is withdrawn.[3]For example, the statements:
are true; however, replacement of the name 'Giorgione' by the name 'Barbarelli' turns (2) into the falsehood:
Quine's example here refers to Giorgio Barbarelli's sobriquet "Giorgione", an Italian name roughly glossed as "Big George." See also
References1. ^L.T.F. Gamut, Logic, Language and Meaning, 1991 2. ^W.V.O. Quine, Quintessence: Reference and Modality, 2004, p. 378 3. ^W.V.O. Quine, Quintessence: Reference and Modality, 2004, pp. 356–357 4. ^W.V.O. Quine, Quintessence: Reference and Modality, 2004, p. 361 Bibliography
External links
3 : Gottfried Leibniz|Latin logical phrases|Concepts in logic |
||||||
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。