32 ideas
4739 | In "if and only if" (iff), "if" expresses the sufficient condition, and "only if" the necessary condition [Engel] |
15924 | Predicative definitions are acceptable in mathematics if they distinguish objects, rather than creating them? [Zermelo, by Lavine] |
4737 | Are truth-bearers propositions, or ideas/beliefs, or sentences/utterances? [Engel] |
4750 | The redundancy theory gets rid of facts, for 'it is a fact that p' just means 'p' [Engel] |
4744 | We can't explain the corresponding structure of the world except by referring to our thoughts [Engel] |
4738 | The coherence theory says truth is an internal relationship between groups of truth-bearers [Engel] |
4745 | Any coherent set of beliefs can be made more coherent by adding some false beliefs [Engel] |
4753 | Deflationism seems to block philosophers' main occupation, asking metatheoretical questions [Engel] |
4755 | Deflationism cannot explain why we hold beliefs for reasons [Engel] |
4751 | Maybe there is no more to be said about 'true' than there is about the function of 'and' in logic [Engel] |
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] |
13020 | The Axiom of Separation requires set generation up to one step back from contradiction [Zermelo, by Maddy] |
13486 | Not every predicate has an extension, but Separation picks the members that satisfy a predicate [Zermelo, by Hart,WD] |
4752 | Deflationism must reduce bivalence ('p is true or false') to excluded middle ('p or not-p') [Engel] |
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] |
4762 | The Humean theory of motivation is that beliefs may be motivators as well as desires [Engel] |
4754 | Our beliefs are meant to fit the world (i.e. be true), where we want the world to fit our desires [Engel] |
4763 | 'Evidentialists' say, and 'voluntarists' deny, that we only believe on the basis of evidence [Engel] |
4746 | Pragmatism is better understood as a theory of belief than as a theory of truth [Engel] |
4764 | We cannot directly control our beliefs, but we can control the causes of our involuntary beliefs [Engel] |
4759 | Mental states as functions are second-order properties, realised by first-order physical properties [Engel] |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |