Sunday, November 11, 2012

Some Jottings on Dynamic Mereotopology

These are just some loose thoughts, not very developed. A mereology is a theory of part-and-whole relations. A topology is, roughly, a theory of relations that remain constant under continuous changes -- boundaries and connections being the most important, so a topology can be considered a theory of connection-and-limit relations. A mereotopology, of course, joins the two. We tend to regard these as spatial in character, but in principle a mereotopology is capable of covering a great deal more (concepts, abstract structures, and so forth). In any case, it would be worthwhile to have some account of mereotopology that included some conception of change -- a dynamic mereotopology. There are two ways one could include change in a mereotopology.

One way would be to develop a mereotopology of changes themselves. It is clear that changes do have mereotopological features. One change can be part of another change; changes can be connected to each other; changes can overlap; changes can be interior to or within the boundaries of other changes. In this sense, parthood, overlap, connection, and boundary would be applied to changes themselves.

A second way would be to have one's mereotopology apply to changing things -- changing regions, perhaps, or changing structures. There are perhaps several different ways you could go about doing this. But one way would be take all your mereotopological concepts and modalize them for changes. There are two major modal operators, Box and Diamond. Box in effect tells us that something is the case with no exceptions; Diamond says that something is the case even if there are exceptions, or although there may be exceptions. (Diamond does not say there are exception, only that there may be.) So we could take each mereotopological operator and Box or Diamond it.

Take basic parthood (the sense of 'part' in which a thing can be counted as part of itself). We would then get a Box-parthood and a Diamond-parthood. Box-parthood would be invariant parthood; Diamond-parthood would be at least variant parthood. Of course, invariant parthood includes at least variant parthood, in the way that 'always' includes 'at least sometimes'. If x is invariantly a part of y, then x is at least variantly a part of y, although not vice versa. The same thing can be done with proper parthood (the sense of 'part' in which the whole is definitely not counted as a part; you can use either parthood or proper parthood as your basic concept without changing the mereology in any significant way). Of course, one difference is that it's possible to argue that there is always at least one invariant part, even though there may not always be at least one invariant proper part: everything is arguably always an invariant part of itself.

We can do the same thing with other mereological notions, like overlap. x overlaps y when there is something (call it z) that is part of both x and y, some z such that z is part of x and z is part of y. Invariant overlap and variant overlap work much the same way as invariant and variant parts, and are definable in terms of them: invariant overlap occurs when z is an invariant part and variant overlap occurs when z is a variant part.

In an analogous way, we would have invariant connection (Box) and variant connection (Diamond). An interesting question arises as to how the mereology connects to the topology at this point. In a typical mereotopology using overlap and connection, one would hold that 'x overlaps y' implies 'x is connected to y'. (You can do the same with parthood directly, but it's slightly cleaner to use overlap.) But what happens when we differentiate different kinds of overlap and connection? It seems clear that some general bridge principle still exists: namely, that if x either variantly or invariantly overlaps y, then x is either variantly or invariantly connected to y. But this is quite weak. Is there a stronger principle? Does invariant overlap imply invariant connectiom and variant overlap imply variant connection? This does seem plausible, although I wonder if there are unusual cases where one would be better off sticking to the more general principle.

We can, again, do the same with other concepts like 'is an interior part of' or 'is a boundary of'.

9 comments:

  1. Thanks for the post.  Is this the Samar philosophy you were mentioning?

    ReplyDelete
  2. branemrys4:50 PM

    No, although I did mention it in passing.

    ReplyDelete
  3. MrsDarwin8:07 PM

    I'm ashamed to admit that I thought you'd made up the term for the sake of the story.

    Can you give an example of mereotopology, or should we wait for the next installment ?

    ReplyDelete
  4. branemrys8:35 PM

    I sort of did make it up. Mereotopology is a real word, but "dynamic mereotopology" is a science-fictional (although possible) discipline.

    Mereotopology is an entire discipline of logic (or mathematics), so it's hard to give a simple example. But mereotopology is the sort of thing you are already doing if you are reasoning about (say) whether one object has parts that touch the surface of another object. (Talk about parts is mereological, talk about contact or surfaces is topological, talk that refers to both is mereotopological.) When children argue about whether their siblings are touching them because their foot is, that's mereotopology.

    If I have time I might put up a few more mereotopology-related things; partly because I like saying 'mereotopology'.

    ReplyDelete
  5. MrsDarwin10:12 PM

    Ah, that's an example I understand. ("She's on my side of the room!" "No, she's not." "Well, her book is on my side of the room!") 

    ReplyDelete
  6. branemrys10:23 PM

    Yes, exactly -- parts and boundaries!

    ReplyDelete
  7. Dimitar Ivanov Vakarelov8:33 AM

    My name is Dimiter Vakarelov (dvak@fmi.univ-sofia.bg). If you are interested in Dynamic mereotopology you can see (from the Internet) my papers:

    1.
    Dimiter Vakarelov:
    A MODAL APPROACH TO DYNAMIC
    ONTOLOGY: MODAL MEREOTOPOLOGY
    Logic and Logical Philosophy
    Volume 17 (2008), 167–187


    2.
    Dimiter Vakarelov: Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations. Fundam. Inform. 100(1-4): 159-180 (2010)



    3.
    Dimiter Vakarelov: Dynamic Mereotopology II: Axiomatizing some Whiteheadean Type Space-time Logics. Advances in Modal Logic 2012: 538-558
    2011


    4. Dimiter Vakarelov: DYNAMIC MEREOTOPOLOGY III.
    WHITEHEADEAN TYPE OF INTEGRATED
    POINT-FREE THEORIES OF SPACE AND TIME
    (accepted for publication in "Algebra and Logic"

    ReplyDelete
  8. branemrys10:30 AM

    Thanks! It's definitely a field that needs development!

    ReplyDelete
  9. Dimitar Ivanov Vakarelov1:29 AM

    It will be nice to continue the discussion about dynamic mereotopology and to obtain some feedback about my approach.

    ReplyDelete

No anonymity (but consistent pseudonyms allowed). Abusive comments, especially directed toward other commenters, will be deleted; abusive commenters will be hunted down and shot. By posting a comment you agree to these terms and conditions.

Please understand that this weblog runs on a third-party comment system, not on Blogger's comment system. If you have come by way of a mobile device and can see this message, you may have landed on the Blogger comment page; your comments will only be shown on this page and not on the page most people will see, and it is much more likely that your comment will be missed (although I do occasionally check to make sure that no comments are being overlooked).