28 ideas
12124 | Metaphysics is the best knowledge, because it is the simplest [Bacon] |
12123 | Natural history supports physical knowledge, which supports metaphysical knowledge [Bacon] |
12119 | Physics studies transitory matter; metaphysics what is abstracted and necessary [Bacon] |
12120 | Physics is of material and efficient causes, metaphysics of formal and final causes [Bacon] |
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)] |
13949 | All models of Peano axioms are isomorphic, so the models all seem equally good for natural numbers [Cartwright,R on Peano] |
18113 | PA concerns any entities which satisfy the axioms [Peano, by Bostock] |
17634 | Peano axioms not only support arithmetic, but are also fairly obvious [Peano, by Russell] |
15653 | We can add Reflexion Principles to Peano Arithmetic, which assert its consistency or soundness [Halbach on Peano] |
17635 | Arithmetic can have even simpler logical premises than the Peano Axioms [Russell on Peano] |
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)] |
10797 | Substitutivity won't fix identity, because expressions may be substitutable, but not refer at all [Marcus (Barcan)] |
12121 | We don't assume there is no land, because we can only see sea [Bacon] |
12117 | Science moves up and down between inventions of causes, and experiments [Bacon] |
12127 | Many different theories will fit the observed facts [Bacon] |
12126 | People love (unfortunately) extreme generality, rather than particular knowledge [Bacon] |
12125 | Teleological accounts are fine in metaphysics, but they stop us from searching for the causes [Bacon] |
12118 | Essences are part of first philosophy, but as part of nature, not part of logic [Bacon] |