36 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] |
| 8729 | Intuitionists deny excluded middle, because it is committed to transcendent truth or objects [Shapiro] |
| 8763 | The number 3 is presumably identical as a natural, an integer, a rational, a real, and complex [Shapiro] |
| 18249 | Cauchy gave a formal definition of a converging sequence. [Shapiro] |
| 8764 | Categories are the best foundation for mathematics [Shapiro] |
| 8762 | Two definitions of 3 in terms of sets disagree over whether 1 is a member of 3 [Shapiro] |
| 8760 | Numbers do not exist independently; the essence of a number is its relations to other numbers [Shapiro] |
| 8761 | A 'system' is related objects; a 'pattern' or 'structure' abstracts the pure relations from them [Shapiro] |
| 8744 | Logicism seems to be a non-starter if (as is widely held) logic has no ontology of its own [Shapiro] |
| 8749 | Term Formalism says mathematics is just about symbols - but real numbers have no names [Shapiro] |
| 8750 | Game Formalism is just a matter of rules, like chess - but then why is it useful in science? [Shapiro] |
| 8752 | Deductivism says mathematics is logical consequences of uninterpreted axioms [Shapiro] |
| 8753 | Critics resent the way intuitionism cripples mathematics, but it allows new important distinctions [Shapiro] |
| 8731 | Conceptualist are just realists or idealist or nominalists, depending on their view of concepts [Shapiro] |
| 8730 | 'Impredicative' definitions refer to the thing being described [Shapiro] |
| 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] |
| 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] |
| 8725 | Rationalism tries to apply mathematical methodology to all of knowledge [Shapiro] |
| 16534 | 'Intuitions' are just unreliable 'hunches'; over centuries intuitions change enormously [Lowe] |
| 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] |
| 1474 | Moral evil may be acceptable to God because it allows free will (even though we don't see why this is necessary) [Plantinga, by PG] |
| 1475 | It is logically possible that natural evil like earthquakes is caused by Satan [Plantinga, by PG] |