22 ideas
15134 | The truthmaker principle requires some specific named thing to make the difference [Williamson] |
15141 | Truthmaker is incompatible with modal semantics of varying domains [Williamson] |
15140 | The converse Barcan formula will not allow contingent truths to have truthmakers [Williamson] |
15131 | If metaphysical possibility is not a contingent matter, then S5 seems to suit it best [Williamson] |
15135 | If the domain of propositional quantification is constant, the Barcan formulas hold [Williamson] |
15139 | Converse Barcan: could something fail to meet a condition, if everything meets that condition? [Williamson] |
11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
14620 | Theories in logic are sentences closed under consequence, but in truth discussions theories have axioms [Fine,K] |
18492 | Not all quantification is either objectual or substitutional [Williamson] |
15136 | Substitutional quantification is metaphysical neutral, and equivalent to a disjunction of instances [Williamson] |
15138 | Not all quantification is objectual or substitutional [Williamson] |
15137 | If 'fact' is a noun, can we name the fact that dogs bark 'Mary'? [Williamson] |
14530 | The role of semantic necessity in semantics is like metaphysical necessity in metaphysics [Fine,K, by Hale/Hoffmann,A] |
15142 | Our ability to count objects across possibilities favours the Barcan formulas [Williamson] |
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] |
11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |
15133 | A thing can't be the only necessary existent, because its singleton set would be as well [Williamson] |