30 ideas
10571 | Concern for rigour can get in the way of understanding phenomena [Fine,K] |
9821 | A definition need not capture the sense of an expression - just get the reference right [Frege, by Dummett] |
9585 | Since every definition is an equation, one cannot define equality itself [Frege] |
10565 | There is no stage at which we can take all the sets to have been generated [Fine,K] |
10564 | We might combine the axioms of set theory with the axioms of mereology [Fine,K] |
10569 | If you ask what F the second-order quantifier quantifies over, you treat it as first-order [Fine,K] |
10570 | Assigning an entity to each predicate in semantics is largely a technical convenience [Fine,K] |
10573 | Dedekind cuts lead to the bizarre idea that there are many different number 1's [Fine,K] |
10575 | Why should a Dedekind cut correspond to a number? [Fine,K] |
10574 | Unless we know whether 0 is identical with the null set, we create confusions [Fine,K] |
17446 | Counting rests on one-one correspondence, of numerals to objects [Frege] |
9582 | Husserl rests sameness of number on one-one correlation, forgetting the correlation with numbers themselves [Frege] |
9586 | In a number-statement, something is predicated of a concept [Frege] |
10560 | Set-theoretic imperialists think sets can represent every mathematical object [Fine,K] |
9580 | Our concepts recognise existing relations, they don't change them [Frege] |
9589 | Numbers are not real like the sea, but (crucially) they are still objective [Frege] |
9577 | The naïve view of number is that it is like a heap of things, or maybe a property of a heap [Frege] |
10568 | Logicists say mathematics can be derived from definitions, and can be known that way [Fine,K] |
9578 | If objects are just presentation, we get increasing abstraction by ignoring their properties [Frege] |
10563 | A generative conception of abstracts proposes stages, based on concepts of previous objects [Fine,K] |
9581 | Many people have the same thought, which is the component, not the private presentation [Frege] |
9579 | Disregarding properties of two cats still leaves different objects, but what is now the difference? [Frege] |
9587 | How do you find the right level of inattention; you eliminate too many or too few characteristics [Frege] |
10561 | Abstraction-theoretic imperialists think Fregean abstracts can represent every mathematical object [Fine,K] |
10562 | We can combine ZF sets with abstracts as urelements [Fine,K] |
10567 | We can create objects from conditions, rather than from concepts [Fine,K] |
9588 | Number-abstraction somehow makes things identical without changing them! [Frege] |
9583 | Psychological logicians are concerned with sense of words, but mathematicians study the reference [Frege] |
9584 | Identity baffles psychologists, since A and B must be presented differently to identify them [Frege] |
8478 | Dewey argued long before Wittgenstein that there could not seriously be a private language [Dewey, by Orenstein] |