Combining Texts

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

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


28 ideas

4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
The Barcan Formulas express how to combine modal operators with classical quantifiers [Simchen]
The Barcan Formulas are orthodox, but clash with the attractive Actualist view [Simchen]
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
Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner]
'Reflection principles' say the whole truth about sets can't be captured [Koellner]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
We have no argument to show a statement is absolutely undecidable [Koellner]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
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
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
Arithmetical undecidability is always settled at the next stage up [Koellner]
10. Modality / E. Possible worlds / 1. Possible Worlds / d. Possible worlds actualism
Serious Actualism says there are no facts at all about something which doesn't exist [Simchen]
16. Persons / A. Concept of a Person / 3. Persons as Reasoners
Self is the rider, intellect the charioteer, mind the reins, and body the chariot [Anon (Upan)]
16. Persons / C. Self-Awareness / 2. Knowing the Self
We have an apparent and a true self; only the second one exists, and we must seek to know it [Anon (Upan)]
18. Thought / D. Concepts / 5. Concepts and Language / a. Concepts and language
Without speech we cannot know right/wrong, true/false, good/bad, or pleasant/unpleasant [Anon (Upan)]
22. Metaethics / C. The Good / 3. Pleasure / c. Value of pleasure
The wise prefer good to pleasure; the foolish are drawn to pleasure by desire [Anon (Upan)]
25. Social Practice / E. Policies / 5. Education / c. Teaching
Let your teacher be a god to you [Anon (Upan)]
26. Natural Theory / B. Natural Kinds / 2. Defining Kinds
By knowing one piece of clay or gold, you know all of clay or gold [Anon (Upan)]
27. Natural Reality / E. Cosmology / 2. Eternal Universe
Originally there must have been just Existence, which could not come from non-existence [Anon (Upan)]
28. God / A. Divine Nature / 1. God
Brahma, supreme god and protector of the universe, arose from the ocean of existence [Anon (Upan)]
28. God / B. Proving God / 3. Proofs of Evidence / a. Cosmological Proof
Brahman is the Uncaused Cause [Anon (Upan)]
28. God / C. Attitudes to God / 2. Pantheism
Earth, food, fire, sun are all forms of Brahman [Anon (Upan)]
29. Religion / A. Polytheistic Religion / 3. Hinduism
The gods are not worshipped for their own sake, but for the sake of the Self [Anon (Upan)]
A man with desires is continually reborn, until his desires are stilled [Anon (Upan)]
Damayata - be self-controlled! Datta - be charitable! Dayadhwam - be compassionate! [Anon (Upan)]
Those ignorant of Atman return as animals or plants, according to their merits [Anon (Upan)]
29. Religion / D. Religious Issues / 1. Religious Commitment / a. Religious Belief
Charity and ritual observance distract from the highest good of religion [Anon (Upan)]
29. Religion / D. Religious Issues / 1. Religious Commitment / e. Fideism
Do not seek to know Brahman by arguments, for arguments are idle and vain [Anon (Upan)]
29. Religion / D. Religious Issues / 2. Immortality / b. Soul
The immortal in us is the part that never sleeps, and shapes our dreams [Anon (Upan)]
The immortal Self and the sad individual self are like two golden birds perched on one tree [Anon (Upan)]