41 ideas
9821 | A definition need not capture the sense of an expression - just get the reference right [Frege, by Dummett] |
15395 | Give up objects necessitating truths, and say their natures cause the truths? [Cameron] |
15394 | Truthmaker requires a commitment to tropes or states of affairs, for contingent truths [Cameron] |
9585 | Since every definition is an equation, one cannot define equality itself [Frege] |
10676 | The Axiom of Choice is a non-logical principle of set-theory [Hossack] |
10686 | The Axiom of Choice guarantees a one-one correspondence from sets to ordinals [Hossack] |
10687 | Maybe we reduce sets to ordinals, rather than the other way round [Hossack] |
10677 | Extensional mereology needs two definitions and two axioms [Hossack] |
10671 | Plural definite descriptions pick out the largest class of things that fit the description [Hossack] |
10666 | Plural reference will refer to complex facts without postulating complex things [Hossack] |
10669 | Plural reference is just an abbreviation when properties are distributive, but not otherwise [Hossack] |
10675 | A plural comprehension principle says there are some things one of which meets some condition [Hossack] |
10673 | Plural language can discuss without inconsistency things that are not members of themselves [Hossack] |
10680 | The theory of the transfinite needs the ordinal numbers [Hossack] |
10684 | I take the real numbers to be just lengths [Hossack] |
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] |
10674 | A plural language gives a single comprehensive induction axiom for arithmetic [Hossack] |
9586 | In a number-statement, something is predicated of a concept [Frege] |
10681 | In arithmetic singularists need sets as the instantiator of numeric properties [Hossack] |
10685 | Set theory is the science of infinity [Hossack] |
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] |
9578 | If objects are just presentation, we get increasing abstraction by ignoring their properties [Frege] |
10668 | We are committed to a 'group' of children, if they are sitting in a circle [Hossack] |
15401 | Essentialists say intrinsic properties arise from what the thing is, irrespective of surroundings [Cameron] |
15393 | An object's intrinsic properties are had in virtue of how it is, independently [Cameron] |
10664 | Complex particulars are either masses, or composites, or sets [Hossack] |
10678 | The relation of composition is indispensable to the part-whole relation for individuals [Hossack] |
10665 | Leibniz's Law argues against atomism - water is wet, unlike water molecules [Hossack] |
10682 | The fusion of five rectangles can decompose into more than five parts that are rectangles [Hossack] |
15396 | Most criteria for identity over time seem to leave two later objects identical to the earlier one [Cameron] |
9581 | Many people have the same thought, which is the component, not the private presentation [Frege] |
10663 | A thought can refer to many things, but only predicate a universal and affirm a state of affairs [Hossack] |
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] |
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] |
10683 | We could ignore space, and just talk of the shape of matter [Hossack] |