Combining Texts

All the ideas for 'What is Logic?st1=Ian Hacking', 'An Essay in Aesthetics' and 'Some Remarks on Essentialism'

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

26 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]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
13952 Essentialism says some of a thing's properties are necessary, and could not be absent [Cartwright,R]
9. Objects / D. Essence of Objects / 14. Knowledge of Essences
13954 The difficulty in essentialism is deciding the grounds for rating an attribute as essential [Cartwright,R]
9. Objects / D. Essence of Objects / 15. Against Essentialism
13955 Essentialism is said to be unintelligible, because relative, if necessary truths are all analytic [Cartwright,R]
9. Objects / F. Identity among Objects / 3. Relative Identity
13953 An act of ostension doesn't seem to need a 'sort' of thing, even of a very broad kind [Cartwright,R]
16. Persons / C. Self-Awareness / 3. Limits of Introspection
20429 Most of us are too close to our own motives to understand them [Fry]
21. Aesthetics / A. Aesthetic Experience / 2. Aesthetic Attitude
20424 Imaginative life requires no action, so new kinds of perception and values emerge in art [Fry]
20427 Everyone reveals an aesthetic attitude, looking at something which only exists to be seen [Fry]
21. Aesthetics / A. Aesthetic Experience / 4. Beauty
20433 'Beauty' can either mean sensuous charm, or the aesthetic approval of art (which may be ugly) [Fry]
21. Aesthetics / A. Aesthetic Experience / 6. The Sublime
20430 In life we neglect 'cosmic emotion', but it matters, and art brings it to the fore [Fry]
21. Aesthetics / B. Nature of Art / 2. Art as Form
20431 Art needs a mixture of order and variety in its sensations [Fry]
21. Aesthetics / B. Nature of Art / 3. Art as Imitation
20423 If graphic arts only aim at imitation, their works are only trivial ingenious toys [Fry]
20428 Popular opinion favours realism, yet most people never look closely at anything! [Fry]
21. Aesthetics / C. Artistic Issues / 1. Artistic Intentions
20432 When viewing art, rather than flowers, we are aware of purpose, and sympathy with its creator [Fry]
21. Aesthetics / C. Artistic Issues / 4. Emotion in Art
20425 In the cinema the emotions are weaker, but much clearer than in ordinary life [Fry]
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
20426 For pure moralists art must promote right action, and not just be harmless [Fry]