Combining Texts

All the ideas for '27: Book of Daniel', 'First-Order Logic' and 'The Theodicy'

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

25 ideas

2. Reason / A. Nature of Reason / 3. Pure Reason
19335 Reasonings have a natural ordering in God's understanding, but only a temporal order in ours [Leibniz]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
10282 Logic is the study of sound argument, or of certain artificial languages (or applying the latter to the former) [Hodges,W]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
10283 A formula needs an 'interpretation' of its constants, and a 'valuation' of its variables [Hodges,W]
10284 There are three different standard presentations of semantics [Hodges,W]
10285 I |= φ means that the formula φ is true in the interpretation I [Hodges,W]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
10288 Down Löwenheim-Skolem: if a countable language has a consistent theory, that has a countable model [Hodges,W]
10289 Up Löwenheim-Skolem: if infinite models, then arbitrarily large models [Hodges,W]
5. Theory of Logic / K. Features of Logics / 6. Compactness
10287 If a first-order theory entails a sentence, there is a finite subset of the theory which entails it [Hodges,W]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
10286 A 'set' is a mathematically well-behaved class [Hodges,W]
16. Persons / F. Free Will / 5. Against Free Will
19367 Saying we must will whatever we decide to will leads to an infinite regress [Leibniz]
17. Mind and Body / A. Mind-Body Dualism / 5. Parallelism
19351 Perfections of soul subordinate the body, but imperfections of soul submit to the body [Leibniz]
20. Action / B. Preliminaries of Action / 2. Willed Action / a. Will to Act
19331 Will is an inclination to pursue something good [Leibniz]
22. Metaethics / B. Value / 2. Values / e. Death
19346 Most people facing death would happily re-live a similar life, with just a bit of variety [Leibniz]
22. Metaethics / B. Value / 2. Values / j. Evil
19340 Metaphysical evil is imperfection; physical evil is suffering; moral evil is sin [Leibniz]
22. Metaethics / C. The Good / 1. Goodness / g. Consequentialism
19366 You can't assess moral actions without referring to the qualities of character that produce them [Leibniz]
28. God / A. Divine Nature / 2. Divine Nature
19326 God must be intelligible, to select the actual world from the possibilities [Leibniz]
28. God / A. Divine Nature / 3. Divine Perfections
19327 The intelligent cause must be unique and all-perfect, to handle all the interconnected possibilities [Leibniz]
28. God / A. Divine Nature / 6. Divine Morality / a. Divine morality
19344 God prefers men to lions, but might not exterminate lions to save one man [Leibniz]
28. God / A. Divine Nature / 6. Divine Morality / b. Euthyphro question
19330 If justice is arbitrary, or fixed but not observed, or not human justice, this undermines God [Leibniz]
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
19325 God is the first reason of things; our experiences are contingent, and contain no necessity [Leibniz]
28. God / B. Proving God / 3. Proofs of Evidence / b. Teleological Proof
19329 The laws of physics are wonderful evidence of an intelligent and free being [Leibniz]
29. Religion / D. Religious Issues / 1. Religious Commitment / a. Religious Belief
19437 Prayers are useful, because God foresaw them in his great plan [Leibniz]
29. Religion / D. Religious Issues / 2. Immortality / a. Immortality
7482 Resurrection developed in Judaism as a response to martyrdoms, in about 160 BCE [Anon (Dan), by Watson]
29. Religion / D. Religious Issues / 3. Problem of Evil / a. Problem of Evil
19345 Being confident of God's goodness, we disregard the apparent local evils in the visible world [Leibniz]
19337 How can an all-good, wise and powerful being allow evil, sin and apparent injustice? [Leibniz]