45 ideas
| 16539 | A definition of a circle will show what it is, and show its generating principle [Lowe] |
| 16540 | Defining an ellipse by conic sections reveals necessities, but not the essence of an ellipse [Lowe] |
| 16548 | An essence is what an entity is, revealed by a real definition; this is not an entity in its own right [Lowe] |
| 16549 | Simple things like 'red' can be given real ostensive definitions [Lowe] |
| 10170 | While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price] |
| 10166 | ZFC set theory has only 'pure' sets, without 'urelements' [Reck/Price] |
| 10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
| 13931 | By using aporiai as his start, Aristotle can defer to the wise, as well as to the many [Haslanger] |
| 10165 | 'Analysis' is the theory of the real numbers [Reck/Price] |
| 10174 | Mereological arithmetic needs infinite objects, and function definitions [Reck/Price] |
| 10164 | Peano Arithmetic can have three second-order axioms, plus '1' and 'successor' [Reck/Price] |
| 10172 | Set-theory gives a unified and an explicit basis for mathematics [Reck/Price] |
| 10167 | Structuralism emerged from abstract algebra, axioms, and set theory and its structures [Reck/Price] |
| 10169 | Relativist Structuralism just stipulates one successful model as its arithmetic [Reck/Price] |
| 10179 | There are 'particular' structures, and 'universal' structures (what the former have in common) [Reck/Price] |
| 10181 | Pattern Structuralism studies what isomorphic arithmetic models have in common [Reck/Price] |
| 10182 | There are Formalist, Relativist, Universalist and Pattern structuralism [Reck/Price] |
| 10168 | Formalist Structuralism says the ontology is vacuous, or formal, or inference relations [Reck/Price] |
| 10178 | Maybe we should talk of an infinity of 'possible' objects, to avoid arithmetic being vacuous [Reck/Price] |
| 10176 | Universalist Structuralism is based on generalised if-then claims, not one particular model [Reck/Price] |
| 10177 | Universalist Structuralism eliminates the base element, as a variable, which is then quantified out [Reck/Price] |
| 10171 | The existence of an infinite set is assumed by Relativist Structuralism [Reck/Price] |
| 13925 | Ontology disputes rest on more basic explanation disputes [Haslanger] |
| 10173 | A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price] |
| 16545 | The essence of lumps and statues shows that two objects coincide but are numerically distinct [Lowe] |
| 16546 | The essence of a bronze statue shows that it could be made of different bronze [Lowe] |
| 16551 | Grasping an essence is just grasping a real definition [Lowe] |
| 16542 | Explanation can't give an account of essence, because it is too multi-faceted [Lowe] |
| 16552 | If we must know some entity to know an essence, we lack a faculty to do that [Lowe] |
| 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] |
| 16533 | Logical necessities, based on laws of logic, are a proper sub-class of metaphysical necessities [Lowe] |
| 16531 | 'Metaphysical' necessity is absolute and objective - the strongest kind of necessity [Lowe] |
| 16532 | 'Epistemic' necessity is better called 'certainty' [Lowe] |
| 16543 | If an essence implies p, then p is an essential truth, and hence metaphysically necessary [Lowe] |
| 16544 | Metaphysical necessity is either an essential truth, or rests on essential truths [Lowe] |
| 16538 | We could give up possible worlds if we based necessity on essences [Lowe] |
| 16534 | 'Intuitions' are just unreliable 'hunches'; over centuries intuitions change enormously [Lowe] |
| 13929 | Natural explanations give the causal interconnections [Haslanger] |
| 13926 | Best explanations, especially natural ones, need grounding, notably by persistent objects [Haslanger] |
| 16535 | A concept is a way of thinking of things or kinds, whether or not they exist [Lowe] |
| 16550 | Direct reference doesn't seem to require that thinkers know what it is they are thinking about [Lowe] |
| 16547 | H2O isn't necessary, because different laws of nature might affect how O and H combine [Lowe] |