Combining Texts

All the ideas for 'What is Logic?st1=Ian Hacking', 'The Sovereignty of Good' and 'There is No A Priori (and reply)'

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

28 ideas

1. Philosophy / D. Nature of Philosophy / 2. Invocation to Philosophy
22338 An unexamined life can be virtuous [Murdoch]
1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / d. Philosophy as puzzles
22337 Philosophy must keep returning to the beginning [Murdoch]
1. Philosophy / E. Nature of Metaphysics / 3. Metaphysical Systems
23563 Philosophy moves continually between elaborate theories and the obvious facts [Murdoch]
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]
12. Knowledge Sources / A. A Priori Knowledge / 4. A Priori as Necessities
19565 How could the mind have a link to the necessary character of reality? [Devitt]
12. Knowledge Sources / A. A Priori Knowledge / 11. Denying the A Priori
19564 Some knowledge must be empirical; naturalism implies that all knowledge is like that [Devitt]
21. Aesthetics / B. Nature of Art / 8. The Arts / b. Literature
22341 Literature is the most important aspect of culture, because it teaches understanding of living [Murdoch]
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
22347 Appreciating beauty in art or nature opens up the good life, by restricting selfishness [Murdoch]
22. Metaethics / B. Value / 2. Values / g. Love
22348 Ordinary human love is good evidence of transcendent goodness [Murdoch]
22339 Love is a central concept in morals [Murdoch]
23. Ethics / C. Virtue Theory / 1. Virtue Theory / c. Particularism
22343 If I attend properly I will have no choices [Murdoch]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / d. Teaching virtue
22349 Art trains us in the love of virtue [Murdoch]
22340 It is hard to learn goodness from others, because their virtues are part of their personal history [Murdoch]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / j. Unity of virtue
22346 Moral reflection and experience gradually reveals unity in the moral world [Murdoch]
22350 Only trivial virtues can be possessed on their own [Murdoch]
23. Ethics / F. Existentialism / 7. Existential Action
22351 Only a philosopher might think choices create values [Murdoch]
22342 Kantian existentialists care greatly for reasons for action, whereas Surrealists care nothing [Murdoch]
28. God / A. Divine Nature / 6. Divine Morality / c. God is the good
22345 Moral philosophy needs a central concept with all the traditional attributes of God [Murdoch]