20 ideas
13913 | The four 'perfect syllogisms' are called Barbara, Celarent, Darii and Ferio [Engelbretsen/Sayward] |
13914 | Syllogistic logic has one rule: what is affirmed/denied of wholes is affirmed/denied of their parts [Engelbretsen/Sayward] |
13915 | Syllogistic can't handle sentences with singular terms, or relational terms, or compound sentences [Engelbretsen/Sayward] |
13916 | Term logic uses expression letters and brackets, and '-' for negative terms, and '+' for compound terms [Engelbretsen/Sayward] |
17833 | The first-order ZF axiomatisation is highly non-categorical [Hallett,M] |
17834 | Non-categoricity reveals a sort of incompleteness, with sets existing that the axioms don't reveal [Hallett,M] |
17837 | Zermelo allows ur-elements, to enable the widespread application of set-theory [Hallett,M] |
13850 | In modern logic all formal validity can be characterised syntactically [Engelbretsen/Sayward] |
13849 | Classical logic rests on truth and models, where constructivist logic rests on defence and refutation [Engelbretsen/Sayward] |
13851 | Unlike most other signs, = cannot be eliminated [Engelbretsen/Sayward] |
13852 | Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward] |
17836 | The General Continuum Hypothesis and its negation are both consistent with ZF [Hallett,M] |
7630 | Ryle's dichotomy between knowing how and knowing that is too simplistic [Maund] |
7632 | Perception is sensation-then-concept, or direct-concepts, or sensation-saturated-in-concepts [Maund] |
7635 | Sense-data have an epistemological purpose (foundations) and a metaphysical purpose (explanation) [Maund] |
7638 | One thesis says we are not aware of qualia, but only of objects and their qualities [Maund] |
7642 | The Myth of the Given claims that thought is rationally supported by non-conceptual experiences [Maund] |
7640 | Mountains are adverbial modifications of the earth, but still have object-characteristics [Maund] |
7641 | Adverbialism tries to avoid sense-data and preserve direct realism [Maund] |
7637 | Thought content is either satisfaction conditions, or exercise of concepts [Maund, by PG] |