38 ideas
| 9572 | Realists about sets say there exists a null set in the real world, with no members [Chihara] |
| Full Idea: In the Gödelian realistic view of set theory the statement that there is a null set as the assertion of the existence in the real world of a set that has no members. | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 11.6) | |
| A reaction: It seems to me obvious that such a claim is nonsense on stilts. 'In the beginning there was the null set'? |
| 9550 | We only know relational facts about the empty set, but nothing intrinsic [Chihara] |
| Full Idea: Everything we know about the empty set is relational; we know that nothing is the membership relation to it. But what do we know about its 'intrinsic properties'? | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 01.5) | |
| A reaction: Set theory seems to depend on the concept of the empty set. Modern theorists seem over-influenced by the Quine-Putnam view, that if science needs it, we must commit ourselves to its existence. |
| 9562 | In simple type theory there is a hierarchy of null sets [Chihara] |
| Full Idea: In simple type theory, there is a null set of type 1, a null set of type 2, a null set of type 3..... (Quine has expressed his distaste for this). | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 07.4) | |
| A reaction: It is bad enough trying to individuate the unique null set, without whole gangs of them drifting indistinguishably through the logical fog. All rational beings should share Quine's distaste, even if Quine is wrong. |
| 9573 | The null set is a structural position which has no other position in membership relation [Chihara] |
| Full Idea: In the structuralist view of sets, in structures of a certain sort the null set is taken to be a position (or point) that will be such that no other position (or point) will be in the membership relation to it. | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 11.6) | |
| A reaction: It would be hard to conceive of something having a place in a structure if nothing had a relation to it, so is the null set related to singeton sets but not there members. It will be hard to avoid Platonism here. Set theory needs the null set. |
| 9551 | What is special about Bill Clinton's unit set, in comparison with all the others? [Chihara] |
| Full Idea: What is it about the intrinsic properties of just that one unit set in virtue of which Bill Clinton is related to just it and not to any other unit sets in the set-theoretical universe? | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 01.5) | |
| A reaction: If we all kept pet woodlice, we had better not hold a wood louse rally, or we might go home with the wrong one. My singleton seems seems remarkably like yours. Could we, perhaps, swap, just for a change? |
| 9549 | The set theorist cannot tell us what 'membership' is [Chihara] |
| Full Idea: The set theorist cannot tell us anything about the true relationship of membership. | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 01.5) | |
| A reaction: If three unrelated objects suddenly became members of a set, it is hard to see how the world would have changed, except in the minds of those thinking about it. |
| 9571 | ZFU refers to the physical world, when it talks of 'urelements' [Chihara] |
| Full Idea: ZFU set theory talks about physical objects (the urelements), and hence is in some way about the physical world. | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 11.5) | |
| A reaction: This sounds a bit surprising, given that the whole theory would appear to be quite unaffected if God announced that idealism is true and there are no physical objects. |
| 18151 | Could we replace sets by the open sentences that define them? [Chihara, by Bostock] |
| Full Idea: Chihara proposes to replace all sets by reference to the open sentences that define them. | |
| From: report of Charles Chihara (Ontology and the Vicious Circle Principle [1973]) by David Bostock - Philosophy of Mathematics 9.B.4 | |
| A reaction: This depends on predicativism, because that stipulates the definitions will be available (cos if it ain't definable it ain't there). Chihara went on to define the open sentences in terms of the possibility of uttering them. Cf. propositional functions. |
| 9563 | A pack of wolves doesn't cease when one member dies [Chihara] |
| Full Idea: A pack of wolves is not thought to go out of existence just because some member of the pack is killed. | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 07.5) | |
| A reaction: The point is that the formal extensional notion of a set doesn't correspond to our common sense notion of a group or class. Even a highly scientific theory about wolves needs a loose notion of a wolf pack. |
| 8758 | We could talk of open sentences, instead of sets [Chihara, by Shapiro] |
| Full Idea: Chihara's programme is to replace talk of sets with talk of open sentences. Instead of speaking of the set of all cats, we talk about the open sentence 'x is a cat'. | |
| From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Thinking About Mathematics 9.2 | |
| A reaction: As Shapiro points out, this is following up Russell's view that sets should be replaced with talk of properties. Chihara is expressing it more linguistically. I'm in favour of any attempt to get rid of sets. |
| 9561 | The mathematics of relations is entirely covered by ordered pairs [Chihara] |
| Full Idea: Everything one needs to do with relations in mathematics can be done by taking a relation to be a set of ordered pairs. (Ordered triples etc. can be defined as order pairs, so that <x,y,z> is <x,<y,z>>). | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 07.2) | |
| A reaction: How do we distinguish 'I own my cat' from 'I love my cat'? Or 'I quite like my cat' from 'I adore my cat'? Nevertheless, this is an interesting starting point for a discussion of relations. |
| 9552 | Sentences are consistent if they can all be true; for Frege it is that no contradiction can be deduced [Chihara] |
| Full Idea: In first-order logic a set of sentences is 'consistent' iff there is an interpretation (or structure) in which the set of sentences is true. ..For Frege, though, a set of sentences is consistent if it is not possible to deduce a contradiction from it. | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 02.1) | |
| A reaction: The first approach seems positive, the second negative. Frege seems to have a higher standard, which is appealing, but the first one seems intuitively right. There is a possible world where this could work. |
| 9553 | Analytic geometry gave space a mathematical structure, which could then have axioms [Chihara] |
| Full Idea: With the invention of analytic geometry (by Fermat and then Descartes) physical space could be represented as having a mathematical structure, which could eventually lead to its axiomatization (by Hilbert). | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 02.3) | |
| A reaction: The idea that space might have axioms seems to be pythagoreanism run riot. I wonder if there is some flaw at the heart of Einstein's General Theory because of this? |
| 10192 | We can replace existence of sets with possibility of constructing token sentences [Chihara, by MacBride] |
| Full Idea: Chihara's 'constructability theory' is nominalist - mathematics is reducible to a simple theory of types. Instead of talk of sets {x:x is F}, we talk of open sentences Fx defining them. Existence claims become constructability of sentence tokens. | |
| From: report of Charles Chihara (A Structural Account of Mathematics [2004]) by Fraser MacBride - Review of Chihara's 'Structural Acc of Maths' p.81 | |
| A reaction: This seems to be approaching the problem in a Fregean way, by giving an account of the semantics. Chihara is trying to evade the Quinean idea that assertion is ontological commitment. But has Chihara retreated too far? How does he assert existence? |
| 10265 | Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro] |
| Full Idea: Chihara's system is a version of type theory. Translate thus: replace variables of sets of type n with level n variables over open sentences, replace membership/predication with satisfaction, and high quantifiers with constructability quantifiers. | |
| From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Philosophy of Mathematics 7.4 |
| 8759 | We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro] |
| Full Idea: Chihara's system is similar to simple type theory; he replaces each type with variables over open sentences, replaces membership (or predication) with satisfaction, and replaces quantifiers over level 1+ variables with constructability quantifiers. | |
| From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Thinking About Mathematics 9.2 | |
| A reaction: This is interesting for showing that type theory may not be dead. The revival of supposedly dead theories is the bread-and-butter of modern philosophy. |
| 10264 | Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro] |
| Full Idea: Chihara has proposal a modal primitive, a 'constructability quantifier'. Syntactically it behaves like an ordinary quantifier: Φ is a formula, and x a variable. Then (Cx)Φ is a formula, read as 'it is possible to construct an x such that Φ'. | |
| From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Philosophy of Mathematics 7.4 | |
| A reaction: We only think natural numbers are infinite because we see no barrier to continuing to count, i.e. to construct new numbers. We accept reals when we know how to construct them. Etc. Sounds promising to me (though not to Shapiro). |
| 16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
| Full Idea: It seems unavoidable that the facts about logically necessary relations between levels of facts are themselves logically distinct further facts, irreducible to the microphysical facts. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], C) | |
| A reaction: I'm beginning to think that rejecting every theory of reality that is proposed by carefully exposing some infinite regress hidden in it is a rather lazy way to do philosophy. Almost as bad as rejecting anything if it can't be defined. |
| 16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
| Full Idea: Logical supervenience, restricted to individuals, seems to imply strong reduction. It is said that where the B-facts logically supervene on the A-facts, the B-facts simply re-describe what the A-facts describe, and the B-facts come along 'for free'. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], C) | |
| A reaction: This seems to be taking 'logically' to mean 'analytically'. Presumably an entailment is logically supervenient on its premisses, and may therefore be very revealing, even if some people think such things are analytic. |
| 16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
| Full Idea: The root intuition behind nonreductive materialism is that reality is composed of ontologically distinct layers or levels. …The upper levels depend on the physical without reducing to it. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], B) | |
| A reaction: A nice clear statement of a view which I take to be false. This relationship is the sort of thing that drives people fishing for an account of it to use the word 'supervenience', which just says two things seem to hang out together. Fluffy materialism. |
| 16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |
| Full Idea: Jessica Wilson (1999) says what makes physicalist accounts different from emergentism etc. is that each individual causal power associated with a supervenient property is numerically identical with a causal power associated with its base property. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], n 11) | |
| A reaction: Hence the key thought in so-called (serious, rather than self-evident) 'emergentism' is so-called 'downward causation', which I take to be an idle daydream. |
| 9559 | If a successful theory confirms mathematics, presumably a failed theory disconfirms it? [Chihara] |
| Full Idea: If mathematics shares whatever confirmation accrues to the theories using it, would it not be reasonable to suppose that mathematics shares whatever disconfirmation accrues to the theories using it? | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 05.8) | |
| A reaction: Presumably Quine would bite the bullet here, although maths is much closer to the centre of his web of belief, and so far less likely to require adjustment. In practice, though, mathematics is not challenged whenever an experiment fails. |
| 9566 | No scientific explanation would collapse if mathematical objects were shown not to exist [Chihara] |
| Full Idea: Evidently, no scientific explanations of specific phenomena would collapse as a result of any hypothetical discovery that no mathematical objects exist. | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 09.1) | |
| A reaction: It is inconceivable that anyone would challenge this claim. A good model seems to be drama; a play needs commitment from actors and audience, even when we know it is fiction. The point is that mathematics doesn't collapse either. |
| 13076 | Scholastics treat relations as two separate predicates of the relata [Cover/O'Leary-Hawthorne] |
| Full Idea: The scholastics treated it as a step in the right explanatory direction to analyze a relational statement of the form 'aRb' into two subject-predicate statements, attributing different relational predicates to a and to b. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 2.2.1) | |
| A reaction: The only alternative seems to be Russell's view of relations as pure universals, having a life of their own, quite apart from their relata. Or you could take them as properties of space, time (and powers?), external to the relata? |
| 13102 | If you individuate things by their origin, you still have to individuate the origins themselves [Cover/O'Leary-Hawthorne] |
| Full Idea: If we go for the necessity-of-origins view, A and B are different if the origin of A is different from the origin of B. But one is left with the further question 'When is the origin of A distinct from the origin of B?' | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 7.4.1) | |
| A reaction: There may be an answer to this, in a regress of origins that support one another, but in the end the objection is obviously good. You can't begin to refer to an 'origin' if you can't identify anything in the first place. |
| 13103 | Numerical difference is a symmetrical notion, unlike proper individuation [Cover/O'Leary-Hawthorne] |
| Full Idea: Scholastics distinguished criteria of numerical difference from questions of individuation proper, since numerical difference is a symmetrical notion. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 7.4.1) | |
| A reaction: This apparently old-fashioned point appears to be conclusively correct. Modern thinkers, though, aren't comfortable with proper individuation, because they don't believe in concepts like 'essence' and 'substance' that are needed for the job. |
| 13104 | Haecceity as property, or as colourless thisness, or as singleton set [Cover/O'Leary-Hawthorne] |
| Full Idea: There is a contemporary property construal of haecceities, ...and a Scotistic construal as primitive, 'colourless' thisnesses which, unlike singleton-set haecceities, are aimed to do some explanatory work. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 7.4.4) | |
| A reaction: [He associates the contemporary account with David Kaplan] I suppose I would say that individuation is done by properties, but not by some single property, so I take it that I don't believe in haecceities at all. What individuates a haecceity? |
| 13100 | Maybe 'substance' is more of a mass-noun than a count-noun [Cover/O'Leary-Hawthorne] |
| Full Idea: We could think of 'substance' on the model of a mass noun, rather than a count noun. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 7.3) | |
| A reaction: They offer this to help Leibniz out of a mess, but I think he would be appalled. The proposal seems close to 'prime matter' in Aristotle, which never quite does the job required of it. The idea is nice, though, and should be taken seriously. |
| 13068 | We can ask for the nature of substance, about type of substance, and about individual substances [Cover/O'Leary-Hawthorne] |
| Full Idea: In the 'blueprint' approach to substance, we confront at least three questions: What is it for a thing to be an individual substance? What is it for a thing to be the kind of substance that it is? What is it to be that very individual substance? | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 1.1.1) | |
| A reaction: My working view is that the answer to the first question is that substance is essence, that the second question is overrated and parasitic on the third, and that the third is the key question, and also reduces to essence. |
| 13069 | The general assumption is that substances cannot possibly be non-substances [Cover/O'Leary-Hawthorne] |
| Full Idea: There is a widespread assumption, now and in the past, that substances are essentially substances: nothing is actually a substance but possibly a non-substance. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 1.1.2) | |
| A reaction: It seems to me that they clearly mean, in this context, that substances are 'necessarily' substances, not that they are 'essentially' substances. I would just say that substances are essences, and leave the necessity question open. |
| 13072 | Modern essences are sets of essential predicate-functions [Cover/O'Leary-Hawthorne] |
| Full Idea: The modern view of essence is that the essence of a particular thing is given by the set of predicate-functions essential to it, and the essence of any kind is given by the set of predicate-functions essential to every possible member of that kind. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 1.2.2) | |
| A reaction: Thus the modern view has elided the meanings of 'essential' and 'necessary' when talking of properties. They are said to be 'functions' from possible worlds to individuals. The old view (and mine) demands real essences, not necessary properties. |
| 17080 | Modern essentialists express essence as functions from worlds to extensions for predicates [Cover/O'Leary-Hawthorne] |
| Full Idea: The modern essentialist gives the same metaphysical treatment to every grammatical predicate - by associating a function from worlds to extensions for each. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 2.2) | |
| A reaction: I take this to mean that essentialism is the view that if some predicate attaches to an object then that predicate is essential if there is an extension of that predicate in all possible worlds. In English, essential predicates are necessary predicates. |
| 13101 | Necessity-of-origin won't distinguish ex nihilo creations, or things sharing an origin [Cover/O'Leary-Hawthorne] |
| Full Idea: A necessity-of-origins approach cannot work to distinguish things that come into being genuinely ex nihilo, and cannot work to distinguish things sharing a single origin. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 7.4.1) | |
| A reaction: Since I am deeply suspicious of essentiality or necessity of origin (and they are not, I presume, the same thing) I like these two. Twins have always bothered me with the second case (where order of birth seems irrelevant). |
| 13081 | Even extreme modal realists might allow transworld identity for abstract objects [Cover/O'Leary-Hawthorne] |
| Full Idea: It might be suggested that even the extreme modal realist can countenance transworld identity for abstract objects. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 3.2.2 n46) | |
| A reaction: This may sound right for uncontroversial or well-defined abstracta such as numbers and circles, but even 'or' is ambiguous, and heaven knows what the transworld identity of 'democracy' is! |
| 13071 | We can go beyond mere causal explanations if we believe in an 'order of being' [Cover/O'Leary-Hawthorne] |
| Full Idea: The philosopher comfortable with an 'order of being' has richer resources to make sense of the 'in virtue of' relation than that provided only by causal relations between states of affairs, positing in addition other sorts of explanatory relationships. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 1.1.2) | |
| A reaction: This might best be characterised as 'ontological dependence', and could be seen as a non-causal but fundamental explanatory relationship, and not one that has to depend on a theistic world view. |
| 9568 | I prefer the open sentences of a Constructibility Theory, to Platonist ideas of 'equivalence classes' [Chihara] |
| Full Idea: What I refer to as an 'equivalence class' (of line segments of a particular length) is an open sentence in my Constructibility Theory. I just use this terminology of the Platonist for didactic purposes. | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 09.10) | |
| A reaction: This is because 'equivalence classes' is committed to the existence of classes, which is Quinean Platonism. I am with Chihara in wanting a story that avoids such things. Kit Fine is investigating similar notions of rules of construction. |
| 9547 | Mathematical entities are causally inert, so the causal theory of reference won't work for them [Chihara] |
| Full Idea: Causal theories of reference seem doomed to failure for the case of reference to mathematical entities, since such entities are evidently causally inert. | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 01.3) | |
| A reaction: Presumably you could baptise a fictional entity such as 'Polonius', and initiate a social causal chain, with a tradition of reference. You could baptise a baby in absentia. |
| 9574 | 'Gunk' is an individual possessing no parts that are atoms [Chihara] |
| Full Idea: An 'atomless gunk' is defined to be an individual possessing no parts that are atoms. | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], App A) | |
| A reaction: [Lewis coined it] If you ask what are a-toms made of and what are ideas made of, the only answer we can offer is that the a-toms are made of gunk, and the ideas aren't made of anything, which is still bad news for the existence of ideas. |