13 ideas
9456 | Modal logic is multiple systems, shown in the variety of accessibility relations between worlds [Jacquette] |
9457 | The two main views in philosophy of logic are extensionalism and intensionalism [Jacquette] |
14620 | Theories in logic are sentences closed under consequence, but in truth discussions theories have axioms [Fine,K] |
9458 | Extensionalists say that quantifiers presuppose the existence of their objects [Jacquette] |
9461 | Intensionalists say meaning is determined by the possession of properties [Jacquette] |
490 | Everything happens by reason and necessity [Leucippus] |
14530 | The role of semantic necessity in semantics is like metaphysical necessity in metaphysics [Fine,K, by Hale/Hoffmann,A] |
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] |
9459 | Extensionalist semantics is circular, as we must know the extension before assessing 'Fa' [Jacquette] |
9460 | Extensionalist semantics forbids reference to nonexistent objects [Jacquette] |
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] |