36 ideas
| 8092 | Logic was merely a branch of rhetoric until the scientific 17th century [Devlin] |
| 2666 | Carneades' pinnacles of philosophy are the basis of knowledge (the criterion of truth) and the end of appetite (good) [Carneades, by Cicero] |
| 19342 | Reason avoids multiplying hypotheses or principles [Leibniz] |
| 21390 | Future events are true if one day we will say 'this event is happening now' [Carneades] |
| 21672 | We say future things are true that will possess actuality at some following time [Carneades, by Cicero] |
| 8081 | 'No councillors are bankers' and 'All bankers are athletes' implies 'Some athletes are not councillors' [Devlin] |
| 8085 | Modern propositional inference replaces Aristotle's 19 syllogisms with modus ponens [Devlin] |
| 8086 | Predicate logic retains the axioms of propositional logic [Devlin] |
| 8091 | Situation theory is logic that takes account of context [Devlin] |
| 8087 | Golden ages: 1900-1960 for pure logic, and 1950-1985 for applied logic [Devlin] |
| 8089 | Montague's intensional logic incorporated the notion of meaning [Devlin] |
| 8082 | Where a conditional is purely formal, an implication implies a link between premise and conclusion [Devlin] |
| 8072 | Sentences of apparent identical form can have different contextual meanings [Devlin] |
| 8075 | Space and time are atomic in the arrow, and divisible in the tortoise [Devlin] |
| 12711 | The immediate cause of movements is more real [than geometry] [Leibniz] |
| 19349 | The complete notion of a substance implies all of its predicates or attributes [Leibniz] |
| 7558 | Substances mirror God or the universe, each from its own viewpoint [Leibniz] |
| 16761 | Forms are of no value in physics, but are indispensable in metaphysics [Leibniz] |
| 13088 | Subjects include predicates, so full understanding of subjects reveals all the predicates [Leibniz] |
| 15825 | Carneades denied the transitivity of identity [Carneades, by Chisholm] |
| 21389 | Carneades distinguished logical from causal necessity, when talking of future events [Long on Carneades] |
| 13085 | Leibniz is some form of haecceitist [Leibniz, by Cover/O'Leary-Hawthorne] |
| 5024 | Knowledge doesn't just come from the senses; we know the self, substance, identity, being etc. [Leibniz] |
| 8088 | People still say the Hopi have no time concepts, despite Whorf's later denial [Devlin] |
| 5027 | If a person's memories became totally those of the King of China, he would be the King of China [Leibniz] |
| 5023 | Future contingent events are certain, because God foresees them, but that doesn't make them necessary [Leibniz] |
| 21671 | Voluntary motion is intrinsically within our power, and this power is its cause [Carneades, by Cicero] |
| 2119 | People argue for God's free will, but it isn't needed if God acts in perfection following supreme reason [Leibniz] |
| 21391 | Some actions are within our power; determinism needs prior causes for everything - so it is false [Carneades, by Cicero] |
| 21674 | Even Apollo can only foretell the future when it is naturally necessary [Carneades, by Cicero] |
| 5025 | Mind and body can't influence one another, but God wouldn't intervene in the daily routine [Leibniz] |
| 8073 | How do we parse 'time flies like an arrow' and 'fruit flies like an apple'? [Devlin] |
| 8076 | The distinction between sentences and abstract propositions is crucial in logic [Devlin] |
| 5026 | Animals lack morality because they lack self-reflection [Leibniz] |
| 7398 | Carneades said that after a shipwreck a wise man would seize the only plank by force [Carneades, by Tuck] |
| 21392 | People change laws for advantage; either there is no justice, or it is a form of self-injury [Carneades, by Lactantius] |