2

The literature on grounding has been a blast to read through, but I'm again confronted by armadas of formal systems too powerful for a lonely mortal like myself to easily withstand. For example, this treatment makes use of vast formalization, huge blocks/streams of symbols eventually show up here (paper by Kit Fine), this has a bunch of partly-mathematical musings going on, etc.

A creeping concern seems to be over the fundamental viability of the "project" or "research program" of grounding theory. One reason for us to raise such a concern is the divergence of so much of the formalization. This can be dealt with to some extent (or in some way) via pluralism, then, but I am also roughly familiar with what is called "set-theoretic geology" (also "archeology": see the fn. on pg. 34), which seems like a well-grounded way to use the grounding analogy. Assuming that proper mathematicians count as scientists, and assuming a certain "deference thesis," is it per this thesis to defer to set-theoretic geologists in formulating a formalization of metaphysical grounding talk? The hope would be that the greater perspicuity of the mathematical treatment could be adapted to the philosophical case.


That one includes propositions like "the degree of reality at level i is zero" or "Consider a world that contains and [sic] infinity of levels" or (quoting someone else in the paper) "The 'transmission model' of being, whereby the being of an entity at a given level of reality Ln is fully obtained, in a yes/no, all-or-nothing fashion, from the entity or entities at the immediately prior level Ln−1." These descriptive options seem to suggest having levels-of-reality as themselves some sort of grounding relata, though whether they would be the primary such bearers is a question that seems to have a standard negative answer available to it (using the determinables-determinates analogy, it would be the more specific grounders and groundees that would anchor the grounding talk for their encompassing levels).

6
  • 1
    Grounding seems to be the philosophical catchword of the decade... "It is not causation [ but is a sort of ] determination or explanation." Ok; understanding and explanation does not necessarily means "cause": the "reason why" 2+2=4 is that we prove it from axiom, but usually we do not say that axioms are "causing" the theorems. Commented Sep 25 at 14:28
  • 1
    Having said that, are you interested into "grounding mathematical theories"? maybe a new name for old foundations... or in a "mathematical theory of grounding"? maybe set theory with respect to other mathematical theories... Commented Sep 25 at 14:30
  • 1
    Do you mean "deferring to mathematicians"? Scientists are for things that are pertinent to predicting measurements. If they have anything to say about set theory it's in their capacity, whatever that may be, as amateur mathematicians.
    – g s
    Commented Sep 25 at 15:30
  • @MauroALLEGRANZA more like a mathematically-informed theory of grounding. Grounding theorists love to talk about foundation and ill-foundation, so maybe look to the set-theoretic geologists who know the most about that stuff, for some pointers/clues to clearer, more stable terminology and theorizing? Commented Sep 25 at 16:16
  • @gs sometimes mathematicians are characterized as scientists. At least, they have comparable levels/forms of credibility, as an intellectual community. But we philosophers? As usual, we're all over the place. And from the pluralist POV, that's OK. Still, we've our doubts about all this grounding talk, so it's not like we're sailing on the sturdiest ships. Could mathematicians help with that? Commented Sep 25 at 16:18

2 Answers 2

4

As far as I know, grounding in the sense of set-theoretic geology isn't intended to provide a formalization of talk of metaphysical grounding, and I doubt it was even intended to provide a case of grounding in the metaphysical sense, although it's not a terrible stretch to think of it as such a case.

Remember that Paul Cohen proved that the negation of the Continuum Hypothesis (CH) is consistent with Zermelo-Fraenkel set theory with choice (ZFC), as follows. Given a model M for ZFC, and given a particular kind of sentence S about set theory, Cohen explains how to construct a model of ZFC which is larger than M in which the sentence S is true. That larger model is called a "forcing extension of M." It requires some care to specify what kinds of sentences S are allowed, but Cohen shows that it works if S is the negation of CH. So if ZFC has a model, then there is a larger model of ZFC in which CH is false. So ZFC cannot prove that CH is true.

Hamkins and Loewe, in their article "The Modal Logic of Forcing" https://arxiv.org/abs/math/0509616 , talk about forcing extensions of ZFC in a way that philosophers will find very familiar. Start with a model M for ZFC, and consider forcing extensions of ZFC as possible worlds, in the sense of the possible worlds semantics for modal logic. We should have a Kripke frame of possible worlds, and we do, as follows: M' is accessible from M iff M' is a forcing extension of M. So a modal sentence "P is necessarily true" becomes "P is true in every forcing extension", and a modal sentence "P is possibly true" becomes "P is true in some forcing extension." Some ideas in the theory of forcing have nice clean formulations from this point of view, which you can see in the Hamkins--Loewe paper.

In the Fuchs--Hamkins--Reitz paper that you linked, they are thinking about the opposite kind of relation between worlds: rather than start with a model M for ZFC, and ask about the "possible worlds accessible from M" (i.e., forcing extensions of M), in the Fuchs--Hamkins-Reitz paper the idea is to start with a model M for ZFC, and ask about the possible worlds from which M is accessible, i.e., (transitive class) models of ZFC of which M is a forcing extension. It's the reverse of the modal accessibility relation that Hamkins--Loewe describe.

If you start with the model M for ZFC, and take the intersection of all the (transitive class) models for ZFC from which M is accessible, the resulting model for ZFC is called a ground of M. The idea is that, rather than going up into the stratosphere of more set-theoretically exotic collections by taking larger and larger forcing extensions (as you do when considering set-theoretic "possible worlds"), when you speak of set-theoretic "grounds," you are going in the opposite direction, stripping down the model of ZFC, throwing out stuff, trying to get down to less set-theoretically exotic collections, trying to strip the model down to barer stuff.

This is just plain different from the talk of grounding carried out in metaphysics. In metaphysics, grounding is supposed to be a binary relation between facts, not a binary relation between models for set theory. I think it's not controversial to say that "P grounds Q" means something like "The truth of P determines or explains the truth of Q as a consequence of how the things referred to by Q are constituted from the things referred to by P," although giving a more precise account would probably involve contradicting somebody's view on the matter.

If you have models M, M' for ZFC, and M is a ground for M' in the set-theoretic sense, it doesn't exactly make sense to say that M grounds M' in the philosophers' sense, since M and M' aren't facts. You might try to say that facts about M ground (in the philosophers' sense) facts about M'. At a glance, I think this sounds quite reasonable. A bit of thought is probably required to make sure that there are no hiccups, i.e., that the resulting way of talking about set-theoretic facts (specific to a given model) doesn't violate some common expectation the philosophers have about metaphysical grounding. I have not put in that bit of thought, so I don't know if there would be any such hiccups.

Certainly, though, set-theoretic grounding does not provide a formalization of metaphysical grounding in general. I do not think it was ever intended for that purpose. An ordinary claim about metaphysical grounding involving physical objects, like SEP's example that

"The truckers are picketing" grounds "The truckers are on strike" (from https://plato.stanford.edu/entries/grounding/),

does not seem to be expressible using the set-theoretic notion of grounding at all. As I said above, set-theoretic grounding is a relation between models of ZFC, and recall that ZFC is a pure set theory, in which everything in a set. ZFC has no means to talk about individual physical objects at all, and in fact you have to modify ZFC by weakening the extensionality axiom to speak of individual physical objects. (The trouble is that, if I have a physical object A, then A has no elements since it isn't a set, and the empty set also has no elements. So A and the empty set have the same elements. Extensionality then says that A must be equal to the empty set! To speak of physical objects, better to use ZFU, which is the usual version of ZF with extensionality weakened so that you can reason about physical objects.) So you would need to modify the framework for set-theoretic grounding to even get started applying the ideas to actual physical objects, like truckers, picket lines, and strikes.

4
  • I should've anticipated the issue of what the grounding relata are, in framing my question, since it is exactly where I take set geology for my point of departure: having possible worlds be the primary bearers of grounding values. I've decided to edit my post to include a citation of an example of the direction I want that to go, but I'm still holding your answer in the "probably going to be accepted" slot for now. Commented Sep 25 at 16:21
  • @KristianBerry To put a sharper point on what I wrote: grounding in set-theoretic geology is almost certainly not a good framework for formalizing talk of metaphysical grounding. There is a history of philosophers (including Fine) who are mathematically quite competent and have developed good, rigorous, mathematically fruitful frameworks for various kinds of reasoning in philosophy. Very few mathematicians have taken an interest in metaphysical grounding. I would first see what formalisms for metaphysical grounding the philosophers have offered, before asking us (mathematicians) to do it.
    – user509184
    Commented Sep 25 at 19:03
  • I'm not sure... I don't want to be so quick about it, Hamkins did just participate in a workshop on generative ontology, grounding, and real definition, which sounds promising... But also, from the standpoint of the foundation axiom and its thematic relationship to the issues, here, I feel like I can see a tension in some of the fundamental grounding proposition schemes I'm seeing. How that tension is resolved... there are a few options I've noticed, but I'm unsure which is best. Commented Sep 25 at 19:42
  • For emphasizing what I did not, and for emphasizing the challenges an approach like the one suggested would take, and the possible superfluity of the appeal (for isn't Fine a scientist as much as a philosopher, if already a mathematician as much as a philosopher? or a logician, anyway), I think this answer is sufficient. I remain optimistic about my prospects but I will have a lot of work to do, incl. a lot more reading, anyway. Commented Sep 25 at 19:47
1

You ask:

Would "deferring to scientists" in the case of philosophical grounding theory, mean adapting metaphysical grounding talk to mathematical such talk?

Yes, and by virtue of two facts. Fact the first is that a naturalized epistemology would necessarily admit scientific methods in pursuit of a theory of metaphysical grounding. Fact the second is that scientific methods rely on mathematical logic in their methods.

To the philosophically literate, the project to eliminate metaphysics as a useless enterprise failed with the project of the logical positivists and empiricists last century. That leaves, then, metaphysics alive and well, and necessarily fertile ground for both philosophy and science. For instance, meta-philosophers currently cast about for similarities and differences among philosophical styles, methods, and theories, and some avoidable commonalities among schools and thinkers are the existence of theories of values, ontology, epistemology, and this generally fuzzy notion of metaphysics.

If the sciences are embraced as the epistemological tools of thinking, then the modeling of thought occurs either a physical process or as a formal system of mathematical logic or other linguistic formalism. Both both methods of exploring metaphysics, including grounding and explanation, fundamentally reduce to a modeling of knowledge, and knowledge itself lends itself to modeling with tools like possible world semantics, dynamic semantics, or epistemic logics, among others.

Thus, experimental philosophy (SEP) beckons contemporary philosophers to leave their arm-chair speculations and embrace computational methods than can be automated to learn something about this thing called metaphysics. Not only, therefore, does deferring to scientists in exploration of metaphysical grounding means adapting talk in mathematical logic, but it has arguably begun in the form of AI research which is constantly trying to understand how metaphysics relates to human cognition. Dummett has already made the case for the logical basis for metaphysics (in the book of the same name), and current researchers in AGI are exploring what it is beyond classical AI techniques (which are primarily merely deductive and inductive) that animates cognition. Perhaps the answer is a fully scientific theory of metaphysics.

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .