Combining Texts

All the ideas for 'What is Logic?st1=Ian Hacking', 'The Will to Believe' and 'The Symposium'

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

31 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
14179 The finest branch of wisdom is justice and moderation in ordering states and families [Plato]
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]
8. Modes of Existence / D. Universals / 6. Platonic Forms / a. Platonic Forms
1607 Diotima said the Forms are the objects of desire in philosophical discourse [Plato, by Roochnik]
13. Knowledge Criteria / A. Justification Problems / 1. Justification / b. Need for justification
174 True opinion without reason is midway between wisdom and ignorance [Plato]
16. Persons / E. Rejecting the Self / 1. Self as Indeterminate
180 We call a person the same throughout life, but all their attributes change [Plato]
181 Only the gods stay unchanged; we replace our losses with similar acquisitions [Plato]
21. Aesthetics / A. Aesthetic Experience / 4. Beauty
173 Beauty and goodness are the same [Plato]
172 Love of ugliness is impossible [Plato]
4026 Beauty is harmony with what is divine, and ugliness is lack of such harmony [Plato]
21. Aesthetics / A. Aesthetic Experience / 5. Natural Beauty
184 Progress goes from physical beauty, to moral beauty, to the beauty of knowledge, and reaches absolute beauty [Plato]
183 Stage two is the realisation that beauty of soul is of more value than beauty of body [Plato]
21. Aesthetics / B. Nature of Art / 8. The Arts / a. Music
171 Music is a knowledge of love in the realm of harmony and rhythm [Plato]
22. Metaethics / B. Value / 2. Values / g. Love
14177 Love assists men in achieving merit and happiness [Plato]
179 Love is desire for perpetual possession of the good [Plato]
176 Love follows beauty, wisdom is exceptionally beautiful, so love follows wisdom [Plato]
22. Metaethics / C. The Good / 1. Goodness / d. Good as virtue
177 If a person is good they will automatically become happy [Plato]
22. Metaethics / C. The Good / 2. Happiness / b. Eudaimonia
14178 Happiness is secure enjoyment of what is good and beautiful [Plato]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / c. Motivation for virtue
182 The first step on the right path is the contemplation of physical beauty when young [Plato]
170 The only slavery which is not dishonourable is slavery to excellence [Plato]
23. Ethics / E. Utilitarianism / 4. Unfairness
6570 Imagine millions made happy on condition that one person suffers endless lonely torture [James]
28. God / A. Divine Nature / 3. Divine Perfections
175 Gods are not lovers of wisdom, because they are already wise [Plato]