37 ideas
10147 | The Axiom of Choice is consistent with the other axioms of set theory [Feferman/Feferman] |
10148 | Axiom of Choice: a set exists which chooses just one element each of any set of sets [Feferman/Feferman] |
10149 | Platonist will accept the Axiom of Choice, but others want criteria of selection or definition [Feferman/Feferman] |
10150 | The Trichotomy Principle is equivalent to the Axiom of Choice [Feferman/Feferman] |
10146 | Cantor's theories needed the Axiom of Choice, but it has led to great controversy [Feferman/Feferman] |
10794 | The nominalist is tied by standard semantics to first-order, denying higher-order abstracta [Marcus (Barcan)] |
10786 | Anything which refers tends to be called a 'name', even if it isn't a noun [Marcus (Barcan)] |
10788 | Nominalists see proper names as a main vehicle of reference [Marcus (Barcan)] |
10799 | Nominalists should quantify existentially at first-order, and substitutionally when higher [Marcus (Barcan)] |
10790 | Quantifiers are needed to refer to infinitely many objects [Marcus (Barcan)] |
10791 | Substitutional semantics has no domain of objects, but place-markers for substitutions [Marcus (Barcan)] |
10785 | Maybe a substitutional semantics for quantification lends itself to nominalism [Marcus (Barcan)] |
10795 | Substitutional language has no ontology, and is just a way of speaking [Marcus (Barcan)] |
10798 | A true universal sentence might be substitutionally refuted, by an unnamed denumerable object [Marcus (Barcan)] |
10158 | A structure is a 'model' when the axioms are true. So which of the structures are models? [Feferman/Feferman] |
10162 | Tarski and Vaught established the equivalence relations between first-order structures [Feferman/Feferman] |
10160 | Löwenheim-Skolem says if the sentences are countable, so is the model [Feferman/Feferman] |
10159 | Löwenheim-Skolem Theorem, and Gödel's completeness of first-order logic, the earliest model theory [Feferman/Feferman] |
10161 | If a sentence holds in every model of a theory, then it is logically derivable from the theory [Feferman/Feferman] |
10156 | 'Recursion theory' concerns what can be solved by computing machines [Feferman/Feferman] |
10155 | Both Principia Mathematica and Peano Arithmetic are undecidable [Feferman/Feferman] |
6007 | If you know your father, but don't recognise your father veiled, you know and don't know the same person [Eubulides, by Dancy,R] |
6006 | If you say truly that you are lying, you are lying [Eubulides, by Dancy,R] |
6008 | Removing one grain doesn't destroy a heap, so a heap can't be destroyed [Eubulides, by Dancy,R] |
10787 | Is being just referent of the verb 'to be'? [Marcus (Barcan)] |
10789 | Nominalists say predication is relations between individuals, or deny that it refers [Marcus (Barcan)] |
10796 | If objects are thoughts, aren't we back to psychologism? [Marcus (Barcan)] |
11181 | Aristotelian essentialism involves a 'natural' or 'causal' interpretation of modal operators [Marcus (Barcan)] |
11184 | Aristotelian essentialism is about shared properties, individuating essentialism about distinctive properties [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)] |
10797 | Substitutivity won't fix identity, because expressions may be substitutable, but not refer at all [Marcus (Barcan)] |
11183 | The use of possible worlds is to sort properties (not to individuate objects) [Marcus (Barcan)] |
11187 | In possible worlds, names are just neutral unvarying pegs for truths and predicates [Marcus (Barcan)] |
11189 | Dispositional essences are special, as if an object loses them they cease to exist [Marcus (Barcan)] |