Combining Texts

All the ideas for 'The Varieties of Reference', 'Maxims' and 'First-Order Logic'

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

21 ideas

1. Philosophy / A. Wisdom / 2. Wise People
7914 To try to be wise all on one's own is folly [Rochefoucauld]
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 / 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
10288 Down Löwenheim-Skolem: if a countable language has a consistent theory, that has a countable model [Hodges,W]
10289 Up Löwenheim-Skolem: if infinite models, then arbitrarily large models [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]
12. Knowledge Sources / B. Perception / 6. Inference in Perception
12580 Experiences have no conceptual content [Evans, by Greco]
7643 We have far fewer colour concepts than we have discriminations of colour [Evans]
15. Nature of Minds / B. Features of Minds / 2. Unconscious Mind
7118 La Rochefoucauld's idea of disguised self-love implies an unconscious mind [Rochefoucauld, by Sartre]
18. Thought / C. Content / 1. Content
23794 Some representational states, like perception, may be nonconceptual [Evans, by Schulte]
18. Thought / D. Concepts / 1. Concepts / a. Nature of concepts
16366 The Generality Constraint says if you can think a predicate you can apply it to anything [Evans]
18. Thought / D. Concepts / 3. Ontology of Concepts / b. Concepts as abilities
12575 Concepts have a 'Generality Constraint', that we must know how predicates apply to them [Evans, by Peacocke]
22. Metaethics / B. Value / 2. Values / g. Love
7912 Judging by effects, love looks more like hatred than friendship [Rochefoucauld]
22. Metaethics / C. The Good / 1. Goodness / e. Good as knowledge
7915 Supreme cleverness is knowledge of the real value of things [Rochefoucauld]
22. Metaethics / C. The Good / 2. Happiness / d. Routes to happiness
7917 Realising our future misery is a kind of happiness [Rochefoucauld]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / c. Motivation for virtue
7913 Virtue doesn't go far without the support of vanity [Rochefoucauld]
23. Ethics / C. Virtue Theory / 4. External Goods / d. Friendship
7916 True friendship is even rarer than true love [Rochefoucauld]
23. Ethics / F. Existentialism / 4. Boredom
9299 We are bored by people to whom we ourselves are boring [Rochefoucauld]