15 ideas
| 9967 | 'Impure' sets have a concrete member, while 'pure' (abstract) sets do not [Jubien] |
| Full Idea: Any set with a concrete member is 'impure'. 'Pure' sets are those that are not impure, and are paradigm cases of abstract entities, such as the sort of sets apparently dealt with in Zermelo-Fraenkel (ZF) set theory. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.116) | |
| A reaction: [I am unclear whether Jubien is introducing this distinction] This seems crucial in accounts of mathematics. On the one had arithmetic can be built from Millian pebbles, giving impure sets, while logicists build it from pure sets. |
| 11970 | Logicians like their entities to exhibit a maximum degree of purity [Kaplan] |
| Full Idea: Logicians like their entities to exhibit a maximum degree of purity. | |
| From: David Kaplan (Transworld Heir Lines [1967], p.97) | |
| A reaction: An important observation, which explains why the modern obsession with logic has often led us down the metaphysical primrose path to ontological hell. |
| 9968 | A model is 'fundamental' if it contains only concrete entities [Jubien] |
| Full Idea: A first-order model can be viewed as a kind of ordered set, and if the domain of the model contains only concrete entities then it is a 'fundamental' model. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.117) | |
| A reaction: An important idea. Fundamental models are where the world of logic connects with the physical world. Any account of relationship between fundamental models and more abstract ones tells us how thought links to world. |
| 9965 | There couldn't just be one number, such as 17 [Jubien] |
| Full Idea: It makes no sense to suppose there might be just one natural number, say seventeen. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.113) | |
| A reaction: Hm. Not convinced. If numbers are essentially patterns, we might only have the number 'twelve', because we had built our religion around anything which exhibited that form (in any of its various arrangements). Nice point, though. |
| 9966 | The subject-matter of (pure) mathematics is abstract structure [Jubien] |
| Full Idea: The subject-matter of (pure) mathematics is abstract structure per se. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.115) | |
| A reaction: This is the Structuralist idea beginning to take shape after Benacerraf's launching of it. Note that Jubien gets there by his rejection of platonism, whereas some structuralist have given a platonist interpretation of structure. |
| 9963 | If we all intuited mathematical objects, platonism would be agreed [Jubien] |
| Full Idea: If the intuition of mathematical objects were general, there would be no real debate over platonism. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.111) | |
| A reaction: It is particularly perplexing when Gödel says that his perception of them is just like sight or smell, since I have no such perception. How do you individuate very large numbers, or irrational numbers, apart from writing down numerals? |
| 9962 | How can pure abstract entities give models to serve as interpretations? [Jubien] |
| Full Idea: I am unable to see how the mere existence of pure abstract entities enables us to concoct appropriate models to serve as interpretations. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.111) | |
| A reaction: Nice question. It is always assumed that once we have platonic realm, that everything else follows. Even if we are able to grasp the objects, despite their causal inertness, we still have to discern innumerable relations between them. |
| 9964 | Since mathematical objects are essentially relational, they can't be picked out on their own [Jubien] |
| Full Idea: The essential properties of mathematical entities seem to be relational, ...so we make no progress unless we can pick out some mathematical entities wihout presupposing other entities already picked out. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.112) | |
| A reaction: [compressed] Jubien is a good critic of platonism. He has identified the problem with Frege's metaphor of a 'borehole', where we discover delightful new properties of numbers simply by reaching them. |
| 9969 | The empty set is the purest abstract object [Jubien] |
| Full Idea: The empty set is the pure abstract object par excellence. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.118 n8) | |
| A reaction: So a really good PhD on the empty set could crack the whole nature of reality. Get to work, whoever you are! |
| 11969 | Models nicely separate particulars from their clothing, and logicians often accept that metaphysically [Kaplan] |
| Full Idea: The use of models is so natural to logicians ...that they sometimes take seriously what are only artefacts of the model, and adopt a bare particular metaphysics. Why? Because the model so nicely separates the bare particular from its clothing. | |
| From: David Kaplan (Transworld Heir Lines [1967], p.97) | |
| A reaction: See also Idea 11970. I think this observation is correct, and incredibly important. We need to keep quite separate the notion of identity in conceptual space from our notion of identity in the actual world. The first is bare, the second fat. |
| 11971 | The simplest solution to transworld identification is to adopt bare particulars [Kaplan] |
| Full Idea: If we adopt the bare particular metaphysical view, we have a simple solution to the transworld identification problem: we identify by bare particulars. | |
| From: David Kaplan (Transworld Heir Lines [1967], p.98) | |
| A reaction: See Ideas 11969 and 11970 on this idea. The problem with bare particulars is that they can change their properties utterly, so that Aristotle in the actual world can be a poached egg in some possible world. We need essences. |
| 11973 | Unusual people may have no counterparts, or several [Kaplan] |
| Full Idea: An extremely vivid person might have no counterparts, and Da Vinci seems to me to have more than one essence. Bertrand Russell is clearly the counterpart of at least three distinct persons in some more plausible world. | |
| From: David Kaplan (Transworld Heir Lines [1967], p.100) | |
| A reaction: Lewis prefers the notion that there is at most one counterpart, the 'closest' entity is some world. I think he also claims there is at least one counterpart. I like Kaplan's relaxed attitude to these things, which has more explanatory power. |
| 11972 | Essence is a transworld heir line, rather than a collection of properties [Kaplan] |
| Full Idea: I prefer to think of essence as a transworld heir line, rather than as the more familiar collection of properties, because the latter too much suggests the idea of a fixed and final essential description. | |
| From: David Kaplan (Transworld Heir Lines [1967], p.100) | |
| A reaction: He is sympathetic to the counterpart idea, and close to Lewis's view of essences, as the intersection of counterparts. I like his rebellion against fixed and final descriptions, but am a bit doubtful about his basic idea. Causation should be involved. |
| 11967 | Sentences might have the same sense when logically equivalent - or never have the same sense [Kaplan] |
| Full Idea: Among the proposals for conditions under which two sentences have the same ordinary sense, the most liberal (Carnap and Church) is that they be logically equivalent, and the most restrictive (Benson Mates) is that they never have the same sense. | |
| From: David Kaplan (Transworld Heir Lines [1967], p.89) | |
| A reaction: Personally I would move the discussion to the level of the propositions being expressed before I attempted a solution. |
| 7825 | The politics of Leibniz was the reunification of Christianity [Stewart,M] |
| Full Idea: The politics of Leibniz may be summed up in one word: theocracy. The specific agenda motivating much of his work was to reunite the Protestant and Catholic churches | |
| From: Matthew Stewart (The Courtier and the Heretic [2007], Ch. 5) | |
| A reaction: This would be a typical project for a rationalist philosopher, who thinks that good reasoning will gradually converge on the one truth. |