BHCIFOL: CaseIntensional First Order Logic
 1.1k Downloads
 7 Citations
Abstract
This paper follows Part I of our essay on caseintensional firstorder logic (CIFOL; Belnap and Müller (2013)). We introduce a framework of branching histories to take account of indeterminism. Our system BHCIFOL adds structure to the cases, which in Part I formed just a set: a case in BHCIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the total courses of events (extending all the way into the future) that that moment is part of. This framework allows us to define the familiar Ockhamist temporal/modal connectives, most notably for past, future, and settledness. The novelty of our framework becomes visible in our discussion of substances in branching histories, i.e., in its firstorder part. That discussion shows how the basic idea of tracing an individual thing from case to case via an absolute property is applicable in a branching histories framework. We stress the importance of keeping apart extensionality and momentdefiniteness, and give a formal account of how the specification of natural sortals and natural qualities turns out to be a coordination task in BHCIFOL. We also provide a detailed answer to Lewis’s wellknown argument against branching histories, exposing the fallacy in that argument.
Keywords
Modal logic Quantification Sortal Tracing Substance Identity Indeterminism Branching1 Introduction to this Part
This is Part II of a twopart essay. In Part I [4] we introduced CIFOL, a “caseintensional firstorder logic,” as a general purpose quantified modal logic derived from Bressan [6]. Here we refine and enrich CIFOL to take account of indeterminism, relying for that purpose on a branching structure that we call “branching histories”; we will call the resulting system BHCIFOL.^{1} Much, however, remains exactly the same as in Part I.
1.1 BHCIFOL Grammar
We rehearse material from Section 2.1 of Part I for ease of reference. The principal “parts of speech” in BHCIFOL are terms, sentences, operators, and predicates, all defined by recursion on complexity, and certain connectives. Among the atomic constants there are sentential constants, p, predicate constants, P, individual constants, c, and operator constants, f . Among the atomic terms, there is also a set Vars of individual variables, with x, y, z ranging over them, and there is a special individual constant, *, to figure as a sign of nonexistence. Individual terms, with α, β ranging over them, arise by applying an nary operator (either constant or λoperator), η, to an ntuple of terms: η (α _{1}, . . . , α _{ n }). There is a distinguished twoplace predicate constant for use in casedependent identity sentences: α _{1}= α _{2}.^{2} Using \(\Theta \) to range over predicates, additional sentences come by applying an nary predicate (either constant or \(\lambda \)predicate), \(\Theta \), to an ntuple of terms: \(\Theta (\alpha _{1},\ldots ,\alpha _n)\). Sentences arise from these via the usual truthfunctional connectives such as negation, conjunction, disjunction, and the conditional and biconditional: \(\neg , \wedge , \vee , \rightarrow , \leftrightarrow \); the modal connectives \(\square \) and \(\lozenge \) for necessity and possibility; and the usual firstorder quantifiers, \(\exists x\) and \(\forall x\), applied to sentences. \(\Phi \) ranges over sentences. Occasionally we use \(\phi \) to stand for a particular sentence.
CIFOL features unrestricted formation of ιterms (definite descriptions) ι \((\Phi )\), \(\lambda \)predicates \(\lambda x(\Phi )\), and \(\lambda \)operators \(\lambda x (\alpha )\).^{3} A definite description is an individual term. Applying a \(\lambda \)operator, \(\lambda x (\alpha )\), to a term, \(\beta \), issues in a term, \((\lambda x (\alpha ))\beta \). Applying a \(\lambda \)predicate, \(\lambda x(\Phi )\), to a term, \(\beta \), issues in a sentence, \((\lambda x(\Phi ))\beta \). A \(\lambda \)operator [\(\lambda \)predicate] may occur only in an operator [predicate] position (on pain of ascending past the first order). Finally, an expression, whether open or closed, is either an operator, \(\eta \), or a predicate, \(\Theta \), or an individual term, \(\alpha \), or a sentence, \(\Phi \); and in the latter two cases is categorematic. We let \(\xi \) range over expressions. To aid reading, in Section 4 we distinguish predicates, \(\Theta \), into two important kinds, absolute “sortal” predicates, \(\Sigma \), and extensional “quality” predicates, \(\Xi \), in terms of certain properties; but neither CIFOL nor BHCIFOL makes an official syntactic distinction between sortals and qualities.
1.2 BHCIFOL Parameters and Models
The fundamental BHCIFOL semantic parameters are summed up in a “BHCIFOL model,” \(\mathcal {M}\).^{4} These parameters remain fixed in the course of inductive semantic evaluation. In addition, an assignment, \(\delta \), of (intensional) values to free variables is required in order to evaluate expressions containing free variables. Finally, extensions require an additional parameter, the “case,” since truth values and all other extensions are caserelative. (We explain the required notion of a case for BHCIFOL via Definition 2 below.) Thus, evaluating intensions requires a model \(\mathcal {M}\) together with an assignment \(\delta \), and evaluating extensions requires in addition a case.^{5}
Definition 1 (Model)
In CIFOL, cases were entirely unstructured, whereas, as we soon explain, each case in BHCIFOL has an intrinsic structure. Nevertheless, an intension in BHCIFOL is, as in CIFOL, always a function from the set of cases into extensions. That is, using \((X\mapsto Y)\) as the set of functions from X into Y each intension belongs to \((\Gamma \mapsto Y)\), for suitable Y.
2 Metaphysics of Branching Histories
In this section we lay out what must be included for branching histories; and first of all we set out the metaphysical underpinnings from which we can construct a proper set of cases and the domain, D.
In our development of BHCIFOL, we will preserve CIFOL’s logical virtues of easiness of use, uniformity, and power. We will add to the usefulness of the system by means of a more specific analysis of the notions of sortal vs. qualitative properties, and thereby, of an individual thing (a substance) and its properties.
Let us hasten to stress that by providing an analysis of cases in the framework of branching histories, we are not claiming to give the ultimate analysis of possibility and necessity, or of modality de re. If, contrary to fact, we were to make any claims as to giving “the one true modal logic,” the claim might be that that is what CIFOL provides, generally speaking. BHCIFOL, on the other hand, gives a useful, more finegrained analysis of one specific kind of modality: the type of real, temporalmodal possibility and necessity that we have to deal with in the actual world, and which informs and constrains our agency. By stressing the importance of real possibility, we do not want to diminish the usefulness of other types of modality for specific aims—for example, there seem to be some good uses of thought experiments in science and in philosophy (Rawls’s idea of an original position comes to mind), and the modality involved in them, which is meant to give us access to conceptual knowledge, does not have to be of the kind we are presently tackling. Nor is it part of our claim that other types of modality can in any useful sense be reduced to what we are dealing with here.
2.1 Our World, Moments, Histories, Cases, Times
We mentioned in Part I that the logical framework of CIFOL leaves the interpretation of the set of cases completely open. Two main examples for cases we mentioned were, first, linear time (a case is a moment or perhaps an interval), and second, cases that represent possibilities without taking into account the passing of time. It is quite natural to want to combine the two. One way, which goes by the name of “\(T \times W\),” is to combine time and modality by forming the Cartesian product of a linearly ordered set of times, \(\langle T, \leq \rangle \), and an unordered set of possibilities (perhaps “possible worlds”), W . The cases with which we end up on this approach are pairs \(\langle t,w\rangle \), with \(t\in T\) and \(w\in W\). There are good reasons to favor a different approach (see Belnap et al. [5], Ch.7A.6). That approach, due to Kripke, Prior and Thomason, went by the name of “branching time”.^{6} Moments are the fundamental entities in this representation of Our World. Be warned, however: The moments are not yet the cases, nor are they times. Each moment—we use the parameter, M, to denote the set of all of them—is to be construed as a worldwide (possible) instantaneous event.^{7} To represent indeterminism, we introduce the parameter \(\le \) as a treelike (partial) causal order on M:
Postulate 1 (Our World)
Our World is a nonempty partial order \(\langle M,\le \rangle \) such that there is no backward branching (for all \(x,y,z\), if \(x\leq z\) and \(y\leq z\), then (\(x\leq y\) or \(y\leq x\))).
We define < as the strict mate of \(\le \): \(m_{1} < m_2 \leftrightarrow _{df} m_{1}\le m_{2}\) but \(m_{1}\neq m_{2}\). Because of branching, we need to read \(m_1<m_{2}\) with care in either of two equivalent ways: either as “\(m_{1}\) is in the causal past of \(m_{2}\)” or as “\(m_{2}\) is in the future of possibilities of \(m_{1}\)”. We let m range over M.
A critical defined notion is that of a history, a linear course of momentary events that may well stretch without limit both forward and backward:
Definition 2 (Histories and cases)
A set \(h\subseteq M\) is a history iff h is a maximal chain in M (that is, any two elements of h are comparable via \(\leq \), and no proper superset of h has that property). We write H for the set of all histories, h for an arbitrary member of H, and \(H_{(m)}\) for the set of histories containing the moment \(m\in M\).
A moment/history pair is an ordered pair \(\langle m, h\rangle \) with \(m\in M\) and \(h\in H\) such that \(m\in h\); we write \(m/h\) for a momenthistory pair, presupposing that \(m\in h\).
A case in BHCIFOL is defined as a moment/history pair. We let \(M/H\) be the set of all cases.
Since histories are to represent really possible courses of events, we suppose that none are entirely isolated:
Postulate 2 (Histories intersect)
Each two distinct histories intersect, and their intersection has always a last moment (a splitting point).
To say that histories \(h_{1}, h_{2}\) split at a moment, m, is equally to say that the pair branches at m. Either way, it is plainly histories (courses of events) that branch among themselves rather than times. We do, however, also require as a parameter a linearly ordered set, T, of times, which certainly will not branch. The parameter T is needed below for the \(\mathit {Now:\/}\) and the \(\mathit {AT}{_{\,n}}\) operators.^{8}
Postulate 3 (Times)
T is a partition of M such that (1) for any \(\tau \in T\) and any history h, the set \(\tau \cap h\) has exactly one member and (2) T respects the ordering, that is, for \(h,h'\) histories and \(\tau _{1},\tau _{2}\in T\), we have \(h\cap \tau _{1} \leq h\cap \tau _{2}\) iff \(h'\cap \tau _{1} \leq h'\cap \tau _{2}\).^{9} On T, we have an induced ordering, \(\leq _{T}\) (we set \(\tau _{1}\leq _{T} \tau _{2}\) iff there are \(m_{1}\in \tau _{1}\) and \(m_{2}\in \tau _{2}\) such that \(m_{1}\leq m_{2}\); condition (2) above assures welldefinedness).
Though not essential for understanding indeterminism, we often assume that T (and therefore each history) is orderisomorphic to the positive and negative reals, so that time has no first nor last moment.
Just as H represents the set of alternative histories (that is, courses of events) in which moments occur, so T represents the set of times at which moments occur. It is clear from these postulates and definitions that in spite of the hold of the phrase “branching time” in philosophical logic, times do not branch: It is only histories that branch one from another.
We shall need to refer to each of M, H, and T in giving semantic explanations; we shall, however, exercise our option to treat them in different ways: M and T are intensional parameters, whereas H is defined in terms of M.
2.2 From Branching Histories to BHCIFOL
The choice to take cases to be moment/history pairs in branching histories is motivated by the idea that real cases for us—the cases that are behind real possibilities and necessities—are both temporal and modal. We are facing a future of open possibilities. That choice of \(M/H\) as the set of all cases reflects back in two ways on the general logical framework of BHCIFOL.
First, following the development of temporal logic, it is natural to extend the language by characterizing new temporal and modal connectives that make accessible the extra structure of our set of cases, \(M/H\). These will be the temporal connectives Was: and Will:, and the socalled historical modality of settled truth, Sett:, as well as their duals. (We avoid the locutions “historical modality,” “historical necessity,” and “historical possibility” as too misleading; see note 11 below.) These and a few other connectives will be discussed in Section 3.
Second, our choice of \(M/H\) has consequences for our analysis of qualitative and sortal properties that we adumbrated in, respectively, Sections 4.2 and 4.3 of Part I, as well as for the notion of a “thing.” We stressed in Part I that CIFOL invites the idea that members of the extensional domain D should not be thought of as things, contrary to the customary image of quantified modal logic as a theory of “possible worlds and their inhabitants.” The elements of D are extensions, fit to exist in a single case. We pointed out that in a temporal reading, it may be useful to think of the extensions as “stages,” but emphatically not in the sense of stages that are themselves individual things.^{10} This idea of extensions different from things means that an additional way of tracing a thing from case to case must be supplied, since the “rigid designation” idea of equality of extension across cases is not wanted in CIFOL, and a discourserelative notion of counterpart seems too loose to ground an objective notion of tracing. As we spelled out in Part I, absolute properties in CIFOL supply the needed tracing principles. Such properties are both modally constant (if they apply to an individual intension in one case, they apply in all cases) and modally separated (no two different individual intensions falling under the property can have the same nonempty extension in any case). Absolute properties allow one to identify a whole individual intension (a map from cases to extensions) via a single nonempty extension in a single case (see our definition of \(\bar {\alpha }_{\Theta }\) at the end of Section 4 of Part I).
The definition of an absolute property is purely formal, and provably there are many—indeed, too many. It would be uninformative to try and define an individual thing as an individual intension that can be traced under some absolute property—provably, for every individual intension we can define such a property, so that we should have to conclude that every individual intension represents a thing. It is however intuitively clear that some individual intensions (patterns of extensions across cases) correspond to proper things, while others are just some gerrymandered messes. Thus, despite grammatical appearances, it would be wrong to think that “Carlotta’s favorite thing,” which varies over time, identifies the individual intension of a proper thing, referring, as the case may be, to a cat, a book, a cuddly toy, or a bunch of flowers. Given what our world is like, there just aren’t any things that persist in such a strange way.
We stressed that in CIFOL speaking generally, admitting individual intensions that do not correspond to things is not a bug but a feature: It is not for logic, but for science and metaphysics to tell us what the things around us are, or which of our terms have thingintensions and which don’t, or which of the many absolute properties are natural and which aren’t. In general, there is nothing more we, as logicians, can say. Consequently, in Part I we gave the following gloss on what a thing (an individual, or a substance) could be: “To be an individual in the concrete world is to be the value of a variable ranging over individual intensions that fall under some natural sortal (fn 28).”
In opting for temporal/modal cases in branching histories, we are adding metaphysical detail on the side of the cases, so that one may expect some metaphysical payoff on the side of things, or of natural sortals. That is indeed the case; we will give the details in Section 4.
It may be useful if we offer three preliminary comments on the metaphysical language that we are employing, keeping in mind that BHCIFOL is a formal language that is intended to be useful in sorting out some elementary features of both our scientific and our everyday language concerning persistence from time to time and from case to case. (1) We try to use the following words and phrases as more or less interchangeable parts of our informal metaphysical and scientific language: thing or proper thing, (concrete) individual, substance. Plants and animals and persons are things, as well as ordinary natural inanimate objects. (We are not concerned with artifacts.) (2) Things fall under at least one informal sortal. BHCIFOL provides a formal account of sort, or sortal concept, and a companion formal account of quality, much like the notions of a CIFOLquality and a CIFOLsortal in Part I, Defs. 14 and 19. (3) We follow Bressan and Part I in using natural, e.g. “natural sortal,” to suggest informally necessary and sufficient conditions. (It is we think hopeless to try to characterize “natural” in formal terms.) We claim as Theses that the formal notions of BHCIFOLsortal and BHCIFOLquality give necessary conditions for being a natural sortal, or a natural quality.
3 Temporal and Modal Connectives
The branching histories framework affords the introduction of a number of new temporal and modal connectives. We introduce them in Sections 3.2–3.5.
3.1 Grammar Common to this Part and Part I
Convention.
When every constant in \(\Phi \) lies in the scope of \(\square \) or \(\lozenge \), \(m/h\) is evidently an irrelevant parameter and so may be dropped. Similarly, \(\delta \) may be dropped as a parameter for every expression not containing any unbound variable.
3.2 Grammar Special to this Part
3.3 Now:
3.4 Actually:, Moment of Utterance, and Worlds
We are indebted to David Kaplan [11] and David Lewis [12] for emphasizing that actuality in the context of multiple possibilities is best taken indexically.^{16} As Kaplan puts it, we refer to actuality with a new semantic parameter, the context of utterance of a specimen sentence to be subject to semantic analysis. According to Def. 1, we include the moment of utterance, \(m_{C}\), as a parameter in the model, \(\mathcal {M}\), omitting for present purposes such other elements of context as speaker, listener, place, and so on. By including \(m_{C}\) in \(\mathcal {M}\), Def. 1 together with Eqs. 5 and 6 of Section 2.1 in effect postulate that \(m_{C}\) is a parameter of each of extension, intension, and trueat. The general interrelation between the extension operator, the intension operator, and the truth predicate, mentioned at the end of Section 1, stays in place.^{17}
3.5 At a Time
4 Substances in Branching Histories
We stressed in Section 2.2 that the specific choice of moment/history pairs as cases not only allows for the introduction of new connectives, as we saw in Section 3, but also has repercussions for the discussion of things and their properties. The main ideas we will be dealing with are due to the internal structure of the set of cases. Cases \(m/h\) and \(m/h'\), for \(h,h'\in H_{(m)}\) and \(h\neq h'\), are certainly different—but they are not, as it were, as different as cases \(m/h\) and \(m'/h'\) belonging to different moments. What distinguishes \(m/h\) and \(m/h'\) is not what is present, but only what will be in the future. This triggers the thought that whether a thing is present in a case or not (which is surely a local matter), should only depend on the mpart of the \(m/h\)case. It may also suggest that at least for ordinary properties, whether a thing has the property or not, should be independent of the h component of the case as well. We will follow both these thoughts in Section 4.1, to arrive, in Section 4.2, at partial explications of a sortal property, a quality, and a thing, that are designed to be finegrained versions of the general CIFOL explications.^{21}
4.1 MomentDefiniteness
We said in Part I that the definitions of extensionality, absoluteness, and so on, are also part of the core of CIFOL (although, to repeat, not a “creative” part). These general CIFOL definitions give us a handle on two metaphysically important notions: that of a quality, which holds or doesn’t hold of a thing depending only on what that thing is like in a single case, and of a sortal property, under which a thing can be traced from case to case. The definitions are fully general and do not depend on the specific nature of the cases. In BHCIFOL we build upon these definitions by adding specific machinery to connect cases belonging to the same moment.
The fact that in BHCIFOL cases are moment/history pairs rather than just moments, gives rise to tensions already at the propositional level: In defining a model providing an interpretation of the propositional language of branching histories, should the assignment of truth values to atomic sentences be a function from the moments, or from moment/history pairs, to truth values? Thomason [21] opts for the latter, for the sake of uniformity of substitution. The other option is however also popular, and can be defended on philosophical grounds:^{22}Why should the truth value of an atomic sentence, which in temporal logic is present tensed, be affected by what happens next? This argument can in turn be countered by pointing out that it is not so clear what atomic sentences are (apart from verum and falsum, perhaps, for which the issue, however, doesn’t arise)—sentences have internal structure, and there is no reason a priori why among those sentences that we pick out as atomic, there shouldn’t be some whose truthvalue does depend on what happens next (even though they are presenttensed). Perhaps “Peter chooses Mary” is like that. Our general point, however, is that from the point of view of languagedesign at the highest level, it seems unnecessarily confining to enter a onceforall prohibition against endowing a grammatically atomic sentence with a complex semantics.
CIFOL’s semantics assigns a propositional intension (a function from the set of cases, \(\Gamma \), to the set of truthvalues, 2) to sentence constants. In BHCIFOL, where \(\Gamma \) is replaced by \(M/H\), this amounts to the more finegrained choice from among the two discussed above: The semantics allows that an atomic sentence, p, is true at \(m/h\) and false at \(m/h'\). That is however not the end of the matter—we can, if we want, spell out explicitly the option that the truth value of a sentence, \(\Phi \), should depend at most on the moment, and thereby express the more coarsegrained semantics for atomic p. We can use the modality, \({Sett\hspace *{3pt}:\/}\), to help. We don’t want to say that \(\Phi \) is settled true (\({Sett\hspace *{3pt}:\/} \, \Phi \)), but only that it is settled one way or the other. That is, we want a modality that expresses that it is settled whether or not \(\Phi \):
Definition 3 (Settledwhether)
As we said, depending on what the atomic sentences are, the option of settled excluded middle may be warranted or not. It would certainly seem to be warranted for purely qualitative atomic sentences, such as “it is raining,” or “it is sunny.” What about nonatomic sentences such as simple predications, \(\Theta \alpha \)? That depends. In order to have a handle on this question, we give a definition of “momentdefinite property” along the present lines:
Definition 4 (Momentdefinite)
Fact 1
Let \(\Theta \) be both extensional and momentdefinite, and let \(m/h\), \(m/h'\), with \(h\neq h'\), be two different cases belonging to the same moment. Then \(\Theta \) either applies to no individual intension at \(m/h\), or to all of them. That is, \(ext^{\prime }_{\ensuremath \mathcal {M},\delta ,m/h}(\Theta ) =\emptyset \) or \(ext^{\prime }_{\ensuremath \mathcal {M},\delta ,m/h}(\Theta ) = (M/H\mapsto D)\).
Proof
How does it happen that the two similarly motivated notions come apart so easily? We offer two diagnoses. First, consider the following formal point: An extensional property depends on one single case. Momentdefiniteness, however, looks at more than one case at a time—given that the moment in question admits more than one possible future. This is hidden by the fact that we can express momentdefiniteness as “depends on only one moment,” similar to glossing extensionality as “depends on only one case.” In BHCIFOL, cases are more finegrained than moments, so the two notions come apart.
Second, there is a problem with the implicit reading of “something” as “some proper thing,” which we relied on in order to argue for the momentdefiniteness of qualitative properties. BHCIFOL variables, however, range over all individual intensions, including gerrymandered ones—and for them, it is not reasonable to expect momentdefiniteness even of natural qualities.
The upshot is that we are facing a task of coordinating our natural qualities and our natural kinds; we cannot tackle them in isolation. A similar point has been made in connection with induction and lawlike statements: As Davidson [8] argues, the fact that Goodman’s “grue” (green if examined before t and blue otherwise) is not a property that we can use for induction, depends not on the appearance of a time index in its definition, but rather on the fact that among the things around us there are emeralds and sapphires, but no emerires (which are emeralds before t and sapphires thereafter). In the world around us, there are no things that persist in that strange way. But that’s an empirical fact, for science to discover, not an a priori truth—and thus, a proper logic should allow us to reason about emerires. BHCIFOL does.
In order to express the coordination between natural qualities and natural kinds, we introduce the following definition. Although the definition doesn’t use the formal concepts “extensional” and “absolute,” the principal application is to an extensional property \(\Xi \), with \(\Sigma \) an absolute property—which is why we use the convention laid down at the end of Section 1.1.
Definition 5 (Momentdefinite for …)
Horses (modally constant)
Horse \ Case  \(m_0/h_{1}\)  \(m_0/h_{2}\)  \(m_1/h_{1}\)  \(m_2/h_{2}\) 

Andy  abcd  abcd  abcd  abcd 
Doris  ef**  ef**  ef**  ef** 
Jack  jkln  jkln  jkln  jkln 
Existing horses (momentdefinite)
Existing horse \ Case  \(m_0/h_{1}\)  \(m_0/h_{2}\)  \(m_1/h_{1}\)  \(m_2/h_{2}\) 

Andy  abcd  abcd  abcd  abcd 
Doris  ef**  ef**  
Jack  jkln  jkln  jkln  jkln 
Colors, and winning
Property \ Case  \(m_0/h_{1}\)  \(m_0/h_{2}\)  \(m_1/h_{1}\)  \(m_2/h_{2}\) 

Black  a    b    c    d 
e    f   
Brown  j    k    l    n 
Wins  ∅  ∅   c    n 
Horse that will win  abcd  jkln  ∅  ∅ 
Brack  a    k    c    n 
Truth values of color attributions
The horse that will win is \ Case  \(m_0/h_{1}\)  \(m_0/h_{2}\)  \(m_1/h_{1}\)  \(m_2/h_{2}\) 

Black  T  F  F  F 
Brown  F  T  F  F 
Brack  T  T  F  F 
In the following tables, important properties of predicates manifest themselves as follows: Modal constancy (Part I, Def. 16) means that all columns have the same entries: if an intension falls under the predicate in one case, it falls under it in all cases (see, for example, Table 1). Momentdefiniteness (Def. 4) means that all columns belonging to the same moment have the same entries (as in Tables 1 and 2). Modal separation (Part I, Def. 17) means that in any column, no two different intensions have the same extension in any case, except, perhaps, for * (see, for example, Table 1). Absoluteness (Part I, Def. 18) is the conjunction of modal constancy and modal separation, as exemplified by Table 1. Finally, extensionality means that whether an intension occurs in a column, can only depend on the extension for the respective case. Thus, for example, if the column for case \(m_0/h_{2}\) contains the intension jb*g, as for “Black” in Table 3, then any intension \(\bar {z}\) with \(\bar {z}(m_0/h_2)=\mbox {b}\) has to be listed in that column as well. As you can see, the “” notation used in Table 3 is specifically designed to notate extensional predicates.
Note first that while modal constancy implies momentdefiniteness, being (everywhere) momentdefinite is not the same as being modally constant; it is a more local affair. A comparison of Tables 1 and 2 illustrates this: While “horse” is modally constant (in fact, absolute), “existing horse” is momentdefinite, but it is not modally constant, as the second line in Table 2 shows.
Table 3 illustrates the issue of coordination between things and qualities. The properties of being black, brown, or being a winner, are extensional—and thus, since they are not trivial, they are not momentdefinite. Being black and being brown are, however, momentdefinite for horses (Def. 5), as can be checked by inspection. The qualities of being black or brown, and the absolute property or being a horse, are made for one another, as it were. On the other hand, we know that being brown cannot be momentdefinite with respect to all intensions, and the table illustrates this as well. From the property “Horse that will win” one can form the definite description “the horse that will win,” which by the BHCIFOL rules (Part I, Def. 10) has the intension ak**. As one can read off from Table 4, it is neither settled true that the horse that will win is brown, nor that it is not brown, nor that it is black, nor that it is not black.
And there’s nothing wrong with that: Clearly, which color the horse that will win has at moment \(m_{0}\), depends on which horse will win, and that is still open at \(m_{0}\)—Andy will win on \(h_{1}\), and Jack on \(h_{2}\). If we want a quality that goes together with a gerrymandered intension like that of “the horse that will win,” we can try “brack” from Table 3, which is our addition to the palette of gerrymandered colorterms like “grue,” “bleen,” or “gred.” Note however that while these more familiar examples apply gerrymandering with respect to cases in linear time, what is going on in our example is more specific, and less familiar: The gerrymandering is with respect to cases belonging to the same moment, and thus, a fortiori, with respect to the same time.
So it would seem that the question which are the concrete individuals (things, substances), and which are the proper natural qualities, is chiefly a coordination task. This is almost completely so, but there is one quality that should be settled as a matter of logic, viz., existence. In Part I, we defined an existence predicate, E, whose definition in BHCIFOL remains unchanged from Def. 1:
Definition 6 (Existence predicate)
Definition 7 (Existencesettled)
4.2 Things and Sorts
Many metaphysicians have remarked that “thing,” while grammatically a sortal, shows behavior untypical of sortals. It is, for example, unclear how we can individuate, let alone count, things. One useful diagnosis of the behavior of “thing” in English is that it often functions as a procommonnoun ([9], 34), picking up a common noun from the context.
From the point of view of BHCIFOL, we can offer a framework for “thing,” and thereby, the notion of a substance, building on the definitions of Section 4.1. Combining Def. 7 with the notion of absoluteness, we arrive at BHCIFOL’s necessary condition on sortal terms. That condition is more finegrained than the criterion of absoluteness, which was what CIFOL alone had to offer. We retain from Part I the policy of splitting our claims about sortals and qualities into purely formal definitions giving necessary and sufficient formal conditions (see Part I, Defs. 14 and 19), and substantive theses giving only necessary conditions for the natural notions (see Part I, Thesis 1 and 2).
Definition 8 (BHCIFOL sortal)
A property \(\Sigma \) is a BHCIFOL sortal \(\leftrightarrow _{df}\) \(\Sigma \) is absolute and existencesettled.
One might be momentarily tempted to add “existenceimplying” (Def. 12 from Part I) until one recalls that we want to treat Man as absolute without supposing that the Man, Socrates, exists in every case.^{23}
Thesis 1 (Sortals)
Up to an approximation, every natural sortal is a BHCIFOL sortal.
This criterion takes into account the intuition that whether a proper thing (an individual intension falling under a natural sortal) exists in a case or not, should not depend on what the future will bring. Existenceornonexistence is a settled matter. We mention another formally specifiable condition that could be added as a further necessary condition for being a natural sortal: uninterrupted existence for substances. Certainly a biological individual cannot cease to exist and afterwards begin to exist again. This can be spelled out as follows:
Definition 9 (Uninterrupted existence)
Let us try to spell out this thought in more detail, and see what we can do with it. In a world (like ours) in which cats and dogs are substances, it would be strange if there were a substanceterm mixing these per moment. An individual falling under such a sortal would be a dog at some moments and a cat at others. For all we know, no living being persists in such a way—but still, that’s a broadly empirical issue. (Grafted plants probably show some aspects of such behavior.) The gerrymandered intensions we considered in the previous paragraph are however much worse: Their gerrymandering is not one of persisting by switching sorts from moment to moment, but one of having, at one and the same moment, an extension belonging to different sorts depending on what the future will bring. It is a substantive, but rather plausible thesis that in a world of cats and dogs, there can be no such substances as well.
In giving this explication, our point is not that we can have no use for an intension wildly mixing a cat and a dog. Maybe it corresponds to “the animal that will win at tomorrow’s pet show.” The point is just that it is a plausible thesis to claim that we cannot have such gerrymandered individual intensions falling under a substance sortal alongside with cats and dogs. We also stress that our point is not to defend that metaphysical thesis (even though, just for the record, we believe it to be rather plausible). What we are looking for is a means of expressing it and thus, to open the room for a rigorous discussion.
This demand secures that the extension of the term is rigid across cases belonging to the same moment. We reject this approach to spelling out our thesis because it involves comparing extensions across cases, which is not in the spirit of BHCIFOL. But then how can we express the thesis? A little reflection shows that there is no hope to express the thesis via a monadic property of properties. But we can, similarly to the coordination between sorts and qualities discussed in the previous section, express the thesis as a coordination principle between different substance properties:
Definition 10 (Harmony)
So here is a thesis expressing an interface to science and metaphysics:
Thesis 2
The class of natural sortals is harmonious.
Thesis 2 then amounts to the substantial thesis that “thing,” while not a proper sortal, behaves at least locally like a sortal. On the assumption of that thesis, we can prove the following fact about settledness of the identity of things:
Fact 2
Proof
In our discussion of qualities above we motivated the idea that a quality can be appropriate for some sort of things, in the sense that for these things, the quality behaves as we expect it to: It applies or doesn’t, given just a single case, and whether it applies to a thing, does not depend on what the future will bring. We will now put this idea to work and show the usefulness of our thesis of harmony.
For the record, here is our definition of BHCIFOL qualities and the corresponding thesis about natural qualities. Unlike our discussion of sortals, we cannot add any new general conditions here, so that definition and thesis stay as in Part I:
Definition 11 (BHCIFOL quality)
A property, \(\Xi \), is a BHCIFOL quality \(\leftrightarrow _{df}\) \(\Xi \) is extensional (Part I, Def. 13).
Thesis 3 (Qualities)
Up to an idealization, natural qualities are BHCIFOL qualities.
We think of this Thesis as analogous to Theses 1 and 2: it gives the necessary conditions, statable in pure BHCIFOL, for a property to be a quality. The following little fact shows that BHCIFOL qualities and harmonious BHCIFOL sortals interact fruitfully: Momentdefiniteness of a BHCIFOL quality transfers from one BHCIFOL sortal to another, provided that they are harmonious and overlap.
Fact 3
Proof
Logically speaking, this is all. Let us, however, give a metaphysical gloss on this fact. When would the overlap assumption between \(\Sigma _{1}\) and \(\Sigma _{2}\) be satisfied? We may think of \(\Sigma _{1}\) as standing for “parcel of matter” and \(\Sigma _{2}\) for some biological sort, for example, “rabbit.” The overlap assumption then says that in every case, for any rabbit there is a parcel of matter that is, in that particluar case, identical with the rabbit. (Thus, if in a given case the rabbitterm has a nonempty extension—if there is, as we may want to say, a rabbitstage present—then there is a parcel of matterterm that has the same extension in that case; and if the rabbitterm has the empty extension, then there is a parcel of matterterm that has the empty extension as well.) It is clear from rudimentary biology that the rabbit and the matter are traced differently: The rabbit has a metabolism, and constantly exchanges matter with its environment while alive; so while the rabbit is fairly easy to trace, its matter very quickly disperses—minimally, with each breath it takes. Fact 3 then allows us to transfer good qualitative properties of the matter, such as mass, to the rabbit itself. This way of viewing the difficult issue of constitution of biological entities by physical ones may not suit everybody. Note, however, that it does not amount to any form of physicalism that would threaten the usefulness or autonomy of the socalled special sciences such as biology. Constitution as caserelative identity is much less controversial than the thesis of constitution as identity discussed in contemporary analytical metaphysics. In fact, we have so far not found any convincing counterexample.
4.3 Individuals and Branching
We hope to have made plausible, by means of some examples and a few formal results, that BHCIFOL offers a rich and formally detailed account of sorts, qualities and things that can provide the background for a formally perspicuous discussion of a number of metaphysical theses and scientific arguments. We do not embark on any metaphysical discussions in this essay, which is meant to remain within the bounds of (subjectneutral) logic, just spelling out the formal interface that such metaphysical discussion could employ.
There is, however, one issue that will occur to many readers, and which we feel needs commenting: Many metaphysicians are convinced that a branching representation of possibilities is ultimately incoherent, and thus useless. With respect to our framework, this would mean that while CIFOL, as a general logic, would not be affected, the system of BHCIFOL presented here would need to be abandoned, perhaps in favor of a “\(T\times W\)” representation of temporal/modal possibilities as mentioned in Section 2.1. While it may be that a number of our results and arguments have formal analogues in that framework, the \(M/H\) based account given here would need to be rejected.
This argument invokes a lot of resources; the epistemic notion of wondering plays a crucial role. We have not provided a semantics for any epistemic operators so far, and we will not give a comprehensive picture. Still, let us try to relate the argument to our framework.^{25}The trouble with branching exactly is that it conflicts with our ordinary presupposition that we have a single future. If two futures are equally mine, one with a sea fight tomorrow and one without, it is nonsense to wonder which way it will be—it will be both ways—and yet I do wonder. The theory of branching suits those who think this wondering is nonsense. Or those who think the wondering makes sense only if reconstrued: you have leave to wonder about the sea fight, provided that really you wonder not about what tomorrow will bring but about what today predetermines. But a modal realist who thinks in the ordinary way that it makes sense to wonder about what the future will bring, and who distinguishes this from wondering about what is already predetermined, will reject branching in favour of divergence.
 “Two futures are equally mine, one losing and one winning.”While it is perhaps a bit odd to say this,^{28} it is clear enough what is meant, and true when properly understood: Both futures are equally Rick’s, in the sense that both are equally possible. Formally,and by the semantics of the \({Poss\hspace *{3pt}: \,\/}\) operator, we also have$${Poss:\/}\phi \,\,\wedge\,\, {Poss:\/}\neg\phi, $$Thus we can grant that Rick can say that “I know that two futures are equally mine”; formally,$${Sett: \,\/} ({Poss: \, \/}\phi \,\,\wedge\,\, {Poss:\,\/}\neg\phi). $$$$Know_{I}\,({Poss: \,\/}\phi \,\,\wedge\,\, {Poss: \,\/}\neg\phi). $$
 “I wonder which way it will be.”The best we can do with this, given our limited resources, is to follow the implication mentioned above, and render this as “I do not know which way it will be,”$$\neg Know_{I} \phi \,\,\wedge\,\, \neg Know_{I} \neg\phi. $$Strictly speaking, we cannot go any further from here (your not knowing something is compatible with much else either being the case or not being the case), but let us strengthen to “I cannot know which way it will be” (which is perhaps implicated at least weakly by “I wonder”), and allow ourselves to read the above link between knowledge and settledness backwards, so that we arrive at “It is not settled which way it will be,”$$\neg {SettWh: \,\/}\phi. $$
This is true (even settled true) at the moment of utterance, and so Rick can know this.
 “It will be both ways.”This is simply false if understood as something that Rick says, i.e., as “It will be that both, I will win and I will not win” (at the same time, viz., \(t_{1}\)). No moment can witness a contradiction, so that we haveand again, this is a settled truth that Rick can know.$${Sett: \,\/} \neg (\phi\,\,\wedge\,\,\neg\phi), $$
Thus, Lewis’s claim that “it is nonsense to wonder which way it will be” on a branching conception, which depends on the attribution to branching theorists of the claim that “it will be both ways,” is unsupported, and his discussion of the reconstrued content of the wondering, which is offered as the only way out for the branching theorist, is beside the point.
To wrap up, on the branching histories picture that we are offering, at the moment of utterance, \(m_C=m_{0}\), it is not settled whether Andy (and thereby Rick) will win or lose at \(t_{1}\), because it is both possible that he will win, and possible that he will lose, and thus it makes sense for Rick to wonder which way it will be. Whatever the outcome, it certainly won’t be both ways. It’s as simple as that.
How is it, then, that Lewis’s argument continues to convince so may philosophers? While this is strictly speaking a psychological question to be answered per individual, we offer the following general diagnosis. In his argument, Lewis appeals to two different perspectives on the scenario at hand, and mixes them in a confusing way. First, there is the internal perspective, the one from which a speaker situated at a specific moment utters a sentence or has a thought, such as “I wonder which way it will be.” Our (indexical) language is tied to this perspective, and the analysis of Rick’s utterances (or thoughts) above shows that this perspective, if followed consistently, is unproblematic.
Second, however, the fact that many people tend to see some truth in Lewis’s (on the face of it, outrageous) claim that “it will be both ways” seems to indicate that a shift of perspective is taking place in the quoted passage. From an external, God’s eye view on the branching structure, we see that Rick is represented as an individual intension that exists (has a nonempty extension) in all four cases, including those involving the incompatible moments, \(m_{1}\) and \(m_{2}\). At the time of the end of the race, \(t_{1}\), there are two moments, one winning and one losing. So it may seem reasonable (but it isn’t) to say that “at \(t_{1}\), Rick is both winning and losing.” One shouldn’t say this because it is needlessly confusing: It is much better to say that at \(t_{1}\), there are two (incompatible) moments, \(m_{1}\) and \(m_{2}\), one of which is a winning moment for Rick and the other, a losing moment. The individual, Rick, has “incompatible properties at the same time, \(t_{1}\),” but all this means, really, is that at that time there are incompatible moments \(m_{1}\) and \(m_{2}\), both in the future of possibilities of \(m_{0}\), and these moments are indeed incompatible in the sense that at one of them, Rick is winning and at the other, he isn’t. These moments, with all their content, are indeed “equally real” from the God’s eye perspective, but this merely means that they are both really possible. Their representation, such as via our Fig. 1 in Section 4.1 of this essay, is actual, but this does not mean that both incompatible moments are actual. As we said in Section 3.4, following Lewis, “actual” functions indexically, and is thereby bound to the internal perspective.
If we properly distinguish these two perspectives, we see that Lewis’s error is to employ the internal, indexical language that Rick speaks to report a fact of the external perspective. Lewis says “It will be both ways,” thereby using the indexical future tense (“it will be”) tied to the internal perspective, but then switches to the external perspective from which one sees two incompatible moments at time \(t_{1}\) (“both ways”). Consistently, Lewis should either stick to the internal perspective, from which Rick can truthfully say “It will be one way (but I don’t know which),” or employ external language in describing a feature of the branching structure, for example, “at time \(t_{1}\), there are two incompatible moments both equally real” (i.e., really possible, being parts of the model). He can even say “it is both ways,” since on pain of contradiction that will clearly be understood as “one way at this place in the structure and another way at another place.” Branching theorists are usually quite acutely aware of the need to keep these perspectives—the object language and the metalanguage giving the semantics—strictly separate; in fact, the branching histories framework originates in careful semantic studies of tensed languages (see note 6 above). We are not aware of any literature propounding a branching histories framework in the tradition of Prior and Thomason in which it was claimed that “it will be both ways,” and Lewis has cited no evidence to the contrary.

“I have a single future.”
Given that in our model, there are two relevantly different possibilities for the future as of \(m_{0}\), it is neither settled that at \(t_{1}\), Andy will win, nor settled that at \(t_{1}\), Andy will lose.
A switch of perspectives here leads to an interpretation on which the sentence “I have a single future” seems false—but again, the switch of perspective is not warranted. It is true that the model does not represent Rick as having only one possible history—he exists (has a nonempty extension) in two partially overlapping, but also partially incompatible histories, \(h_{1}\) and \(h_{2}\). Any indeterministic model contains incompatible histories—that is the mark of indeterminism in contrast to determinism. So only a deterministic (linear) model could guarantee that an individual, such as Rick, exists on just one history. Still, from the internal perspective of speaking, thinking and wondering, it is settled that the future won’t be “both ways.”
To sum up our somewhat lengthy discussion, we have shown that Lewis’s argument against branching pulls no weight, since it is based on a conflation of two distinct perspectives. BHCIFOL helps to keep these perspectives separate. There is no problem about representing individuals in a branching histories framework.
5 Conclusions
In concluding this second part of our essay, we hope to have achieved what we set out to do: to introduce caseintensional first order logic as a versatile and useful quantified modal logic. We laid out its general framework, CIFOL, in Part I, starting with a comparative discussion of its relation with other frameworks, its general grammar, and its general semantics, which features intensional variables, intensional predication, and extensional identity. To repeat, the main innovation of Bressan [6] was to propose this general framework, with neutral notions of “cases” and “extensions,” together with specific definitions providing an interface for the discussion of the tracing of individuals across cases; the key definition of Part I is Def. 17 of modal separation, the most innovative element in Bressan’s notion of an absolute property (Def. 18). We are still struck by the fact that this notion, which is far more versatile and useful than the common notions of rigid designation or counterpart theory, is not used much more widely. ^{29}
In Part I we explained the notion of tracing and some of its uses in detail, using a hypothetical example involving a few horses. We did not in that part give any explicit structure to the cases, and indeed, different notions of a case may be used to fill in our examples from Part I. In this second part, we left the neutrality of the cases behind, thereby moving our discussion closer to the topic of metaphysics. To repeat, we do not believe that quantified modal logic is a topic where metaphysics meets logic in the sense that metaphysical claims should shape the logic. Too much of that, in our view, is happening in standard systems combining modality and quantification, in which metaphysical assumptions tend to support extensionalist leanings. It is, however, true that in quantified modal logic, metaphysical discussions do suggest themselves, since so many metaphysical notions can find an expression in that logical language. Our approach for Part II was to follow one metaphysical line of thought and see how indeterminism, the combination of time and real possibility, can be represented.
In this second part, we thus introduced cases as moment/history (\(m/h\)) pairs in a framework of branching histories, which posits a partial, backwardslinear ordering of moments and identifies histories, total possible courses of events, with maximal linear chains in the ordering. Times partition the set of moments, so that there can be different incompatible moments at the same time—different incompatible possibilities for the same time. A case, as an \(m/h\) pair (with \(m\in h\)), identifies both a moment and one of the possible futures as of that moment. This approach is familiar from Ockhamist temporal logic in the tradition of Prior [17] and Thomason [21], but it is given a new twist here by combining the quantificational machinery of CIFOL with the idea of branching histories, thus issuing in BHCIFOL. Having motivated the framework in Sections 1 and 2, we went on to introduce the standard temporal/modal connectives for past (Was:), future (Will:), and settledness (Sett:), as well as the indexicals Now: and Actually: and connectives for “at a time.” None of the creative semantic clauses for these propositional connectives pertains specifically to the first order. As in Part I, the interface for discussing things, sorts and qualities comes by way of noncreative definitions, which extend the general CIFOL definitions of that earlier part. In discussing substances in branching histories in Section 4, we pointed out the crucial role of momentdefiniteness vs. extensionality for an understanding of qualities, and of the settledness of existence and identity. We stress again that in these discussions, we did not derive metaphysical conclusions from the logical framework, but rather showed how certain metaphysical theses can be expressed and discussed in a formally perspicuous way. None of our discussions led to tweaking the logic, or to suggesting that it should be tweaked—rather, we gave definitions which can be added in specific applications of the BHCIFOL framework in case they are warranted by separate arguments, which could come from metaphysics, science, or some other pertinent subject matter.
We would like to end by making explicit our proposal for the metaphysical discussions of individuals, their sorts and their qualities in an indeterministic setting (such as in the world around us). It appears to be useful to stick to the general CIFOL idea that individual things are best represented not as extensions, but as individual intensions falling under natural absolute properties (sortals), so that a term standing for a thing has an extension in all cases (the empty extension, \(*\), signalling nonexistence). No assumptions about the nature of extensions need be made, and no comparison of extensions between different cases is called for. It may be useful to think of extensions as “stages,” but not in the metaphysically loaded sense of Stages as separate individual things that pervades the current persistence debate. ^{30} The tracing of an individual from case to case is effected by absolute properties, which allow for tracing by being modally constant and modally separated. Qualities of such individuals are extensional properties. So far, this is the standard CIFOL story (apart from the extra requirement of settled existence for things, Def. 7). The specific addendum of BHCIFOL lies in the interrelation among different sortal (natural absolute) properties, and among sortals and qualities. Our discussion of momentdefiniteness motivated the idea that different sortal properties should be harmonious, meaning that the identity or distinctness of two intensions falling under different sortal properties in a given case should be a settled matter. A similar notion of harmony seems called for to describe the coordination between sortal and qualitative properties, as we illustrated with our “the winner is brack” horse story; Fact 3 shows that harmonious sorts facilitate the sharing of qualities. Taken together, BHCIFOL allows for a picture in which a holistic network of sortal and qualitative properties is established gradually, in the course of scientific investigations. Such a picture may indeed be useful for describing certain episodes in the history of science. ^{31}
In our final Section 4.3 we discussed Lewis’s oftquoted argument against the representation of indeterminism via branching histories. We showed that BHCIFOL allows one to separate clearly the two perspectives that Lewis runs together in his argument: an internal perspective of indexical language use, and an external perspective for describing a semantical model. As we showed via a detailed analysis, there is no problem representing individuals and their wonderings about the future in our branching framework. We venture to claim, therefore, that BHCIFOL provides a useful firstorder logic for indeterminism.
Footnotes
 1.
By historical accident, an assemblage of possible courses of events that branch indeterministically has been call a “branching time” structure by nearly all workers following after Prior, Kripke, and Thomason—including ourselves. For mathematical concerns, nothing much hangs on the choice between “branching histories” and “branching time”; we, however, intend our study, though formal, to contribute to the metaphysical enterprise, so that terminology matters. Since we never think of time itself as branching, we abandon the phrase “branching time” in favor of “branching histories”.
 2.
Even though it is hard to think of identity as world dependent, taking it as case dependent is natural: “The winner will be (identical to) Ralph in case it rains, but not in case the sun shines.”
 3.
\(\lambda \)operators and predicates in BHCIFOL are all oneplace. One may simulate the use of binary \(\lambda \)operators, for instance, with \(\lambda x_{1}(\lambda x_{2}(\alpha )\beta _{2} )\beta _{1} \).
 4.
In this part, we reuse “\(\mathcal {M}\),” which in Part I ranged over CIFOL models, to range over BHCIFOL models.
 5.
In Part I we let \(\gamma \) be our case variable everywhere, but after Definition 2 we will replace “\(\gamma \)” by “\(m/h\)” to reflect the detailed inner structure of a single case in BHCIFOL. Correspondingly, we will then use “\(M/H\)” instead of “\(\Gamma \)” for the set of all cases.
 6.
For the early history of branching in temporal logic, see Ploug and Øhrstrøm [16].
 7.
 8.
Note that postulating the existence of times constrains the admissible structures for moments, since all histories need to be orderisomorphic.
 9.
Here we are using the obvious induced ordering on singletons of moments: \(\{m\}\leq \{m'\}\) iff \(m\leq m'\).
 10.
To some it may also be attractive to think of the extensions as (sets of) tropes; on that interpretation, it is immediate that the extensions are not themselves things.
 11.
“Settled truth” is a better phrase than the common “historical necessity.” For instance, “My dog is sitting” is true or false no matter what happens in the future, but it is hardly a historical necessity in any useful sense.
 12.
Were we to engage in extended tensemodal calculations, the Prior notation would be preferable. Since, however, in this essay there are only simple tensemodal calculations, and those few in number, it has seemed better to use a more mnemonic notation.
 13.
If we were to provide a proof theory, it would be more economical mathematically to have the strong modalities Sett:, Willalways:, and Wasalways: as basic.
 14.
A similar, more complex validity holds in the general case, allowing for first and last moments in M; we leave this as an exercise for the reader. Note that Postulate 2 guarantees that any two histories intersect.
 15.
 16.
Determinism by definition does not distinguish the actual from the possible (no multiple possibilities). Put determinism to one side now, and confine attention to those philosophers who, like us, take branching to express real possibilities for the future. One might have thought that all such philosophers take actuality as indexical; but this is not the case. Several argue for an objective (nonindexical) view of actuality, for example, Øhrstrøm [15] and Malpass and Wawer [14]. In our judgment their arguments are cogent and interesting, but not, in the end, convincing.
 17.
You should note that the parameter m can be “moved,” for instance, by the tense connectives, that h can be “moved,” for instance, by the settledness connective, and that \(\delta \) can be “moved,” for instance, by the quantifiers. These parameters are “mobile” in the sense of Section 6B.3 of Belnap et al. [5]. In contrast, neither any connective nor any other operator of the language with which we are dealing can “move” \(m_{C}\), which is why it is listed as part of a BHCIFOL model. Kaplan [11] said that any syntactic construction that “moved” the contextofutterance parameter would be a “monster,” smuggling in something metalinguistic. There is some debate on whether Kaplan’s ban on monsters is linguistically adequate. Direct quotation does shift context parameters (see, e.g., Belnap [2]), but since it is openly metalinguistic, it should not count as monstrous. There are however more controversial examples (see, e.g., Schlenker [19]). For the purposes of this essay, we simply do not provide any operators that move \(m_{C}\).
 18.
 19.
There are certainly unreal possibilities required by epistemic or linguistic considerations. See our discussion in Section 2.
 20.
This account of atatime is awkward at best; it is, however, blessedly brief, while still allowing us to illustrate an important point or two. In particular, one sees that one can make sense of “the open future” without appeal to tenses or other indexical language.
 21.
Although of course a predicate is a piece of language, whereas a property is an intensional function of a certain kind (Def. 1), our exposition proceeds more smoothly if we let ourselves use “property” sometimes for a closed BHCIFOL predicate and sometimes for the intension of a closed predicate, whichever is most convenient. With reference to later developments, both “sortal property” and “quality” (or qualitative property) share this harmless ambiguity. A “thing,” in contrast, lives in BHCIFOL as an individual intension or term falling under the property, Thing, defined as in Fact 2 of Section 4.2 below.
 22.
 23.
For discussion, see note 39 of Part I.
 24.
In the case of infinitely many sortals, we would have instead one axiom each of the form “if it’s a dog, it’s also a thing” to express that belonging to a natural sortal is sufficient for being a thing. There would be no general way to express the corresponding necessity, which in the disjunctive formulation is covered by the biconditional. We may however hope that in a concrete application with infinitely many natural sorts, these would have some hierarchical structure making possible the expression of the necessity.
 25.
We hereby extend the argumentation given in Belnap et al. [5], 206, which concerned a propositional branching histories framework.
 26.
Note that this way of setting up things allows our framework to introduce another indexical expression, “person,” or the ethical “we,” to denote the speaker’s kind (or “home form”). In this way, the framework could provide a formal handle for considerations of Aristotelian virtue ethics such as in Thompson [23], in which the “ethical ingroup” is determined not via an abstract notion of a person, but by the notion of “one of us” in the broadest sense.
 27.
It may be more appropriate to render Lewis’s “tomorrow” by an indexical metric tense operator “one day hence” rather than via “at time \(t_{1}\).” We stick to our reading because we have not defined metric tenses. The discussion, however, would be exactly analogous.
 28.
Have you ever heard anybody say such a thing? For what it’s worth, on October 26, 2012, all of Google’s 16 hits for “two futures are equally mine” were direct quotations from Lewis [12]. There was additionally one single hit for “two futures are mine,” also directly linked to Lewis [12]. From the 162.000 results for “two futures,” every other hit that we examined clearly presupposed that the two were incompatible.
 29.
The early history of Bressan’s book, however, already foreshadowed this regrettable state of affairs. In the sixties, NB, not being wellversed in quantified modal logic, sent the typescript of Bressan’s book to each of two eminent philosophers who did know the topic. One returned the manuscript unread in a week or so; the other kept the manuscript for a year and a half before returning it, still unread. Finally NB, in spite of having doubts as to his background in quantified modal logic, undertook some light editing, the placing of the typescript with a publisher, and the writing of a foreword.
 30.
See, e.g., [20]. Whether there is a sort of things that exists for a single moment only, seems to be a properly scientific rather than a metaphysical issue. Note, however, that even such momentarily existing things would not be fit to be the extensions in BHCIFOL, since extensions are relative to cases (\(m/h\) pairs), which are more finegrained than moments.
 31.
We may venture to speculate that such an investigation should start with the indexically available sortal, human being (“one of us”), see note 26 above; anthropomorphism may then be seen as a result of the fact that the qualities fit for describing human beings were taken to be adequate for all other sorts as well; which, as we know, is not the case. But this had to be learned. For a real episode in the history of science that testifies to the coordination of qualitative and sortal properties, the discovery of platinum comes to mind: A metal identified as platinum was used to make the 1799 standard meter, but a few years later is was discovered that what people had thought to be platinum was in fact an alloy containing various other metals such as osmium and iridium. A more finegrained handle on qualitative properties allowed for the identification of a new sort.
Notes
Acknowledgments
TM’s research leading to these results has received funding from the European Research Council under the European Community’s Seventh Framework Programme (FP7/20072013) / ERC Grant agreement nr 263227, and from the Dutch Organization for Scientific Research, grant nr NWO VIDI 27620013. We would like to thank an anonymous reviewer for helpful comments on a previous draft.
References
 1.Belnap, N. (1992). Branching spacetime. Synthese, 92(3), 385–434. See also the postprint 2003, available on philsciarchive. http://philsciarchive.pitt.edu/1003/.CrossRefGoogle Scholar
 2.Belnap, N. (2002). Double time references: speechact reports as modalities in an indeterminist setting. In F. Wolter, H. Wansing, M. de Rijke, M. Zakharyaschev (Eds.), Advances in modal logic (Vol. 3, pp. 37–58). Singapore: World Scientific.Google Scholar
 3.Belnap, N. (2012). Newtonian determinism to branching spacetimes indeterminism in two moves. Synthese. Published online first, doi: 10.1007/s1122901200635.
 4.Belnap, N., & Müller T. (2013). CIFOL: caseintensional first order logic (I). Toward a logic of sorts. Journal of Philosophical Logic. Published online first, doi: 10.1007/s109920129267x.
 5.Belnap, N., Perloff, M., Xu, M. (2001). Facing the future: agents and choices in our indeterminist world. Oxford: Oxford University Press.Google Scholar
 6.Bressan, A. (1972). A general interpreted modal calculus. New Haven: Yale University Press.Google Scholar
 7.Brown, M. (2000). Conditional and unconditional obligation for agents in time. In M. Zakharyaschev, K. Segerberg, M. de Rijke, H. Wansing (Eds.), Advances in modal logic 2 (pp. 139–171). Stanford: CSLI Publications.Google Scholar
 8.Davidson, D. (1966). Emeroses by another name. Journal of Philosophy, 63(24), 778–780. Reprinted in his Essays on actions and events. Oxford: Oxford University Press 2001, 225–227.Google Scholar
 9.Gupta, A. (1980). The logic of common nouns: an investigation in quantified modal logic. New Haven: Yale University Press.Google Scholar
 10.Kamp, H. (1971). Formal properties of ‘now’. Theoria, 37, 227–273.CrossRefGoogle Scholar
 11.Kaplan, D. (1989). Demonstratives: an essay on the semantics, logic, metaphysics, and epistemology of demonstratives and other indexicals; and afterthoughts. In J. Almog, J. Perry, H. Wettstein (Eds.), Themes from Kaplan (pp. 481–563; 565–614). Oxford: Oxford University Press.Google Scholar
 12.Lewis, D. (1986). On the plurality of worlds. Oxford: Blackwell.Google Scholar
 13.MacFarlane, J. (2003). Future contingents and relative truth. The Philosophical Quarterly, 53(212), 321–336.CrossRefGoogle Scholar
 14.Malpass, A., & Wawer, J. (2012). A future for the thin red line. Synthese. Published online first, doi: 10.1007/s1122901200644.
 15.Øhrstrøm, P. (2009). In defence of the thin red line: a case for Ockhamism. Humana.mente, 8, 17–32.Google Scholar
 16.Ploug, T., & Øhrstrøm, P. (2011). Branching time, indeterminism and tense logic. Unveiling the PriorKripke letters. Synthese. Published online first, doi: 10.1007/s1122901199442.
 17.Prior, A.N. (1967). Past, present and future. Oxford: Oxford University Press.CrossRefGoogle Scholar
 18.Prior, A.N. (1968). Now. Noûs, 2(2), 110–119.CrossRefGoogle Scholar
 19.Schlenker, P. (2003). A plea for monsters. Linguistics and Philosophy, 26(1), 29–120.CrossRefGoogle Scholar
 20.Sider, T. (2000). The stage view and temporary intrinsics. Analysis, 60, 84–88.CrossRefGoogle Scholar
 21.Thomason, R.H. (1970). Indeterminist time and truthvalue gaps. Theoria, 36, 264–281.CrossRefGoogle Scholar
 22.Thomason, R.H. (1984). Combinations of tense and modality. In D. Gabbay, & G. Guenthner (Eds.) Handbook of philosophical logic, vol. II: extensions of classical logic, Synthese Library, Studies in epistemology (Vol. 165, pp. 135–165) Dordrecht: D. Reidel Publishing Company. (Vol. 165, pp. 135–165) Dordrecht: D. Reidel Publishing Company.CrossRefGoogle Scholar
 23.Thompson, M. (2004). What is it to wrong someone? A puzzle about justice. In R.J.Wallace, P. Pettit, S. Scheffler, M. Smith (Eds.), Reason and value: themes from the moral philosophy of Joseph Raz (pp. 333–384). Oxford: Oxford University Press.Google Scholar
 24.Zanardo, A. (1996). Branchingtime logic with quantification over branches: the point of view of modal logic. Journal of Symbolic Logic, 61, 1–39.CrossRefGoogle Scholar
Copyright information
Open AccessThis article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.