Ideas of Keith Devlin, by Theme

[American, fl. 1996, Dean of Science at St Mary's College. Senior Researcher at Stanford University.]

idea number gives full details    |    back to list of philosophers    |     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
Golden ages: 1900-1960 for pure logic, and 1950-1985 for applied logic
Montague's intensional logic incorporated the notion of meaning
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 / B. Assigning Meanings / 1. Syntax
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
The distinction between sentences and abstract propositions is crucial in logic