Combining Texts

All the ideas for 'What is Logic?st1=Ian Hacking', 'A Pragmatic Conception of the A Priori' and 'Critique of Judgement I: Aesthetic'

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

33 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 / 1. Overview of Logic
9358 There are several logics, none of which will ever derive falsehoods from truth [Lewis,CI]
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 / D. Assumptions for Logic / 2. Excluded Middle
9357 Excluded middle is just our preference for a simplified dichotomy in experience [Lewis,CI]
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 / F. Referring in Logic / 1. Naming / a. Names
9364 Names represent a uniformity in experience, or they name nothing [Lewis,CI]
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]
10. Modality / A. Necessity / 11. Denial of Necessity
9362 Necessary truths are those we will maintain no matter what [Lewis,CI]
12. Knowledge Sources / A. A Priori Knowledge / 7. A Priori from Convention
9365 We can maintain a priori principles come what may, but we can also change them [Lewis,CI]
18. Thought / E. Abstraction / 2. Abstracta by Selection
9361 We have to separate the mathematical from physical phenomena by abstraction [Lewis,CI]
21. Aesthetics / A. Aesthetic Experience / 1. Aesthetics
12157 Kant gave form and status to aesthetics, and Hegel gave it content [Kant, by Scruton]
21. Aesthetics / A. Aesthetic Experience / 2. Aesthetic Attitude
20346 The aesthetic attitude is a matter of disinterestedness [Kant, by Wollheim]
18547 Only rational beings can experience beauty [Kant, by Scruton]
24172 It is hard to see why we would have developed Kant's 'disinterested' aesthetic attitude [Cochrane on Kant]
21. Aesthetics / A. Aesthetic Experience / 3. Taste
20408 With respect to the senses, taste is an entirely personal matter [Kant]
20409 When we judge beauty, it isn't just personal; we judge on behalf of everybody [Kant]
20411 Saying everyone has their own taste destroys the very idea of taste [Kant]
21. Aesthetics / A. Aesthetic Experience / 4. Beauty
24170 Kant thinks beauty ignores its objects, because it is only 'form' engaging with mind [Cochrane on Kant]
22711 The beautiful is not conceptualised as moral, but it symbolises or resembles goodness [Kant, by Murdoch]
4025 Kant saw beauty as a sort of disinterested pleasure, which has become separate from the good [Kant, by Taylor,C]
20412 Beauty is only judged in pure contemplation, and not with something else at stake [Kant]
21. Aesthetics / A. Aesthetic Experience / 6. The Sublime
22046 The mathematical sublime is immeasurable greatness; the dynamical sublime is overpowering [Kant, by Pinkard]
21458 The sublime is a moral experience [Kant, by Gardner]
21. Aesthetics / C. Artistic Issues / 5. Objectivism in Art
5643 Aesthetic values are not objectively valid, but we must treat them as if they are [Kant, by Scruton]
20410 The judgement of beauty is not cognitive, but relates, via imagination, to pleasurable feelings [Kant]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / a. Scientific essentialism
9363 Science seeks classification which will discover laws, essences, and predictions [Lewis,CI]