26 ideas
| 8092 | Logic was merely a branch of rhetoric until the scientific 17th century [Devlin] |
| 9217 | Modern empirical metaphysics focuses on ontological commitments of discourse, or on presuppositions [Loux/Zimmerman] |
| 12619 | We have no successful definitions, because they all use indefinable words [Fodor] |
| 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] |
| 12620 | If 'exist' is ambiguous in 'chairs and numbers exist', that mirrors the difference between chairs and numbers [Fodor] |
| 12613 | Empiricists use dispositions reductively, as 'possibility of sensation' or 'possibility of experimental result' [Fodor] |
| 12617 | Associationism can't explain how truth is preserved [Fodor] |
| 8088 | People still say the Hopi have no time concepts, despite Whorf's later denial [Devlin] |
| 12615 | Mental representations are the old 'Ideas', but without images [Fodor] |
| 6650 | Fodor is now less keen on the innateness of concepts [Fodor, by Lowe] |
| 12618 | It is essential to the concept CAT that it be satisfied by cats [Fodor] |
| 12614 | I prefer psychological atomism - that concepts are independent of epistemic capacities [Fodor] |
| 12621 | Definable concepts have constituents, which are necessary, individuate them, and demonstrate possession [Fodor] |
| 12622 | Many concepts lack prototypes, and complex prototypes aren't built from simple ones [Fodor] |
| 12623 | The theory theory can't actually tell us what concepts are [Fodor] |
| 8073 | How do we parse 'time flies like an arrow' and 'fruit flies like an apple'? [Devlin] |
| 12616 | English has no semantic theory, just associations between sentences and thoughts [Fodor] |
| 8076 | The distinction between sentences and abstract propositions is crucial in logic [Devlin] |