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] |
19370 | 'Blind thought' is reasoning without recognition of the ingredients of the reasoning [Leibniz, by Arthur,R] |
19391 | We can assign a characteristic number to every single object [Leibniz] |
19390 | Everything is subsumed under number, which is a metaphysical statics of the universe, revealing powers [Leibniz] |
16188 | Serious Actualism says there are no facts at all about something which doesn't exist [Simchen] |
13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |