15 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] |
| 3509 | Externalism may be the key idea in philosophical naturalism [Papineau] |
| 16755 | The possible Aristotelian view that forms are real and active principles is clearly wrong [Fine,K, by Pasnau] |
| 3513 | How does a dualist mind represent, exist outside space, and be transparent to itself? [Papineau] |
| 3514 | Functionalism needs causation and intentionality to explain actions [Papineau] |
| 3510 | Epiphenomenalism is supervenience without physicalism [Papineau] |
| 3511 | Supervenience requires all mental events to have physical effects [Papineau] |
| 3515 | Knowing what it is like to be something only involves being (physically) that thing [Papineau] |
| 3512 | If a mental state is multiply realisable, why does it lead to similar behaviour? [Papineau] |
| 3516 | The Private Language argument only means people may misjudge their experiences [Papineau] |