Combining Texts

All the ideas for 'Laches', 'First-Order Logic' and 'The Later Works (17 vols, ed Boydston)'

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

21 ideas

1. Philosophy / A. Wisdom / 3. Wisdom Deflated
291 Don't assume that wisdom is the automatic consequence of old age [Plato]
1. Philosophy / D. Nature of Philosophy / 3. Philosophy Defined
22864 Philosophy is the study and criticsm of cultural beliefs, to achieve new possibilities [Dewey]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
10282 Logic is the study of sound argument, or of certain artificial languages (or applying the latter to the former) [Hodges,W]
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
22873 Liberalism should improve the system, and not just ameliorate it [Dewey]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
10283 A formula needs an 'interpretation' of its constants, and a 'valuation' of its variables [Hodges,W]
10284 There are three different standard presentations of semantics [Hodges,W]
10285 I |= φ means that the formula φ is true in the interpretation I [Hodges,W]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
10289 Up Löwenheim-Skolem: if infinite models, then arbitrarily large models [Hodges,W]
10288 Down Löwenheim-Skolem: if a countable language has a consistent theory, that has a countable model [Hodges,W]
5. Theory of Logic / K. Features of Logics / 6. Compactness
10287 If a first-order theory entails a sentence, there is a finite subset of the theory which entails it [Hodges,W]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
10286 A 'set' is a mathematically well-behaved class [Hodges,W]
11. Knowledge Aims / A. Knowledge / 1. Knowledge
22869 Knowledge is either the product of competent enquiry, or it is meaningless [Dewey]
11. Knowledge Aims / B. Certain Knowledge / 1. Certainty
22867 The quest for certainty aims for peace, and avoidance of the stress of action [Dewey]
11. Knowledge Aims / B. Certain Knowledge / 3. Fallibilism
22870 No belief can be so settled that it is not subject to further inquiry [Dewey]
15. Nature of Minds / A. Nature of Mind / 1. Mind / a. Mind
22866 Mind is never isolated, but only exists in its interactions [Dewey]
23. Ethics / C. Virtue Theory / 3. Virtues / d. Courage
293 Being unafraid (perhaps through ignorance) and being brave are two different things [Plato]
24. Political Theory / D. Ideologies / 6. Liberalism / a. Liberalism basics
22872 Liberals aim to allow individuals to realise their capacities [Dewey]
24. Political Theory / D. Ideologies / 7. Communitarianism / a. Communitarianism
22880 The things in civilisation we prize are the products of other members of our community [Dewey]
28. God / A. Divine Nature / 2. Divine Nature
22879 'God' is an imaginative unity of ideal values [Dewey]
29. Religion / D. Religious Issues / 1. Religious Commitment / a. Religious Belief
22877 We should try attaching the intensity of religious devotion to intelligent social action [Dewey]
22878 Religions are so shockingly diverse that they have no common element [Dewey]