24 ideas
10571 | Concern for rigour can get in the way of understanding phenomena [Fine,K] |
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] |
13445 | Descartes showed a one-one order-preserving match between points on a line and the real numbers [Descartes, by Hart,WD] |
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] |
10560 | Set-theoretic imperialists think sets can represent every mathematical object [Fine,K] |
10568 | Logicists say mathematics can be derived from definitions, and can be known that way [Fine,K] |
10563 | A generative conception of abstracts proposes stages, based on concepts of previous objects [Fine,K] |
21354 | It may be that internal relations like proportion exist, because we directly perceive it [MacBride] |
21353 | Internal relations are fixed by existences, or characters, or supervenience on characters [MacBride] |
21352 | 'Multigrade' relations are those lacking a fixed number of relata [MacBride] |
16774 | Descartes thinks distinguishing substances from aggregates is pointless [Descartes, by Pasnau] |
7400 | Descartes said images can refer to objects without resembling them (as words do) [Descartes, by Tuck] |
4310 | We have inner awareness of our freedom [Descartes] |
6553 | Descartes discussed the interaction problem, and compared it with gravity [Descartes, by Lycan] |
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] |
19676 | Nature is devoid of thought [Descartes, by Meillassoux] |
6518 | Matter can't just be Descartes's geometry, because a filler of the spaces is needed [Robinson,H on Descartes] |