78 ideas
24084 | Seeing with other eyes is more egoism, but exploring other perspectives leads to objectivity [Nietzsche] |
9847 | A contextual definition permits the elimination of the expression by a substitution [Dummett] |
24092 | I tell the truth, even if it is repulsive [Nietzsche] |
24114 | The pain in truth is when it destroys a belief [Nietzsche] |
24104 | We don't create logic, time and space! The mind obeys laws because they are true [Nietzsche] |
7785 | The use of plurals doesn't commit us to sets; there do not exist individuals and collections [Boolos] |
10699 | Does a bowl of Cheerios contain all its sets and subsets? [Boolos] |
9820 | In classical logic, logical truths are valid formulas; in higher-order logics they are purely logical [Dummett] |
10225 | Monadic second-order logic might be understood in terms of plural quantifiers [Boolos, by Shapiro] |
10736 | Boolos showed how plural quantifiers can interpret monadic second-order logic [Boolos, by Linnebo] |
10780 | Any sentence of monadic second-order logic can be translated into plural first-order logic [Boolos, by Linnebo] |
10697 | Identity is clearly a logical concept, and greatly enhances predicate calculus [Boolos] |
13671 | Second-order quantifiers are just like plural quantifiers in ordinary language, with no extra ontology [Boolos, by Shapiro] |
10267 | We should understand second-order existential quantifiers as plural quantifiers [Boolos, by Shapiro] |
10698 | Plural forms have no more ontological commitment than to first-order objects [Boolos] |
7806 | Boolos invented plural quantification [Boolos, by Benardete,JA] |
9896 | A prime number is one which is measured by a unit alone [Dummett] |
18255 | Addition of quantities is prior to ordering, as shown in cyclic domains like angles [Dummett] |
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] |
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] |
24112 | To think about being we must have an opinion about what it is [Nietzsche] |
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] |
10700 | First- and second-order quantifiers are two ways of referring to the same things [Boolos] |
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] |
24089 | Essences are fictions needed for beings who represent things [Nietzsche] |
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] |
24115 | There is no proof that we forget things - only that we can't recall [Nietzsche] |
24090 | Our inclinations would not conflict if we were a unity; we imagine unity for our multiplicity [Nietzsche] |
24099 | We contain many minds, which fight for the 'I' of the mind [Nietzsche] |
24102 | Thoughts are signs (just as words are) [Nietzsche] |
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] |
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] |
24120 | Great orators lead their arguments, rather than following them [Nietzsche] |
24097 | The pragmatics of language is more comprehensible than the meaning [Nietzsche] |
24108 | Actions are just a release of force. They seize on something, which becomes the purpose [Nietzsche] |
24105 | Drives make us feel non-feelings; Will is the effect of those feelings [Nietzsche] |
24117 | We need lower and higher drives, but they must be under firm control [Nietzsche] |
24113 | Our motives don't explain our actions [Nietzsche] |
24087 | People who miss beauty seek the sublime, where even the ugly shows its 'beauty' [Nietzsche] |
24091 | The sublimity of nature which dwarfs us was a human creation [Nietzsche] |
24093 | We can aspire to greatness by creating new functions for ourselves [Nietzsche] |
24121 | Greeks might see modern analysis of what is human as impious [Nietzsche] |
24107 | Once a drive controls the intellect, it rules, and sets the goals [Nietzsche] |
24085 | For absolute morality a goal for mankind is needed [Nietzsche] |
24101 | We always assign values, but we may not value those values [Nietzsche] |
24094 | Humans are vividly aware of short-term effects, and almost ignorant of the long-term ones [Nietzsche] |
24111 | Happiness is the active equilibrium of our drives [Nietzsche] |
24109 | Actual morality is more complicated and subtle than theory (which gets paralysed) [Nietzsche] |
24110 | Some things we would never do, even for the highest ideals [Nietzsche] |
24103 | You should not want too many virtues; one is enough [Nietzsche] |
24106 | Talk of 'utility' presupposes that what is useful to people has been defined [Nietzsche] |
24086 | The goal is to settle human beings, like other animals, but humans are still changeable [Nietzsche] |
24123 | My eternal recurrence is opposed to feeling fragmented and imperfect [Nietzsche] |
24088 | See our present lives as eternal! Religions see it as fleeting, and aim at some different life [Nietzsche] |
24119 | The eternal return of wastefulness is a terrible thought [Nietzsche] |
24116 | Justice says people are not equal, and should become increasingly unequal [Nietzsche] |
24098 | Reasons that justify punishment can also justify the crime [Nietzsche] |
24118 | Do away with punishment. Counter-retribution is as bad as the crime [Nietzsche] |
24100 | If you don't want war, remove your borders; but you set up borders because you want war [Nietzsche] |
24095 | Our growth is too subtle to perceive, and long events are too slow for us to grasp [Nietzsche] |
24096 | Unlike time, space is subjective. Empty space was assumed, but it doesn't exist [Nietzsche] |
18257 | Why should the limit of measurement be points, not intervals? [Dummett] |
24122 | Life is forces conjoined by nutrition, to produce resistance, arrangement and value [Nietzsche] |