6 ideas
8964 | Entities can be multiplied either by excessive categories, or excessive entities within a category [Hoffman/Rosenkrantz] |
Full Idea: There are two ways that entities can be multiplied unnecessarily: by multiplying the number of explanatory categories, and by multiplying the number of entities within a category. | |
From: J Hoffman/G Rosenkrantz (Platonistic Theories of Universals [2003], 4) | |
A reaction: An important distinction. The orthodox view is that it is the excess of categories that is to be avoided (e.g. by nominalists). Possible worlds in metaphysics, and multiple worlds in physics, claim not to violate the first case. |
17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
Full Idea: Item x is said to be a sufficient truth-maker for truth-bearer p just in case necessarily if x exists then p is true. ...Every truth has a sufficient truth-maker. Hence, I take it, the sum of all sufficient truth-makers is a universal truth-maker. | |
From: Peter Forrest (General Facts,Phys Necessity, and Metaph of Time [2006], 1) | |
A reaction: Note that it is not 'necessary', because something else might make p true instead. |
23505 | Aristotelian logic cannot express 'Everyone loves someone' [White,RM] |
Full Idea: There is no way within Aristotelian logic that you can give a proper expression for the logical form of such a proposition as 'Everyone loves someone'. | |
From: Roger M. White (Wittgenstein's 'Tractatus Logico-Philosophicus' [2006], 1 'Frege') | |
A reaction: This needs a combination of two different quantifiers. |
8962 | 'There are shapes which are never exemplified' is the toughest example for nominalists [Hoffman/Rosenkrantz] |
Full Idea: The example which presents the most serious challenge to nominalism is 'there are shapes which are never exemplified'. | |
From: J Hoffman/G Rosenkrantz (Platonistic Theories of Universals [2003], 3) | |
A reaction: To 'exemplify' a shape must it be a physical object, or a drawing of such an object, or a description? If none of those have ever existed, I'm not sure what 'are' is supposed to mean. They seem to be possibilia (with all the associated problems). |
8961 | Nominalists are motivated by Ockham's Razor and a distrust of unobservables [Hoffman/Rosenkrantz] |
Full Idea: The two main motivations for nominalism are an admirable commitment to Ockham's Razor, and a queasiness about postulating entities that are unobservable or non-empirical, existing in a non-physical realm. | |
From: J Hoffman/G Rosenkrantz (Platonistic Theories of Universals [2003], 3) | |
A reaction: It doesn't follow that because the entities are unobservable that they are non-physical. Consider the 'interior' of an electron. Neverless I share a love of Ockham's Razor and a deep caution about unobservables. |
8963 | Four theories of possible worlds: conceptualist, combinatorial, abstract, or concrete [Hoffman/Rosenkrantz] |
Full Idea: There are four models of the ontological status of possible worlds: conceptualist (mental constructions), combinatorial (all combinations of the actual world), abstract worlds (conjunction of propositions), and concrete worlds (collections of concreta). | |
From: J Hoffman/G Rosenkrantz (Platonistic Theories of Universals [2003], 4) | |
A reaction: [the proponents cited are, in order, Rescher, Cresswell, Plantinga and Lewis] They dismiss Rescher and Cresswell, both of whom seem to me more plausible than Plantinga or Lewis. 'Possible' can't figure in the definition. Possible to us, or in reality? |