Combining Texts

All the ideas for 'fragments/reports', 'First-order Logic, 2nd-order, Completeness' and 'The Reasons of Love'

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

27 ideas

5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10751 Second-order logic needs the sets, and its consequence has epistemological problems [Rossberg]
10757 Henkin semantics has a second domain of predicates and relations (in upper case) [Rossberg]
10759 There are at least seven possible systems of semantics for second-order logic [Rossberg]
5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence
10753 Logical consequence is intuitively semantic, and captured by model theory [Rossberg]
5. Theory of Logic / B. Logical Consequence / 3. Deductive Consequence |-
10752 Γ |- S says S can be deduced from Γ; Γ |= S says a good model for Γ makes S true [Rossberg]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
10754 In proof-theory, logical form is shown by the logical constants [Rossberg]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
10756 A model is a domain, and an interpretation assigning objects, predicates, relations etc. [Rossberg]
5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms
10758 If models of a mathematical theory are all isomorphic, it is 'categorical', with essentially one model [Rossberg]
5. Theory of Logic / K. Features of Logics / 4. Completeness
10761 Completeness can always be achieved by cunning model-design [Rossberg]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
10755 A deductive system is only incomplete with respect to a formal semantics [Rossberg]
10. Modality / A. Necessity / 9. Normative Necessity
9240 Love creates a necessity concerning what to care about [Frankfurt]
13. Knowledge Criteria / A. Justification Problems / 3. Internal or External / a. Pro-internalism
604 Knowledge is mind and knowing 'cohabiting' [Lycophron, by Aristotle]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / d. Ethical theory
9228 Ranking order of desires reveals nothing, because none of them may be considered important [Frankfurt]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / b. Rational ethics
9238 Morality isn't based on reason; moral indignation is quite unlike disapproval of irrationality [Frankfurt]
22. Metaethics / B. Value / 1. Nature of Value / d. Subjective value
9232 It is by caring about things that we infuse the world with importance [Frankfurt]
9234 If you don't care about at least one thing, you can't find reasons to care about anything [Frankfurt]
22. Metaethics / B. Value / 1. Nature of Value / f. Ultimate value
9229 What is worthwhile for its own sake alone may be worth very little [Frankfurt]
9233 Our criteria for evaluating how to live offer an answer to the problem [Frankfurt]
22. Metaethics / B. Value / 2. Values / g. Love
9235 Rather than loving things because we value them, I think we value things because we love them [Frankfurt]
9236 Love can be cool, and it may not involve liking its object [Frankfurt]
9237 The paradigm case of pure love is not romantic, but that between parents and infants [Frankfurt]
9239 I value my children for their sake, but I also value my love for them for its own sake [Frankfurt]
22. Metaethics / C. The Good / 2. Happiness / d. Routes to happiness
9227 We might not choose a very moral life, if the character or constitution was deficient [Frankfurt]
22. Metaethics / C. The Good / 3. Pleasure / a. Nature of pleasure
9230 People want to fulfill their desires, but also for their desires to be sustained [Frankfurt]
23. Ethics / A. Egoism / 1. Ethical Egoism
9241 Loving oneself is not a failing, but is essential to a successful life [Frankfurt]
23. Ethics / F. Existentialism / 4. Boredom
9300 Boredom is serious, not just uncomfortable; it threatens our psychic survival [Frankfurt]
25. Social Practice / A. Freedoms / 5. Freedom of lifestyle
9231 Freedom needs autonomy (rather than causal independence) - embracing our own desires and choices [Frankfurt]