34 ideas
| 8952 | We reach 'reflective equilibrium' when intuitions and theory completely align [Fisher] |
| 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] |
| 8943 | Three-valued logic says excluded middle and non-contradition are not tautologies [Fisher] |
| 8945 | Fuzzy logic has many truth values, ranging in fractions from 0 to 1 [Fisher] |
| 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] |
| 8951 | Classical logic is: excluded middle, non-contradiction, contradictions imply all, disjunctive syllogism [Fisher] |
| 8950 | Logic formalizes how we should reason, but it shouldn't determine whether we are realists [Fisher] |
| 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] |
| 21812 | Being is the product of pure intellect [Plotinus] |
| 21817 | The One does not exist, but is the source of all existence [Plotinus] |
| 21824 | The One is a principle which transcends Being [Plotinus] |
| 21813 | Number determines individual being [Plotinus] |
| 8946 | We could make our intuitions about heaps precise with a million-valued logic [Fisher] |
| 8944 | Vagueness can involve components (like baldness), or not (like boredom) [Fisher] |
| 8941 | We can't explain 'possibility' in terms of 'possible' worlds [Fisher] |
| 8947 | If all truths are implied by a falsehood, then not-p might imply both q and not-q [Fisher] |
| 8949 | In relevance logic, conditionals help information to flow from antecedent to consequent [Fisher] |
| 5506 | If soul was like body, its parts would be separate, without communication [Plotinus] |
| 21827 | The movement of Soul is continuous, but we are only aware of the parts of it that are sensed [Plotinus] |
| 21828 | A person is the whole of their soul [Plotinus] |
| 21809 | Our soul has the same ideal nature as the oldest god, and is honourable above the body [Plotinus] |
| 21825 | The soul is outside of all of space, and has no connection to the bodily order [Plotinus] |
| 21826 | The Soul reasons about the Right, so there must be some permanent Right about which it reasons [Plotinus] |
| 6922 | Ecstasy is for the neo-Platonist the highest psychological state of man [Plotinus, by Feuerbach] |
| 21814 | How can multiple existence arise from the unified One? [Plotinus] |
| 21815 | Because the One is immobile, it must create by radiation, light the sun producing light [Plotinus] |
| 21816 | Soul is the logos of Nous, just as Nous is the logos of the One [Plotinus] |
| 21808 | Soul is author of all of life, and of the stars, and it gives them law and movement [Plotinus] |
| 21811 | Even the soul is secondary to the Intellectual-Principle [Nous], of which soul is an utterance [Plotinus] |