36 ideas
17621 | What matters in mathematics is its objectivity, not the existence of the objects [Dummett] |
4037 | Ockham's Razor is the principle that we need reasons to believe in entities [Mellor/Oliver] |
10537 | The ordered pairs <x,y> can be reduced to the class of sets of the form {{x},{x,y}} [Dummett] |
10542 | To associate a cardinal with each set, we need the Axiom of Choice to find a representative [Dummett] |
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] |
18744 | Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew] |
10554 | Intuitionists find the Incompleteness Theorem unsurprising, since proof is intuitive, not formal [Dummett] |
10552 | Intuitionism says that totality of numbers is only potential, but is still determinate [Dummett] |
18740 | If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew] |
10515 | Ostension is possible for concreta; abstracta can only be referred to via other objects [Dummett, by Hale] |
10544 | The concrete/abstract distinction seems crude: in which category is the Mistral? [Dummett] |
10546 | We don't need a sharp concrete/abstract distinction [Dummett] |
10540 | We can't say that light is concrete but radio waves abstract [Dummett] |
10548 | The context principle for names rules out a special philosophical sense for 'existence' [Dummett] |
10281 | The objects we recognise the world as containing depends on the structure of our language [Dummett] |
4027 | Properties are respects in which particular objects may be alike or differ [Mellor/Oliver] |
4029 | Nominalists ask why we should postulate properties at all [Mellor/Oliver] |
10532 | We can understand universals by studying predication [Dummett] |
10534 | 'Nominalism' used to mean denial of universals, but now means denial of abstract objects [Dummett] |
10541 | Concrete objects such as sounds and smells may not be possible objects of ostension [Dummett] |
10545 | Abstract objects may not cause changes, but they can be the subject of change [Dummett] |
10555 | If we can intuitively apprehend abstract objects, this makes them observable and causally active [Dummett] |
10543 | Abstract objects must have names that fall within the range of some functional expression [Dummett] |
10320 | If a genuine singular term needs a criterion of identity, we must exclude abstract nouns [Dummett, by Hale] |
10547 | Abstract objects can never be confronted, and need verbal phrases for reference [Dummett] |
10531 | There is a modern philosophical notion of 'object', first introduced by Frege [Dummett] |
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] |
19168 | Concepts only have a 'functional character', because they map to truth values, not objects [Dummett, by Davidson] |
4039 | Abstractions lack causes, effects and spatio-temporal locations [Mellor/Oliver] |
10549 | Since abstract objects cannot be picked out, we must rely on identity statements [Dummett] |
10516 | A realistic view of reference is possible for concrete objects, but not for abstract objects [Dummett, by Hale] |