9 ideas
15102 | S4 says there must be some necessary truths (the actual ones, of which there is at least one) [Cameron] |
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] |
15103 | Blackburn fails to show that the necessary cannot be grounded in the contingent [Cameron] |
8786 | One first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines [Hale/Wright] |
15877 | The aim of science is just to create a comprehensive, elegant language to describe brute facts [Poincaré, by Harré] |
15104 | The 'moving spotlight' theory makes one time privileged, while all times are on a par ontologically [Cameron] |