28 ideas
19066 | Philosophy aims to understand the world, through ordinary experience and science [Dummett] |
19067 | A successful proof requires recognition of truth at every step [Dummett] |
16477 | Asserting not-p is saying p is false [Russell] |
19060 | Truth-tables are dubious in some cases, and may be a bad way to explain connective meaning [Dummett] |
16484 | There are four experiences that lead us to talk of 'some' things [Russell] |
11066 | Deduction is justified by the semantics of its metalanguage [Dummett, by Hanna] |
16486 | The physical world doesn't need logic, but the mental world does [Russell] |
19058 | Syntactic consequence is positive, for validity; semantic version is negative, with counterexamples [Dummett] |
2947 | Questions wouldn't lead anywhere without the law of excluded middle [Russell] |
16480 | A disjunction expresses indecision [Russell] |
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] |
16483 | Disjunction may also arise in practice if there is imperfect memory. [Russell] |
19063 | Beth trees show semantics for intuitionistic logic, in terms of how truth has been established [Dummett] |
19059 | In standard views you could replace 'true' and 'false' with mere 0 and 1 [Dummett] |
19062 | Classical two-valued semantics implies that meaning is grasped through truth-conditions [Dummett] |
19065 | Soundness and completeness proofs test the theory of meaning, rather than the logic theory [Dummett] |
16475 | A 'heterological' predicate can't be predicated of itself; so is 'heterological' heterological? Yes=no! [Russell] |
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] |
19061 | An explanation is often a deduction, but that may well beg the question [Dummett] |
19064 | Holism is not a theory of meaning; it is the denial that a theory of meaning is possible [Dummett] |
16478 | A mother cat is paralysed if equidistant between two needy kittens [Russell] |
13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |