Ideas from 'Goodbye Descartes' by Keith Devlin [1997], by Theme Structure

[found in 'Goodbye Descartes: the end of logic' by Devlin,Keith [Wiley 1997,0-471-25186-0]].

Click on the Idea Number for the full details    |     back to texts     |     expand these ideas


1. Philosophy / B. History of Ideas / 5. Later European Thought
Logic was merely a branch of rhetoric until the scientific 17th century
4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
'No councillors are bankers' and 'All bankers are athletes' implies 'Some athletes are not councillors'
4. Formal Logic / B. Propositional Logic PL / 1. Propositional Logic
Modern propositional inference replaces Aristotle's 19 syllogisms with modus ponens
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL
Predicate logic retains the axioms of propositional logic
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
Situation theory is logic that takes account of context
5. Theory of Logic / A. Overview of Logic / 2. History of Logic
Montague's intensional logic incorporated the notion of meaning
Golden ages: 1900-1960 for pure logic, and 1950-1985 for applied logic
5. Theory of Logic / B. Logical Consequence / 7. Strict Implication
Where a conditional is purely formal, an implication implies a link between premise and conclusion
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
Sentences of apparent identical form can have different contextual meanings
5. Theory of Logic / L. Paradox / 4. Paradoxes in Logic / a. Achilles paradox
Space and time are atomic in the arrow, and divisible in the tortoise
13. Knowledge Criteria / E. Relativism / 5. Language Relativism
People still say the Hopi have no time concepts, despite Whorf's later denial
19. Language / A. Language / 1. Language
How do we parse 'time flies like an arrow' and 'fruit flies like an apple'?
19. Language / E. Propositions / 4. Support for Propositions
The distinction between sentences and abstract propositions is crucial in logic