35 ideas
12124 | Metaphysics is the best knowledge, because it is the simplest [Bacon] |
12123 | Natural history supports physical knowledge, which supports metaphysical knowledge [Bacon] |
12119 | Physics studies transitory matter; metaphysics what is abstracted and necessary [Bacon] |
12120 | Physics is of material and efficient causes, metaphysics of formal and final causes [Bacon] |
15924 | Predicative definitions are acceptable in mathematics if they distinguish objects, rather than creating them? [Zermelo, by Lavine] |
17608 | We take set theory as given, and retain everything valuable, while avoiding contradictions [Zermelo] |
17607 | Set theory investigates number, order and function, showing logical foundations for mathematics [Zermelo] |
10870 | ZFC: Existence, Extension, Specification, Pairing, Unions, Powers, Infinity, Choice [Zermelo, by Clegg] |
13012 | Zermelo published his axioms in 1908, to secure a controversial proof [Zermelo, by Maddy] |
17609 | Set theory can be reduced to a few definitions and seven independent axioms [Zermelo] |
13017 | Zermelo introduced Pairing in 1930, and it seems fairly obvious [Zermelo, by Maddy] |
13015 | Zermelo used Foundation to block paradox, but then decided that only Separation was needed [Zermelo, by Maddy] |
13486 | Not every predicate has an extension, but Separation picks the members that satisfy a predicate [Zermelo, by Hart,WD] |
13020 | The Axiom of Separation requires set generation up to one step back from contradiction [Zermelo, by Maddy] |
13487 | In ZF, the Burali-Forti Paradox proves that there is no set of all ordinals [Zermelo, by Hart,WD] |
18178 | For Zermelo the successor of n is {n} (rather than n U {n}) [Zermelo, by Maddy] |
13027 | Zermelo believed, and Von Neumann seemed to confirm, that numbers are sets [Zermelo, by Maddy] |
9627 | Different versions of set theory result in different underlying structures for numbers [Zermelo, by Brown,JR] |
12121 | We don't assume there is no land, because we can only see sea [Bacon] |
12117 | Science moves up and down between inventions of causes, and experiments [Bacon] |
12127 | Many different theories will fit the observed facts [Bacon] |
12126 | People love (unfortunately) extreme generality, rather than particular knowledge [Bacon] |
23814 | Every human yearns for an unattainable transcendent good [Weil] |
23824 | Where human needs are satisfied we find happiness, friendship and beauty [Weil] |
23815 | We cannot equally respect what is unequal, so equal respect needs a shared ground [Weil] |
23823 | Life needs risks to avoid sickly boredom [Weil] |
23822 | We all need to partipate in public tasks, and take some initiative [Weil] |
23817 | We need both equality (to attend to human needs) and hierarchy (as a scale of responsibilities) [Weil] |
23819 | Deliberate public lying should be punished [Weil] |
23818 | We have liberty in the space between nature and accepted authority [Weil] |
23820 | People need personal and collective property, and a social class lacking property is shameful [Weil] |
23821 | Crime should be punished, to bring the perpetrator freely back to morality [Weil] |
12125 | Teleological accounts are fine in metaphysics, but they stop us from searching for the causes [Bacon] |
12118 | Essences are part of first philosophy, but as part of nature, not part of logic [Bacon] |
23816 | Attention to a transcendent reality motivates a duty to foster the good of humanity [Weil] |