Ideas of Keith Devlin, by Theme

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

green numbers give full details    |    back to list of philosophers    |     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: 1900-1960 for pure logic, and 1950-1985 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