13 ideas
19259 | If 2-D conceivability can a priori show possibilities, this is a defence of conceptual analysis [Vaidya] |
8083 | Boole applied normal algebra to logic, aiming at an algebra of thought [Boole, by Devlin] |
7727 | Boole's notation can represent syllogisms and propositional arguments, but not both at once [Boole, by Weiner] |
8686 | Boole made logic more mathematical, with algebra, quantifiers and probability [Boole, by Friend] |
3299 | In logic identity involves reflexivity (x=x), symmetry (if x=y, then y=x) and transitivity (if x=y and y=z, then x=z) [Baillie] |
22277 | Boole's method was axiomatic, achieving economy, plus multiple interpretations [Boole, by Potter] |
19262 | Essential properties are necessary, but necessary properties may not be essential [Vaidya] |
19267 | Define conceivable; how reliable is it; does inconceivability help; and what type of possibility results? [Vaidya] |
19268 | Inconceivability (implying impossibility) may be failure to conceive, or incoherence [Vaidya] |
19265 | Can you possess objective understanding without realising it? [Vaidya] |
19260 | Gettier deductive justifications split the justification from the truthmaker [Vaidya] |
19266 | In a disjunctive case, the justification comes from one side, and the truth from the other [Vaidya] |
19264 | Aboutness is always intended, and cannot be accidental [Vaidya] |