23 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] |
9175 | We may fix the reference of 'Cicero' by a description, but thereafter the name is rigid [Kripke] |
9171 | The function of names is simply to refer [Kripke] |
17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
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] |
11184 | Aristotelian essentialism is about shared properties, individuating essentialism about distinctive properties [Marcus (Barcan)] |
11181 | Aristotelian essentialism involves a 'natural' or 'causal' interpretation of modal operators [Marcus (Barcan)] |
11180 | Essentialist sentences are not theorems of modal logic, and can even be false [Marcus (Barcan)] |
11186 | 'Essentially' won't replace 'necessarily' for vacuous properties like snub-nosed or self-identical [Marcus (Barcan)] |
11185 | 'Is essentially' has a different meaning from 'is necessarily', as they often cannot be substituted [Marcus (Barcan)] |
11182 | If essences are objects with only essential properties, they are elusive in possible worlds [Marcus (Barcan)] |
9174 | It is necessary that this table is not made of ice, but we don't know it a priori [Kripke] |
11183 | The use of possible worlds is to sort properties (not to individuate objects) [Marcus (Barcan)] |
9172 | A 'rigid designator' designates the same object in all possible worlds [Kripke] |
9173 | We cannot say that Nixon might have been a different man from the one he actually was [Kripke] |
11187 | In possible worlds, names are just neutral unvarying pegs for truths and predicates [Marcus (Barcan)] |
9176 | Modal statements about this table never refer to counterparts; that confuses epistemology and metaphysics [Kripke] |
9177 | Identity theorists must deny that pains can be imagined without brain states [Kripke] |
9178 | Pain, unlike heat, is picked out by an essential property [Kripke] |
11189 | Dispositional essences are special, as if an object loses them they cease to exist [Marcus (Barcan)] |