27 ideas
| 8092 | Logic was merely a branch of rhetoric until the scientific 17th century [Devlin] |
| 19574 | If man sacrifices truth he sacrifices himself, by acting against his own convictions [Novalis] |
| 19571 | Delusion and truth differ in their life functions [Novalis] |
| 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] |
| 17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
| 17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
| 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] |
| 17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
| 8075 | Space and time are atomic in the arrow, and divisible in the tortoise [Devlin] |
| 17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
| 17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
| 17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
| 19575 | Refinement of senses increasingly distinguishes individuals [Novalis] |
| 19572 | Experiences tests reason, and reason tests experience [Novalis] |
| 8088 | People still say the Hopi have no time concepts, despite Whorf's later denial [Devlin] |
| 19573 | The seat of the soul is where our inner and outer worlds interpenetrate [Novalis] |
| 19577 | Everything is a chaotic unity, then we abstract, then we reunify the world into a free alliance [Novalis] |
| 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] |
| 19578 | Only self-illuminated perfect individuals are beautiful [Novalis] |
| 19576 | Religion needs an intermediary, because none of us can connect directly to a godhead [Novalis] |