This paper has a twofold aim. The first is to offer a precise definition of soft fact. Without such definition it is impossible to assess the Ockhamist solution to the problem of divine foreknowledge and human freedom in an accurate way. The second purpose is to identify the costs of such a solution, distinguishing them from some of the other costs usually ascribed to Ockhamism, which Ockhamism does not actually need to pay. In particular, it is argued that Ockhamism is (...) committed to the view that a true future exists and to a form of backward causation. (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 intriguing article The puzzle of the changing past, Barlassina and Del Prete argue that, if one grants a platitude about truth and accepts a simple story that they tell, one is forced to conclude that the past has changed. I will suggest that there is a coherent way to resist that conclusion. The platitude about truth is in fact a platitude, but the story is not exactly as they tell it.

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)

At the centre of Arthur Prior’s ‘Thank goodness’ argument for the A-theory of time is a particular form of relief. Time must objectively pass, Prior argues, or else the relief felt when a painful experience has ended is not intelligible. In this paper, I offer a detailed analysis of the type of relief at issue in this argument, which I call temporal relief, and distinguish it from another form of relief, which I refer to as counterfactual relief. I also argue (...) that existing discussions of the ‘Thank goodness’ argument—including Prior’s own—fail to give a satisfactory account of temporal relief, and that it needs to be seen as an emotion linked to the ability to engage in fairly sophisticated forms of planning. I also suggest that this has an impact on Prior’s claim that the idea of points in time plays no fundamental role in the semantic analysis of tenses. (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)

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)

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)

Might something I do now make something have happened earlier? This paper is about an argument which concludes that I might. Some arguments about “backward causation” conclude that the world could have been the kind of place in which actions make things have happened earlier. The present argument says that it is that kind of place: that we actually are continually doing things that really make earlier things have happened. The argument is not new. It sees temporal direction as logically (...) independent of any direction which necessary and sufficient conditions may have and it sees causal direction as properly deriving from the latter. Thus the directions of time and of making things happen need not coincide and, as it turns out, do not actually coincide in fact. There are examples of events which are sufficient, in a suitably rich sense, for the occurrence of earlier events; hence they make the earlier events happen. My purpose in this paper is to lend support to the argument by filling in some details which ‘backward sufficient conditions’ may lay claim to. (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)

A. N. Prior’s writings should obviously be studied already for historical reasons. His inventions of modern temporal logic and hybrid logic are clearly important events in the history of logic. But the enduring importance of studying his works also rests on his methodological approach, which remains highly relevant also for systematical reasons. In this paper we argue that Prior’s formulation in the 1950s of a tense-logical paradigm for the study of time should be understood in the light of at least (...) three other principles or perspectives which were manifest already in his studies during the 1940s and further developed in the 1950s: his emphasis on the value of interdisciplinary studies, his reflections on formalisation and his view of the role of symbolic logic in conceptual studies and in the philosophy of science. Our investigation into Prior’s basic tenets and principles makes extensive use of Prior’s Nachlass. It is thereby also exemplified how his correspondence and unpublished papers contain important information for a deeper understanding of Prior’s paradigm for the study of time. (shrink)

Prior's three-valued modal logic Q was developed as a philosophically interesting modal logic. Thus, we should be able to modify Q as a temporal logic. Although a temporal version of Q was suggested by Prior, the subject has not been fully explored in the literature. In this paper, we develop a three-valued temporal logic $Q_t $ and give its axiomatization and semantics. We also argue that $Q_t $ provides a smooth solution to the problem of future contingents.

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

The struggle to delineate the relationship between theology and logic flourished in the thirteenth century and culminated in two condemnations in early 1277, one in Paris and the other in Oxford. To see how much and what kind of effect ecclesiastical actions such as condemnations and prohibitions to teach had on the development of logic in the Middle Ages, we investigate the events leading up to the 1277 actions, the condemned propositions, and the parts of these condemnations connected to modal (...) and temporal logic specifically. We show that because of the specific motivations late thirteenth-century and fourteenth-century logicians had when working in modal and temporal logic, the effect of the 1277 condemnations on the development of those branches was much smaller than might have been supposed. (shrink)

Propositions are posited to perform a variety of explanatory roles. One important role is being what is designated by a dedicated linguistic expression like a "that"-clause. In this paper, the case that propositions are needed for such a role is bolstered by defending that there are other expressions dedicated to designating propositions. In particular, it is shown that natural language has anaphors for propositions. Complement "so" and the response markers "yes" and "no" are argued to be such expressions.

The thin red line theory is a form of branching indeterminism. It entails that, among the many possible developments that reality might take, one is privileged: the actual history. The thin red line theory is naturally paired off with a semantic thesis that may be called ‘the actuality principle’: a statement is true as used at a moment if and only if it is true at that moment on the actual history. The actuality principle has been challenged, for it would (...) be wrong about several counterfactual reasonings. On the one hand, the actuality principle should entail that any statement uttered at a merely possible moment is untrue. On the other hand, the actuality principle should be at odds with the way we use subjunctive conditionals. This paper argues that both objections rely on an inadequate understanding of the notion of the history of use. As for the first objection, the paper argues that to assume the actuality principle amounts to taking the actual history as the history of use. As a consequence, one cannot consistently take the actual history as the history of use and, at the same time, a merely possible moment as the moment of use. As for the second objection, the paper shows that the actuality principle is consistent with any reasonable treatment of subjunctive conditionals. (shrink)

Non-classical negations may fail to be contradictory-forming operators in more than one way, and they often fail also to respect fundamental meta-logical properties such as the replacement property. Such drawbacks are witnessed by intricate semantics and proof systems, whose philosophical interpretations and computational properties are found wanting. In this paper we investigate congruential non-classical negations that live inside very natural systems of normal modal logics over complete distributive lattices; these logics are further enriched by adjustment connectives that may be used (...) for handling reasoning under uncertainty caused by inconsistency or undeterminedness. Using such straightforward semantics, we study the classes of frames characterized by seriality, reflexivity, functionality, symmetry, transitivity, and some combinations thereof, and discuss what they reveal about sub-classical properties of negation. To the logics thereby characterized we apply a general mechanism that allows one to endow them with analytic ordinary sequent systems, most of which are even cut-free. We also investigate the exact circumstances that allow for classical negation to be explicitly defined inside our logics. (shrink)

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)

Temporal logic is one of the many areas in which a possible world semantics is adopted. Prior's Ockhamist and Peircean semantics for branching-time, though, depart from the genuine Kripke semantics in that they involve a quantification over histories, which is a second-order quantification over sets of possible worlds. In the paper, variants of the original Prior's semantics will be considered and it will be shown that all of them can be viewed as first-order counterparts of the original semantics.

Most of us would want to say that it is true that Socrates taught Plato. According to realists about past facts,1 this is made true by the fact that there is, located in the past, i.e., earlier than now, at least one real event that is the teaching of Plato by Socrates. Presentists, however, in denying that past events and facts exist2 cannot appeal to such facts to make their past-tensed statements true. So what is a presentist to do?

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)

In this paper I propose a novel treatment of generic sentences, which proceeds by means of different levels of analysis. According to this account, all generic sentences (I-generics and D-generics alike) are initially treated in a uniform manner, as involving higher-order predication (following the work of George Boolos, James Higginbotham and Barry Schein on plurals). Their non-uniform character, however, re-emerges at subsequent levels of analysis, when the higher-order predications of the first level are cashed out in terms of quantification over (...) individuals: this last step, I suggest, involves knowledge concerning the lexical meaning of the predicates in question. (shrink)

We show that basic hybridization makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$@_i$\end{document} in propositional and first-order hybrid logic. This means: interpret \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$@_i\alpha _a$\end{document}, where \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} (...) \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\alpha _a$\end{document} is an expression of any type \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$a$\end{document}, as an expression of type \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$a$\end{document} that rigidly returns the value that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\alpha_a$\end{document} receives at the i-world. The axiomatization and completeness proofs are generalizations of those found in propositional and first-order hybrid logic, and we automatically obtain a wide range of completeness results for stronger logics and languages. Our approach is deliberately low-tech. We don’t, for example, make use of Montague’s intensional type s, or Fitting-style intensional models; we build, as simply as we can, hybrid logicover Henkin’s logic. (shrink)

In this paper the class of minimal models CZI for Kiczuk’s system of physical change ZI is provided and soundness and completeness proofs of ZI with respect to these models are given. ZI logic consists of propositional logic von Wright’s And Then and six specific axioms characterizing the meaning of unary propositional operator “Zm”, read “there is a change in the fact that”. ZI is intended to be a logic which provides a formal account for describing two kinds of process (...) change: the change from one state of the process to its other state and the perishing of the process. (shrink)

Why is it that philosophers find it so hard to come to agreement? Many disputes that have gone on for centuries or even millennia are still unresolved, even though there has been increased conceptual sophistication on the part of the contending parties. Consider, for example, the question of free will, where libertarians still contest the field with determinists and compatibilists.

This paper is predicated on the idea that some modal operators are better understood as quantificational expressions over worlds that determine not only first-order facts but modal facts also. In what follows, we will present a framework in which these two types of facts are brought closer together. Structural features will be located in the worlds themselves. This result will be achieved by decomposing worlds into parts, where some of these parts will have “modal import” in the sense that they (...) will determine structure on other worldly parts. The main upshot of this will be a clearer grasp of the interaction between modal notions. (shrink)

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)

In “Divine Foreknowledge and Human Freedom” [6] Anthony Kenny returns to a ‘very old difficulty’ stated by Aquinas at Summa Theologiae Ia, 14, 3, 3. Kenny rejects the Thomistic strategy of treating God as an atemporal knower, Who grasps all events of history simultaneously in a timeless present. He takes this notion to be neither Biblical nor coherent. He hopes instead to reconcile a temporal God's literal foreknowledge with free action among men. I shall follow Kenny in treating the concept (...) of God as a temporal being. But I shall argue against the attempts of Kenny and some other recent writers to provide a reconciliation. (shrink)

In diesem Aufsatz wird im Rahmen des Projekts einer Logik des Lebens die Ebene der Zellen und die Beziehung zwischen Lebewesen und Zellen behandelt. Es werden die Beziehungen "ist Zell-Vorfahre von", "ist Zelle von" und "ist Zelle desselben Lebewesens wie" untersucht. Postulate für Lebewesen werden umgedeutet und auf die Zellebene übertragen. Es werden Möglichkeiten diskutiert, die Vorfahren-Relation für Lebewesen auf der Grundlage der Vorfahren-Relation für Zellen zu definieren. Eine besondere Rolle spielen dabei Einzellflaschenhälse ("one-cell bottlenecks" / "single-cell bottlenecks").