display all the ideas for this combination of texts
3 ideas
10121 | Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal] |
Full Idea: Contradiction is not a sign of falsity, nor the lack of contradiction a sign of truth. | |
From: Blaise Pascal (works [1660]), quoted by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6 | |
A reaction: [Quoted in Auden and Kronenberger's Book of Aphorisms] Presumably we would now say that contradiction is a purely formal, syntactic notion, and not a semantic one. If you hit a contradiction, something has certainly gone wrong. |
10925 | Failure of substitutivity shows that a personal name is not purely referential [Quine] |
Full Idea: Failure of substitutivity shows that the occurrence of a personal name is not purely referential. | |
From: Willard Quine (Reference and Modality [1953], §1) | |
A reaction: I don't think I understand the notion of a name being 'purely' referential, as if it somehow ceased to be a word, and was completely transparent to the named object. |
10926 | Quantifying into referentially opaque contexts often produces nonsense [Quine] |
Full Idea: If to a referentially opaque context of a variable we apply a quantifier, with the intention that it govern that variable from outside the referentially opaque context, then what we commonly end up with is unintended sense or nonsense. | |
From: Willard Quine (Reference and Modality [1953], §2) |