27 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] |
13011 | New axioms are being sought, to determine the size of the continuum [Maddy] |
13013 | The Axiom of Extensionality seems to be analytic [Maddy] |
13014 | Extensional sets are clearer, simpler, unique and expressive [Maddy] |
13021 | The Axiom of Infinity states Cantor's breakthrough that launched modern mathematics [Maddy] |
13022 | Infinite sets are essential for giving an account of the real numbers [Maddy] |
13023 | The Power Set Axiom is needed for, and supported by, accounts of the continuum [Maddy] |
13024 | Efforts to prove the Axiom of Choice have failed [Maddy] |
13025 | Modern views say the Choice set exists, even if it can't be constructed [Maddy] |
13026 | A large array of theorems depend on the Axiom of Choice [Maddy] |
13019 | The Iterative Conception says everything appears at a stage, derived from the preceding appearances [Maddy] |
13018 | Limitation of Size is a vague intuition that over-large sets may generate paradoxes [Maddy] |
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] |
6230 | If the soul were a tabula rasa, with no innate ideas, there could be no moral goodness or justice [Cudworth] |
6228 | Senses cannot judge one another, so what judges senses cannot be a sense, but must be superior [Cudworth] |
6229 | Sense is fixed in the material form, and so can't grasp abstract universals [Cudworth] |
6227 | Keeping promises and contracts is an obligation of natural justice [Cudworth] |
6225 | Obligation to obey all positive laws is older than all laws [Cudworth] |
6224 | An omnipotent will cannot make two things equal or alike if they aren't [Cudworth] |
6223 | If the will and pleasure of God controls justice, then anything wicked or unjust would become good if God commanded it [Cudworth] |
6226 | The requirement that God must be obeyed must precede any authority of God's commands [Cudworth] |