Combining Texts

All the ideas for 'What is Logic?st1=Ian Hacking', 'Some Models for Implicature' and 'Action'

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

30 ideas

2. Reason / D. Definition / 3. Types of Definition
13838 A decent modern definition should always imply a semantics [Hacking]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / d. Basic theorems of PL
13834 Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking]
13835 Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking]
13833 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
13845 The various logics are abstractions made from terms like 'if...then' in English [Hacking]
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
13840 First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking]
13844 A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
13842 Second-order completeness seems to need intensional entities and possible worlds [Hacking]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
13837 With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking]
5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
13839 Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
13843 If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking]
19. Language / A. Nature of Meaning / 6. Meaning as Use
22330 Grice said patterns of use are often semantically irrelevant, because it is a pragmatic matter [Grice, by Glock]
19. Language / F. Communication / 5. Pragmatics / b. Implicature
18045 Grice's maxim of quality says do not assert what you believe to be false [Grice, by Magidor]
18044 Grice's maxim of manner requires one to be as brief as possible [Grice, by Magidor]
18046 Grice's maxim of quantity says be sufficiently informative [Grice, by Magidor]
20. Action / A. Definition of Action / 1. Action Theory
20014 Actions include: the involuntary, the purposeful, the intentional, and the self-consciously autonomous [Wilson/Schpall]
20. Action / A. Definition of Action / 4. Action as Movement
20019 Maybe bodily movements are not actions, but only part of an agent's action of moving [Wilson/Schpall]
20021 Is the action the arm movement, the whole causal process, or just the trying to do it? [Wilson/Schpall]
20. Action / B. Preliminaries of Action / 1. Intention to Act / a. Nature of intentions
20022 To be intentional, an action must succeed in the manner in which it was planned [Wilson/Schpall]
20023 If someone believes they can control the lottery, and then wins, the relevant skill is missing [Wilson/Schpall]
20025 We might intend two ways to acting, knowing only one of them can succeed [Wilson/Schpall]
20. Action / B. Preliminaries of Action / 1. Intention to Act / c. Reducing intentions
20031 On one model, an intention is belief-desire states, and intentional actions relate to beliefs and desires [Wilson/Schpall]
20. Action / B. Preliminaries of Action / 1. Intention to Act / d. Group intentions
20028 Groups may act for reasons held by none of the members, so maybe groups are agents [Wilson/Schpall]
20027 If there are shared obligations and intentions, we may need a primitive notion of 'joint commitment' [Wilson/Schpall]
20. Action / C. Motives for Action / 2. Acting on Beliefs / b. Action cognitivism
20016 Strong Cognitivism identifies an intention to act with a belief [Wilson/Schpall]
20017 Weak Cognitivism says intentions are only partly constituted by a belief [Wilson/Schpall]
20018 Strong Cognitivism implies a mode of 'practical' knowledge, not based on observation [Wilson/Schpall]
20. Action / C. Motives for Action / 3. Acting on Reason / b. Intellectualism
20012 Maybe the explanation of an action is in the reasons that make it intelligible to the agent [Wilson/Schpall]
20. Action / C. Motives for Action / 3. Acting on Reason / c. Reasons as causes
20013 It is generally assumed that reason explanations are causal [Wilson/Schpall]
20029 Causalists allow purposive explanations, but then reduce the purpose to the action's cause [Wilson/Schpall]