46 ideas
23948 | Wisdom needs both thought and passion, with each reflecting on the other [Solomon] |
23942 | Philosophy is creating an intellectual conceptual structure for life [Solomon] |
23945 | Reason is actually passions, guided by perspicacious reflection [Solomon] |
13520 | A 'tautology' must include connectives [Wolf,RS] |
13524 | Deduction Theorem: T∪{P}|-Q, then T|-(P→Q), which justifies Conditional Proof [Wolf,RS] |
13522 | Universal Generalization: If we prove P(x) with no special assumptions, we can conclude ∀xP(x) [Wolf,RS] |
13521 | Universal Specification: ∀xP(x) implies P(t). True for all? Then true for an instance [Wolf,RS] |
13523 | Existential Generalization (or 'proof by example'): if we can say P(t), then we can say something is P [Wolf,RS] |
13529 | Empty Set: ∃x∀y ¬(y∈x). The unique empty set exists [Wolf,RS] |
13526 | Comprehension Axiom: if a collection is clearly specified, it is a set [Wolf,RS] |
13534 | In first-order logic syntactic and semantic consequence (|- and |=) nicely coincide [Wolf,RS] |
13535 | First-order logic is weakly complete (valid sentences are provable); we can't prove every sentence or its negation [Wolf,RS] |
13531 | Model theory reveals the structures of mathematics [Wolf,RS] |
13532 | Model theory 'structures' have a 'universe', some 'relations', some 'functions', and some 'constants' [Wolf,RS] |
13519 | Model theory uses sets to show that mathematical deduction fits mathematical truth [Wolf,RS] |
13533 | First-order model theory rests on completeness, compactness, and the Löwenheim-Skolem-Tarski theorem [Wolf,RS] |
13537 | An 'isomorphism' is a bijection that preserves all structural components [Wolf,RS] |
13539 | The LST Theorem is a serious limitation of first-order logic [Wolf,RS] |
13538 | If a theory is complete, only a more powerful language can strengthen it [Wolf,RS] |
13525 | Most deductive logic (unlike ordinary reasoning) is 'monotonic' - we don't retract after new givens [Wolf,RS] |
13530 | An ordinal is an equivalence class of well-orderings, or a transitive set whose members are transitive [Wolf,RS] |
13518 | Modern mathematics has unified all of its objects within set theory [Wolf,RS] |
23957 | We often trust our intuitions as rational, despite their lack of reflection [Solomon] |
21799 | We just use the word 'faculty' when we don't know the psychological cause [Galen] |
23943 | Distinguishing reason from passion is based on an archaic 'faculty' theory [Solomon] |
23952 | I say bodily chemistry and its sensations have nothing to do with emotions [Solomon] |
23954 | Emotions are judgements about ourselves, and our place in the world [Solomon] |
23960 | Emotions are defined by their objects [Solomon] |
23961 | The heart of an emotion is its judgement of values and morality [Solomon] |
23965 | Emotions can be analysed under fifteen headings [Solomon] |
23959 | Some emotions are externally directed, others internally [Solomon] |
23936 | It is only our passions which give our lives meaning [Solomon] |
23963 | Which emotions we feel depends on our sense of our own powers [Solomon] |
23946 | The passions are subjective, concerning what is important to me, rather than facts [Solomon] |
23940 | Emotions are strategies for maximising our sense of dignity and self-esteem [Solomon] |
23949 | Passions exist as emotions, moods and desires, which all generate meaning [Solomon] |
23956 | The Myth of the Passions says they are irrational, uncontrolled and damaging [Solomon] |
23953 | Feeling is a superficial aspect of emotion, and may be indeterminate, or even absent [Solomon] |
23964 | There are no 'basic' emotions, only socially prevalent ones [Solomon] |
23937 | It is reason which needs the anchorage of passions, rather than vice versa [Solomon] |
23947 | Dividing ourselves into confrontational reason and passion destroys our harmonious whole [Solomon] |
23958 | The supposed irrationality of our emotions is often tactless or faulty expression of them [Solomon] |
23944 | Emotions are our life force, and the source of most of our values [Solomon] |
23962 | Lovers adopt the interests of their beloved, rather than just valuing them [Solomon] |
23941 | 'Absurdity' is just the result of our wrong choices in life [Solomon] |
23955 | Ideologies are mythologies which guide our actions [Solomon] |