44 ideas
| 7950 | Philosophy tries to explain how the actual is possible, given that it seems impossible [Macdonald,C] |
| Full Idea: Philosophical problems are problems about how what is actual is possible, given that what is actual appears, because of some faulty argument, to be impossible. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.6) | |
| A reaction: [She is discussing universals when she makes this comment] A very appealing remark, given that most people come into philosophy because of a mixture of wonder and puzzlement. It is a rather Wittgensteinian view, though, that we must cure our own ills. |
| 7923 | 'Did it for the sake of x' doesn't involve a sake, so how can ontological commitments be inferred? [Macdonald,C] |
| Full Idea: In 'She did it for the sake of her country' no one thinks that the expression 'the sake' refers to an individual thing, a sake. But given that, how can we work out what the ontological commitments of a theory actually are? | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.1) | |
| A reaction: For these sorts of reasons it rapidly became obvious that ordinary language analysis wasn't going to reveal much, but it is also a problem for a project like Quine's, which infers an ontology from the terms of a scientific theory. |
| 7933 | Don't assume that a thing has all the properties of its parts [Macdonald,C] |
| Full Idea: The fallacy of composition makes the erroneous assumption that every property of the things that constitute a thing is a property of the thing as well. But every large object is constituted by small parts, and every red object by colourless parts. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.5) | |
| A reaction: There are nice questions here like 'If you add lots of smallness together, why don't you get extreme smallness?' Colours always make bad examples in such cases (see Idea 5456). Distinctions are needed here (e.g. Idea 7007). |
| 13010 | In order to select the logic justified by experience, we would need to use a lot of logic [Boghossian on Quine] |
| Full Idea: Quine ends up with the logic that is maximally justified by experience, ...but a large number of the core principles of logic will have to be used to select the logic that is maximally justified by experience. | |
| From: comment on Willard Quine (Carnap and Logical Truth [1954]) by Paul Boghossian - Knowledge of Logic p.233 | |
| A reaction: In order to grasp some core principles of logic, you will probably need a certain amount of experience. I take logic to be an abstracted feature of reality (unless it is extended by pure fictions). Some basic logic may be hard wired in us. |
| 9002 | Elementary logic requires truth-functions, quantifiers (and variables), identity, and also sets of variables [Quine] |
| Full Idea: Elementary logic, as commonly systematized nowadays, comprises truth-function theory (involving 'or', 'and', 'not' etc.), quantifiers (and their variables), and identity theory ('='). In addition, set theory requires classes among values of variables. | |
| From: Willard Quine (Carnap and Logical Truth [1954], II) | |
| A reaction: Quine is famous for trying to squeeze properties out of the picture, which would then block higher-order logics (which quantify over properties). Quine's list gives a nice programme for a student of the philosophy of logic to understand. |
| 13681 | Logical consequence is marked by being preserved under all nonlogical substitutions [Quine, by Sider] |
| Full Idea: Quine's view of logical consequence is that it is when there is no way of uniformly substituting nonlogical expressions in the premises and consequences so that the premises all remain true but the consequence now becomes false. | |
| From: report of Willard Quine (Carnap and Logical Truth [1954], p.103) by Theodore Sider - Logic for Philosophy 1.5 | |
| A reaction: One might just say that the consequence holds if you insert consistent variables for the nonlogical terms, which looks like Aristotle's view of the matter. |
| 13829 | If logical truths essentially depend on logical constants, we had better define the latter [Hacking on Quine] |
| Full Idea: Quine said a logical truth is a truth in which only logical constants occur essentially, ...but then a fruitful definition of 'logical constant' is called for. | |
| From: comment on Willard Quine (Carnap and Logical Truth [1954]) by Ian Hacking - What is Logic? §02 |
| 9003 | Set theory was struggling with higher infinities, when new paradoxes made it baffling [Quine] |
| Full Idea: Unlike elementary logic, the truths of set theory are not obvious. Set theory was straining at the leash of intuition ever since Cantor discovered higher infinites; and with the added impetus of the paradoxes of set theory the leash snapped. | |
| From: Willard Quine (Carnap and Logical Truth [1954], II) | |
| A reaction: This problem seems to have forced Quine into platonism about sets, because he felt they were essential for mathematics and science, but couldn't be constructed with precision. So they must be real, but we don't quite understand them. |
| 9004 | If set theory is not actually a branch of logic, then Frege's derivation of arithmetic would not be from logic [Quine] |
| Full Idea: We might say that set theory is not really logic, but a branch of mathematics. This would deprive 'includes' of the status of a logical word. Frege's derivation of arithmetic would then cease to count as a derivation from logic: for he used set theory. | |
| From: Willard Quine (Carnap and Logical Truth [1954], II) | |
| A reaction: Quine has been making the point that higher infinities and the paradoxes undermine the status of set theory as logic, but he decides to continue thinking of set theory as logic. Critics of logicism frequently ask whether the reduction is to logic. |
| 7944 | Reduce by bridge laws (plus property identities?), by elimination, or by reducing talk [Macdonald,C] |
| Full Idea: There are four kinds of reduction: the identifying of entities of two theories by means of bridge or correlation laws; the elimination of entities in favour of the other theory; reducing by bridge laws and property identities; and merely reducing talk. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.3 n5) | |
| A reaction: [She gives references] The idea of 'bridge laws' I regard with caution. If bridge laws are ceteris paribus, they are not much help, and if they are strict, or necessary, then there must be an underlying reason for that, which is probably elimination. |
| 7938 | Relational properties are clearly not essential to substances [Macdonald,C] |
| Full Idea: In statements attributing relational properties ('Felix is my favourite cat'), it seems clear that the property truly attributed to the substance is not essential to it. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.3) | |
| A reaction: A fairly obvious point, but an important one when mapping out (cautiously) what we actually mean by 'property'. However, maybe the relational property is essential: the ceiling is ('is' of predication!) above the room. |
| 7967 | Being taller is an external relation, but properties and substances have internal relations [Macdonald,C] |
| Full Idea: The relation of being taller than is an external relation, since it relates two independent material substances, but the relation of instantiation or exemplification is internal, in that it relates a substance with a property. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.6) | |
| A reaction: An interesting revival of internal relations. To be plausible it would need clear notions of 'property' and 'substance'. We are getting a long way from physics, and I sense Ockham stropping his Razor. How do you individuate a 'relation'? |
| 7965 | Does the knowledge of each property require an infinity of accompanying knowledge? [Macdonald,C] |
| Full Idea: An object's being two inches long seems to guarantee an infinite number of other properties, such as being less than three inches long. If we must understand the second property to understand the first, then there seems to be a vicious infinite regress. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.2) | |
| A reaction: She dismisses this by saying that we don't need to know an infinity of numbers in order to count. I would say that we just need to distinguish between intrinsic and relational properties. You needn't know all a thing's relations to know the thing. |
| 7934 | Tropes are abstract (two can occupy the same place), but not universals (they have locations) [Macdonald,C] |
| Full Idea: Tropes are abstract entities, at least in the sense that more than one can be in the same place at the same time (e.g. redness and roundness). But they are not universals, because they have unique and particular locations. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.3) | |
| A reaction: I'm uneasy about the reification involved in this kind of talk. Does a coin possess a thing called 'roundness', which then has to be individuated, identified and located? I am drawn to the two extreme views, and suspicious of compromise. |
| 7958 | Properties are sets of exactly resembling property-particulars [Macdonald,C] |
| Full Idea: Trope Nominalism says properties are classes or sets of exactly similar or resembling tropes, where tropes are what we might called 'property-tokens' or 'particularized properties'. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.6) | |
| A reaction: We still seem to have the problem of 'resembling' here, and we certainly have the perennial problem of why any given particular should be placed in any particular set. See Idea 7959. |
| 7972 | Tropes are abstract particulars, not concrete particulars, so the theory is not nominalist [Macdonald,C] |
| Full Idea: Trope 'Nominalism' is not a version of nominalism, because tropes are abstract particulars, rather than concrete particulars. Of course, a trope account of the relations between particulars and their properties has ramifications for concrete particulars. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.6 n16) | |
| A reaction: Cf. Idea 7971. At this point the boundary between nominalist and realist theories seems to blur. Possibly that is bad news for tropes. Not many dilemmas can be solved by simply blurring the boundary. |
| 7959 | How do a group of resembling tropes all resemble one another in the same way? [Macdonald,C] |
| Full Idea: The problem is how a group of resembling tropes can be of the same type, that is, that they can resemble one another in the same way. This problem is not settled simply by positing tropes. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.6) | |
| A reaction: There seems to be a fundamental fact that there is no resemblance unless the respect of resemblance is specified. Two identical objects could still said to be different because of their locations. Is resemblance natural or conventional? Consider atoms. |
| 7960 | Trope Nominalism is the only nominalism to introduce new entities, inviting Ockham's Razor [Macdonald,C] |
| Full Idea: Of all the nominalist solutions, Trope Nominalism is the only one that tries to solve the problem at issue by introducing entities; all the others try to get by with concrete particulars and sets of them. This might invite Ockham's Razor. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.6) | |
| A reaction: We could reply that tropes are necessities. The issue seems to be a key one, which is whether our fundamental onotology should include properties (in some form or other). I am inclined to exclude them (Ideas 3322, 3906, 4029). |
| 7951 | Numerical sameness is explained by theories of identity, but what explains qualitative identity? [Macdonald,C] |
| Full Idea: We can distinguish between numerical identity and qualitative identity. Numerical sameness is explained by a theory of identity, but what explains qualitative sameness? | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.6) | |
| A reaction: The distinction is between type and token identity. Tokens are particulars, and types are sets, so her question comes down to the one of what entitles something to be a member of a set? Nothing, if sets are totally conventional, but they aren't. |
| 7964 | How can universals connect instances, if they are nothing like them? [Macdonald,C] |
| Full Idea: The 'one over many' problem is to explain how universals can unify their instances if they are wholly other than them. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.6) | |
| A reaction: If universals are self-predicating (beauty is beautiful) then they have a massive amount in common, despite one being general. You then have the regress problem of explaining the beauty of the beautiful. Baffling regress, or baffling participation. |
| 9006 | Commitment to universals is as arbitrary or pragmatic as the adoption of a new system of bookkeeping [Quine] |
| Full Idea: One's hypothesis as to there being universals is at bottom just as arbitrary or pragmatic a matter as one's adoption of a new brand of set theory or even a new system of bookkeeping. | |
| From: Willard Quine (Carnap and Logical Truth [1954], x) | |
| A reaction: This spells out clearly the strongly pragmatist vein in Quine's thinking. |
| 7971 | Real Nominalism is only committed to concrete particulars, word-tokens, and (possibly) sets [Macdonald,C] |
| Full Idea: All real forms of Nominalism should hold that the only objects relevant to the explanation of generality are concrete particulars, words (i.e. word-tokens, not word-types), and perhaps sets. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.6 n16) | |
| A reaction: The addition of sets seems controversial (see Idea 7970). The context is her rejection of the use of tropes in nominalist theories. I would doubt whether a theory still counted as nominalist if it admitted sets (e.g. Quine). |
| 7955 | Resemblance Nominalism cannot explain either new resemblances, or absence of resemblances [Macdonald,C] |
| Full Idea: Resemblance Nominalism cannot explain the fact that we know when and in what way new objects resemble old ones, and that we know when and in what ways new objects do not resemble old ones. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.6) | |
| A reaction: It is not clear what sort of theory would be needed to 'explain' such a thing. Unless there is an explanation of resemblance waiting in the wings (beyond asserting that resemblance is a universal), then this is not a strong objection. |
| 7961 | A 'thing' cannot be in two places at once, and two things cannot be in the same place at once [Macdonald,C] |
| Full Idea: The so-called 'laws of thinghood' govern particulars, saying that one thing cannot be wholly present at different places at the same time, and two things cannot occupy the same place at the same time. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.6) | |
| A reaction: Is this an empirical observation, or a tautology? Or might it even be a priori synthetic? What happens when two water drops or clouds merge? Or an amoeba fissions? In what sense is an image in two places at once? Se also Idea 2351. |
| 7926 | We 'individuate' kinds of object, and 'identify' particular specimens [Macdonald,C] |
| Full Idea: We can usefully refer to 'individuation conditions', to distinguish objects of that kind from objects not of that kind, and to 'identity conditions', to distinguish objects within that kind from one another. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.2) | |
| A reaction: So we individuate types or sets, and identify tokens or particulars. Sounds good. Should be in every philosopher's toolkit, and on every introductory philosophy course. |
| 7936 | Unlike bundles of properties, substances have an intrinsic unity [Macdonald,C] |
| Full Idea: Substances have a kind of unity that mere collocations of properties do not have, namely an instrinsic unity. So substances cannot be collocations - bundles - of properties. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.3) | |
| A reaction: A team is a unity. Compare a similar thought, Idea 1395, about personal identity. How can something which is a pure unity have more than one property? What distinguishes substances? Why can't a substance have a certain property? |
| 7930 | The bundle theory of substance implies the identity of indiscernibles [Macdonald,C] |
| Full Idea: The bundle theory of substance requires unconditional commitment to the truth of the Principle of the Identity of Indiscernibles: that things that are alike with respect to all of their properties are identical. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.3) | |
| A reaction: Since the identity of indiscernibles is very dubious (see Ideas 1365, 4476, 5746, 7928), this is bad news for the bundle theory. I suspect that all of these problems arise because no one seems to have a clear concept of a property. |
| 7932 | A phenomenalist cannot distinguish substance from attribute, so must accept the bundle view [Macdonald,C] |
| Full Idea: Commitment to the view that only what can be an object of possible sensory experience can exist eliminates the possibility of distinguishing between substance and attribute, leaving only one alternative, namely the bundle view. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.3) | |
| A reaction: Phenomenalism strikes me as a paradigm case of confusing ontology with epistemology. Presumably physicists (even empiricist ones) are committed to the 'interior' of quarks and electrons, but no one expects to experience them. |
| 7937 | When we ascribe a property to a substance, the bundle theory will make that a tautology [Macdonald,C] |
| Full Idea: The bundle theory makes all true statements ascribing properties to substances uninformative, by making them logical truths. The property of being a feline animal is literally a constituent of a cat. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.3) | |
| A reaction: The solution would seem to a distinction between accidental and essential properties. Compare 'that plane is red' with 'that plane has wings'. 'Of course it does - it's a plane'. We might still survive without a plane-substance. |
| 7939 | Substances persist through change, but the bundle theory says they can't [Macdonald,C] |
| Full Idea: Substances are capable of persisting through change, where this involves change in properties; but the bundle theory has the consequence that substances cannot survive change. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.3) | |
| A reaction: Her example is an apple remaining an apple when it turns brown. It doesn't look, though, as if there is a precise moment when the apple-substance ceases. The end of an apple seems to be more a matter of a loss of crucial properties. |
| 7940 | A substance might be a sequence of bundles, rather than a single bundle [Macdonald,C] |
| Full Idea: Maybe a substance is not itself a bundle of properties, but a sum or sequence of bundles of properties, a bundle of bundles of properties (which 'perdures' rather than 'endures'). | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.3) | |
| A reaction: There remains the problem of deciding when the bundle has drifted too far away from the original to perdure correctly. A caterpillar can turn into a butterfly (which is pretty bizarre!), but not into a cathedral. Why? She says this idea denies change. |
| 7948 | A statue and its matter have different persistence conditions, so they are not identical [Macdonald,C] |
| Full Idea: Because a statue and the lump of matter that constitute it have different persistence conditions, they are not identical. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.4) | |
| A reaction: Maybe being a statue is a relational property? All the relational properties of a thing will have different persistence conditions. Suppose I see a face in a bowl of sugar, and you don't? |
| 7929 | A substance is either a bundle of properties, or a bare substratum, or an essence [Macdonald,C] |
| Full Idea: The three main theories of substance are the bundle theory (Leibniz, Berkeley, Hume, Ayer), the bare substratum theory (Locke and Bergmann), and the essentialist theory. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.3) | |
| A reaction: Macdonald defends the essentialist theory. The essentialist view immediately appeals to me. Properties must be OF something, and the something must have the power to produce properties. So there. |
| 7941 | Each substance contains a non-property, which is its substratum or bare particular [Macdonald,C] |
| Full Idea: A rival to the bundle theory says that, for each substance, there is a constituent of it that is not a property but is both essential and unique to it, this constituent being referred to as a 'bare particular' or 'substratum'. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.3) | |
| A reaction: This doesn't sound promising. It is unclear what existence devoid of all properties could be like. How could it 'have' its properties if it was devoid of features (it seems to need property-hooks)? It is an ontological black hole. How do you prove it? |
| 7942 | The substratum theory explains the unity of substances, and their survival through change [Macdonald,C] |
| Full Idea: If there is a substratum or bare particular within a substance, this gives an explanation of the unity of substances, and it is something which can survive intact when a substance changes. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.3) | |
| A reaction: [v. compressed wording] Many problems here. The one that strikes me is that when things change they sometimes lose their unity and identity, and that seems to be decided entirely from observation of properties, not from assessing the substratum. |
| 7943 | A substratum has the quality of being bare, and they are useless because indiscernible [Macdonald,C] |
| Full Idea: There seems to be no way of identifying a substratum as the bearer of qualities without qualifiying it as bare (having the property of being bare?), ..and they cannot be used to individuate things, because they are necessarily indiscernible. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.3) | |
| A reaction: The defence would probably be a priori, claiming an axiomatic necessity for substrata in our thinking about the world, along with a denial that bareness is a property (any more than not being a contemporary of Napoleon is a property). |
| 7927 | At different times Leibniz articulated three different versions of his so-called Law [Macdonald,C] |
| Full Idea: There are three distinct versions of Leibniz's Law, all traced to remarks made by Leibniz: the Identity of Indiscernibles (same properties, same thing), the Indiscernibility of Identicals (same thing, same properties), and the Substitution Principle. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.2) | |
| A reaction: The best view seems to be to treat the second one as Leibniz's Law (and uncontroversially true), and the first one as being an interesting but dubious claim. |
| 7928 | The Identity of Indiscernibles is false, because it is not necessarily true [Macdonald,C] |
| Full Idea: One common argument to the conclusion that the Principle of the Identity of Indiscernibles is false is that it is not necessarily true. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.2 n32) | |
| A reaction: This sounds like a good argument. If you test the Principle with an example ('this butler is the murderer') then total identity does not seem to necessitate identity, though it strongly implies it (the butler may have a twin etc). |
| 9001 | Frege moved Kant's question about a priori synthetic to 'how is logical certainty possible?' [Quine] |
| Full Idea: When Kant's arithmetical examples of a priori synthetic judgements were sweepingly disqualified by Frege's reduction of arithmetic to logic, attention moved to the less tendentious and logically prior question 'How is logical certainty possible?' | |
| From: Willard Quine (Carnap and Logical Truth [1954], I) | |
| A reaction: A nice summary of the story so far, from someone who should know. This still leaves the question open of whether any synthetic truths can be derived from the logical certainties which are available. |
| 9005 | Examination of convention in the a priori begins to blur the distinction with empirical knowledge [Quine] |
| Full Idea: In trying to make sense of the role of convention in a priori knowledge, the very distinction between a priori and empirical begins to waver and dissolve. | |
| From: Willard Quine (Carnap and Logical Truth [1954], VI) | |
| A reaction: This is the next stage in the argument after Wittgenstein presents the apriori as nothing more than what arises from truth tables. The rationalists react by taking us back to the original 'natural light of reason' view. Then we go round again... |
| 7947 | In continuity, what matters is not just the beginning and end states, but the process itself [Macdonald,C] |
| Full Idea: What matters to continuity is not just the beginning and end states of the process by which a thing persists, perhaps through change, but the process itself. | |
| From: Cynthia Macdonald (Varieties of Things [2005], Ch.4) | |
| A reaction: This strikes me as being a really important insight. Compare Idea 4931. If this is the key to understanding mind and personal identity, it means that the concept of a 'process' must be a central issue in ontology. How do you individuate a process? |
| 9073 | Abstraction from an ambiguous concept like 'mole' will define them as the same [Barnes,J] |
| Full Idea: The procedure of abstraction will not allow us to distinguish the ambiguity between 'mole' as an animal and as an artefact. The stages of abstraction will only end up with 'physical object', and this will then count as the definition. | |
| From: Jonathan Barnes (Commentary on 'Posterior Analytics [1993], n to 97b7) | |
| A reaction: This is a problem if you adhere to a rather precise account of the steps of abstraction, with every stage explicit (and probably expressed in terms of sets), but I suspect that the real tangle of semi-conscious abstraction avoids this problem. |
| 9074 | Abstraction cannot produce the concept of a 'game', as there is no one common feature [Barnes,J] |
| Full Idea: Abstractions cannot account for those general terms whose instances do not have any set of features in common. The word 'game' is not ambiguous, but not all games have one thing in common; they are united by looser 'family resemblance'. | |
| From: Jonathan Barnes (Commentary on 'Posterior Analytics [1993], n to 97b7) | |
| A reaction: (This point comes from Wittgenstein, Idea 4141) English-speakers can't agree on borderline cases (avoiding cracks in pavements). Life is just a game. The objection would be refuted by discussion of higher-level abstractions to make connections. |
| 9072 | Defining concepts by abstractions will collect together far too many attributes from entities [Barnes,J] |
| Full Idea: If we create abstractions by collection of attributes common to groups of entities, we will collect far too many attributes, and wrongly put them into the definition (such as 'having hairless palms' when identifying 'men'). | |
| From: Jonathan Barnes (Commentary on 'Posterior Analytics [1993], n to 97b7) | |
| A reaction: [compressed] Defining 'man' is a hugely complex business (see Idea 1763!), unlike defining 'hair' or 'red'. Some attributes will strike perceivers immediately, but absence of an attribute is not actually 'perceived' at all. |