60 ideas
9847 | A contextual definition permits the elimination of the expression by a substitution [Dummett] |
9820 | In classical logic, logical truths are valid formulas; in higher-order logics they are purely logical [Dummett] |
8729 | Intuitionists deny excluded middle, because it is committed to transcendent truth or objects [Shapiro] |
9896 | A prime number is one which is measured by a unit alone [Dummett] |
8763 | The number 3 is presumably identical as a natural, an integer, a rational, a real, and complex [Shapiro] |
18255 | Addition of quantities is prior to ordering, as shown in cyclic domains like angles [Dummett] |
18249 | Cauchy gave a formal definition of a converging sequence. [Shapiro] |
9895 | A number is a multitude composed of units [Dummett] |
9852 | We understand 'there are as many nuts as apples' as easily by pairing them as by counting them [Dummett] |
8764 | Categories are the best foundation for mathematics [Shapiro] |
8762 | Two definitions of 3 in terms of sets disagree over whether 1 is a member of 3 [Shapiro] |
8760 | Numbers do not exist independently; the essence of a number is its relations to other numbers [Shapiro] |
8761 | A 'system' is related objects; a 'pattern' or 'structure' abstracts the pure relations from them [Shapiro] |
9829 | The identity of a number may be fixed by something outside structure - by counting [Dummett] |
9828 | Numbers aren't fixed by position in a structure; it won't tell you whether to start with 0 or 1 [Dummett] |
9876 | Set theory isn't part of logic, and why reduce to something more complex? [Dummett] |
8744 | Logicism seems to be a non-starter if (as is widely held) logic has no ontology of its own [Shapiro] |
8749 | Term Formalism says mathematics is just about symbols - but real numbers have no names [Shapiro] |
8750 | Game Formalism is just a matter of rules, like chess - but then why is it useful in science? [Shapiro] |
8752 | Deductivism says mathematics is logical consequences of uninterpreted axioms [Shapiro] |
8753 | Critics resent the way intuitionism cripples mathematics, but it allows new important distinctions [Shapiro] |
8731 | Conceptualist are just realists or idealist or nominalists, depending on their view of concepts [Shapiro] |
8730 | 'Impredicative' definitions refer to the thing being described [Shapiro] |
9884 | The distinction of concrete/abstract, or actual/non-actual, is a scale, not a dichotomy [Dummett] |
9869 | Realism is just the application of two-valued semantics to sentences [Dummett] |
9880 | Nominalism assumes unmediated mental contact with objects [Dummett] |
9885 | The existence of abstract objects is a pseudo-problem [Dummett] |
9858 | Abstract objects nowadays are those which are objective but not actual [Dummett] |
9859 | It is absurd to deny the Equator, on the grounds that it lacks causal powers [Dummett] |
9860 | 'We've crossed the Equator' has truth-conditions, so accept the Equator - and it's an object [Dummett] |
9872 | Abstract objects need the context principle, since they can't be encountered directly [Dummett] |
9848 | Content is replaceable if identical, so replaceability can't define identity [Dummett, by Dummett] |
9842 | Frege introduced criteria for identity, but thought defining identity was circular [Dummett] |
8725 | Rationalism tries to apply mathematical methodology to all of knowledge [Shapiro] |
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)] |
9849 | Maybe a concept is 'prior' to another if it can be defined without the second concept [Dummett] |
9850 | An argument for conceptual priority is greater simplicity in explanation [Dummett] |
8155 | Without speech we cannot know right/wrong, true/false, good/bad, or pleasant/unpleasant [Anon (Upan)] |
9873 | Abstract terms are acceptable as long as we know how they function linguistically [Dummett] |
9993 | There is no reason why abstraction by equivalence classes should be called 'logical' [Dummett, by Tait] |
9857 | We arrive at the concept 'suicide' by comparing 'Cato killed Cato' with 'Brutus killed Brutus' [Dummett] |
9833 | To abstract from spoons (to get the same number as the forks), the spoons must be indistinguishable too [Dummett] |
9836 | Fregean semantics assumes a domain articulated into individual objects [Dummett] |
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)] |
18257 | Why should the limit of measurement be points, not intervals? [Dummett] |
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)] |
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)] |
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)] |