We wish to examine Hartshorne's ontological argument, as formulated in his discussion entitled “The Irreducibly Modal Structure of the Argument.“ The argument is as follows.We wish to show that, if the above argument is to work, “q” must be analytic. If it is analytic, Hartshorne is saddled with a contradiction. Furthermore, if “q” is analytic, the argument is irrelevant.

The aim of this paper is to consider some logical aspects of the debate between the view that the present is the only 'real' time, and the view that the present is not in any way metaphysically privileged. In particular I shall set out a language of first-order predicate tense logic with a now predicate, and a first order (extensional) language with an abstraction operator, in such a way that each language can be shewn to be exactly translatable into the (...) other. I shew that this translation is preserved at the metalinguistic level, so that equivalent truth conditions can be defined in a tensed metalanguage or an indexical metalanguage. I then make some remarks about the connection between proofs of relative consistency and metaphysical truth; and some historical remarks about Arthur Prior's use of formal logic in expressing his presentist views. (shrink)

İslam felsefesinin tartışmasız en önemli filozoflarından biri olan İbn Sina, dönemindeki yoğun Aristoteles etkisine karşılık, Aristoteles’in sisteminden bağımsız yeni bir zaman sistemi kurmuştur. Şifa isimli kitabında bu sistemi sunan İbn Sina, aynı zamanda hareket, hız, mekansal büyüklük gibi belli kavramların yanında bölünebilir bir büyüklük olan ve zorunlu bir şekilde öncelik ve sonralığa sahip olan bir kapasite olarak tanımladığı imkana dayalı bir zamanın gerçekliği savunusu yapmakla birlikte bu kavramların anlam kazanabilmesi için zaman kavramına ihtiyacımız olduğunu göstermiştir.Zamanın gerçekliği sorusu, güncel felsefenin aktörlerinden (...) de büyük dikkat çekmiştir. Bu isimlerden biri olan J. Ellis McTaggart, hayli tartışmalı olmasının yanısıra etkili de olan “Zamanın Gerçekdışılığı” başlıklı makalesinde zamanın bir illüzyondan ibaret olduğunu tartışmıştır. McTaggart, gerek bu makalede gerekse Varoluşun Doğası isimli kitabında zamanın gerçek olmadığını ve zamana dair verdiğimiz her tanımın döngüsel, çelişkili veya yetersiz olduğunu savunmuştur. McTaggart, bu ispatını zamandaki anların birbirine nispetle iki farklı şekilde sınıflandırılabileceği varsayımı üzerine kurgulamıştır. Buna göre A serisi, zamandaki anları geçmiş, şu an ve gelecek şeklinde konumlandırırken B serisi, öncelik ve sonralık ilişkisi ile konumlandırmaktadır. Bu çalışma, İbn Sina’nın sunduğu zaman sisteminin McTaggart’ın B serisi ile uyumlu olup olmadığı sorusunu cevaplamayı amaçlamaktadır.Anahtar kelimeler: İbn Sina, Zaman, Mekansal Büyüklük, İmkan, Hareket, McTaggart, B serisi. (shrink)

Priority monism is roughly the view that the universe is the only fundamental object, that is, a concrete object that does not depend on any other concrete object. Schaffer, the main advocate of PM, claims that PM is compatible with dependence having two different directions: from parts to wholes for subcosmic wholes, and from whole to parts for the cosmic whole. Recently it has been argued that this position is untenable. Given plausible assumptions about dependence, PM entails that dependence has (...) only one direction, it always goes from wholes to parts. One such plausible assumption is a principle of Isolation. I argue that, given all extant accounts of dependence on the market, PM entails No Isolation. The argument depends upon a particular feature of the dependence relation, namely, necessitation and its direction. In the light of this, I contend that the argument is important, insofar as it suggests that we should distinguish dependence from other cognate notions, e.g. grounding. Once this distinction is made, I suggest we should also distinguish between two different notions of fundamentality that might turn out to be not-coextensive. (shrink)

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)

This paper is a critical discussion of A.N. Prior’s contribution to the modern understanding of indeterminism and human freedom of choice. Prior suggested that these ideas should be conceived in terms of his tense logic. It can be demonstrated that his approach provides an attractive formalization that makes it possible to discuss indeterminism and human freedom of choice in a very precise manner and in a broader metaphysical context. It is also argued that Prior’s development of this approach was closely (...) linked to his very personal struggles with fundamental religious and metaphysical questions. In his opinion, holding the doctrine of divine foreknowledge together with the doctrine of human freewill gives rise to difficult logical and philosophical problems. It appears that Prior, rather early on, decided to support what was later known as the Peircean solution, although he also analysed what he considered to be the most important alternative solution—the Ockhamist solution. This paper offers a discussion of some of Prior’s published books and papers as well as some of the papers in his Nachlass. (shrink)

Until is a notoriously difficult temporal operator as it is both existential and universal at the same time: A∪B holds at the current time instant w iff either B holds at w or there exists a time instant w' in the future at which B holds and such that A holds in all the time instants between the current one and ẃ. This “ambivalent” nature poses a significant challenge when attempting to give deduction rules for until. In this paper, in (...) contrast, we make explicit this duality of until by introducing a new temporal operator ∇ that allows us to formalize the “history” of until, i.e., the “internal” universal quantification over the time instants between the current one and ẃ. This approach provides the basis for formalizing deduction systems for temporal logics endowed with the until operator. For concreteness, we give here a labeled natural deduction system N(LTL∇) for a linear-time logic LTL∇ endowed with the new history operator. We show that LTL∇ is equivalent to the linear temporal logic LTL with until, which follows by formalizing back and forth translations between the two logics. We also define an indirect translation from LTL∇ into LTL via temporal logics with past operators; such a result provides an upper bound to the problem of satisfiability for LTL∇ formulas. (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)

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)

In the Tractatus, Wittgenstein maintains that “The world is all that is the case.” Some philosophers have seen an advantage in introducing into a formal language either a constant which will represent the world, or an operator, e.g., ‘Max’, such that indicates that p gives a complete description of the actual world, of the world at some instant of time, or of a possible world. Such propositions are called world propositions, possible world propositions, or maximal propositions. For us, a maximal (...) proposition is a possible world proposition; it gives a complete description of one way the world might be. A maximal proposition p is not logically false, and for any proposition q, either p entails q or p entails not-q. (shrink)

The author, dismissing the feasibility of attaining the real facts of history, proposes to define historical truth as the set of all possible worlds that agree with all the sources available to the historian. He remarks that this conception is very close to that necessairly assumed today by cosmologists, when describing the evolution of the phisical universe.

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.

“Branching space-times” (BST) is intended as a representation of objective, event-based indeterminism. As such, BST exhibits both a spatio-temporal aspect and an indeterministic “modal” aspect of alternative possible historical courses of events. An essential feature of BST is that it can also represent spatial or space-like relationships as part of its (more or less) relativistic theory of spatio-temporal relations; this ability is essential for the representation of local (in contrast with “global”) indeterminism. This essay indicates how BST might be seen (...) to grow out of Newton’s deterministic and non-relativistic theory by two independent moves: (1) Taking account of indeterminism, and (2) attending to spatio-temporal relationships in a spirit derived from Einstein’s theory of special relativity. Since (1) and (2) are independent, one can see that there is room for four theories: Newtonian determinism, branching time indeterminism, relativistic determinism, and (finally) branching space-times indeterminism. (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)

Arthur Prior is perhaps best known for his contributions to the philosophy of time. I shall argue here that his views about reference are not easily reconciled with his views about time, and suggest that his views about existence and his acceptance of some dubious Cartesian epistemological principles led him to increasingly bizarre and counter-intuitive claims about the sufficient conditions for successful reference to particulars. First he seems to have claimed that we cannot refer to individuals which no longer exist; (...) then that we can refer only to individuals which stand in a direct perceptual relationship to us; and finally that one can really only talk about oneself. In this paper I shall trace the development in Prior's thought which led him to this extraordinary conclusion. (shrink)

Prior has conjectured that the tense-logical system Gli obtained by adding to a complete basis for the classical propositional calculus the primitive symbolG, the definitionsDf. F:Fα=NGNαDf. L:Lα=KαGα,and the postulatesis complete for the logic of linear, infinite, transitive, discrete future time. In this paper it is demonstrated that that conjecture is correct and it is shown that Gli has the finite model property: see [4]. The techniques used are in part suggested by those used in Bull [2] and [3]:Gli can be (...) shown to be complete for the logic of linear, infinite, transitive, discrete future time in the sense that every formula of Gli which is true of such time can be proved as a theorem of Gli. For this purpose the notion of truth needs to be formalized. This formalization is effected by the construction of a model for linear, infinite, transitive, discrete future time. (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)

This is a short survey on the development of the formal specification and verification language H with emphasis on the scientific part. H is a modern highly expressive language solidly based upon advanced mathematical theories such as the internalisation of Kripke semantics within institution theory.

For many recent readers of Hegel, Wilfrid Sellars’s 1956 London lectures on the “Myth of the Given” have signaled an important rapprochement between Hegelian and analytic traditions in philosophy. Here I want to explore the ideas of another philosopher, also active in London in the 1950s, who consciously pursued such a goal: John N. Findlay. The ideas that Findlay brought to Hegel—sometimes converging with, sometimes diverging from those of Sellars—had been informed by his earlier study of the Austrian philosopher Alexius (...) Meinong, and transformations of Meinong’s ideas by his student, the logician Ernst Mally. These ideas that Findlay found Hegel-friendly are ones that have had a particular bearing on more recent analytic modal metaphysics, especially via the work of Findlay’s own former student, Arthur Prior. Given this, we might not be surprised at the similarities between the type of actualist interpretation of modal logic that Prior offered in opposition to David Lewis’s variant on Leibnizian possibilism, and Hegel’s approach to the category of “Actuality” [Wirklichkeit] at the end of the Objective Logic of The Science of Logic. But the similarities, I suggest, do not end there, as elements of Hegel treatment of predication in the Subjective Logic parallel similar elements found in the work of Mally and, more recently, “modal actualists” such as Prior and Stalnaker. In this paper I explore some puzzling features of Hegel’s treatment of predication in the Subjective Logic from the point of view of the need for a logic for thought about the modally complex actual world, as Hegel conceived it. (shrink)

A. N. Prior very much admired the logic and philosophy of C.S. Peirce. In the spring of 1962 Prior went to Chicago to study Peirce's ideas. One of the topics that caught his attention was Peirce's existential graphs. This interest continued when he returned to England. In this paper Prior's grappling with the existential graphs will be discussed.

Dans le présent article, on analyse l’assertion, avancée par Jan Łukasiewicz, que la véracité ou la fausseté des propositions portant sur les événements futurs contingents implique le déterminisme. Pour éviter le déterminisme, il faut, selon Łukasiewicz, rejeter la logique classique (binaire) et remplacer cette logique par la logique polyvalente (trivalente). La conception défendue par Łukasiewicz est examinée en rapport avec la thèse proposée par Susan Haack, selon laquelle la véracité des propositions portant sur les événements futurs n’implique aucun déterminisme. Dans (...) l’article, je démontre que le point de vue de Susan Haack est erroné, car elle ne prend pas en considération toutes les prémisses admises par Łukasiewicz. La prémisse la plus importante concerne la sémantique des verbes du futur. Or, j’essaie de prouver que Łukasiewicz s’appuie sur la sémantique dite peircienne et non ockhamienne. J’essaie de prouver que si on prend en considération la prémisse concernant les verbes du futur, le raisonnement qui a mené Jan Łukasiewicz à créer la logique trivalente s’avère correct.Dans la dernière partie de l’article, je signale que la logique trivalente proposée par Łukasiewicz pose certaines difficultés et je postule la nécessité de trouver, dans l’avenir, une autre solution du problème de la valeur logique des phrases sur le futur. (shrink)

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 investigate the nature of the metaphysical possibility of disunified time. A possibility that I argue presents unique problems for those who adhere to a strict A-theory of time, particularly those A-theorists who propose a presentist view. The first part of the paper discusses various arguments against the coherence of the concept of disunified time. I attempt to discount each of these objections and show that disunified time is indeed a possible and consistent topology of time. Then, (...) I attempt to show that disunified time is a problem for a semantics based on the A-series since A-truthmakers are hard to come by in a universe of temporally disconnected time-series. Finally, I provide a novel argument showing that presentists should be particularly fearful of such a universe. (shrink)

Most of us would want to say that it is true that Socrates taught Plato. According to realists about past facts, 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 exist cannot appeal to such facts to make their past-tensed Statements true. So what is a presentist to do?There are (...) at least three conditions that would ideally be met in a satisfactory solution to this problem:a) It must preserve our views about which Statements are true and which falseb) It must be transparent what the truthmakers are for those Statementsc) It must accommodate the truth-value links between various times. (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.

The current trend in knowledge revision in the Dynamic Epistemic Logic tradition focuses on the addition of new knowledge, rather than the possibility of losing knowledge. Yet there are natural situations, such as an agent who does not want another agent to know that she knows a certain piece of information, where there is a need to be able to model the retraction of a proposition from a knowledge base. One situation where this is systematically required is the variant of (...) the medieval theory of obligationes known as dubitatio, where one of the agents in the dialogue is obliged to hold the initial proposition, the dubitatum, as doubtful, regardless of what other propositions she may concede or deny during the disputation. In this paper, we use dubitatio as a motivation for studying deceitful agents, and we discuss various ways that an agent can move from a model where f is known to one where f is not known. (shrink)

A‐theorists of time postulate a deep distinction between the present, past and future. Settling on an appropriate logic for such a view is no easy matter. This Philosophy Compass article describes one of the most vexing formal problems facing A‐theorists. It is commonly thought that A‐theories can only be formally expressed in a tense logic: a logic with operators like P and F . And it seems natural to think that we live in a world where objects come to exist (...) and cease to exist as time passes. Indeed, this is typically a key component of the most prominent kind of A‐theory, presentism. But the temporary existence assumption cannot be upheld in any tense logic with a standard quantification theory. I will explain the problem and outline the philosophical and logical considerations that generate it. I will then consider two possible solutions to the problem – one that targets our logic of quantification and one that targets our assumptions about change. I survey the costs of each solution. (shrink)

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 numerous modal systems between S4 and S5 are investigated from an epistemological point of view by interpreting necessity either as knowledge or as (strong) belief. It is shown that-granted some assumptions about epistemic logic for which the author has argued elsewhere-the system S4.4 may be interpreted as the logic of true belief, while S4.3.2 and S4.2 may be taken to represent epistemic logic systems for individuals who accept the scheme knowledge = true belief only for certain special instances. There (...) is strong evidence in favor of the assumption that S4.2 is the logic of knowledge. (shrink)

This paper follows Part I of our essay on case-intensional first-order logic ). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I formed just a set: a case in BH-CIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the total courses of events 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 first-order 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 moment-definiteness, and give a formal account of how the specification of natural sortals and natural qualities turns out to be a coordination task in BH-CIFOL. We also provide a detailed answer to Lewis’s well-known argument against branching histories, exposing the fallacy in that argument. (shrink)

In this articleIconsider what it would take to combine a certain kind of mathematicalPlatonism with serious presentism.Iargue that a Platonist moved to accept the existence of mathematical objects on the basis of an indispensability argument faces a significant challenge if she wishes to accept presentism. This is because, on the one hand, the indispensability argument can be reformulated as a new argument for the existence of past entities and, on the other hand, if one accepts the indispensability argument for mathematical (...) objects then it is hard to resist the analogous argument for the existence of the past. (shrink)

Hybrid languages are expansions of propositional modal languages which can refer to worlds. The use of strong hybrid languages dates back to at least [Pri67], but recent work has focussed on a more constrained system called $\mathscr{H}$. We show in detail that $\mathscr{H}$ is modally natural. We begin by studying its expressivity, and provide model theoretic characterizations and a syntactic characterization. The key result to emerge is that $\mathscr{H}$ corresponds to the fragment of first-order logic which is invariant for generated (...) submodels. We then show that $\mathscr{H}$ enjoys interpolation, provide counterexamples for its finite variable fragments, and show that weak interpolation holds for the sublanguage $\mathscr{H}$. Finally, we provide complexity results for $\mathscr{H}$ and other fragments and variants, and sharpen known undecidability results for $\mathscr{H}$. (shrink)

In this paper we present BTC, which is a complete logic for branchingtime whose modal operator quantifies over histories and whose temporal operators involve a restricted quantification over histories in a given possible choice. This is a technical novelty, since the operators of the usual logics for branching-time such as CTL express an unrestricted quantification over histories and moments. The value of the apparatus we introduce is connected to those logics of agency that are interpreted on branching-time, as for instance (...) Stit Logics. (shrink)

A hybrid logic is obtained by adding to an ordinary modal logic further expressive power in the form of a second sort of propositional symbols called nominals and by adding so-called satisfaction operators. In this paper we consider hybridized versions of S5 (“the logic of everywhere”) and the modal logic of inequality (“the logic of elsewhere”). We give natural deduction systems for the logics and we prove functional completeness results.

In philosophical logic and metaphysics there is a long-standing debate around the most appropriate structures to represent indeterministic scenarios concerning the future. We reconstruct here such a debate in a computational setting, focusing on the fundamental difference between moment-based and history-based structures. Our presentation is centered around two versions of an indeterministic scenario in which a programmer wants a machine to perform a given task at some point after a specified time. One of the two versions includes an assumption about (...) the future behaviour of the machine that cannot be encoded in any programming instruction; such version has models over history-based structures but no model over a moment-based structure. Therefore, our work adds a new stance to the debate: moment-based structures can be said to rule out certain indeterministic scenarios that are computationally unfeasible. (shrink)

In this paper we describe a novel approach to defining an ontologically fundamental notion of co-presentness that does not go against the tenets of relativity theory. We survey the possible reactions to the problem of the present in relativity theory, introducing a terminological distinction between a static role of the present, which is served by the relation of simultaneity, and a dynamic role of the present, with the corresponding relation of co-presentness. We argue that both of these relations need to (...) be equivalence relations, but they need not coincide. Simultaneity, the sharing of a temporal coordinate, need not have fundamental ontological import, so that a relativizing strategy with respect to simultaneity seems promising. The notion of co-presentness, on the other hand, does have ontological import, and can therefore not be relativized to an observer or to an arbitrarily chosen frame. We argue that a formal representation of indeterminism can provide the structure needed to anchor the relation of co-presentness, and that this addition is in fact congenial to the notion of dynamic time as requiring real change. The resulting picture is one of an extended dynamic present, implying a formal distinction between static simultaneity and dynamic co-presentness. After working out the basics of our approach in the simpler framework of branching time, we provide our full analysis in the framework of branching space-times, which allows for a formal definition of modal correlations. The spatial extension of the dynamic present can reach as far as the modal correlations do. In the limit, the dynamic present could extend across a maximal space-like hypersurface. (shrink)

One of Arthur Prior’s constructions of the relational calculus for times within tense logic plus propositional quantifiers is considered using Malcolm Rennie’s multimodal semantics and found wantin...