8 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] |
9182 | Ancient names like 'Obadiah' depend on tradition, not on where the name originated [Dummett] |
16188 | Serious Actualism says there are no facts at all about something which doesn't exist [Simchen] |
9181 | The causal theory of reference can't distinguish just hearing a name from knowing its use [Dummett] |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |