51 ideas
| 18491 | The idea of 'making' can be mere conceptual explanation (like 'because') [Künne] |
| 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] |
| 1618 | We study bound variables not to know reality, but to know what reality language asserts [Quine] |
| 8455 | Canonical notation needs quantification, variables and predicates, but not names [Quine, by Orenstein] |
| 8456 | Quine extended Russell's defining away of definite descriptions, to also define away names [Quine, by Orenstein] |
| 10671 | Plural definite descriptions pick out the largest class of things that fit the description [Hossack] |
| 1611 | Names can be converted to descriptions, and Russell showed how to eliminate those [Quine] |
| 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] |
| 10674 | A plural language gives a single comprehensive induction axiom for arithmetic [Hossack] |
| 10681 | In arithmetic singularists need sets as the instantiator of numeric properties [Hossack] |
| 10685 | Set theory is the science of infinity [Hossack] |
| 1613 | Logicists cheerfully accept reference to bound variables and all sorts of abstract entities [Quine] |
| 1616 | Formalism says maths is built of meaningless notations; these build into rules which have meaning [Quine] |
| 1615 | Intuitionism says classes are invented, and abstract entities are constructed from specified ingredients [Quine] |
| 1614 | Conceptualism holds that there are universals but they are mind-made [Quine] |
| 10241 | For Quine, there is only one way to exist [Quine, by Shapiro] |
| 4064 | The idea of a thing and the idea of existence are two sides of the same coin [Quine, by Crane] |
| 19277 | Quine rests existence on bound variables, because he thinks singular terms can be analysed away [Quine, by Hale] |
| 12210 | Quine's ontology is wrong; his question is scientific, and his answer is partly philosophical [Fine,K on Quine] |
| 8496 | What actually exists does not, of course, depend on language [Quine] |
| 10668 | We are committed to a 'group' of children, if they are sitting in a circle [Hossack] |
| 1610 | To be is to be the value of a variable, which amounts to being in the range of reference of a pronoun [Quine] |
| 8459 | Fictional quantification has no ontology, so we study ontology through scientific theories [Quine, by Orenstein] |
| 8497 | An ontology is like a scientific theory; we accept the simplest scheme that fits disorderly experiences [Quine] |
| 16261 | If commitment rests on first-order logic, we obviously lose the ontology concerning predication [Maudlin on Quine] |
| 7698 | If to be is to be the value of a variable, we must already know the values available [Jacquette on Quine] |
| 1612 | Realism, conceptualism and nominalism in medieval universals reappear in maths as logicism, intuitionism and formalism [Quine] |
| 15402 | There is no entity called 'redness', and that some things are red is ultimate and irreducible [Quine] |
| 4443 | Quine has argued that predicates do not have any ontological commitment [Quine, by Armstrong] |
| 8498 | Treating scattered sensations as single objects simplifies our understanding of experience [Quine] |
| 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] |
| 8856 | Quine's indispensability argument said arguments for abstracta were a posteriori [Quine, by Yablo] |
| 12443 | Can an unactualized possible have self-identity, and be distinct from other possibles? [Quine] |
| 18209 | We can never translate our whole language of objects into phenomenalism [Quine] |
| 10663 | A thought can refer to many things, but only predicate a universal and affirm a state of affairs [Hossack] |
| 1619 | There is an attempt to give a verificationist account of meaning, without the error of reducing everything to sensations [Dennett on Quine] |
| 1609 | I do not believe there is some abstract entity called a 'meaning' which we can 'have' [Quine] |
| 1617 | The word 'meaning' is only useful when talking about significance or about synonymy [Quine] |
| 19159 | Quine relates predicates to their objects, by being 'true of' them [Quine, by Davidson] |
| 10683 | We could ignore space, and just talk of the shape of matter [Hossack] |