Combining Texts

All the ideas for 'Through the Looking Glass', 'works' and 'The History of the Jews'

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

22 ideas

5. Theory of Logic / A. Overview of Logic / 2. History of Logic
11022 Gentzen introduced a natural deduction calculus (NK) in 1934 [Gentzen, by Read]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
11065 The inferential role of a logical constant constitutes its meaning [Gentzen, by Hanna]
11023 The logical connectives are 'defined' by their introduction rules [Gentzen]
11213 Each logical symbol has an 'introduction' rule to define it, and hence an 'elimination' rule [Gentzen]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
10067 Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic [Gentzen, by Musgrave]
7. Existence / A. Nature of Existence / 3. Being / e. Being and nothing
21982 I only wish I had such eyes as to see Nobody! It's as much as I can do to see real people. [Carroll,L]
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]
7345 In exile the Jews became a nomocracy [Johnson,P]
7344 Judaism involves circumcision, Sabbath, Passover, Pentecost, Tabernacles, New Year, and Atonement [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]