13 ideas
14620 | Theories in logic are sentences closed under consequence, but in truth discussions theories have axioms [Fine,K] |
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] |
14530 | The role of semantic necessity in semantics is like metaphysical necessity in metaphysics [Fine,K, by Hale/Hoffmann,A] |
8786 | One first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines [Hale/Wright] |
14618 | Semantics is either an assignment of semantic values, or a theory of truth [Fine,K] |
14621 | Semantics is a body of semantic requirements, not semantic truths or assigned values [Fine,K] |
14622 | Referential semantics (unlike Fregeanism) allows objects themselves in to semantic requirements [Fine,K] |
14619 | The Quinean doubt: are semantics and facts separate, and do analytic sentences have no factual part? [Fine,K] |
16713 | Philosophers are the forefathers of heretics [Tertullian] |
6610 | I believe because it is absurd [Tertullian] |