20 ideas
8952 | We reach 'reflective equilibrium' when intuitions and theory completely align [Fisher] |
9108 | From an impossibility anything follows [William of Ockham] |
9107 | A proposition is true if its subject and predicate stand for the same thing [William of Ockham] |
16300 | Ockham had an early axiomatic account of truth [William of Ockham, by Halbach] |
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] |
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] |
9106 | The word 'every' only signifies when added to a term such as 'man', referring to all men [William of Ockham] |
17606 | Axioms reveal the underlying assumptions, and reveal relationships between different areas [Kline] |
9113 | Just as unity is not a property of a single thing, so numbers are not properties of many things [William of Ockham] |
9110 | The words 'thing' and 'to be' assert the same idea, as a noun and as a verb [William of Ockham] |
8946 | We could make our intuitions about heaps precise with a million-valued logic [Fisher] |
15388 | Universals are single things, and only universal in what they signify [William of Ockham] |
8944 | Vagueness can involve components (like baldness), or not (like boredom) [Fisher] |
9109 | If essence and existence were two things, one could exist without the other, which is impossible [William of Ockham] |
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] |
9105 | Some concepts for propositions exist only in the mind, and in no language [William of Ockham] |