Combining Texts

All the ideas for 'General Draft', 'The History of the Jews' and 'First-order Logic, 2nd-order, Completeness'

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

28 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / a. Philosophy as worldly
22026 Philosophy is homesickness - the urge to be at home everywhere [Novalis]
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]
15. Nature of Minds / C. Capacities of Minds / 6. Idealisation
19591 Desire for perfection is an illness, if it turns against what is imperfect [Novalis]
24. Political Theory / D. Ideologies / 10. Theocracy
7337 In Mosaic legal theory, crimes are sins and sins are crimes [Johnson,P]
7339 Because human life is what is sacred, Mosaic law has no death penalty for property violations [Johnson,P]
25. Social Practice / A. Freedoms / 1. Slavery
7353 The Pharisees undermined slavery, by giving slaves responsibility and status in law courts [Johnson,P]
25. Social Practice / B. Equalities / 3. Legal equality
7340 Mosaic law was the first to embody the rule of law, and equality before the law [Johnson,P]
25. Social Practice / F. Life Issues / 1. Causing Death
7338 Man's life is sacred, because it is made in God's image [Johnson,P]
29. Religion / A. Polytheistic Religion / 2. Greek Polytheism
7348 The Jews sharply distinguish human and divine, but the Greeks pull them closer together [Johnson,P]
29. Religion / B. Monotheistic Religion / 2. Judaism
7336 A key moment is the idea of a single moral God, who imposes his morality on humanity [Johnson,P]
7341 Sampson illustrates the idea that religious heroes often begin as outlaws and semi-criminals [Johnson,P]
7342 Isaiah moved Israelite religion away from the local, onto a more universal plane [Johnson,P]
7355 The Torah pre-existed creation, and was its blueprint [Johnson,P]
7344 Judaism involves circumcision, Sabbath, Passover, Pentecost, Tabernacles, New Year, and Atonement [Johnson,P]
7345 In exile the Jews became a nomocracy [Johnson,P]
29. Religion / B. Monotheistic Religion / 3. Zoroastrianism
7347 Zoroastrians believed in one eternal beneficent being, Creator through the holy spirit [Johnson,P]
29. Religion / D. Religious Issues / 2. Immortality / a. Immortality
7349 Immortality based on judgement of merit was developed by the Egyptians (not the Jews) [Johnson,P]
7354 The main doctrine of the Pharisees was belief in resurrection and the afterlife [Johnson,P]
29. Religion / D. Religious Issues / 2. Immortality / d. Heaven
7356 Pious Jews saw heaven as a vast library [Johnson,P]