9 ideas
| 17807 | To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry] |
| Full Idea: In the study of formal systems we do not confine ourselves to the derivation of elementary propositions step by step. Rather we take the system, defined by its primitive frame, as datum, and then study it by any means at our command. | |
| From: Haskell B. Curry (Remarks on the definition and nature of mathematics [1954], 'The formalist') | |
| A reaction: This is what may potentially lead to an essentialist view of such things. Focusing on bricks gives formalism, focusing on buildings gives essentialism. |
| 17806 | It is untenable that mathematics is general physical truths, because it needs infinity [Curry] |
| Full Idea: According to realism, mathematical propositions express the most general properties of our physical environment. This is the primitive view of mathematics, yet on account of the essential role played by infinity in mathematics, it is untenable today. | |
| From: Haskell B. Curry (Remarks on the definition and nature of mathematics [1954], 'The problem') | |
| A reaction: I resist this view, because Curry's view seems to imply a mad metaphysics. Hilbert resisted the role of the infinite in essential mathematics. If the physical world includes its possibilities, that might do the job. Hellman on structuralism? |
| 17808 | Saying mathematics is logic is merely replacing one undefined term by another [Curry] |
| Full Idea: To say that mathematics is logic is merely to replace one undefined term by another. | |
| From: Haskell B. Curry (Remarks on the definition and nature of mathematics [1954], 'Mathematics') |
| 16065 | Constitution is identity (being in the same place), or it isn't (having different possibilities) [Wasserman] |
| Full Idea: Some insist that constitution is identity, on the grounds that distinct material objects cannot occupy the same place at the same time. Others argue that constitution is not identity, since the statue and its material differ in important respects. | |
| From: Ryan Wasserman (Material Constitution [2009], Intro) | |
| A reaction: The 'important respects' seem to concern possibilities rather than actualities, which is suspicious. It is misleading to think we are dealing with two things and their relation here. Objects must have constitutions; constitutions make objects. |
| 16067 | Constitution is not identity, because it is an asymmetric dependence relation [Wasserman] |
| Full Idea: For those for whom 'constitution is not identity' (the 'constitution view'), constitution is said to be an asymmetric relation, and also a dependence relation (unlike identity). | |
| From: Ryan Wasserman (Material Constitution [2009], 2) | |
| A reaction: It seems obvious that constitution is not identity, because there is more to a thing's identity than its mere constitution. But this idea makes it sound as if constitution has nothing to do with identity (chalk and cheese), and that can't be right. |
| 16069 | There are three main objections to seeing constitution as different from identity [Wasserman] |
| Full Idea: The three most common objections to the constitution view are the Impenetrability Objection (two things in one place?), the Extensionality Objection (mereology says wholes are just their parts), and the Grounding Objection (their ground is the same). | |
| From: Ryan Wasserman (Material Constitution [2009], 2) | |
| A reaction: [summary] He adds a fourth, that if two things can be in one place, why stop at two? [Among defenders of the Constitution View he lists Baker, Fine, Forbes, Koslicki, Kripke, Lowe, Oderberg, N.Salmon, Shoemaker, Simons and Yablo.] |
| 16068 | The weight of a wall is not the weight of its parts, since that would involve double-counting [Wasserman] |
| Full Idea: We do not calculate the weight of something by summing the weights of all its parts - weigh bricks and the molecules of a wall and you will get the wrong result, since you have weighed some parts more than once. | |
| From: Ryan Wasserman (Material Constitution [2009], 2) | |
| A reaction: In fact the complete inventory of the parts of a thing is irrelevant to almost anything we would like to know about the thing. The parts must be counted at some 'level' of division into parts. An element can belong to many different sets. |
| 16074 | Relative identity may reject transitivity, but that suggests that it isn't about 'identity' [Wasserman] |
| Full Idea: If the relative identity theorist denies transitivity (to deal with the Ship of Theseus, for example), this would make us suspect that relativised identity relations are not identity relations, since transitivity seems central to identity. | |
| From: Ryan Wasserman (Material Constitution [2009], 6) | |
| A reaction: The problem here, I think, focuses on the meaning of the word 'same'. One change of plank leaves you with the same ship, but that is not transitive. If 'identical' is too pure to give the meaning of 'the same' it's not much use in discussing the world. |
| 9381 | If some inferences are needed to fix meaning, but we don't know which, they are all relevant [Fodor/Lepore, by Boghossian] |
| Full Idea: The Master Argument for linguistic holism is: Some of an expression's inferences are relevant to fixing its meaning; there is no way to distinguish the inferences that are constitutive (from Quine); so all inferences are relevant to fixing meaning. | |
| From: report of J Fodor / E Lepore (Holism: a Shopper's Guide [1993], §III) by Paul Boghossian - Analyticity Reconsidered | |
| A reaction: This would only be if you thought that the pattern of inferences is what fixes the meanings, but how can you derive inferences before you have meanings? The underlying language of thought generates the inferences? Meanings are involved! |