12 ideas
18823 | To say there could have been people who don't exist, but deny those possible things, rejects Barcan [Stalnaker, by Rumfitt] |
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] |
3534 | To be is to have causal powers [Alexander,S] |
16409 | Unlike Lewis, I defend an actualist version of counterpart theory [Stalnaker] |
16411 | If possible worlds really differ, I can't be in more than one at a time [Stalnaker] |
16412 | If counterparts exist strictly in one world only, this seems to be extreme invariant essentialism [Stalnaker] |
3398 | Epiphenomenalism makes the mind totally pointless [Alexander,S] |
16410 | Extensional semantics has individuals and sets; modal semantics has intensions, functions of world to extension [Stalnaker] |