We have met worlds already: a set of things and an interpretation which assigns the things to fixed terms and the supersets to appropriate predicate and relation expressions. In this abstract form, nothing is said about what the things in the set are. Indeed, they are ? from the object language of view ? chunks of prime matter, since all their properties are added later by the interpretation and the same set may be at the heart of many worlds, subject to many interpretations.
For AFOPL all that matters about a world is how many things basic there are in it. Validity can be attributed to all the worlds of a given size: some wffs will be 1-valid but not 2-valid
(?Vx Fx => (x)Fx,? for example) and so on. Validity pure and simple means valid in all worlds, regardless of the size of the domain (though, in ordinary First Order Logic, validity in the lowest level infinity, aleph-null, is sufficient for validity tout court). Of course, in finite domains, some objects will receive more than one name and, since the number of basic objects limits the number of sets of them, so will many sets and relations.
Clearly in the original understanding of worlds, the basic things do not include sets, since there are always (even in an empty world ? which is generally excluded from these discussions) an unreachably infinite number of these ? in some sense (most set theories are done in First Order Logic and therefore have models in an aleph-null domain). But as soon as worlds come to be applied, the possibility that sets are among (even all of) the basic items has also to be allowed.
The height of abstraction for worlds would have it that there is only one domain (?this one?) and that logicians create the various worlds merely by changing the interpretations (or the language, as it were). For a First Order System, that domain could be just the terms themselves, with the various apparent sizes achieved either by restricting consideration to some subset of the whole (?the real things?) or by introducing as identity something other than the set of ordered pairs with the same element in both positions. Another possibility is to start with a set of properties (this is clearly getting somewhat more applied) and then get the domain as the set of all collocations of properties, that is, there would be an individual with (exactly) each possible combination (and maybe impossible ones as well) of properties.
Typically, attempts to specify the content of worlds are part of either a metaphysical presentation (there are only the instantaneous perceptions that compose the skandhas as a start on Buddhism) or a metalogical claim (logic is only about words, not things, or set theory does not require sets). But another source is from generalization of situations. Situations arise in logic primarily as refutations, ways of showing that an argument is invalid without going through a whole world. It is enough to show a small case where all the premises are true but the conclusion is false. The case can be a real, taken from life, with appropriate interpretation of the symbols, or it can be manufactured, with the symbols left uninterpreted or interpreted only to give vivacity to the case. A situation, then, typically deals with only some predicate symbols and only some terms, not the whole language. For some purposes, a situation does not even have to be consistent. However, the consistent ones can be extended to full worlds in a variety of ways (in fact, doing so is a part of most proofs of completeness and consistency for First Order Logic).
And, of course, in a language for communication among humans, it is situations, never whole worlds directly, that we deal with. And so we come, when talking about such a language, to populate our worlds with the characters of the situations that we deal with in our communications. We shall come back to the effects of this move on the logical worlds directly.
When we move beyond the standard logic into modal logics, logics that take more than one world into account at a time, we incorporate all the worlds into our field of interest. In this area (or, better, areas), in addition to the size of each domain, the relations among domains are important. Indeed, modalities turn out to be shorthands for claiming that certain relations hold between worlds of certain specifications. To say, for example, that something is possible in one world is to say that it holds in a world related to the given world by a relation of a certain sort.
Four kinds of such relations have had some investigations in logic: corresponding to alethic, deontic, temporal, and subjunctive modalities. Alethic modalities are the familiar ?possible? and ?necessary.? The relations in this group tend to be reflexive ? every world is reachable from itself, so whatever is is possible (true in some reachable world). Major systems add that the relation has to be transitive (what is reachable from a world reachable from here is reachable from here directly, what is possibly possible is actually possible) or symmetric (here is reachable from what is reachable from here) or both. But there are countless systems that fall outside these or fit between members of this collection. In addition to the relations ? or as part of the definition of them ? there might be internal restrictions on the worlds reached. They might have to have the same or very close domains, and within those they might have to have virtually the same distribution of properties among things. Or they might have to reflect the same laws of some sort. These latter restrictions correspond to the intuitive notions of different kinds of possibility: logical (non-contradiction), physical (laws fulfilled), technological (state of the art maintained) and so on.
Some of these notions of possibility clearly involve time as well as other worlds: we do not expect that technically possible things will come to be instantaneously; they take time. In fact, our travel through time (at the rate of 60 seconds a minute) is our most immediate practical experience of other worlds, for the world now is different ? however slightly ? from the one when you began this sentence and from the one when you end it. So another type of relation considered in modalities are the temporal ones, which order worlds into sequences of some sort, ?earlier than?-?later than? relations. These use two weak modals (?possible?), one for looking up the sequence (?future?) and one for looking down (?past?). Systems then arise by various restrictions on the relations and so the orderings involved. The ordering can be, for example, discrete (there are events which are future but not future future since there is no intervening world), or dense (contrarily) or continuous. There may be a single ordering for all the worlds ordered, or it may branch toward the future or the past or both. Ordering may curve back on themselves in one direction or both (so that an event occurring implies that it has occurred before ? the Qoheleth option ? or will occur again. And so on through innumerable variations of how time (or history) might be structured.
Many of the special alethic modalities come from defining ?possibility? in temporal terms, as several ancient philosophers (and not a few moderns) do. Given a definition like Diodorus? that the necessary is what always has been, is now, and ever will be (or possibility as what once was, is now or will be sometime), variations on the structure of history give rise to a variety of modal systems that are hard to characterize by looking at the relations among worlds directly. Or, in another sense ? necessity as what is certain, working from Peirce?s definition of necessity as what has been is now or definitely will be (is somewhere on every future path) generates a variety of system that fall well outside the classes discussed above (an occurrent event is necessary, for example, not merely possible), so much so as to be considered by some as a totally different concept. Again, internal features of the worlds involved may p-lay a significant role in these orderings ? contents of the domain ought to change regularly over time and once something leaves the domain it does not return (or, more usually, once it goes into the ?dead? class it does not leave it unless it drops out of the domain altogether). And the content of the denotations of various predicates also shifts slowly over intervals on the path(s) through time.
These kinds of considerations are also apparent in deontic modal systems. Here the worlds down relation from a given world are morally (etc.) idealized worlds from the original. To say what one ought to do in a situation (world, for now) requires that the idealized worlds be as much like the original as possible, up to what one does (notice some temporal notions coming in here, at least in the decision making use of such modalities). The relations are clearly not reflexive: what one does may not be permissible (true in some idealized world) and what is obligatory (true in all idealized worlds) may not be what one does. The base world is (by definition?) not idealized. Besides the temporal elements using deontic modalities to discuss decisions, they may be involved also just in the notion of idealization: the right thing is what leads eventually to the greatest happiness for the greatest number (utilitarian morality), say, or what is most likely to lead to success (prudential advice).
All of the modalities so far considered are represented in logic by one-place connectives, their syntax paralleling NOT. Possibility is usually represented by a diamond (?L? in Polish systems) and necessity by a square (?M?). Temporal logic uses ?P? for ? is truth as some point on some past path? and ?F? for the corresponding future. ?G? is then for ?true at all points on all past paths? and ?H? for the corresponding future. The ?true at some point on each path? has not been developed to the point of having a symbol. Deontic logic usually uses ?O? for ?obligatory,? true in all idealized worlds, and ?P? for ?permitted,? true in at least one. Alethic and temporal modal systems have also been constructed with primitive 2-place connectives, from which the one-placed can be derived by definition.
Subjunctive modality is fundamentally relational however. It is about what happens in another world or, better, class of worlds defined as those in which a certain claim holds. In natural languages it often takes the form of a conditional to introduce the world(s) and then some implicit marker to continue in that world as long as need be. It is usually assumed that these new worlds are as much like the present one as is compatible with the changed state that defines them. What those difference might be is usually the point of this modality: what will be true in all such worlds, what will usually be true in them (i.e., true in most of them) and so on. Clearly, working out the truth of such claims is not going to be easy. The usual convention of logic that all assignments of properties to classes are independent of one another would mean that the change made no difference. Having the currently known laws that connect certain predicates carry over to the alternate worlds helps ? with the provision that the defining assumption can be that one of those laws does not hold, so that only the remaining ones still apply. But many of the interesting questions to be posed in this way are precisely not lawlike but about character, say, or some other intuitive but largely unanalyzed notion.
Subjunctive modality is clearly related to temporal ones in many uses. We often ask ?What would happen /have happened if such-and-such were the case?? where the question is largely about things that happen after such-and-such coming to be the case, generally at a particular moment in time. Indeed, many natural languages ? English for one — construct their subjunctive forms out of the material of their tense representations. The general map is roughly going back to a time when the defining state might have occurred but did not (the Confederacy winning the Battle of Gettysburg ? maybe more specifically Pickett?s Charge succeeding) and then ? assuming time to be branching to the future at each point ? proceeding along a different set of paths. Viewed in this way, much of the requirement that things be as much like the present as possible takes on some specific content: all of history, all of character, all of the laws up to the crucial time are set and, barring that a change is what is called for by the defining assumption, will continue in natural development. We may argue about what that natural development is in the altered circumstances, but the question has some solid content. On the other hand, when subjunctives get away from this sort of question, when they cannot be tied down to a point in this world, their truth become pretty airy speculation. We can deal with ?What if Socrates had escaped from prison?? pretty well, because we have a vast amount of background information about the people and society involved. But ?What if Socrates were an 18th century Irish washerwoman?? leaves us with nothing to hand on to: there are twenty-two hundred years of history without Socrates to deal with, for one thing, so Lord knows what Ireland may be like (if it is at all) or the status of washerwomen or?. Of course, the question might involve a rebirth in the regular history as of now ? one with Socrates from the fourth century BCE on ? and with the notion that being Socrates, in whatever guise, means have a certain character and set of propensities (?every name is a disguised description?). In any case, it is easy to see why subjunctive modalities are the least developed of the lot.
It has to be admitted that, even for the thoroughly developed alethic modalities, satisfactory development does not extend much beyond the propositional level. That is, modal sentences that involve names or quantifiers or descriptions are not settled. While there are a number of systems, each of them poses serious problems: some are incomplete, some are not proven consistent, most give counterintuitive results at some point, and the most nearly successful ones break most sharply with what has gone before in one-world-at-a-time logic.
The focus of the problems is things. Can the same thing be in more than one world? If so, must it be called by the same name in all the worlds it is in? Conversely, must what are called by a given name in several different worlds be the same thing? Can there be things in one world that are not in another (or, if you want to insist that nothing can be in more than one world, that are not counterparts of things in another)? Is there just one domain and quantification then restricted different subsets in different worlds, with perhaps different treatments of the remainder as unreal objects in that world? And so on. The upshot of all these questions is that, when we come to natural language modalities and quantifiers or terms, we have little guidance beyond the automatic ones that define intensionality: without further qualifications, terms in the scope of modals cannot be generalized outside, nor terms outside be used to instantiate inside, and identities from one side cannot be used for replacements on the other side.
A set of problems that have not yet been dealt with in these logics, at least not directly are those that have to do with properties. Does a thing in one world have properties in that world that depend upon properties it has in another world? Are dispositional properties real properties or just disguised subjunctives? Are abilities real properties? Does a person carry around his whole history or some large part of it? What about his future (or is this part of the asymmetry of time)? Can an object then be identified just by its property (and so its name be definite descriptions)? Or is part of what makes something a counterpart a shared earlier history ? along a different path?
One extreme here is to say that no dispositional properties are actually had at the moment, that all attributions of dispositional properties are disguised modal sentences of some sort?typically subjunctive. This line has the problem that most properties turn out to be dispositional to some extent, to make claims about what would happen if some unmade test were made. And that, of course, leads to endless regresses, since the upshot of the test is also a dispositional property looking to further tests. The other extreme is the classical one that every dispositional property (?capability? or some such) is rooted in ? and so can be identified with ? some occurrent property ? however hard it may be to locate. Between is the relativist position, which holds that, in a given context, we take some properties as occurrent, relative to which we take others as dispositional, even though, in another context, the roles might be reversed. This last seems to be the way we usually act, but is hard to work into a formal system, so logic has no answers and little in the way of developing alternative theories.
Logic Language Draft 77.1
-------