67 ideas
| 13567 | Ontology should give insight into or an explanation of the world revealed by science [Ellis] |
| 13604 | Real possibility and necessity has the logic of S5, which links equivalence classes of worlds of the same kind [Ellis] |
| 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] |
| 1611 | Names can be converted to descriptions, and Russell showed how to eliminate those [Quine] |
| 13606 | Humean conceptions of reality drive the adoption of extensional logic [Ellis] |
| 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] |
| 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] |
| 13584 | The extension of a property is a contingent fact, so cannot be the essence of the property [Ellis] |
| 13587 | There is no property of 'fragility', as things are each fragile in a distinctive way [Ellis] |
| 13577 | Typical 'categorical' properties are spatio-temporal, such as shape [Ellis] |
| 9436 | The property of 'being an electron' is not of anything, and only electrons could have it [Ellis] |
| 13582 | 'Being a methane molecule' is not a property - it is just a predicate [Ellis] |
| 13580 | Causal powers must necessarily act the way they do [Ellis] |
| 13598 | Causal powers are often directional (e.g. centripetal, centrifugal, circulatory) [Ellis] |
| 13568 | Basic powers may not be explained by structure, if at the bottom level there is no structure [Ellis] |
| 13586 | Maybe dispositions can be explained by intrinsic properties or structures [Ellis] |
| 13585 | The most fundamental properties of nature (mass, charge, spin ...) all seem to be dispositions [Ellis] |
| 13596 | A causal power is a disposition to produce forces [Ellis] |
| 13599 | Powers are dispositions of the essences of kinds that involve them in causation [Ellis] |
| 13572 | There are 'substantive' (objects of some kind), 'dynamic' (events of some kind) and 'property' universals [Ellis] |
| 13573 | Universals are all types of natural kind [Ellis] |
| 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] |
| 13571 | Scientific essentialism doesn't really need Kripkean individual essences [Ellis] |
| 13578 | The old idea that identity depends on essence and behaviour is rejected by the empiricists [Ellis] |
| 13576 | Necessities are distinguished by their grounds, not their different modalities [Ellis] |
| 13570 | Individual essences necessitate that individual; natural kind essences necessitate kind membership [Ellis] |
| 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] |
| 13607 | If events are unconnected, then induction cannot be solved [Ellis] |
| 13597 | Good explanations unify [Ellis] |
| 13601 | Explanations of particular events are not essentialist, as they don't reveal essential structures [Ellis] |
| 13569 | To give essentialist explanations there have to be natural kinds [Ellis] |
| 13600 | The point of models in theories is not to idealise, but to focus on what is essential [Ellis] |
| 1619 | There is an attempt to give a verificationist account of meaning, without the error of reducing everything to sensations [Dennett on Quine] |
| 1617 | The word 'meaning' is only useful when talking about significance or about synonymy [Quine] |
| 1609 | I do not believe there is some abstract entity called a 'meaning' which we can 'have' [Quine] |
| 19159 | Quine relates predicates to their objects, by being 'true of' them [Quine, by Davidson] |
| 6000 | The goal is rationality in the selection of things according to nature [Diogenes of Babylon, by Blank] |
| 5999 | The good is what is perfect by nature [Diogenes of Babylon, by Blank] |
| 6001 | Justice is a disposition to distribute according to desert [Diogenes of Babylon, by Blank] |
| 13583 | There might be uninstantiated natural kinds, such as transuranic elements which have never occurred [Ellis] |
| 13574 | Natural kinds are distinguished by resting on essences [Ellis] |
| 13575 | If there are borderline cases between natural kinds, that makes them superficial [Ellis] |
| 13595 | Laws don't exist in the world; they are true of the world [Ellis] |
| 13566 | A proton must have its causal role, because without it it wouldn't be a proton [Ellis] |
| 13579 | What is most distinctive of scientific essentialism is regarding processes as natural kinds [Ellis] |
| 13581 | Scientific essentialism is more concerned with explanation than with identity (Locke, not Kripke) [Ellis] |
| 13594 | The ontological fundamentals are dispositions, and also categorical (spatio-temporal and structural) properties [Ellis] |
| 13603 | A primary aim of science is to show the limits of the possible [Ellis] |