47 ideas
4456 | Epistemological Ockham's Razor demands good reasons, but the ontological version says reality is simple [Moreland] |
18739 | Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew] |
18741 | Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew] |
13134 | We negate predicates but do not negate names [Westerhoff] |
18744 | Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew] |
18740 | If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew] |
4474 | Existence theories must match experience, possibility, logic and knowledge, and not be self-defeating [Moreland] |
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] |
13124 | Categories can be ordered by both containment and generality [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] |
4461 | Tropes are like Hume's 'impressions', conceived as real rather than as ideal [Moreland] |
4462 | A colour-trope cannot be simple (as required), because it is spread in space, and so it is complex [Moreland] |
4463 | In 'four colours were used in the decoration', colours appear to be universals, not tropes [Moreland] |
4453 | One realism is one-over-many, which may be the model/copy view, which has the Third Man problem [Moreland] |
4464 | Realists see properties as universals, which are single abstract entities which are multiply exemplifiable [Moreland] |
4451 | If properties are universals, what distinguishes two things which have identical properties? [Moreland] |
4450 | The traditional problem of universals centres on the "One over Many", which is the unity of natural classes [Moreland] |
4449 | Evidence for universals can be found in language, communication, natural laws, classification and ideals [Moreland] |
4454 | The One-In-Many view says universals have abstract existence, but exist in particulars [Moreland] |
4468 | How could 'being even', or 'being a father', or a musical interval, exist naturally in space? [Moreland] |
4452 | Maybe universals are real, if properties themselves have properties, and relate to other properties [Moreland] |
4467 | A naturalist and realist about universals is forced to say redness can be both moving and stationary [Moreland] |
4469 | There are spatial facts about red particulars, but not about redness itself [Moreland] |
4472 | Redness is independent of red things, can do without them, has its own properties, and has identity [Moreland] |
4459 | Moderate nominalism attempts to embrace the existence of properties while avoiding universals [Moreland] |
4458 | Unlike Class Nominalism, Resemblance Nominalism can distinguish natural from unnatural classes [Moreland] |
4457 | There can be predicates with no property, and there are properties with no predicate [Moreland] |
4471 | We should abandon the concept of a property since (unlike sets) their identity conditions are unclear [Moreland] |
13129 | Essential kinds may be too specific to provide ontological categories [Westerhoff] |
4476 | Most philosophers think that the identity of indiscernibles is false [Moreland] |
18745 | A Tarskian model can be seen as a possible state of affairs [Horsten/Pettigrew] |
18747 | The 'spheres model' was added to possible worlds, to cope with counterfactuals [Horsten/Pettigrew] |
18748 | Epistemic logic introduced impossible worlds [Horsten/Pettigrew] |
18746 | Possible worlds models contain sets of possible worlds; this is a large metaphysical commitment [Horsten/Pettigrew] |
18750 | Using possible worlds for knowledge and morality may be a step too far [Horsten/Pettigrew] |
4460 | Abstractions are formed by the mind when it concentrates on some, but not all, the features of a thing [Moreland] |
4455 | It is always open to a philosopher to claim that some entity or other is unanalysable [Moreland] |
4473 | 'Presentism' is the view that only the present moment exists [Moreland] |