Combining Texts

All the ideas for 'On the Question of Absolute Undecidability', 'The Barcan Formula and Metaphysics' and 'The History of the Jews'

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

26 ideas

4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
16186 The Barcan Formulas express how to combine modal operators with classical quantifiers [Simchen]
16187 The Barcan Formulas are orthodox, but clash with the attractive Actualist view [Simchen]
16190 BF implies that if W possibly had a child, then something is possibly W's child [Simchen]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
17884 Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner]
17893 'Reflection principles' say the whole truth about sets can't be captured [Koellner]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
17894 We have no argument to show a statement is absolutely undecidable [Koellner]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
17890 There are at least eleven types of large cardinal, of increasing logical strength [Koellner]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / d. Peano arithmetic
17887 PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
17891 Arithmetical undecidability is always settled at the next stage up [Koellner]
10. Modality / E. Possible worlds / 1. Possible Worlds / d. Possible worlds actualism
16188 Serious Actualism says there are no facts at all about something which doesn't exist [Simchen]
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]