17 ideas
| 10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
| 10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
| 10885 | Computer proofs don't provide explanations [Horsten] |
| 10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
| 13168 | My formal unifying atoms are substantial forms, which are forces like appetites [Leibniz] |
| 13169 | I call Aristotle's entelechies 'primitive forces', which originate activity [Leibniz] |
| 13170 | The analysis of things leads to atoms of substance, which found both composition and action [Leibniz] |
| 13171 | Substance must necessarily involve progress and change [Leibniz] |
| 2590 | Dispositions need mental terms to define them [Putnam] |
| 2591 | Total paralysis would mean that there were mental states but no behaviour at all [Putnam] |
| 2588 | Is pain a functional state of a complete organism? [Putnam] |
| 2589 | Functionalism is compatible with dualism, as pure mind could perform the functions [Putnam] |
| 2592 | Functional states correlate with AND explain pain behaviour [Putnam] |
| 2587 | Temperature is mean molecular kinetic energy, but they are two different concepts [Putnam] |
| 6376 | Neuroscience does not support multiple realisability, and tends to support identity [Polger on Putnam] |
| 2330 | If humans and molluscs both feel pain, it can't be a single biological state [Putnam, by Kim] |
| 13167 | We need the metaphysical notion of force to explain mechanics, and not just extended mass [Leibniz] |