19 ideas
9193 | ZF set theory has variables which range over sets, 'equals' and 'member', and extensionality [Dummett] |
9194 | The main alternative to ZF is one which includes looser classes as well as sets [Dummett] |
9195 | Intuitionists reject excluded middle, not for a third value, but for possibility of proof [Dummett] |
9186 | First-order logic concerns objects; second-order adds properties, kinds, relations and functions [Dummett] |
9187 | Logical truths and inference are characterized either syntactically or semantically [Dummett] |
13931 | By using aporiai as his start, Aristotle can defer to the wise, as well as to the many [Haslanger] |
9191 | Ordinals seem more basic than cardinals, since we count objects in sequence [Dummett] |
9192 | The number 4 has different positions in the naturals and the wholes, with the same structure [Dummett] |
13925 | Ontology disputes rest on more basic explanation disputes [Haslanger] |
23647 | Objects have an essential constitution, producing its qualities, which we are too ignorant to define [Reid] |
13924 | The persistence of objects seems to be needed if the past is to explain the present [Haslanger] |
13930 | Persistence makes change and its products intelligible [Haslanger] |
13927 | We must explain change amongst 'momentary entities', or else the world is inexplicable [Haslanger] |
13928 | If the things which exist prior to now are totally distinct, they need not have existed [Haslanger] |
11958 | Impossibilites are easily conceived in mathematics and geometry [Reid, by Molnar] |
13929 | Natural explanations give the causal interconnections [Haslanger] |
13926 | Best explanations, especially natural ones, need grounding, notably by persistent objects [Haslanger] |
23646 | Reference is by name, or a term-plus-circumstance, or ostensively, or by description [Reid] |
23645 | A word's meaning is the thing conceived, as fixed by linguistic experts [Reid] |