27 ideas
9148 | I think of variables as objects rather than as signs [Fine,K] |
13134 | We negate predicates but do not negate names [Westerhoff] |
13124 | Categories can be ordered by both containment and generality [Westerhoff] |
13117 | How far down before we are too specialised to have a category? [Westerhoff] |
13116 | Maybe objects in the same category have the same criteria of identity [Westerhoff] |
13118 | Categories are base-sets which are used to construct states of affairs [Westerhoff] |
13125 | Categories are held to explain why some substitutions give falsehood, and others meaninglessness [Westerhoff] |
13126 | Categories systematize our intuitions about generality, substitutability, and identity [Westerhoff] |
13130 | Categories as generalities don't give a criterion for a low-level cut-off point [Westerhoff] |
13131 | The aim is that everything should belong in some ontological category or other [Westerhoff] |
13123 | All systems have properties and relations, and most have individuals, abstracta, sets and events [Westerhoff] |
13115 | Ontological categories are like formal axioms, not unique and with necessary membership [Westerhoff] |
13119 | Categories merely systematise, and are not intrinsic to objects [Westerhoff] |
13135 | A thing's ontological category depends on what else exists, so it is contingent [Westerhoff] |
17954 | Essence is a thing's necessities, but what about its possibilities (which may not be realised)? [Vetter] |
17953 | Real definition fits abstracta, but not individual concrete objects like Socrates [Vetter] |
13129 | Essential kinds may be too specific to provide ontological categories [Westerhoff] |
17952 | Modal accounts make essence less mysterious, by basing them on the clearer necessity [Vetter] |
17959 | Metaphysical necessity is even more deeply empirical than Kripke has argued [Vetter] |
17955 | Possible worlds allow us to talk about degrees of possibility [Vetter] |
17957 | Maybe possibility is constituted by potentiality [Vetter] |
17958 | The apparently metaphysically possible may only be epistemically possible [Vetter] |
17956 | Closeness of worlds should be determined by the intrinsic nature of relevant objects [Vetter] |
9152 | If green is abstracted from a thing, it is only seen as a type if it is common to many things [Fine,K] |
9149 | To obtain the number 2 by abstraction, we only want to abstract the distinctness of a pair of objects [Fine,K] |
9150 | We should define abstraction in general, with number abstraction taken as a special case [Fine,K] |
9146 | After abstraction all numbers seem identical, so only 0 and 1 will exist! [Fine,K] |