35 ideas
| 8952 | We reach 'reflective equilibrium' when intuitions and theory completely align [Fisher] |
| 8943 | Three-valued logic says excluded middle and non-contradition are not tautologies [Fisher] |
| 8945 | Fuzzy logic has many truth values, ranging in fractions from 0 to 1 [Fisher] |
| 15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
| 15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
| 15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
| 15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
| 8951 | Classical logic is: excluded middle, non-contradiction, contradictions imply all, disjunctive syllogism [Fisher] |
| 11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
| 8950 | Logic formalizes how we should reason, but it shouldn't determine whether we are realists [Fisher] |
| 11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
| 8946 | We could make our intuitions about heaps precise with a million-valued logic [Fisher] |
| 8944 | Vagueness can involve components (like baldness), or not (like boredom) [Fisher] |
| 8941 | We can't explain 'possibility' in terms of 'possible' worlds [Fisher] |
| 8947 | If all truths are implied by a falsehood, then not-p might imply both q and not-q [Fisher] |
| 8949 | In relevance logic, conditionals help information to flow from antecedent to consequent [Fisher] |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| 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)] |
| 8155 | Without speech we cannot know right/wrong, true/false, good/bad, or pleasant/unpleasant [Anon (Upan)] |
| 8142 | The wise prefer good to pleasure; the foolish are drawn to pleasure by desire [Anon (Upan)] |
| 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)] |