When an agent undergoes fission, how should the beliefs of the fission results relate to the pre-fission beliefs? This question is important for the Everett interpretation of quantum mechanics, but it is of independent philosophical interest. Among other things, fission scenarios demonstrate that ‘self-locating’ information can affect the probability of uncentred propositions even if an agent has no essentially self-locating uncertainty. I present a general update rule for centred beliefs that gives sensible verdicts in cases of fission, without relying on (...) controversial metaphysical or linguistic assumptions. The rule is supported by the same considerations that support standard conditioning in the traditional framework of uncentred propositions. (shrink)

Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical logic without appeal to supervaluations, determinacy operators, or any further (...) controversial semantical or metaphysical complication. In this paper, we will show that this quasi-Russellian analysis of 'will' both lacks linguistic motivation and faces a variety of significant problems. In particular, we show that the standard arguments for Russell's treatment of definite descriptions fail to apply to statements of the form 'will(φ)'. (shrink)

Arthur Prior was one of the logicians who participated in the invention of the possible worlds’ semantics. The ontology, which is connected with his systems of modal logic, is unique. Prior tried to reduce the number of abstract entities as much as possible. Hence he did not elect to introduce possible worlds and possibilia into his ontology. In addition, he held a reductionist view, which is called modal actualism by Fine or modalism by Melia. Prior was inspired by various authors (...) but this paper mainly discusses the influence of two prominent sources, Wittgenstein and logicians from Warsaw School. Prior acknowledged Wittgenstein’s influence, when he discuss the view that possible worlds consist of propositions. The second important feature of Prior’s concept is the denial of the real existence of possible worlds and the denial of the existence of entities which are in them. It was probably enabled by Prior’s adoption of some systems of logic invented by logicians from the Warsaw school, especially Lesniewski’s and Łukasiewicz’s systems. (shrink)

The Epistemic Objection says that certain theories of time imply that it is impossible to know which time is absolutely present. Standard presentations of the Epistemic Objection are elliptical—and some of the most natural premises one might fill in to complete the argument end up leading to radical skepticism. But there is a way of filling in the details which avoids this problem, using epistemic safety. The new version has two interesting upshots. First, while Ross Cameron alleges that the Epistemic (...) Objection applies to presentism as much as to theories like the growing block, the safety version does not overgeneralize this way. Second, the Epistemic Objection does generalize in a different, overlooked way. The safety objection is a serious problem for a widely held combination of views: “propositional temporalism” together with “metaphysical eternalism”. (shrink)

This paper proves a precisification of Hume’s Law—the thesis that one cannot get an ought from an is—as an instance of a more general theorem which establishes several other philosophically interesting, though less controversial, barriers to logical consequence.

In this paper we develop a novel propositional semantics based on the framework of branching time. The basic idea is to replace the moment-history pairs employed as parameters of truth in the standard Ockhamist semantics by pairs consisting of a moment and a consistent, downward closed set of so-called transitions. Whereas histories represent complete possible courses of events, sets of transitions can represent incomplete parts thereof as well. Each transition captures one of the alternative immediate future possibilities open at a (...) branching point. The transition semantics exploits the structural resources a branching time structure has to offer and provides a fine-grained picture of the interrelation of modality and time. In addition to temporal and modal operators, a so-called stability operator becomes interpretable as a universal quantifier over the possible future extensions of a given transition set. The stability operator allows us to specify how and how far time has to unfold for the truth value of a sentence at a moment to become settled and enables a perspicuous treatment of future contingents. We show that the semantics developed along those lines generalizes and extends extant approaches: both Peirceanism and Ockhamism can be viewed as limiting cases of the transition approach that build on restricted resources only, and on both accounts, stability collapses into truth. (shrink)

The transition semantics presented in Rumberg (J Log Lang Inf 25(1):77–108, 2016a) constitutes a fine-grained framework for modeling the interrelation of modality and time in branching time structures. In that framework, sentences of the transition language L_t are evaluated on transition structures at pairs consisting of a moment and a set of transitions. In this paper, we provide a class of first-order definable Kripke structures that preserves L_t-validity w.r.t. transition structures. As a consequence, for a certain fragment of L_t, validity (...) w.r.t. transition structures turns out to be axiomatizable. The result is then extended to the entire language L_t by means of a quite natural ‘Henkin move’, i.e. by relaxing the notion of validity to bundled structures. (shrink)

Ockhamism implies that future contingents may be true, their historical contingency notwithstanding. It is thus opposed to both the Peircean view according to which all future contingents are false, and Supervaluationist Indeterminism according to which all future contingents are neither true nor false. The paper seeks to defend Ockhamism against two charges: the charge that it cannot meet the requirement that truths be grounded in reality, and the charge that it proves incompatible with objective indeterminism about the future. In each (...) case, the defence draws on the idea that certain truths are truths only courtesy of others and of what makes the latter true. After introduction of the Ockhamist view, its competitors and implications, a suitable definition of grounded truth is being devised that both is faithful to the spirit of the grounding-requirement and allows the Ockhamist to heed that requirement quite comfortably. Then two senses in which the future might be open are being introduced, indeterminacy as failure of predetermination by past and present facts, and indeterminacy as failure of entailment by past and present truths. It is argued that while openness in the former sense, but not in the latter sense, coheres with the Ockhamist view, it is only openness in the former sense that matters for objective indeterminism. (shrink)

Besides their ordinary cardinal and proportional meanings, many and few have been argued to allow for a ‘reverse proportional’ reading. This reading has later been characterised in two opposite directions: Cohen’s reading where the proportion \ matters and Herburger’s where it does not. We develop a compositional analysis that derives the correct truth conditions for both characterisations of Westerståhl-style sentences while maintaining conservativity, assuming a standard syntax/semantics mapping and reducing their context-dependence to mechanisms independently needed for degree constructions in general. (...) In a nutshell, mirroring the decomposition of other degree expressions like tall, many is decomposed into the parametrized determiner many and the operator POS, where POS combines with a contextually salient comparison class C matching the alternatives triggered by some element X\ in the sentence. Non-reverse readings obtain when X\ is external to the original host NP and reverse readings when X\ is internal to the host NP. Cohen’s truth conditions for Westerståhl-style sentences are derived as a reverse proportional reading and Herburger’s interpretation as a sub-case of the non-reverse cardinal reading. (shrink)

The Moral Law is fulfilled iff everything that ought to be the case is the case, and The Good is realised in a possible world w at a time t iff w is deontically accessible from w at t. In this paper, I will introduce a set of temporal modal deontic systems with propositional quantifiers that can be used to prove some interesting theorems about The Moral Law and The Good. First, I will describe a set of systems without any (...) propositional quantifiers. Then, I will show how these systems can be extended by a couple of propositional quantifiers. I will use a kind of TxW semantics to describe the systems semantically and semantic tableaux to describe them syntactically. Every system will include a constant · that stands for The Good. ‘·’ is read as ‘The Good is realised’. All systems that contain the propositional quantifiers will also include a constant '*' that stands for The Moral Law. '*' is read as ‘The Moral Law is fulfilled’. I will prove that all systems (without the propositional quantifiers) are sound and complete with respect to their semantics and that all systems (including the extended systems) are sound with respect to their semantics. It is left as an open question whether or not the extended systems are complete. (shrink)

Hamblin's Action-State Semantics provides a sound philosophical foundation for understanding the character of the imperative. Taking this as our inspiration, in this paper we present a logic of action, which we call ST, that captures the clear ontological distinction between being responsible for the achievement of a state of affairs and being responsible for the performance of an action. We argue that a relativised modal logic of type RT founded upon a ternary relation over possible worlds integrated with a basic (...) tense logic captures intuitions of the Hamblinian model of imperatives. The logic implements a direct mapping of each of Hamblin's key concepts: strategies, partial strategies and wholehearted satisfaction. (shrink)

ABSTRACTHere, I pursue consequences, for the interpretation of Sellars’ critique of the ‘Myth of the Given’, of separating the modal significance that Kant attributed to empirical intuition from th...

I examine Quine’s and Davidson’s arguments to the effect that classical logic is the one and only correct logic. This conclusion is drawn from their views on radical translation and interpretation, respectively. I focus on the latter, but I first address, independently, Quine’s argument to the effect that the ‘deviant’ logician, who departs from classical logic, is merely changing the subject. Regarding logical pluralism, the question is whether there is more than one correct logic. I argue that bivalence may be (...) subject matter dependent, but that distribution and the law of excluded middle can probably not be dropped whilst maintaining the standard meanings of the connectives. In discussing the ramifications of the indeterminacy of interpretation, I ask whether it forces Davidsonian interpreters to adopt Dummett’s epistemic conception of truth vis-à-vis their interpretations. And, if so, does this cohere with their attributing a nonepistemic notion of truth to their interpretees? This would be a form of logical pluralism. In addition, I discuss Davidson’s arguments against conceptual schemes. Schemes incommensurable with our own could be construed as wholesale deviant logics, or so I argue. And, if so, their possibility would yield, in turn, the possibility of a radical logical pluralism. I also address Davidson’s application of Tarski’s definition of truth. (shrink)

The paper deals with the problem of axiomatizing a system T1 of discrete tense logic, where one thinks of time as the set Z of all the integers together with the operations +1 ("immediate successor") and-1 ("immediate predecessor"). T1 is like the Segerberg-Sundholm system WI in working with so-called infinitary inference ruldes; on the other hand, it differs from W I with respect to (i) proof-theoretical setting, (ii) presence of past tense operators and a "now" operator, and, most importantly, with (...) respect to (iii) the presence in T1 of so-called systematic frame constants, which are meant to hold at exactly one point in a temporal structure and to enable us to express the irreflexivity of such structures. Those frame constants will be seen to play a paramount role in our axiomatization of T1. (shrink)

Reformulation strategies for solving Fitch’s paradox of knowability date back to Edgington. Their core assumption is that the formula \, from which the paradox originates, does not correctly express the intended meaning of the verification thesis, which should concern possible knowledge of actual truths, and therefore the contradiction does not represent a logical refutation of verificationism. Supporters of these solutions claim that can be reformulated in a way that blocks the derivation of the paradox. Unfortunately, these reformulation proposals come with (...) other problems, on both the logical and the philosophical side. We claim that in order to make the reformulation idea consistent and adequate one should analyze the paradox from the point of view of a quantified modal language. An approach in this line was proposed by, among others, Kvanvig but was not fully developed in its technical details. Here we approach the paradox by means of a first order hybrid modal logic, a tool that strikes us as more adequate to express transworld reference and the rigidification needed to consistently express this idea. The outcome of our analysis is ambivalent. Given a first order formula we are able to express the fact that it is knowable in a way which is both consistent and adequate. However, one must give up the possibility of formulating as a substitution free schema of the kind \. We propose that one may instead formulate by means of a recursive translation of the initial formula, being aware that many alternative translations are possible. (shrink)

The paper attempts to give a solution to the Fitch's paradox though the strategy of the reformulation of the paradox in temporal logic, and a notion of knowledge which is a kind of ceteris paribus modality. An analogous solution has been offered in a different context to solve the problem of metaphysical determinism.

The man who is isolated over against God is as such rejected by God. But to be this man can only be the choice of the Godless man himself. The witness of the Community of God to every individual man points in this direction: that this choice of the Godless is null and void, that he belongs to Jesus Christ from eternity and thus is not rejected, but rather chosen by God in Jesus Christ, that the reprobation which he deserves (...) on the basis of his wrong choice is borne and removed by Jesus Christ; that on the basis of the true, the Divine choice he is chosen for eternal life with God. The promise of his election will determine him as a member of the Church to become himself a carrier of its witness to the whole world. And the revelation of his rejection can determine him only to believe in Jesus Christ as Him by whom it is borne and removed. (Fourth of Karl Barth's "main theses" on God's Election of Grace in his Dogmatic II/2). (shrink)

The article reviews some analyses of temporal language in logical approaches to natural language semantics. It considers some asymmetries between past and future, manifested in language, which motivate the “standard view” of the non-reversibility of time and the persistence of the past. It concludes with a puzzle about the changing past which challenges the standard view.

This paper deals with the historical and philosophical background of the introduction of the notion of branching time in philosophical logic as it is revealed in the hitherto unpublished mail-correspondence between Saul Kripke and A.N. Prior in the late 1950s. The paper reveals that the idea was first suggested by Saul Kripke in a letter to A.N. Prior, dated September 3, 1958, and it is shown how the elaboration of the idea in the course of the correspondence was intimately intervowen (...) with considerations of how to represent indeterminism and of the adequacy of tensed logic in light of special relativity. The correspondence underpins the point that Prior's later development of branching time may be understood as a crucial part of his attempt at the formulating a conceptual framework integrating basic human notions of time and free choice. (shrink)

I will show how a metaphysical problem of Arthur Prior’s can be solved by a logical tool he developed himself, but did not put to any foundational use: metric logic. The broader context is given by the key question about the metaphysics of time: Is time tenseless, i.e., is time just a structure of instants; or is time tensed, because some facts are irreducibly tensed? I take sides with Prior and the tensed theory. Like him, I therefore I have to (...) deal with a more specific metaphysical question: How can the instants of tenseless time be reduced to tensed facts? This is the point where, on the technical level, hybrid logic and metric logic come in. For present purposes, both can be seen as species of tense logic; and both are creations of Prior. In his argument for the tensed theory of time, Prior used hybrid tense logic to reduce instants. But, as he himself pointed out, this reduction runs into deep problems, because it immediately generalizes to other categories, for example and most importantly to persons. My main aim is to show that metric logic does not run into similar difficulties: It will help the tensed theory reduce instants, but it leaves persons untouched. I will also give reasons for preferring a metric to a hybrid logic of time that are independent of the metaphysical issue of reduction, but concern temporal reasoning, natural language semantics, and the epistemic side of time-keeping. (shrink)

The paper defends an Aristotelian notion of indeterminism, as rigorously formulated in the framework of branching space-times (BST) of Belnap (1992), against the model-theoretic characterization of indeterminism that Montague (1962) introduced into the philosophy of science. It delineates BST branching against the background provided by Earman's (2008) distinction between individual vs. ensemble branching. It describes a construction of physically-motivated BST models, in which histories are isomorphic to Minkowski spacetime. Finally it responds to criticism leveled against BST by addressing some semantical (...) questions, a topological issue, and the past/future asymmetry. (shrink)

We investigate the concepts of past, present, and future that build upon a modal distinction between a settled past and an open future. The concepts are defined in terms of a pre-causal ordering that is determined by the qualitative differences between alternative possible histories. We look what an event’s past, present, and future look like in the so-called Minkowskian Branching Structures, one in which histories are isomorphic to Minkowski space-time.

The paper puts forward a theory of historical modalities that is framed in terms of possible continuations rather than possible worlds or histories. The proposal is tested as a semantic theory for a language with historical modalities, tenses, and indexicals.

Against the background of the theory of branching space-times (BST), the paper sketches a concept of individuals. It discusses Kripkean modal intuitions concerning individuation, and, finally it addresses Lewis’s objections to branching individuals.

Indeterminism, understood as a notion that an event may be continued in a few alternative ways, invokes the question what a region of chanciness looks like. We concern ourselves with its topological and spatiotemporal aspects, abstracting from the nature or mechanism of chancy processes. We first argue that the question arises in Montague-Lewis-Earman conceptualization of indeterminism as well as in the branching tradition of Prior, Thomason and Belnap. As the resources of the former school are not rich enough to study (...) topological issues, we investigate the question in the framework of branching space-times of Belnap (Synthese 92:385–434, 1992). We introduce a topology on a branching model as well as a topology on a history in a branching model. We define light-cones and assume four conditions that guarantee the light-cones so defined behave like light-cones of physical space-times. From among various topological separation properties that are relevant to our question, we investigate the Hausdorff property. We prove that each history in a branching model satisfies the Hausdorff property. As for the satisfaction of the Hausdorff property in the entire branching model, we prove that it is related to the phenomenon of passive indeterminism, which we describe in detail. (shrink)

Presentism states that everything is present. Crucial to our understanding of this thesis is how we interpret the ‘is’. Recently, several philosophers have claimed that on any interpretation presentism comes out as either trivially true or manifestly false. Yet, presentism is meant to be a substantive and interesting thesis. I outline in detail the nature of the problem and the standard interpretative options. After unfavourably assessing several popular responses in the literature, I offer an alternative interpretation that provides the desired (...) result. This interpretation is then used to clarify the distinction between ‘real change’ from mere variation and temporal relativisation. Reflecting on my solution, I try to diagnose the source of confusion over these issues. Then, building upon Fine’s distinction between ontic and factive presentism, I elucidate what the presentist thesis specifically concerns and how best to formalise it. In the process I distinguish a weak and strong version of the presentist thesis. Finally, I end by drawing out some limitations of the paper. (shrink)

This dialogue between Achilles and the Tortoise – in the spirit of those of Carroll and Hofstadter – argues against the idea, identified with the “traditional” interpretation of Aristotle’s “sea battle argument”, that future contingents are an exception to the Principle of Bivalence. It presents examples of correct everyday predictions, without which one would not be able to decide and to act; however, doing this is incompatible with the belief that the content of these predictions lacks a truth-value. The cost (...) of using a non-classical logic to cope with that may be too high for Stagirite’s defenders, and they would still need to explain why our ordinary predictions seem to have a binary truth-value. In the end, the paper suggests that the problem of future contingents – and of free will – is not a logical problem at all, but rather a limit on what an agent can believe before taking a decision. (shrink)

We discuss some aspects of the concept of “object” and “objectuation” as suggested by the articulation of modern physics. In particular we analyze the new ontological thickness of the notion ofobject in quantum mechanics and in relativistic quantum mechanics.At the end we try to formulate some modifications of the logical approach to quantum theory in order to grasp the new situation connected with relativistic quantum theory.

Arthur N. Prior, in the Preface of Past, Present and Future, made clear his indebtedness to “the very lively tense-logicians of California for many discussions”. Strangely,with a notable exception of Copeland, there is no extensive discussion of these scholars in the literature on the history of tense logic. In this paper, I propose to study how Nino B. Cocchiarella, as one of the Californian tense-logicians, interacted with Prior in the late 1960s. By gathering clues from their correspondence available at Virtual (...) Lab for Prior Studies, I will highlight some of the differences between their views on tense-logic, which might still have far-reaching philosophical implications. I will conclude with a sketchof how to study in what ways Prior and Cocchiarella influenced some other Californian tense-logicians. (shrink)

Typical presentism asserts that whatever exists is present. Moderate presentism more modestly claims that all events are present and thus acknowledges past and future times understood in a substantivalist sense, and past objects understood, following Williamson, as “ex-concrete.” It is argued that moderate presentism retains the most valuable features of typical presentism, while having considerable advantages in dealing with its most prominent difficulties.

In a recent article, ‘Tensed Time and Our Differential Experience of the Past and Future,’ William Lane Craig attempts to resuscitate A. N. Prior's ‘Thank Goodness’ argument against the B-theory by combining it with Plantinga's views about basic beliefs. In essence Craig's view is that since there is a universal experience and belief in the objectivity of tense and the reality of becoming, ‘this belief constitutes an intrinsic defeater-defeater which overwhelms the objections brought against it.’ An intrinsic defeater-defeater is a (...) belief that enjoys such warrant for us that it simply overwhelms the defeaters brought against it without specifically rebutting or undercutting them. Thus, Craig claims that an effete philosophical argument like McTaggart's paradox is nothing more than ‘an engaging and recalcitrant brain teaser whose conclusion nobody really takes seriously.’ It is difficult to reconcile this statement with Craig's own writings elsewhere. For Craig has vigorously argued in at least two other articles that 'hybrid A-B theorists like McCall, Schlesinger, and Smith [who give ontological status to both A-properties and B-relations] are in deep trouble’ since they are all effectively refuted by McTaggart's Paradox. It is not Craig's inconsistency regarding the significance of McTaggart conundrum that I want to draw attention to, however. Rather I wish to raise a different issue. (shrink)

Since McTaggart first proposed his paradox asserting the unreality of time, numerous philosophers have attempted to defend the tensed theory of time against it. Certainly, one of the most highly developed and original is that put forth by Quentin Smith. Through discussing McTaggart's positive conception of time as well as his negative attack on its reality, I hope to clarify the dispute between those who believe in the existence of the transitory temporal properties of pastness, presentness and futurity, and those (...) who deny their existence. We shall see that the debate centers around the ontological status of succession and the B-relations of earlier and later. I shall argue that Smith's tensed theory fails because he cannot account for the sense in which events have their tensed properties successively, and he cannot account for the direction of time. (shrink)

The essay introduces a non-Diodorean, non-Kantian temporal modal semantics based on part-whole, rather than class, theory. Formalizing Edmund Husserl’s theory of inner time consciousness, §3 uses his protention and retention concepts to define a relation of self-awareness on intentional events. §4 introduces a syntax and two-valued semantics for modal first-order predicate object-languages, defines semantic assignments for variables and predicates, and truth for formulae in terms of the axiomatic version of Edmund Husserl’s dependence ontology (viz. the Calculus [CU] of Urelements) introduced (...) by The Ontology of Intentionality I & II. It then uses the §3 results to define the modalities of truth, and §5 extends the semantics to identity claims. §6 defines and contrasts synthetic a priori truths to analytic a priori truths, and §7 compares Brentano School noetic semantic and Leibnizian possible-world semantic perspectives on modality. The essay argues that the modal logics it defines semantically are two-valued, first-order versions of the type of language which Husserl viewed as the language of any ontology of experience (i.e. of any science), and conceived as the logic of intentionality. (shrink)

The aims of this paper are: (1) to present tense-logical versions of such classical notions as saturated and special models; (2) to establish several fundamental existence theorems about these notions; (3) to apply these powerful techniques to tense complexity.In this paper we are concerned exclusively with quantifiedK 1 (for linear time) with constant domain. Our present research owes much to Bowen [2], Fine [5] and Gabbay [6].

A view of individuals as constituted of quantities of matter, both understood as continuants enduring over time, is elaborated in some detail. Constitution is a three-place relation which can't be collapsed to identity because of the place-holder for a time and because individuals and quantities of matter have such a radically different character. Individuals are transient entities with limited lifetimes, whereas quantities are permanent existents undergoing change in physical and chemical properties from time to time. Coincidence, considered as a matter (...) of occupying the same place, is developed, alongside sameness of constitutive matter, as a criterion of identity for individuals. Quantities satisfy the mereological criterion of identity, applicable to entities subject to mereological relations and operations such as regions of space and intervals of time. A time-dependent analogue of mereological parthood is defined for individuals, in terms of which analogues of the other mereological relations can be defined. But it is argued that there is no analogue of the mereological operation of summation for individuals. (shrink)

Traditional debates between semantic temporalists and eternalists appeal to the efficacy of temporal operators and the intuitive (in)validity of instances of temporal reasoning. In this paper, I argue that such debates are inconclusive at best and that under-explored arguments concerning perceptual experience, memory, and knowledge offer more productive means of advancing debates between temporalists and eternalists and rendering salient several significant potential costs and benefits of these views.

Frege taught us how to understand one form of predication: an atemporal one. There is also a different, temporal form of predication, which I briefly introduce. Accordingly, there are two fundamentally different approaches to time: a reductive one, aiming to account for time in terms of Frege’s atemporal predication, and a non-reductive one, insisting that the temporal form of predication is sui generis, and that time is to be understood in its terms. I do not directly argue for or against (...) reductionism in this paper. Rather, by evaluating the debates on endurantism–perdurantism, A-theory–B-theory, and presentism–eternalism, I argue that these debates, although aiming to be fundamental, largely boil down to mere quarrels between alternative reductive approaches. We should take notice of this fact and reorient ourselves within the debate on time accordingly: the real issue is whether we should reduce or not. I briefly sketch in what sense endurantism, A-theory, and presentism may be developed on a properly anti-reductionist basis. (shrink)

This paper aims at bringing together two debates in metaphysics that so far have been kept separate: the debate about determinism vs. indeterminism as de re modality on the one hand, and the debate about persistence on the other hand. Both debates significantly involve talk of things. We will show that working out a proper semantics for singular terms and an accompanying theory of things, motivated by considerations of quantified modal logic, can significantly further the persistence debate. We will use (...) our semantic framework to give an argument in support of the endurantist position as the best theory of persistence. (shrink)

A “conceptual spaces” approach is used to formalize Aristotle’s main intuitions about time and change, and other ideas about temporal points of view. That approach has been used in earlier studies about points of view. Properties of entities are represented by locations in multidimensional conceptual spaces; and concepts of entities are identified with subsets or regions of conceptual spaces. The dimensions of the spaces, called “determinables”, are qualities in a very general sense. A temporal element is introduced by adding a (...) time variable to state functions that map entities into conceptual spaces. That way, states may have some permanency or stability around time instances. Following Aristotle’s intuitions, changes and events will not be necessarily instant phenomena, instead they could be processual and interval dependent. Change is defined relatively to the interval during which the change is taking place. Time intervals themselves are taken to represent points of view. To have a point of view is to look at the world as it is in the selected interval. Many important concepts are relativized to intervals, for instance change, events, identity, ontology, potentiality, etc. The definition of points of view as intervals allows to compare points of view in relation to all these concepts. The conceptual space approach has an immediate semantic and structural character, but it is tempting to develop also logics to describe them. A formal language is introduced to show how this could be done. (shrink)

The article puts forward a branching-style framework for the analysis of determinism and indeterminism of scientific theories, starting from the core idea that an indeterministic system is one whose present allows for more than one alternative possible future. We describe how a definition of determinism stated in terms of branching models supplements and improves current treatments of determinism of theories of physics. In these treatments, we identify three main approaches: one based on the study of equations, one based on mappings (...) between temporal realizations, and one based on branching models. We first give an overview of these approaches and show that current orthodoxy advocates a combination of the mapping- and the equations-based approaches. After giving a detailed formal explication of a branching-based definition of determinism, we consider three concrete applications and end with a formal comparison of the branching- and the mapping-based approach. We conclude that the branching-based definition of determinism most usefully combines formal clarity, connection with an underlying philosophical notion of determinism, and relevance for the practical assessment of theories. 1 Introduction2 Determinism in Philosophy of Science: Three Approaches2.1 Determinism: The core idea and how to spell it out2.2 The three approaches in more detail2.3 Representing indeterminism3 Orthodoxy: DMAP, with Invocations of DEQN4 Branching-Style Determinism 4.1 Models and realizations4.2 Faithfulness4.3 Two types of branching topologies 5 Comparing the Approaches5.1 Case studies5.2 Formal comparison of the DMAP and DBRN frameworks6 Conclusions. (shrink)

In the consistent histories formalism one specifies a family of histories as an exhaustive set of pairwise exclusive descriptions of the dynamics of a quantum system. We define branching families of histories, which strike a middle ground between the two available mathematically precise definitions of families of histories, viz., product families and Isham’s history projector operator formalism. The former are too narrow for applications, and the latter’s generality comes at a certain cost, barring an intuitive reading of the “histories”. Branching (...) families retain the intuitiveness of product families, they allow for the interpretation of a history’s weight as a probability, and they allow one to distinguish two kinds of coarse-graining, leading to reconsidering the motivation for the consistency condition. (shrink)

Branching theories are popular frameworks for modeling objective indeterminism in the form of a future of open possibilities. In such theories, the notion of a history plays a crucial role: it is both a basic ingredient in the axiomatic definition of the framework, and it is used as a parameter of truth in semantics for languages with a future tense. Furthermore, histories—complete possible courses of events—ground the notion of modal consistency: a set of events is modally consistent iff there is (...) a history containing that set. We will explain these roles of histories and highlight some critical aspects having to do with the fact that histories are global and, in a relevant sense, “big” objects. The notion of modal consistency, on the other hand, has both local and global aspects. We ask in how far a local notion of modal consistency can serve as an alternative to the common uses of histories, and work out two recent approaches to alternatives to histories. Combining these approaches, we develop a novel semantics for branching time. (shrink)

The logical theory of branching space-times, which provides a relativistic framework for studying objective indeterminism, remains mostly disconnected from discussions of space-time theories in philosophy of physics. Earman has criticized the branching approach and suggested “pruning some branches from branching space-time.” This article identifies the different—order-theoretic versus topological—perspective of both discussions as a reason for certain misunderstandings and tries to remove them. Most important, we give a novel, topological criterion of modal consistency that usefully generalizes an earlier criterion, and we (...) introduce a differential-geometrical version of branching space-times as a non-Hausdorff (generalized) manifold. (shrink)