20 ideas
| 16186 | The Barcan Formulas express how to combine modal operators with classical quantifiers [Simchen] |
| 16187 | The Barcan Formulas are orthodox, but clash with the attractive Actualist view [Simchen] |
| 16190 | BF implies that if W possibly had a child, then something is possibly W's child [Simchen] |
| 18755 | Validity is explained as truth in all models, because that relies on the logical terms [McGee] |
| 18751 | Natural language includes connectives like 'because' which are not truth-functional [McGee] |
| 18761 | Second-order variables need to range over more than collections of first-order objects [McGee] |
| 18753 | An ontologically secure semantics for predicate calculus relies on sets [McGee] |
| 18754 | Logically valid sentences are analytic truths which are just true because of their logical words [McGee] |
| 18757 | Soundness theorems are uninformative, because they rely on soundness in their proofs [McGee] |
| 18760 | The culmination of Euclidean geometry was axioms that made all models isomorphic [McGee] |
| 3509 | Externalism may be the key idea in philosophical naturalism [Papineau] |
| 16188 | Serious Actualism says there are no facts at all about something which doesn't exist [Simchen] |
| 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] |
| 18762 | A maxim claims that if we are allowed to assert a sentence, that means it must be true [McGee] |
| 3516 | The Private Language argument only means people may misjudge their experiences [Papineau] |