9 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] |
5998 | From the necessity of the past we can infer the impossibility of what never happens [Diod.Cronus, by White,MJ] |
20832 | The Master Argument seems to prove that only what will happen is possible [Diod.Cronus, by Epictetus] |
14304 | Conditionals are true when the antecedent is true, and the consequent has to be true [Diod.Cronus] |
16188 | Serious Actualism says there are no facts at all about something which doesn't exist [Simchen] |
3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |
6024 | Thought is unambiguous, and you should stick to what the speaker thinks they are saying [Diod.Cronus, by Gellius] |