Combining Texts

All the ideas for 'The Bhagavad Gita', 'Demonstratives' and 'Model Theory'

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

22 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
7990 Serene wisdom is freedom from ties, and indifference to fortune [Anon (Bhag)]
2. Reason / A. Nature of Reason / 7. Status of Reason
7989 Seek salvation in the wisdom of reason [Anon (Bhag)]
2. Reason / D. Definition / 7. Contextual Definition
10476 The idea that groups of concepts could be 'implicitly defined' was abandoned [Hodges,W]
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
10478 Since first-order languages are complete, |= and |- have the same meaning [Hodges,W]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
10477 |= in model-theory means 'logical consequence' - it holds in all models [Hodges,W]
5. Theory of Logic / I. Semantics of Logic / 4. Satisfaction
10474 |= should be read as 'is a model for' or 'satisfies' [Hodges,W]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
10473 Model theory studies formal or natural language-interpretation using set-theory [Hodges,W]
10475 A 'structure' is an interpretation specifying objects and classes of quantification [Hodges,W]
10481 Models in model theory are structures, not sets of descriptions [Hodges,W]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
10480 First-order logic can't discriminate between one infinite cardinal and another [Hodges,W]
8. Modes of Existence / D. Universals / 6. Platonic Forms / a. Platonic Forms
7996 I am all the beauty and goodness of things, says Krishna [Anon (Bhag)]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / a. Consciousness
7995 In all living beings I am the light of consciousness, says Krishna [Anon (Bhag)]
19. Language / C. Assigning Meanings / 10. Two-Dimensional Semantics
14894 Indexicals have a 'character' (the standing meaning), and a 'content' (truth-conditions for one context) [Kaplan, by Macià/Garcia-Carpentiro]
14700 'Content' gives the standard modal profile, and 'character' gives rules for a context [Kaplan, by Schroeter]
20. Action / A. Definition of Action / 1. Action Theory
7999 All actions come from: body, lower self, perception, means of action, or Fate [Anon (Bhag)]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
7991 Hate and lust have their roots in man's lower nature [Anon (Bhag)]
25. Social Practice / E. Policies / 1. War / a. Just wars
7988 There is no greater good for a warrior than to fight in a just war [Anon (Bhag)]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / f. Ancient elements
7992 The visible forms of nature are earth, water, fire, air, ether; mind, reason, and the sense of 'I' [Anon (Bhag)]
28. God / A. Divine Nature / 1. God
7994 Everything, including the gods, comes from me, says Krishna [Anon (Bhag)]
29. Religion / A. Polytheistic Religion / 3. Hinduism
7993 Brahman is supreme, Atman his spirit in man, and Karma is the force of creation [Anon (Bhag)]
29. Religion / D. Religious Issues / 1. Religious Commitment / e. Fideism
7997 Only by love can men see me, know me, and come to me, says Krishna [Anon (Bhag)]
29. Religion / D. Religious Issues / 2. Immortality / e. Hell
7998 The three gates of hell are lust, anger and greed [Anon (Bhag)]