Combining Texts

All the ideas for 'The Upanishads', 'Philosophical Explanations' and 'First-Order Logic'

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

28 ideas

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]
11. Knowledge Aims / A. Knowledge / 4. Belief / c. Aim of beliefs
3570 Maybe knowledge is belief which 'tracks' the truth [Nozick, by Williams,M]
13. Knowledge Criteria / C. External Justification / 4. Tracking the Facts
2748 A true belief isn't knowledge if it would be believed even if false. It should 'track the truth' [Nozick, by Dancy,J]
16. Persons / A. Concept of a Person / 3. Persons as Reasoners
8143 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
8147 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
8155 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
8142 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
8151 Let your teacher be a god to you [Anon (Upan)]
26. Natural Theory / B. Natural Kinds / 2. Defining Kinds
8153 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
8154 Originally there must have been just Existence, which could not come from non-existence [Anon (Upan)]
28. God / A. Divine Nature / 1. God
8148 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
8144 Brahman is the Uncaused Cause [Anon (Upan)]
28. God / C. Attitudes to God / 2. Pantheism
8152 Earth, food, fire, sun are all forms of Brahman [Anon (Upan)]
29. Religion / A. Polytheistic Religion / 3. Hinduism
8156 The gods are not worshipped for their own sake, but for the sake of the Self [Anon (Upan)]
8157 A man with desires is continually reborn, until his desires are stilled [Anon (Upan)]
8159 Damayata - be self-controlled! Datta - be charitable! Dayadhwam - be compassionate! [Anon (Upan)]
8145 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
8149 Charity and ritual observance distract from the highest good of religion [Anon (Upan)]
29. Religion / D. Religious Issues / 1. Religious Commitment / e. Fideism
8158 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
8146 The immortal in us is the part that never sleeps, and shapes our dreams [Anon (Upan)]
8150 The immortal Self and the sad individual self are like two golden birds perched on one tree [Anon (Upan)]