Combining Texts

All the ideas for 'Symbolic Reasoning', 'The Passions' and 'Higher-Order Logic'

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


39 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
Wisdom needs both thought and passion, with each reflecting on the other [Solomon]
1. Philosophy / E. Nature of Metaphysics / 3. Metaphysical Systems
Philosophy is creating an intellectual conceptual structure for life [Solomon]
2. Reason / A. Nature of Reason / 1. On Reason
Reason is actually passions, guided by perspicacious reflection [Solomon]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
The null class is the class with all the non-existents as its members [MacColl, by Lackey]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
The axiom of choice is controversial, but it could be replaced [Shapiro]
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
First-order logic is Complete, and Compact, with the Löwenheim-Skolem Theorems [Shapiro]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
Some say that second-order logic is mathematics, not logic [Shapiro]
If the aim of logic is to codify inferences, second-order logic is useless [Shapiro]
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
Logical consequence can be defined in terms of the logical terminology [Shapiro]
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
Second-order variables also range over properties, sets, relations or functions [Shapiro]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
The Löwenheim-Skolem theorem seems to be a defect of first-order logic [Shapiro]
Up Löwenheim-Skolem: if natural numbers satisfy wffs, then an infinite domain satisfies them [Shapiro]
Downward Löwenheim-Skolem: if there's an infinite model, there is a countable model [Shapiro]
The Löwenheim-Skolem Theorems fail for second-order languages with standard semantics [Shapiro]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / e. Peano arithmetic 2nd-order
Second-order logic has the expressive power for mathematics, but an unworkable model theory [Shapiro]
8. Modes of Existence / B. Properties / 11. Properties as Sets
Logicians use 'property' and 'set' interchangeably, with little hanging on it [Shapiro]
12. Knowledge Sources / E. Direct Knowledge / 2. Intuition
We often trust our intuitions as rational, despite their lack of reflection [Solomon]
15. Nature of Minds / C. Capacities of Minds / 1. Faculties
Distinguishing reason from passion is based on an archaic 'faculty' theory [Solomon]
18. Thought / A. Modes of Thought / 3. Emotions / a. Nature of emotions
I say bodily chemistry and its sensations have nothing to do with emotions [Solomon]
Emotions are judgements about ourselves, and our place in the world [Solomon]
The heart of an emotion is its judgement of values and morality [Solomon]
Emotions are defined by their objects [Solomon]
Emotions can be analysed under fifteen headings [Solomon]
18. Thought / A. Modes of Thought / 3. Emotions / b. Types of emotion
Some emotions are externally directed, others internally [Solomon]
18. Thought / A. Modes of Thought / 3. Emotions / c. Role of emotions
The passions are subjective, concerning what is important to me, rather than facts [Solomon]
Emotions are strategies for maximising our sense of dignity and self-esteem [Solomon]
Passions exist as emotions, moods and desires, which all generate meaning [Solomon]
The Myth of the Passions says they are irrational, uncontrolled and damaging [Solomon]
Which emotions we feel depends on our sense of our own powers [Solomon]
It is only our passions which give our lives meaning [Solomon]
18. Thought / A. Modes of Thought / 3. Emotions / d. Emotional feeling
Feeling is a superficial aspect of emotion, and may be indeterminate, or even absent [Solomon]
18. Thought / A. Modes of Thought / 3. Emotions / e. Basic emotions
There are no 'basic' emotions, only socially prevalent ones [Solomon]
18. Thought / A. Modes of Thought / 3. Emotions / f. Emotion and reason
It is reason which needs the anchorage of passions, rather than vice versa [Solomon]
Dividing ourselves into confrontational reason and passion destroys our harmonious whole [Solomon]
The supposed irrationality of our emotions is often tactless or faulty expression of them [Solomon]
22. Metaethics / B. Value / 1. Nature of Value / d. Subjective value
Emotions are our life force, and the source of most of our values [Solomon]
22. Metaethics / B. Value / 2. Values / g. Love
Lovers adopt the interests of their beloved, rather than just valuing them [Solomon]
23. Ethics / F. Existentialism / 2. Nihilism
'Absurdity' is just the result of our wrong choices in life [Solomon]
24. Political Theory / D. Ideologies / 1. Ideology
Ideologies are mythologies which guide our actions [Solomon]