Combining Texts

All the ideas for 'What is Logic?st1=Ian Hacking', 'The Intentional Fallacy' and 'Without Immediate Justification'

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

22 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
13833 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking]
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]
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]
13. Knowledge Criteria / A. Justification Problems / 2. Justification Challenges / a. Agrippa's trilemma
8851 Coherentists say that regress problems are assuming 'linear' justification [Williams,M]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / a. Foundationalism
8849 Traditional foundationalism is radically internalist [Williams,M]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / b. Basic beliefs
8853 Basic judgements are immune from error because they have no content [Williams,M]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / c. Empirical foundations
8855 Sensory experience may be fixed, but it can still be misdescribed [Williams,M]
13. Knowledge Criteria / C. External Justification / 10. Anti External Justification
8852 In the context of scepticism, externalism does not seem to be an option [Williams,M]
21. Aesthetics / C. Artistic Issues / 1. Artistic Intentions
20400 Intentions either succeed or fail, so external evidence for them is always irrelevant [Wimsatt/Beardsley, by Davies,S]
7266 The author's intentions are irrelevant to the judgement of a work's success [Wimsatt/Beardsley]
7267 Poetry, unlike messages, can be successful without communicating intentions [Wimsatt/Beardsley]
7268 The thoughts of a poem should be imputed to the dramatic speaker, and hardly at all to the poet [Wimsatt/Beardsley]
7269 The intentional fallacy is a romantic one [Wimsatt/Beardsley]
7271 Biography can reveal meanings and dramatic character, as well as possible intentions [Wimsatt/Beardsley]