7 ideas
15545 | Armstrong's analysis seeks truthmakers rather than definitions [Lewis] |
Full Idea: I suggest that Armstrong has an unfamiliar notion of analysis, as not primarily a quest for definitions, but as a quest for truth-makers. | |
From: David Lewis (Armstrong on combinatorial possibility [1992], 'The demand') | |
A reaction: This is not a dichotomy, I think, but a shift of emphasis. A definition will probably refer to truthmakers; a decent account of truthmakers would approximate a definition. |
15546 | Predications aren't true because of what exists, but of how it exists [Lewis] |
Full Idea: Predications seem, for the most part, to be true not because of whether things are, but because of how things are. | |
From: David Lewis (Armstrong on combinatorial possibility [1992], 'The demand') | |
A reaction: This simple point shows that you get into a tangle if you insist that truthmakers just consist of what exists. Lewis says Armstrong offers states of affairs as truthmakers for predications. |
15548 | Say 'truth is supervenient on being', but construe 'being' broadly [Lewis] |
Full Idea: I want to say that 'truth is supervenient on being', but as an Ostrich about universals I want to construe 'being' broadly. | |
From: David Lewis (Armstrong on combinatorial possibility [1992], 'Truth') | |
A reaction: [His slogan is borrowed from Bigelow 1988:132-,158-9] This seems much more promising that the more precise and restricted notion of truthmakers, as resting on the existence of particular things. Presentism is the big test case. |
14399 | Presentism says only the present exists, so there is nothing for tensed truths to supervene on [Lewis] |
Full Idea: Presentism says that although there is nothing outside the present, yet there are past-tensed and future-tensed truths that do not supervene on the present, and hence do not supervene on being. | |
From: David Lewis (Armstrong on combinatorial possibility [1992], p.207) | |
A reaction: Since I rather like both presentism and truth supervening on being, this observation comes as rather a devastating blow. I thought philosophy would be quite easy, but it's turning out to be rather tricky. Could tensed truths supervene on the present? |
17447 | Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck] |
Full Idea: In Parsons's demonstrative model of counting, '1' means the first, and counting says 'the first, the second, the third', where one is supposed to 'tag' each object exactly once, and report how many by converting the last ordinal into a cardinal. | |
From: report of Charles Parsons (Frege's Theory of Numbers [1965]) by Richard G. Heck - Cardinality, Counting and Equinumerosity 3 | |
A reaction: This sounds good. Counting seems to rely on that fact that numbers can be both ordinals and cardinals. You don't 'convert' at the end, though, because all the way you mean 'this cardinality in this order'. |
15543 | How do things combine to make states of affairs? Constituents can repeat, and fail to combine [Lewis] |
Full Idea: To me it is mysterious how a state of affairs is made out of its particular and universal constituents. Different states of affairs may have the very same constituents, and the existence of constituents by no means entails the existence of the states. | |
From: David Lewis (Armstrong on combinatorial possibility [1992], 'What is there') | |
A reaction: He is rejecting the structure of states of affairs as wholes made of parts. But then mereology was never going to explain the structure of the world. |
17613 | We should judge principles by the science, not science by some fixed principles [Zermelo] |
Full Idea: Principles must be judged from the point of view of science, and not science from the point of view of principles fixed once and for all. Geometry existed before Euclid's 'Elements', just as arithmetic and set theory did before Peano's 'Formulaire'. | |
From: Ernst Zermelo (New Proof of Possibility of Well-Ordering [1908], §2a) | |
A reaction: This shows why the axiomatisation of set theory is an ongoing and much-debated activity. |