Combining Texts

All the ideas for 'Locke on Human Understanding', 'Gentzen's Analysis of First-Order Proofs' and 'Goodbye Descartes'

expand these ideas     |    start again     |     specify just one area for these texts

23 ideas

1. Philosophy / B. History of Ideas / 5. Later European Thought
8092 Logic was merely a branch of rhetoric until the scientific 17th century [Devlin]
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' [Devlin]
4. Formal Logic / B. Propositional Logic PL / 1. Propositional Logic
8085 Modern propositional inference replaces Aristotle's 19 syllogisms with modus ponens [Devlin]
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 [Devlin]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
13831 Logic is based on transitions between sentences [Prawitz]
8091 Situation theory is logic that takes account of context [Devlin]
5. Theory of Logic / A. Overview of Logic / 2. History of Logic
8089 Montague's intensional logic incorporated the notion of meaning [Devlin]
8087 Golden ages: 1900-1960 for pure logic, and 1950-1985 for applied logic [Devlin]
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 [Devlin]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
8072 Sentences of apparent identical form can have different contextual meanings [Devlin]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
13825 Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz]
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
13823 In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz]
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 [Devlin]
8. Modes of Existence / E. Nominalism / 2. Resemblance Nominalism
7720 Two things can only resemble one another in some respect, and that may reintroduce a universal [Lowe]
9. Objects / B. Unity of Objects / 2. Substance / d. Substance defined
7712 On substances, Leibniz emphasises unity, Spinoza independence, Locke relations to qualities [Lowe]
12. Knowledge Sources / B. Perception / 6. Inference in Perception
7710 Perception is a mode of belief-acquisition, and does not involve sensation [Lowe]
12. Knowledge Sources / B. Perception / 7. Causal Perception
7711 Science requires a causal theory - perception of an object must be an experience caused by the object [Lowe]
13. Knowledge Criteria / E. Relativism / 5. Language Relativism
8088 People still say the Hopi have no time concepts, despite Whorf's later denial [Devlin]
16. Persons / D. Continuity of the Self / 1. Identity and the Self
7714 Personal identity is a problem across time (diachronic) and at an instant (synchronic) [Lowe]
18. Thought / B. Mechanics of Thought / 4. Language of Thought
7715 Mentalese isn't a language, because it isn't conventional, or a means of public communication [Lowe]
19. Language / A. Nature of Meaning / 2. Meaning as Mental
7722 If meaning is mental pictures, explain "the cat (or dog!) is NOT on the mat" [Lowe]
19. Language / C. Assigning Meanings / 1. Syntax
8073 How do we parse 'time flies like an arrow' and 'fruit flies like an apple'? [Devlin]
19. Language / D. Propositions / 2. Abstract Propositions / a. Propositions as sense
8076 The distinction between sentences and abstract propositions is crucial in logic [Devlin]