39 ideas
| 6548 | Physicalism requires the naturalisation or rejection of set theory [Lycan] |
| 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] |
| 15200 | How could change consist of a conjunction of changeless facts? [McTaggart, by Le Poidevin] |
| 14761 | Change is not just having two different qualities at different points in some series [McTaggart] |
| 6531 | Institutions are not reducible as types, but they are as tokens [Lycan] |
| 6532 | Types cannot be reduced, but levels of reduction are varied groupings of the same tokens [Lycan] |
| 6534 | One location may contain molecules, a metal strip, a key, an opener of doors, and a human tragedy [Lycan] |
| 6529 | I see the 'role'/'occupant' distinction as fundamental to metaphysics [Lycan] |
| 6549 | I think greenness is a complex microphysical property of green objects [Lycan] |
| 6543 | Intentionality comes in degrees [Lycan] |
| 6537 | Teleological views allow for false intentional content, unlike causal and nomological theories [Lycan] |
| 6546 | Pain is composed of urges, desires, impulses etc, at different levels of abstraction [Lycan] |
| 6547 | The right 'level' for qualia is uncertain, though top (behaviourism) and bottom (particles) are false [Lycan] |
| 6527 | If energy in the brain disappears into thin air, this breaches physical conservation laws [Lycan] |
| 6528 | In lower animals, psychology is continuous with chemistry, and humans are continuous with animals [Lycan] |
| 6554 | Two behaviourists meet. The first says,"You're fine; how am I?" [Lycan] |
| 6541 | Functionalism must not be too abstract to allow inverted spectrum, or so structural that it becomes chauvinistic [Lycan] |
| 6545 | If functionalism focuses on folk psychology, it ignores lower levels of function [Lycan] |
| 6539 | The distinction between software and hardware is not clear in computing [Lycan] |
| 6535 | Teleological characterisations shade off smoothly into brutely physical ones [Lycan] |
| 6533 | Mental types are a subclass of teleological types at a high level of functional abstraction [Lycan] |
| 6544 | Identity theory is functionalism, but located at the lowest level of abstraction [Lycan] |
| 6530 | We reduce the mind through homuncular groups, described abstractly by purpose [Lycan] |
| 6536 | Teleological functionalism helps us to understand psycho-biological laws [Lycan] |
| 6542 | A Martian may exhibit human-like behaviour while having very different sensations [Lycan] |
| 6538 | We need a notion of teleology that comes in degrees [Lycan] |
| 6551 | 'Physical' means either figuring in physics descriptions, or just located in space-time [Lycan] |
| 2608 | For McTaggart time is seen either as fixed, or as relative to events [McTaggart, by Ayer] |
| 22936 | A-series time positions are contradictory, and yet all events occupy all of them! [McTaggart, by Le Poidevin] |
| 4231 | Time involves change, only the A-series explains change, but it involves contradictions, so time is unreal [McTaggart, by Lowe] |
| 8591 | There could be no time if nothing changed [McTaggart] |
| 22935 | The B-series can be inferred from the A-series, but not the other way round [McTaggart, by Le Poidevin] |
| 7802 | A-series uses past, present and future; B-series uses 'before' and 'after' [McTaggart, by Girle] |
| 4230 | A-series expressions place things in time, and their truth varies; B-series is relative, and always true [McTaggart, by Lowe] |
| 15199 | The B-series must depend on the A-series, because change must be explained [McTaggart, by Le Poidevin] |