19 ideas
| 17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
| 17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
| 17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
| 17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
| 17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
| 17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
| 7658 | Obviously there can't be a functional anaylsis of qualia if they are defined by intrinsic properties [Dennett] |
| 7655 | The work done by the 'homunculus in the theatre' must be spread amongst non-conscious agencies [Dennett] |
| 7657 | Intelligent agents are composed of nested homunculi, of decreasing intelligence, ending in machines [Dennett] |
| 7656 | I don't deny consciousness; it just isn't what people think it is [Dennett] |
| 7654 | What matters about neuro-science is the discovery of the functional role of the chemistry [Dennett] |
| 3546 | 'Phronesis' should translate as 'practical intelligence', not as prudence [Annas] |
| 3547 | Epicureans achieve pleasure through character development [Annas] |
| 3543 | Cyrenaics pursue pleasure, but don't equate it with happiness [Annas] |
| 3541 | Ancient ethics uses attractive notions, not imperatives [Annas] |
| 3550 | Principles cover life as a whole, where rules just cover actions [Annas] |
| 3551 | Virtue theory tries to explain our duties in terms of our character [Annas] |
| 3552 | If excessively good actions are admirable but not required, then duty isn't basic [Annas] |
| 3542 | We should do good when necessary, not maximise it [Annas] |