23 ideas
18877 | Moral realism doesn't seem to entail the existence of any things [Cameron] |
18868 | Surely if some propositions are grounded in existence, they all are? [Cameron] |
18867 | Orthodox Truthmaker applies to all propositions, and necessitates their truth [Cameron] |
18873 | God fixes all the truths of the world by fixing what exists [Cameron] |
18879 | What the proposition says may not be its truthmaker [Cameron] |
18880 | Rather than what exists, some claim that the truthmakers are ways of existence, dispositions, modalities etc [Cameron] |
18874 | Truthmaking doesn't require realism, because we can be anti-realist about truthmakers [Cameron] |
18869 | Without truthmakers, negative truths must be ungrounded [Cameron] |
18871 | I support the correspondence theory because I believe in truthmakers [Cameron] |
18870 | Maybe truthmaking and correspondence stand together, and are interdefinable [Cameron] |
10688 | 'Equivocation' is when terms do not mean the same thing in premises and conclusion [Beall/Restall] |
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] |
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] |
18881 | For realists it is analytic that truths are grounded in the world [Cameron] |
18875 | Realism says a discourse is true or false, and some of it is true [Cameron] |
18878 | Realism says truths rest on mind-independent reality; truthmaking theories are about which features [Cameron] |
18872 | We should reject distinct but indiscernible worlds [Cameron] |
23873 | Dividing history books into separate chapters is disastrous [Weil] |