Ideas from 'Goodbye Descartes' by Keith Devlin [1997], by Theme Structure
[found in 'Goodbye Descartes: the end of logic' by Devlin,Keith [Wiley 1997,0471251860]].
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
8092

Logic was merely a branch of rhetoric until the scientific 17th century

4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
8081

'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
8085

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
8086

Predicate logic retains the axioms of propositional logic

5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
8091

Situation theory is logic that takes account of context

5. Theory of Logic / A. Overview of Logic / 2. History of Logic
8087

Golden ages: 19001960 for pure logic, and 19501985 for applied logic

8089

Montague's intensional logic incorporated the notion of meaning

5. Theory of Logic / B. Logical Consequence / 7. Strict Implication
8082

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
8072

Sentences of apparent identical form can have different contextual meanings

5. Theory of Logic / L. Paradox / 4. Paradoxes in Logic / a. Achilles paradox
8075

Space and time are atomic in the arrow, and divisible in the tortoise

13. Knowledge Criteria / E. Relativism / 5. Language Relativism
8088

People still say the Hopi have no time concepts, despite Whorf's later denial

19. Language / C. Assigning Meanings / 1. Syntax
8073

How do we parse 'time flies like an arrow' and 'fruit flies like an apple'?

19. Language / D. Propositions / 2. Abstract Propositions / a. Propositions as sense
8076

The distinction between sentences and abstract propositions is crucial in logic
