11 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] |
8784 | Neo-logicism founds arithmetic on Hume's Principle along with second-order logic [Hale/Wright] |
8787 | The Julius Caesar problem asks for a criterion for the concept of a 'number' [Hale/Wright] |
8788 | Logicism is only noteworthy if logic has a privileged position in our ontology and epistemology [Hale/Wright] |
8783 | Logicism might also be revived with a quantificational approach, or an abstraction-free approach [Hale/Wright] |
16188 | Serious Actualism says there are no facts at all about something which doesn't exist [Simchen] |
6003 | Galen showed by experiment that the brain controls the body [Galen, by Hankinson] |
8786 | One first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines [Hale/Wright] |
6030 | Each part of the soul has its virtue - pleasure for appetite, success for competition, and rectitude for reason [Galen] |