Combining Texts

All the ideas for 'fragments/reports', 'Eight Theories of Ethics' and 'First-order Logic, 2nd-order, Completeness'

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

26 ideas

5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10757 Henkin semantics has a second domain of predicates and relations (in upper case) [Rossberg]
10751 Second-order logic needs the sets, and its consequence has epistemological problems [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]
13. Knowledge Criteria / E. Relativism / 3. Subjectivism
6685 'Subjectivism' is an extension of relativism from the social group to the individual [Graham]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / g. Moral responsibility
6699 The chain of consequences may not be the same as the chain of responsibility [Graham]
22. Metaethics / C. The Good / 1. Goodness / g. Consequentialism
6698 Negative consequences are very hard (and possibly impossible) to assess [Graham]
22. Metaethics / C. The Good / 1. Goodness / i. Moral luck
6700 We can't criticise people because of unforeseeable consequences [Graham]
23. Ethics / A. Egoism / 1. Ethical Egoism
6704 Egoism submits to desires, but cannot help form them [Graham]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / h. Right feelings
6701 Rescue operations need spontaneous benevolence, not careful thought [Graham]
23. Ethics / D. Deontological Ethics / 4. Categorical Imperative
6693 'What if everybody did that?' rather misses the point as an objection to cheating [Graham]
23. Ethics / F. Existentialism / 1. Existentialism
6691 It is more plausible to say people can choose between values, than that they can create them [Graham]
23. Ethics / F. Existentialism / 2. Nihilism
6688 Life is only absurd if you expected an explanation and none turns up [Graham]
23. Ethics / F. Existentialism / 5. Existence-Essence
6705 Existentialism may transcend our nature, unlike eudaimonism [Graham]
23. Ethics / F. Existentialism / 6. Authentic Self
6690 A standard problem for existentialism is the 'sincere Nazi' [Graham]
23. Ethics / F. Existentialism / 7. Existential Action
6689 The key to existentialism: the way you make choices is more important than what you choose [Graham]
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
1748 Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius]
27. Natural Reality / G. Biology / 3. Evolution
5989 Archelaus said life began in a primeval slime [Archelaus, by Schofield]
29. Religion / D. Religious Issues / 1. Religious Commitment / a. Religious Belief
6706 The great religions are much more concerned with the religious life than with ethics [Graham]
29. Religion / D. Religious Issues / 2. Immortality / a. Immortality
6709 Western religion saves us from death; Eastern religion saves us from immortality [Graham]