40 ideas
10571 | Concern for rigour can get in the way of understanding phenomena [Fine,K] |
9921 | 'True' is only occasionally useful, as in 'everything Fermat believed was true' [Burgess/Rosen] |
9924 | Modal logic gives an account of metalogical possibility, not metaphysical possibility [Burgess/Rosen] |
9933 | The paradoxes are only a problem for Frege; Cantor didn't assume every condition determines a set [Burgess/Rosen] |
10565 | There is no stage at which we can take all the sets to have been generated [Fine,K] |
9928 | Mereology implies that acceptance of entities entails acceptance of conglomerates [Burgess/Rosen] |
10564 | We might combine the axioms of set theory with the axioms of mereology [Fine,K] |
9926 | A relation is either a set of sets of sets, or a set of sets [Burgess/Rosen] |
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] |
9932 | The paradoxes no longer seem crucial in critiques of set theory [Burgess/Rosen] |
9923 | We should talk about possible existence, rather than actual existence, of numbers [Burgess/Rosen] |
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] |
10560 | Set-theoretic imperialists think sets can represent every mathematical object [Fine,K] |
9925 | Structuralism and nominalism are normally rivals, but might work together [Burgess/Rosen] |
9934 | Number words became nouns around the time of Plato [Burgess/Rosen] |
10568 | Logicists say mathematics can be derived from definitions, and can be known that way [Fine,K] |
22227 | For Sartre there is only being for-itself, or being in-itself (which is beyond experience) [Sartre, by Daigle] |
9918 | Abstract/concrete is a distinction of kind, not degree [Burgess/Rosen] |
9929 | Much of what science says about concrete entities is 'abstraction-laden' [Burgess/Rosen] |
10563 | A generative conception of abstracts proposes stages, based on concepts of previous objects [Fine,K] |
9927 | Mathematics has ascended to higher and higher levels of abstraction [Burgess/Rosen] |
9930 | Abstraction is on a scale, of sets, to attributes, to type-formulas, to token-formulas [Burgess/Rosen] |
20743 | Appearances do not hide the essence; appearances are the essence [Sartre] |
6151 | Sartre says consciousness is just directedness towards external objects [Sartre, by Rowlands] |
6164 | Sartre rejects mental content, and the idea that the mind has hidden inner features [Sartre, by Rowlands] |
9919 | The old debate classified representations as abstract, not entities [Burgess/Rosen] |
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] |
7074 | Man is a useless passion [Sartre] |
6687 | Man is the desire to be God [Sartre] |
22228 | Sartre's freedom is not for whimsical action, but taking responsibility for our own values [Sartre, by Daigle] |
22233 | Love is the demand to be loved [Sartre] |
20755 | Fear concerns the world, but 'anguish' comes from confronting my self [Sartre] |
20760 | Sincerity is not authenticity, because it only commits to one particular identity [Sartre, by Aho] |
22231 | We flee from the anguish of freedom by seeing ourselves objectively, as determined [Sartre] |
9922 | If space is really just a force-field, then it is a physical entity [Burgess/Rosen] |