45 ideas
6979 | Serious metaphysics cares about entailment between sentences [Jackson] |
6980 | Conceptual analysis studies whether one story is made true by another story [Jackson] |
6983 | Intuitions about possibilities are basic to conceptual analysis [Jackson] |
14707 | Conceptual analysis is needed to establish that metaphysical reductions respect original meanings [Jackson, by Schroeter] |
15924 | Predicative definitions are acceptable in mathematics if they distinguish objects, rather than creating them? [Zermelo, by Lavine] |
7005 | Something can only have a place in a preferred account of things if it is entailed by the account [Jackson] |
6994 | Truth supervenes on being [Jackson] |
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] |
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] |
6984 | Smooth reductions preserve high-level laws in the lower level [Jackson] |
6978 | Baldness is just hair distribution, but the former is indeterminate, unlike the latter [Jackson] |
6993 | Redness is a property, but only as a presentation to normal humans [Jackson] |
6987 | We should not multiply senses of necessity beyond necessity [Jackson] |
6988 | Mathematical sentences are a problem in a possible-worlds framework [Jackson] |
6975 | Possible worlds could be concrete, abstract, universals, sentences, or properties [Jackson] |
18969 | How do you distinguish three beliefs from four beliefs or two beliefs? [Quine] |
6982 | Long arithmetic calculations show the a priori can be fallible [Jackson] |
6991 | We examine objects to determine colour; we do not introspect [Jackson] |
6976 | In physicalism, the psychological depends on the physical, not the other way around [Jackson] |
6986 | Is the dependence of the psychological on the physical a priori or a posteriori? [Jackson] |
6992 | If different states can fulfil the same role, the converse must also be possible [Jackson] |
6996 | Folk psychology covers input, internal role, and output [Jackson] |
6977 | Egocentric or de se content seems to be irreducibly so [Jackson] |
6990 | Keep distinct the essential properties of water, and application conditions for the word 'water' [Jackson] |
6985 | Analysis is finding necessary and sufficient conditions by studying possible cases [Jackson] |
6995 | Successful predication supervenes on nature [Jackson] |
6989 | I can understand "He has a beard", without identifying 'he', and hence the truth conditions [Jackson] |
18967 | A 'proposition' is said to be the timeless cognitive part of the meaning of a sentence [Quine] |
18968 | The problem with propositions is their individuation. When do two sentences express one proposition? [Quine] |
6998 | Folk morality does not clearly distinguish between doing and allowing [Jackson] |
6997 | Moral functionalism says moral terms get their meaning from their role in folk morality [Jackson] |
7000 | Which are prior - thin concepts like right, good, ought; or thick concepts like kindness, equity etc.? [Jackson] |
6999 | It is hard to justify the huge difference in our judgements of abortion and infanticide [Jackson] |
18970 | The concept of a 'point' makes no sense without the idea of absolute position [Quine] |