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] |
14620 | Theories in logic are sentences closed under consequence, but in truth discussions theories have axioms [Fine,K] |
13083 | The essence is the necessary properties, and the concept includes what is contingent [Leibniz] |
14530 | The role of semantic necessity in semantics is like metaphysical necessity in metaphysics [Fine,K, by Hale/Hoffmann,A] |
16188 | Serious Actualism says there are no facts at all about something which doesn't exist [Simchen] |
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] |