34 ideas
18996 | A statement S is 'partly true' if it has some wholly true parts [Yablo] |
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] |
19006 | An 'enthymeme' is an argument with an indispensable unstated assumption [Yablo] |
10688 | 'Equivocation' is when terms do not mean the same thing in premises and conclusion [Beall/Restall] |
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] |
18999 | y is only a proper part of x if there is a z which 'makes up the difference' between them [Yablo] |
10690 | Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought [Beall/Restall] |
10691 | Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall] |
10695 | Logical consequence is either necessary truth preservation, or preservation based on interpretation [Beall/Restall] |
10689 | A step is a 'material consequence' if we need contents as well as form [Beall/Restall] |
19001 | 'Pegasus doesn't exist' is false without Pegasus, yet the absence of Pegasus is its truthmaker [Yablo] |
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] |
10696 | A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises [Beall/Restall] |
10693 | Models are mathematical structures which interpret the non-logical primitives [Beall/Restall] |
10692 | Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall] |
19002 | A nominalist can assert statements about mathematical objects, as being partly true [Yablo] |
15137 | If 'fact' is a noun, can we name the fact that dogs bark 'Mary'? [Williamson] |
18998 | Parthood lacks the restriction of kind which most relations have [Yablo] |
15142 | Our ability to count objects across possibilities favours the Barcan formulas [Williamson] |
19004 | Gettier says you don't know if you are confused about how it is true [Yablo] |
19007 | A theory need not be true to be good; it should just be true about its physical aspects [Yablo] |
18993 | If sentences point to different evidence, they must have different subject-matter [Yablo] |
19003 | Most people say nonblack nonravens do confirm 'all ravens are black', but only a tiny bit [Yablo] |
18992 | Sentence-meaning is the truth-conditions - plus factors responsible for them [Yablo] |
18994 | The content of an assertion can be quite different from compositional content [Yablo] |
18997 | Truth-conditions as subject-matter has problems of relevance, short cut, and reversal [Yablo] |
19005 | Not-A is too strong to just erase an improper assertion, because it actually reverses A [Yablo] |
15133 | A thing can't be the only necessary existent, because its singleton set would be as well [Williamson] |