49 ideas
15924 | Predicative definitions are acceptable in mathematics if they distinguish objects, rather than creating them? [Zermelo, by Lavine] |
15879 | The Square of Opposition has two contradictory pairs, one contrary pair, and one sub-contrary pair [Harré] |
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] |
9565 | Zermelo made 'set' and 'member' undefined axioms [Zermelo, by Chihara] |
3339 | For Zermelo's set theory the empty set is zero and the successor of each number is its unit set [Zermelo, by Blackburn] |
17832 | Zermelo showed that the ZF axioms in 1930 were non-categorical [Zermelo, by Hallett,M] |
13017 | Zermelo introduced Pairing in 1930, and it seems fairly obvious [Zermelo, by Maddy] |
13028 | Replacement was added when some advanced theorems seemed to need it [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] |
15891 | Traditional quantifiers combine ordinary language generality and ontology assumptions [Harré] |
15878 | Some quantifiers, such as 'any', rule out any notion of order within their range [Harré] |
17626 | The antinomy of endless advance and of completion is resolved in well-ordered transfinite numbers [Zermelo] |
13487 | In ZF, the Burali-Forti Paradox proves that there is no set of all ordinals [Zermelo, by Hart,WD] |
15897 | Zermelo realised that Choice would facilitate the sort of 'counting' Cantor needed [Zermelo, by Lavine] |
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] |
15874 | Scientific properties are not observed qualities, but the dispositions which create them [Harré] |
15884 | Laws of nature remain the same through any conditions, if the underlying mechanisms are unchanged [Harré] |
15880 | In physical sciences particular observations are ordered, but in biology only the classes are ordered [Harré] |
15869 | Reports of experiments eliminate the experimenter, and present results as the behaviour of nature [Harré] |
15881 | We can save laws from counter-instances by treating the latter as analytic definitions [Harré] |
15882 | Since there are three different dimensions for generalising laws, no one system of logic can cover them [Harré] |
15887 | 'Grue' introduces a new causal hypothesis - that emeralds can change colour [Harré] |
15888 | The grue problem shows that natural kinds are central to science [Harré] |
15889 | It is because ravens are birds that their species and their colour might be connected [Harré] |
15890 | Non-black non-ravens just aren't part of the presuppositions of 'all ravens are black' [Harré] |
15885 | The necessity of Newton's First Law derives from the nature of material things, not from a mechanism [Harré] |
20653 | Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson] |
15868 | Idealisation idealises all of a thing's properties, but abstraction leaves some of them out [Harré] |
17613 | We should judge principles by the science, not science by some fixed principles [Zermelo] |
15886 | Science rests on the principle that nature is a hierarchy of natural kinds [Harré] |
15864 | Classification is just as important as laws in natural science [Harré] |
15865 | Newton's First Law cannot be demonstrated experimentally, as that needs absence of external forces [Harré] |
15862 | Laws can come from data, from theory, from imagination and concepts, or from procedures [Harré] |
15870 | Are laws of nature about events, or types and universals, or dispositions, or all three? [Harré] |
15871 | Are laws about what has or might happen, or do they also cover all the possibilities? [Harré] |
15876 | Maybe laws of nature are just relations between properties? [Harré] |
15860 | We take it that only necessary happenings could be laws [Harré] |
15867 | Laws describe abstract idealisations, not the actual mess of nature [Harré] |
15872 | Must laws of nature be universal, or could they be local? [Harré] |
15892 | Laws of nature state necessary connections of things, events and properties, based on models of mechanisms [Harré] |
15875 | In counterfactuals we keep substances constant, and imagine new situations for them [Harré] |