44 ideas
20320 | Truth is what unites, and the profound truths create a community [Jaspers] |
7798 | There are three axiom schemas for propositional logic [Girle] |
7786 | Propositional logic handles negation, disjunction, conjunction; predicate logic adds quantifiers, predicates, relations [Girle] |
7799 | Proposition logic has definitions for its three operators: or, and, and identical [Girle] |
7797 | Axiom systems of logic contain axioms, inference rules, and definitions of proof and theorems [Girle] |
7794 | There are seven modalities in S4, each with its negation [Girle] |
7793 | ◊p → □◊p is the hallmark of S5 [Girle] |
7795 | S5 has just six modalities, and all strings can be reduced to those [Girle] |
7787 | Possible worlds logics use true-in-a-world rather than true [Girle] |
7796 | Modal logics were studied in terms of axioms, but now possible worlds semantics is added [Girle] |
7788 | Modal logic has four basic modal negation equivalences [Girle] |
7789 | Necessary implication is called 'strict implication'; if successful, it is called 'entailment' [Girle] |
7790 | If an argument is invalid, a truth tree will indicate a counter-example [Girle] |
7800 | Analytic truths are divided into logically and conceptually necessary [Girle] |
7801 | Possibilities can be logical, theoretical, physical, economic or human [Girle] |
7792 | A world has 'access' to a world it generates, which is important in possible worlds semantics [Girle] |
8143 | Self is the rider, intellect the charioteer, mind the reins, and body the chariot [Anon (Upan)] |
8147 | We have an apparent and a true self; only the second one exists, and we must seek to know it [Anon (Upan)] |
20323 | Freedom needs knowledge, the possibility of arbitrariness, and law [Jaspers] |
20322 | I am aware that freedom is possible, and the freedom is not in theory, but in seeking freedom [Jaspers] |
8155 | Without speech we cannot know right/wrong, true/false, good/bad, or pleasant/unpleasant [Anon (Upan)] |
20324 | My freedom increases as I broaden my vision of possiblities and motives [Jaspers] |
8142 | The wise prefer good to pleasure; the foolish are drawn to pleasure by desire [Anon (Upan)] |
20321 | The struggle for Existenz is between people who are equals, and are utterly honest [Jaspers] |
20318 | My helplessness in philosophising reveals my being, and begins its upsurge [Jaspers] |
20325 | Once we grasp freedom 'from' things, then freedom 'for' things becomes urgent [Jaspers] |
20315 | 'Existenz' is the potential being, which I could have, and ought to have [Jaspers] |
20317 | Mundane existence is general, falling under universals, but Existens is unique to individuals [Jaspers] |
20319 | We want the correct grasp on being that is neither solipsism nor absorption in the crowd [Jaspers] |
20316 | Every decision I make moves towards or away from fulfilled Existenz [Jaspers] |
8151 | Let your teacher be a god to you [Anon (Upan)] |
8153 | By knowing one piece of clay or gold, you know all of clay or gold [Anon (Upan)] |
8154 | Originally there must have been just Existence, which could not come from non-existence [Anon (Upan)] |
8148 | Brahma, supreme god and protector of the universe, arose from the ocean of existence [Anon (Upan)] |
8144 | Brahman is the Uncaused Cause [Anon (Upan)] |
8152 | Earth, food, fire, sun are all forms of Brahman [Anon (Upan)] |
8159 | Damayata - be self-controlled! Datta - be charitable! Dayadhwam - be compassionate! [Anon (Upan)] |
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)] |
8145 | Those ignorant of Atman return as animals or plants, according to their merits [Anon (Upan)] |
8149 | Charity and ritual observance distract from the highest good of religion [Anon (Upan)] |
8158 | Do not seek to know Brahman by arguments, for arguments are idle and vain [Anon (Upan)] |
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)] |