3 ideas
18902 | Correspondence theories can't tell you what truths correspond to [Davidson] |
Full Idea: The real objection to correspondence theories is that such theories fail to provide entities to which truth vehicles (as statements, sentence, or utterances) can be said to correspond. | |
From: Donald Davidson (The Structure and Content of Truth [1990], p.304), quoted by Fred Sommers - Intellectual Autobiography Notes 23 | |
A reaction: This is the remark which provoked Sommers to come out with Idea 18901, which strikes me as rather profound. |
15130 | If a property is possible, there is something which can have it [Williamson] |
Full Idea: Barcan's axiom says if there can be something that has a certain property, then there is something that can have that property. It and its converse are not obviously correct or incorrect. They claim that it is non-contingent what individuals there are. | |
From: Timothy Williamson (Laudatio: Prof Ruth Barcan Marcus [2011], p.1) | |
A reaction: Williamson defends the two Barcan formulas, but the more I understand them the less plausible they sound to me. |
10245 | One geometry cannot be more true than another [Poincaré] |
Full Idea: One geometry cannot be more true than another; it can only be more convenient. | |
From: Henri Poincaré (Science and Method [1908], p.65), quoted by Stewart Shapiro - Philosophy of Mathematics | |
A reaction: This is the culminating view after new geometries were developed by tinkering with Euclid's parallels postulate. |