36 ideas
23367 | Even pointing a finger should only be done for a reason [Epictetus] |
18486 | We might define truth as arising from the truth-maker relation [MacBride] |
16477 | Asserting not-p is saying p is false [Russell] |
18484 | Phenomenalists, behaviourists and presentists can't supply credible truth-makers [MacBride] |
18466 | If truthmaking is classical entailment, then anything whatsoever makes a necessary truth [MacBride] |
18473 | 'Maximalism' says every truth has an actual truthmaker [MacBride] |
18481 | Maximalism follows Russell, and optimalism (no negative or universal truthmakers) follows Wittgenstein [MacBride] |
18483 | The main idea of truth-making is that what a proposition is about is what matters [MacBride] |
18479 | There are different types of truthmakers for different types of negative truth [MacBride] |
18477 | There aren't enough positive states out there to support all the negative truths [MacBride] |
18482 | Optimalists say that negative and universal are true 'by default' from the positive truths [MacBride] |
18474 | Does 'this sentence has no truth-maker' have a truth-maker? Reductio suggests it can't have [MacBride] |
18485 | Even idealists could accept truthmakers, as mind-dependent [MacBride] |
18490 | Maybe 'makes true' is not an active verb, but just a formal connective like 'because'? [MacBride] |
18493 | Truthmaker talk of 'something' making sentences true, which presupposes objectual quantification [MacBride] |
16484 | There are four experiences that lead us to talk of 'some' things [Russell] |
16486 | The physical world doesn't need logic, but the mental world does [Russell] |
2947 | Questions wouldn't lead anywhere without the law of excluded middle [Russell] |
18489 | Connectives link sentences without linking their meanings [MacBride] |
18476 | 'A is F' may not be positive ('is dead'), and 'A is not-F' may not be negative ('is not blind') [MacBride] |
16479 | 'Or' expresses hesitation, in a dog at a crossroads, or birds risking grabbing crumbs [Russell] |
16481 | 'Or' expresses a mental state, not something about the world [Russell] |
16487 | Maybe the 'or' used to describe mental states is not the 'or' of logic [Russell] |
16480 | A disjunction expresses indecision [Russell] |
16483 | Disjunction may also arise in practice if there is imperfect memory. [Russell] |
16475 | A 'heterological' predicate can't be predicated of itself; so is 'heterological' heterological? Yes=no! [Russell] |
18480 | Maybe it only exists if it is a truthmaker (rather than the value of a variable)? [MacBride] |
18471 | Different types of 'grounding' seem to have no more than a family resemblance relation [MacBride] |
18472 | Which has priority - 'grounding' or 'truth-making'? [MacBride] |
18475 | Russell allows some complex facts, but Wittgenstein only allows atomic facts [MacBride] |
18478 | Wittgenstein's plan to show there is only logical necessity failed, because of colours [MacBride] |
16482 | All our knowledge (if verbal) is general, because all sentences contain general words [Russell] |
4758 | Naïve realism leads to physics, but physics then shows that naïve realism is false [Russell] |
16476 | For simple words, a single experience can show that they are true [Russell] |
16485 | Perception can't prove universal generalisations, so abandon them, or abandon empiricism? [Russell] |
16478 | A mother cat is paralysed if equidistant between two needy kittens [Russell] |