28 ideas
| 17275 | Realist metaphysics concerns what is real; naive metaphysics concerns natures of things [Fine,K] |
| Full Idea: We may broadly distinguish between two main branches of metaphysics: the 'realist' or 'critical' branch is concerned with what is real (tense, values, numbers); the 'naive' or 'pre-critical' branch concerns natures of things irrespective of reality. | |
| From: Kit Fine (Guide to Ground [2012], 1.02) | |
| A reaction: [compressed] The 'natures' of things are presumably the essences. He cites 3D v 4D objects, and the status of fictional characters, as examples of the second type. Fine says ground is central to realist metaphysics. |
| 17282 | Truths need not always have their source in what exists [Fine,K] |
| Full Idea: There is no reason in principle why the ultimate source of what is true should always lie in what exists. | |
| From: Kit Fine (Guide to Ground [2012], 1.03) | |
| A reaction: This seems to be the weak point of the truthmaker theory, since truths about non-existence are immediately in trouble. Saying reality makes things true is one thing, but picking out a specific bit of it for each truth is not so easy. |
| 17283 | If the truth-making relation is modal, then modal truths will be grounded in anything [Fine,K] |
| Full Idea: The truth-making relation is usually explicated in modal terms, ...but this lets in far too much. Any necessary truth will be grounded by anything. ...The fact that singleton Socrates exists will be a truth-maker for the proposition that Socrates exists. | |
| From: Kit Fine (Guide to Ground [2012], 1.03) | |
| A reaction: If truth-makers are what has to 'exist' for something to be true, then maybe nothing must exist for a necessity to be true - in which case it has no truth maker. Or maybe 2 and 4 must 'exist' for 2+2=4? |
| 17286 | Logical consequence is verification by a possible world within a truth-set [Fine,K] |
| Full Idea: Under the possible worlds semantics for logical consequence, each sentence of a language is associated with a truth-set of possible worlds in which it is true, and then something is a consequence if one of these worlds verifies it. | |
| From: Kit Fine (Guide to Ground [2012], 1.10) | |
| A reaction: [compressed, and translated into English; see Fine for more symbolic version; I'm more at home in English] |
| 10185 | Set theory is the standard background for modern mathematics [Burgess] |
| Full Idea: In present-day mathematics, it is set theory that serves as the background theory in which other branches of mathematics are developed. | |
| From: John P. Burgess (Review of Chihara 'Struct. Accnt of Maths' [2005], §1) | |
| A reaction: [He cites Bourbaki as an authority for this] See Benacerraf for a famous difficulty here, when you actually try to derive an ontology from the mathematicians' working practices. |
| 10184 | Structuralists take the name 'R' of the reals to be a variable ranging over structures, not a structure [Burgess] |
| Full Idea: On the structuralist interpretation, theorems of analysis concerning the real numbers R are about all complete ordered fields. So R, which appears to be the name of a specific structure, is taken to be a variable ranging over structures. | |
| From: John P. Burgess (Review of Chihara 'Struct. Accnt of Maths' [2005], §1) | |
| A reaction: Since I am beginning to think that nearly all linguistic expressions should be understood as variables, I find this very appealing, even if Burgess hates it. Terms slide and drift, and are vague, between variable and determinate reference. |
| 10189 | There is no one relation for the real number 2, as relations differ in different models [Burgess] |
| Full Idea: One might meet the 'Van Inwagen Problem' by saying that the intrinsic properties of the object playing the role of 2 will differ from one model to another, so that no statement about the intrinsic properties of 'the' real numbers will make sense. | |
| From: John P. Burgess (Review of Chihara 'Struct. Accnt of Maths' [2005], §5) | |
| A reaction: There seems to be a potential confusion among opponents of structuralism between relations at the level of actual mathematical operations, and generalisations about relations, which are captured in the word 'patterns'. Call them 'meta-relations'? |
| 10186 | If set theory is used to define 'structure', we can't define set theory structurally [Burgess] |
| Full Idea: It is to set theory that one turns for the very definition of 'structure', ...and this creates a problem of circularity if we try to impose a structuralist interpretation on set theory. | |
| From: John P. Burgess (Review of Chihara 'Struct. Accnt of Maths' [2005], §1) | |
| A reaction: This seems like a nice difficulty, especially if, like Shapiro, you wade in and try to give a formal account of structures and patterns. Resnik is more circumspect and vague. |
| 10187 | Abstract algebra concerns relations between models, not common features of all the models [Burgess] |
| Full Idea: Abstract algebra, such as group theory, is not concerned with the features common to all models of the axioms, but rather with the relationships among different models of those axioms (especially homomorphic relation functions). | |
| From: John P. Burgess (Review of Chihara 'Struct. Accnt of Maths' [2005], §1) | |
| A reaction: It doesn't seem to follow that structuralism can't be about the relations (or patterns) found when abstracting away and overviewing all the models. One can study family relations, or one can study kinship in general. |
| 10188 | How can mathematical relations be either internal, or external, or intrinsic? [Burgess] |
| Full Idea: The 'Van Inwagen Problem' for structuralism is of explaining how a mathematical relation (such as set membership, or the ratios of an ellipse) can fit into one of the three scholastics types of relations: are they internal, external, or intrinsic? | |
| From: John P. Burgess (Review of Chihara 'Struct. Accnt of Maths' [2005], §5) | |
| A reaction: The difficulty is that mathematical objects seem to need intrinsic properties to get any of these three versions off the ground (which was Russell's complaint against structures). |
| 17272 | 2+2=4 is necessary if it is snowing, but not true in virtue of the fact that it is snowing [Fine,K] |
| Full Idea: It is necessary that if it is snowing then 2+2=4, but the fact that 2+2=4 does not obtain in virtue of the fact that it is snowing. | |
| From: Kit Fine (Guide to Ground [2012], 1.01) | |
| A reaction: Critics dislike 'in virtue of' (as vacuous), but I can't see how you can disagree with this obvervation of Fine's. You can hardly eliminate the word 'because' from English, or say p is because of some object. We demand the right to keep asking 'why?'! |
| 17276 | If you say one thing causes another, that leaves open that the 'other' has its own distinct reality [Fine,K] |
| Full Idea: It will not do to say that the physical is causally determinative of the mental, since that leaves open the possibility that the mental has a distinct reality over and above that of the physical. | |
| From: Kit Fine (Guide to Ground [2012], 1.02) | |
| A reaction: The context is a defence of grounding, so that if we say the mind is 'grounded' in the brain, we are saying rather more than merely that it is caused by the brain. A ghost might be 'caused' by a bar of soap. Nice. |
| 17284 | An immediate ground is the next lower level, which gives the concept of a hierarchy [Fine,K] |
| Full Idea: It is the notion of 'immediate' ground that provides us with our sense of a ground-theoretic hierarchy. For any truth, we can take its immediate grounds to be at the next lower level. | |
| From: Kit Fine (Guide to Ground [2012], 1.05 'Mediate') | |
| A reaction: Are the levels in the reality, the structure or the descriptions? I vote for the structure. I'm defending the idea that 'essence' picks out the bottom of a descriptive level. |
| 17285 | 'Strict' ground moves down the explanations, but 'weak' ground can move sideways [Fine,K] |
| Full Idea: We might think of strict ground as moving us down in the explanatory hierarchy. ...Weak ground, on the other hand, may also move us sideways in the explanatory hierarchy. | |
| From: Kit Fine (Guide to Ground [2012], 1.05 'Weak') | |
| A reaction: This seems to me rather illuminating. For example, is the covering law account of explanation a 'sideways' move in explanation. Are inductive generalities mere 'sideways' accounts. Both fail to dig deeper. |
| 17288 | We learn grounding from what is grounded, not what does the grounding [Fine,K] |
| Full Idea: It is the fact to be grounded that 'points' to its ground and not the grounds that point to what they ground. | |
| From: Kit Fine (Guide to Ground [2012], 1.11) | |
| A reaction: What does the grounding may ground all sorts of other things, but what is grounded only has one 'full' (as opposed to 'partial', in Fine's terminology) ground. He says this leads to a 'top-down' approach to the study of grounds. |
| 17281 | If grounding is a relation it must be between entities of the same type, preferably between facts [Fine,K] |
| Full Idea: In so far as ground is regarded as a relation it should be between entities of the same type, and the entities should probably be taken as worldly entities, such as facts, rather than as representational entities, such as propositions. | |
| From: Kit Fine (Guide to Ground [2012], 1.02) | |
| A reaction: That's more like it (cf. Idea 17280). The consensus of this discussion seems to point to facts as the best relata, for all the vagueness of facts, and the big question of how fine-grained facts should be (and how dependent they are on descriptions). |
| 17280 | Ground is best understood as a sentence operator, rather than a relation between predicates [Fine,K] |
| Full Idea: Ground is perhaps best regarded as an operation (signified by an operator on sentences) rather than as a relation (signified by a predicate) | |
| From: Kit Fine (Guide to Ground [2012], 1.02) | |
| A reaction: Someone in this book (Koslicki?) says this is to avoid metaphysical puzzles over properties. I don't like the idea, because it makes grounding about sentences when it should be about reality. Fine is so twentieth century. Audi rests ground on properties. |
| 17290 | Only metaphysical grounding must be explained by essence [Fine,K] |
| Full Idea: If the grounding relation is not metaphysical (such as normative or natural grounding), there is no need for there to be an explanation of its holding in terms of the essentialist nature of the items involved. | |
| From: Kit Fine (Guide to Ground [2012], 1.11) | |
| A reaction: He accepts that some things have partial grounds in different areas of reality. |
| 17274 | Philosophical explanation is largely by ground (just as cause is used in science) [Fine,K] |
| Full Idea: For philosophers interested in explanation - of what accounts for what - it is largely through the notion of ontological ground that such questions are to be pursued. Ground, if you like, stands to philosophy as cause stands to science. | |
| From: Kit Fine (Guide to Ground [2012], 1.02) | |
| A reaction: Why does the ground have to be 'ontological'? It isn't the existence of the snow that makes me cold, but the fact that I am lying in it. Better to talk of 'factual' ground (or 'determinative' ground), and then causal grounds are a subset of those? |
| 17278 | We can only explain how a reduction is possible if we accept the concept of ground [Fine,K] |
| Full Idea: It is only by embracing the concept of a ground as a metaphysical form of explanation in its own right that one can adequately explain how a reduction of the reality of one thing to another should be understood. | |
| From: Kit Fine (Guide to Ground [2012], 1.02) | |
| A reaction: I love that we are aiming to say 'how' a reduction should be understood, and not just 'that' it exists. I'm not sure about Fine's emphasis on explaining 'realities', when I think we are after more like structural relations or interconnected facts. |
| 17287 | Facts, such as redness and roundness of a ball, can be 'fused' into one fact [Fine,K] |
| Full Idea: Given any facts, there will be a fusion of those facts. Given the facts that the ball is red and that it is round, there is a fused fact that it is 'red and round'. | |
| From: Kit Fine (Guide to Ground [2012], 1.10) | |
| A reaction: This is how we make 'units' for counting. Any type of thing which can be counted can be fused, such as the first five prime numbers, forming the 'first' group for some discussion. Any objects can be fused to make a unit - but is it thereby a 'unity'? |
| 17279 | Even a three-dimensionalist might identify temporal parts, in their thinking [Fine,K] |
| Full Idea: Even the three-dimensionalist might be willing to admit that material things have temporal parts. For given any persisting object, he might suppose that 'in thought' we could mark out its temporal segments or parts. | |
| From: Kit Fine (Guide to Ground [2012], 1.02) | |
| A reaction: A big problem with temporal parts is how thin they are. Hawley says they are as fine-grained as time itself, but what if time has no grain? How thin can you 'think' a temporal part to be? Fine says imagined parts are grounded in things, not vice versa. |
| 17273 | Each basic modality has its 'own' explanatory relation [Fine,K] |
| Full Idea: I am inclined to the view that ....each basic modality should be associated with its 'own' explanatory relation. | |
| From: Kit Fine (Guide to Ground [2012], 1.01) | |
| A reaction: He suggests that 'grounding' connects the various explanatory relations of the different modalities. I like this a lot. Why assert any necessity without some concept of where the necessity arises, and hence where it is grounded? You've got to eat. |
| 17289 | Every necessary truth is grounded in the nature of something [Fine,K] |
| Full Idea: It might be held as a general thesis that every necessary truth is grounded in the nature of certain items. | |
| From: Kit Fine (Guide to Ground [2012], 1.11) | |
| A reaction: [He cites his own 1994 for this] I'm not sure if I can embrace the 'every' in this. I would only say, more cautiously, that I can only make sense of necessity claims when I see their groundings - and I don't take a priori intuition as decent grounding. |
| 17291 | We explain by identity (what it is), or by truth (how things are) [Fine,K] |
| Full Idea: I think it should be recognised that there are two fundamentally different types of explanation; one is of identity, or of what something is; and the other is of truth, or of how things are. | |
| From: Kit Fine (Guide to Ground [2012], 1.11) |
| 17271 | Is there metaphysical explanation (as well as causal), involving a constitutive form of determination? [Fine,K] |
| Full Idea: In addition to scientific or causal explanation, there maybe a distinctive kind of metaphysical explanation, in which explanans and explanandum are connected, not through some causal mechanism, but through some constitutive form of determination. | |
| From: Kit Fine (Guide to Ground [2012], Intro) | |
| A reaction: I'm unclear why determination has to be 'constitutive', since I would take determination to be a family of concepts, with constitution being one of them, as when chess pieces determine a chess set. Skip 'metaphysical'; just have Determinative Explanation. |
| 17277 | If mind supervenes on the physical, it may also explain the physical (and not vice versa) [Fine,K] |
| Full Idea: It is not enough to require that the mental should modally supervene on the physical, since that still leaves open the possibility that the physical is itself ultimately to be understood in terms of the mental. | |
| From: Kit Fine (Guide to Ground [2012], 1.02) | |
| A reaction: See Horgan on supervenience. Supervenience is a question, not an answer. The first question is whether the supervenience is mutual, and if not, which 'direction' does it go in? |
| 9626 | A structure is an abstraction, focussing on relationships, and ignoring other features [Shapiro] |
| Full Idea: A structure is the abstract form of a system, focussing on the interrelationships among the objects, and ignoring any features of them that do not affect how they relate to other objects in the system. | |
| From: Stewart Shapiro (Structure and Ontology [1989], 146), quoted by James Robert Brown - Philosophy of Mathematics Ch.4 | |
| A reaction: I find this account very attractive, even though it appeals to supposedly outmoded psychological abstractionism. It seems pretty close to Aristotle's view of things. Shapiro's account must face up to Frege's worries about these matters. |