Quine
W.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. 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.
For example, the statements:
| (1) | Giorgione = Barbarelli, |
| (2) | Giorgione was so-called because of his size |
are true; however, replacement of the name 'Giorgione' by the name 'Barbarelli' turns (2) into the falsehood:
| Barbarelli was so-called because of his size. |
Quine's example here refers to Giorgio Barbarelli's sobriquet "Giorgione", an Italian name roughly glossed as "Big George."
Read more about this topic: Salva Veritate
Famous quotes containing the word quine:
“English general and singular terms, identity, quantification, and the whole bag of ontological tricks may be correlated with elements of the native language in any of various mutually incompatible ways, each compatible with all possible linguistic data, and none preferable to another save as favored by a rationalization of the native language that is simple and natural to us.”
—Willard Van Orman Quine (b. 1908)
“Meaning is what essence becomes when it is divorced from the object of reference and wedded to the word.”
—Willard Van Orman Quine (b. 1908)
“For my part I do, qua lay physicist, believe in physical objects and not in Homer’s gods; and I consider it a scientific error to believe otherwise.”
—Willard Van Orman Quine (b. 1908)