Combining Texts

All the ideas for 'The Bhagavad Gita', 'Proslogion' and 'On Second-Order Logic'

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


28 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
Serene wisdom is freedom from ties, and indifference to fortune [Anon (Bhag)]
2. Reason / A. Nature of Reason / 7. Status of Reason
Seek salvation in the wisdom of reason [Anon (Bhag)]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley]
Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos]
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
A sentence can't be a truth of logic if it asserts the existence of certain sets [Boolos]
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
'∀x x=x' only means 'everything is identical to itself' if the range of 'everything' is fixed [Boolos]
5. Theory of Logic / K. Features of Logics / 4. Completeness
Weak completeness: if it is valid, it is provable. Strong: it is provable from a set of sentences [Boolos]
5. Theory of Logic / K. Features of Logics / 6. Compactness
Why should compactness be definitive of logic? [Boolos, by Hacking]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / e. Peano arithmetic 2nd-order
Many concepts can only be expressed by second-order logic [Boolos]
8. Modes of Existence / D. Universals / 6. Platonic Forms / a. Platonic Forms
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
In all living beings I am the light of consciousness, says Krishna [Anon (Bhag)]
20. Action / A. Definition of Action / 1. Action Theory
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
Hate and lust have their roots in man's lower nature [Anon (Bhag)]
25. Social Practice / E. Policies / 1. War / a. Just wars
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
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
Everything, including the gods, comes from me, says Krishna [Anon (Bhag)]
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
An existing thing is even greater if its non-existence is inconceivable [Anselm]
Conceiving a greater being than God leads to absurdity [Anselm]
Even the fool can hold 'a being than which none greater exists' in his understanding [Anselm]
If that than which a greater cannot be thought actually exists, that is greater than the mere idea [Anselm]
A perfection must be independent and unlimited, and the necessary existence of Anselm's second proof gives this [Malcolm on Anselm]
The word 'God' can be denied, but understanding shows God must exist [Anselm]
Guanilo says a supremely fertile island must exist, just because we can conceive it [Anselm]
Nonexistence is impossible for the greatest thinkable thing, which has no beginning or end [Anselm]
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
Anselm's first proof fails because existence isn't a real predicate, so it can't be a perfection [Malcolm on Anselm]
29. Religion / A. Polytheistic Religion / 3. Hinduism
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
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
The three gates of hell are lust, anger and greed [Anon (Bhag)]