24 ideas
17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
11064 | Classes can be reduced to propositional functions [Russell, by Hanna] |
17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
6407 | The class of classes which lack self-membership leads to a contradiction [Russell, by Grayling] |
17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
10418 | Type theory seems an extreme reaction, since self-exemplification is often innocuous [Swoyer on Russell] |
10047 | Russell's improvements blocked mathematics as well as paradoxes, and needed further axioms [Russell, by Musgrave] |
23478 | Type theory means that features shared by different levels cannot be expressed [Morris,M on Russell] |
21718 | Ramified types can be defended as a system of intensional logic, with a 'no class' view of sets [Russell, by Linsky,B] |
18126 | A set does not exist unless at least one of its specifications is predicative [Russell, by Bostock] |
18128 | Russell is a conceptualist here, saying some abstracta only exist because definitions create them [Russell, by Bostock] |
18124 | Vicious Circle says if it is expressed using the whole collection, it can't be in the collection [Russell, by Bostock] |
14193 | 'Substance theorists' take modal properties as primitive, without structure, just falling under a sortal [Paul,LA] |
14195 | If an object's sort determines its properties, we need to ask what determines its sort [Paul,LA] |
14196 | Substance essentialism says an object is multiple, as falling under various different sortals [Paul,LA] |
14198 | Absolutely unrestricted qualitative composition would allow things with incompatible properties [Paul,LA] |
14190 | Deep essentialist objects have intrinsic properties that fix their nature; the shallow version makes it contextual [Paul,LA] |
14191 | Deep essentialists say essences constrain how things could change; modal profiles fix natures [Paul,LA] |
14192 | Essentialism must deal with charges of arbitrariness, and failure to reduce de re modality [Paul,LA] |
14197 | An object's modal properties don't determine its possibilities [Paul,LA] |
14189 | 'Modal realists' believe in many concrete worlds, 'actualists' in just this world, 'ersatzists' in abstract other worlds [Paul,LA] |