35 ideas
| 10859 | A set is 'well-ordered' if every subset has a first element [Clegg] |
| 10857 | Set theory made a closer study of infinity possible [Clegg] |
| 10864 | Any set can always generate a larger set - its powerset, of subsets [Clegg] |
| 10872 | Extensionality: Two sets are equal if and only if they have the same elements [Clegg] |
| 10875 | Pairing: For any two sets there exists a set to which they both belong [Clegg] |
| 10876 | Unions: There is a set of all the elements which belong to at least one set in a collection [Clegg] |
| 10878 | Infinity: There exists a set of the empty set and the successor of each element [Clegg] |
| 10877 | Powers: All the subsets of a given set form their own new powerset [Clegg] |
| 10879 | Choice: For every set a mechanism will choose one member of any non-empty subset [Clegg] |
| 10871 | Axiom of Existence: there exists at least one set [Clegg] |
| 10874 | Specification: a condition applied to a set will always produce a new set [Clegg] |
| 13479 | Given that thinking aims at truth, logic gives universal rules for how to do it [Burge] |
| 8132 | We now have a much more sophisticated understanding of logical form in language [Burge] |
| 17622 | We come to believe mathematical propositions via their grounding in the structure [Burge] |
| 10880 | Mathematics can be 'pure' (unapplied), 'real' (physically grounded); or 'applied' (just applicable) [Clegg] |
| 16901 | The equivalent algebra model of geometry loses some essential spatial meaning [Burge] |
| 9159 | You can't simply convert geometry into algebra, as some spatial content is lost [Burge] |
| 10860 | An ordinal number is defined by the set that comes before it [Clegg] |
| 10861 | Beyond infinity cardinals and ordinals can come apart [Clegg] |
| 10854 | Transcendental numbers can't be fitted to finite equations [Clegg] |
| 10858 | By adding an axis of imaginary numbers, we get the useful 'number plane' instead of number line [Clegg] |
| 10853 | Either lack of zero made early mathematics geometrical, or the geometrical approach made zero meaningless [Clegg] |
| 10866 | Cantor's account of infinities has the shaky foundation of irrational numbers [Clegg] |
| 10869 | The Continuum Hypothesis is independent of the axioms of set theory [Clegg] |
| 10862 | The 'continuum hypothesis' says aleph-one is the cardinality of the reals [Clegg] |
| 16902 | Peano arithmetic requires grasping 0 as a primitive number [Burge] |
| 16892 | Is apriority predicated mainly of truths and proofs, or of human cognition? [Burge] |
| 9382 | Subjects may be unaware of their epistemic 'entitlements', unlike their 'justifications' [Burge] |
| 8126 | Anti-individualism says the environment is involved in the individuation of some mental states [Burge] |
| 8127 | Broad concepts suggest an extension of the mind into the environment (less computer-like) [Burge] |
| 8129 | Anti-individualism may be incompatible with some sorts of self-knowledge [Burge] |
| 8131 | Some qualities of experience, like blurred vision, have no function at all [Burge] |
| 3115 | Are meaning and expressed concept the same thing? [Burge, by Segal] |
| 6005 | Animals are dangerous and nourishing, and can't form contracts of justice [Hermarchus, by Sedley] |
| 14349 | If there are no finks or antidotes at the fundamental level, the laws can't be ceteris paribus [Burge, by Corry] |