Si l’histoire et les sciences sociales ont connu une sorte de fusion au cours des dernières décennies et si de multiples domaines d’études spécialisées se sont affirmés pendant la même période, le registre durkheimien de la « sociologie générale » paraît aujourd’hui comme en friche. Il s’agit dans un premier temps d’analyser les conditions de cette désaffection et dans un second temps d’indiquer comment, par la voie d’une réflexivité de longue durée, on peut reformuler un agenda pour la sociologie générale.

Tenseless theories of time entail that earlierthan, later than and simultaneous with (i.e.,McTaggart's `B-series') are the only temporalproperties exemplified by events. Such theories oftencome under attack for being unable to satisfactorilyaccount for tensed language. In this essay I arguethat tenseless theories of time are capable of twofeats that critics, such as Quentin Smith, argue arebeyond their grasp: (1) They can coherently explainthe impossibility of translating all tensed sentencesby tenseless counterparts; (2) They can account forcertain obviously valid entailment relations betweentensed sentence (...) types. In analyzing tensed entailmentrelations tenselessly, I favor a date analysis oftensed language over a token-reflexive theory. Theupshot is that tenseless theories of time are notundermined by the linguistic facts. (shrink)

A position that has been called ‘classical indeterminism’ has recently been developed in order to model vagueness: this approach appeals to an object-language ‘determinately’ operator, the semantics of which are defined in such a way as to preserve the principle of bivalence. I suggest that a prominent argument against this strategy, which I call the Field–Williamson argument, fails. The classical indeterminist position in its general form was anticipated by the Aristotelian commentators in their discussions of Aristotle’s famous ‘sea battle’ passage (...) concerning future contingency. But I maintain that, ironically enough, the strategy is less happily applied in this case, where a version of the Field–Williamson argument succeeds. (shrink)

It is argued that the assignment of truth values to future contingents is threatened not by a tensed metaphysics but by a temporally “local” notion of truth, i.e., by the assumption that whatever is true at a given time needs to be grounded in what exists at that time. If this assumption is accepted, tensed and tenseless metaphysics are equally vulnerable; if it is rejected, both can accommodate true future contingents. This means that semantic decisions are largely independent of metaphysical (...) considerations. The work of Correia and Rosenkranz (2018) is a clear example of how the tensed metaphysics of the growing block can incorporate true future contingents. Two potential worries are discussed in the context of their work: (a) that their grounding strategy overgeneralizes and admits true counterfactual contingents; and (b) that the growing block theory lacks sufficient resources to distinguish the unique possible future course of events that is relevant for the grounding of future contingents. (shrink)

Indicative conditionals with present tense antecedents can have ‘shifted’ readings that are unexpected given the semantic behavior of the tenses outside of conditionals. In this paper, we compare two accounts of this phenomenon due to Kaufmann (J Semant 22(3):231–280, 2005) and Schulz (SALT XVIII, pp. 694–710, 2008), by reconstructing them in the framework of branching time. We then propose a novel account of indicative conditionals based on the branching time semantics suggested in Rumberg (J Logic Lang Inf 25(1):77–108, 2016), viz. (...) transition semantics. We show that not only is the account of ‘shifted’ readings with present tense antecedents within this semantics very natural, but it also is empirically superior to its rivals in some respects. (shrink)

There are some properties, like being bald, for which it is vague where the boundary between the things that have it and the things that do not lies. A number of arguments threaten to show that such properties can still be associated with determinate and knowable boundaries: not between the things that have it and those that don’t, but between the things such that it is borderline at some order whether they have it and the things for which it is (...) not. I argue that these arguments, if successful, turn on a contentious principle in the logic of determinacy: Brouwer’s Principle, that every truth is determinately not determinately false. Other paradoxes which do not appear to turn on this principle often tacitly make assumptions about assertion, knowledge and higher-order vagueness. In this paper I’ll show how one can avoid sharp higher-order boundaries by rejecting these assumptions. (shrink)

In a recently published paper, Patrick Todd (2016, 'Future contingents are all false! On behalf of a Russellian open future') advocates a novel treatment of future contingents. On his view, all statements concerning the contingent future are false. He motivates his semantic postulates by considerations in philosophy of time and modality, in particular by the claim that there is no actual future. I present a number of highly controversial consequences of Todd’s theory. Inadequacy of his semantics might indirectly serve as (...) an argument against the philosophical view underpinning his proposal. (shrink)

Stit semantics grows out of a modal tradition in the logic of action that concentrates on an operator representing the agency of an individual in seeing to it that some state of affairs holds, rather than on the actions the individual performs in doing so. The purpose of this paper is to enrich stit semantics, and especially epistemic stit semantics, by supplementing the overall framework with an explicit treatment of action types. We show how the introduction of these new action (...) types allows us to define a modal operator capturing an epistemic sense of agency, and how this operator can be used to express an epistemic sense of ability. (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)

Many are committed to the idea that the present generation has obligations to future generations, for example, obligations to preserve the environment and certain natural resources for those generations. However, some philosophers want to explain why we have these obligations in terms of correlative rights that future persons have against persons in the present. Attributing such rights to future persons is controversial, for there seem to be compelling arguments against the position. According to the “nonexistence” argument, future persons cannot have (...) rights (and so should not be attributed rights) because they do not exist. According to the “no-satisfaction” argument, future persons cannot have a right to resources that do not exist at the time of their existence because such a right could not, in principle, be satisfied. In this paper, I will argue that an eternalist ontology of time provides the resources for satisfactorily responding to both the nonexistence and the no-satisfaction arguments. (shrink)

A-theorists think there is a fundamental difference between the present and other times. This concern shows up in what kinds of properties they take to be instantiated, what objects they think exist and how they formalize their views. Nearly every contemporary A-theorist assumes that her metaphysics requires a tense logic – a logic with operators like and. In this paper, I show that there is at least one viable A-theory that does not require a logic with tense operators. And I (...) will argue that three common indispensability arguments for tense operators are unsound. (shrink)

Presentism is held by most to be the intuitive theory of time, due in large part to the view's supposed preservation of time's passage. In this paper, I strike a blow against presentism's intuitive pull by showing how the presentist, contrary to overwhelming popular belief, is unable to establish temporal change upon which the passage of time is based. I begin by arguing that the presentist's two central ontological commitments, the Present Thesis and the Change Thesis, are incompatible. The main (...) problem is that satisfying the Change Thesis to establish passage requires the existence of more than one moment. This conflicts with the Present Thesis that only the present moment exists. The presentist's response is to appeal to surrogates to stand proxy for the past, so as to account for the difference between what does exist and what did exist. I argue that, for this surrogate strategy to be successful, the proposed surrogates must track what actually happened. I demonstrate that there is no guarantee that t.. (shrink)

This paper investigates the logic of Ockhamism, a view according to which future contingents are either true or false. Several attempts have been made to give rigorous shape to this view by defining a suitable formal semantics, but arguably none of them is fully satisfactory. The paper draws attention to some problems that beset such attempts, and suggests that these problems are different symptoms of the same initial confusion, in that they stem from the unjustified assumption that the actual course (...) of events must be represented in the semantics as a distinguished history, the Thin Red Line. (shrink)

Pourrait-on enrichir la théorie des actes de langage pour traiter du discours? Wittgenstein et Searle ont signalé des difficultés. Beaucoup de discours n’ont pas de but conversationnel, leur arrière-plan est indéfiniment ouvert, ils contiennent des énonciations dépourvues de pertinence et de félicité, et ainsi de suite. À mes yeux, l’objectif principal de la pragmatique du discours est d’analyser la structure et la dynamique des jeux de langage à but conversationnel. Pareils jeux de langage sont indispensables à tout genre de discours. (...) La logique peut analyser leurs conditions de félicité car leur poursuite obéit à des règles constitutives. Beaucoup d’énonciations ne sont pas littérales ou sérieuses. Les unités de la conversation sont les actes illocutoires tentés, qu’ils soient littéraux, sérieux ou non. Comme Montague, je préconise l’usage de formalismes logiques en pragmatique. J’expliquerai comment il convient de réviser et développer les logiques intensionnelle et illocutoire, la logique des attitudes et de l’action afin de modéliser notre capacité de dialoguer. Je comparerai mon approche à d’autres sur le plan de la méthodologie, des hypothèses et des enjeux.Could we enrich speech-act theory to deal with discourse? Wittgenstein and Searle pointed out difficulties. Most dialogues lack a conversational purpose, their background is indefinitely open, they contain irrelevant and infelicitous utterances, etc. In my view, the primary aim of discourse pragmatics is to analyze the structure and dynamics of language-games whose type is provided with an internal conversational goal. Such games are indispensable to any kind of discourse. Logic can analyze their felicity-conditions because they are conducted according to systems of constitutive rules. Speakers often speak non-literally or non-seriously. The units of conversation are attempted illocutions whether literal, serious or not. I will show how to construct speaker-meaning from sentence-meaning, conversational background and maxims. Like Montague, I believe that we need the resources of formalisms and of logic in pragmatics. I will explain how to further develop intensional and illocutionary logics, the logic of attitudes and of action in order to characterize our ability to converse. I will compare my approach to others as regards hypotheses, methodology and issues. (shrink)

On the historic Cross, it is God Himself Who has actually met the last dark limits of our life, and has brought Himself face to face with that inescapable something (or Someone) which seems to keep us forever strangers (physically, morally, logically and in every other way) to the Absolute and Eternal. And because it is God Himself Who has thus in life and in death personally encountered sin, death, time and corruption, He has overthrown them and raised and transformed (...) the existence that is subject to them, our existence, into the glorious Being of His Everlasting Godhead. He has robbed death of its sting and the grave of its victory, and delivered us from Satan's ancient power. A.N. Prior: Athanasius Contra Mundum. Prior (1934). (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)

Chrysippus claims that some propositions perish. including some true conditionals whose consequent is impossible and antecedent is possible, to which he appeals against Diodorus?s Master Argument. On the standard interpretation. perished propositions lack truth values. and these conditionals are true at the same time as their antecedents arc possible and consequents impossible. But perished propositions are false, and Chrysippus?s conditionals are true when their antecedent and consequent arc possible, and false when their antecedent is possible and consequent impossible. The claim (...) of the Master Argument that Chrysippus rejects, then, is stronger ihan usually supposed. (shrink)

In this paper we examine Prior’s reconstruction of Master Argument [4] in some modal-tense logic. This logic consists of a purely tense part and Diodorean definitions of modal alethic operators. Next we study this tense logic in the pure tense language. It is the logic K t 4 plus a new axiom ( P ): ‘ p Λ G p ⊃ P G p ’. This formula was used by Prior in his original analysis of Master Argument. ( P ) (...) is usually added as an extra axiom to an axiomatization of the logic of linear time. In that case the set of moments is a total order and must be left-discrete without the least moment. However, the logic of Master Argument does not require linear time. We show what properties of the set of moments are exactly forced by ( P ) in the reconstruction of Prior. We make also some philosophical remarks on the analyzed reconstruction. (shrink)

ABSTRACT: A comprehensive introduction to ancient (western) logic from earliest times to the 6th century CE, with an emphasis on topics which may be of interest to contemporary logicians. Content: 1. Pre-Aristotelian Logic 1.1 Syntax and Semantics 1.2 Argument Patterns and Valid Inference 2. Aristotle 2.1 Dialectics 2.2 Sub-sentential Classifications 2.3 Syntax and Semantics of Sentences 2.4 Non-modal Syllogistic 2.5 Modal Logic 3. The early Peripatetics: Theophrastus and Eudemus 3.1 Improvements and Modifications of Aristotle's Logic 3.2 Prosleptic Syllogisms 3.3 Forerunners (...) of Modus Ponens and Modus Tollens 3.4 Wholly Hypothetical Syllogisms 4. Diodorus Cronus and Philo the Logician 5. The Stoics 5.1 Logical Achievements Besides Propositional Logic 5.2 Syntax and Semantics of Complex Propositions 5.3 Arguments 5.4 Stoic Syllogistic 5.5 Logical Paradoxes 6. Epicurus and the Epicureans 7. Later Antiquity. (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)

In the paper (Braüner, 2001) we gave a minimal condition for the existence of a homophonic theory of truth for a modal or tense logic. In the present paper we generalise this result to arbitrary modal logics and we also show that a modal logic permits the existence of a homophonic theory of truth if and only if it permits the definition of a socalled master modality. Moreover, we explore a connection between the master modality and hybrid logic: We show (...) that if attention is restricted to bidirectional frames, then the expressive power of the master modality is exactly what is needed to translate the bounded fragment of first-order logic into hybrid logic in a truth preserving way. We believe that this throws new light on Arthur Prior's fourth grade tense logic. (shrink)

Patrick Todd's The Open Future defends the view that all future contingent statements, like ‘It will rain tomorrow’, are false.1 Not only is ‘It will rain tomor.

Temporaryism—the view that not always everything always exists—comes in two main versions: presentism and expansionism (aka the growing block theory of time). Both versions of the view are commonly formulated using the notion of being present, which we, among others, find problematic. Expansionism is also sometimes accused of requiring extraordinary conceptual tools for its formulation. In this paper, we put forward systematic characterizations of presentism and expansionism which involve neither the notion of being present nor unfamiliar conceptual tools. These characterizations (...) are full-blown logics, each logic comprising an axiomatic proof system and an intuitive semantics with respect to which the system is both sound and complete. (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 method of Conceptual Analysis makes use of natural language speaker intuitions about the meanings of expressions, and relies on an externalist assumption about meanings—namely, that they can be given in terms of referential relations and truth. This article argues that this widely used methodology in metaphysics is troubled, because the assumed externalist hypothesis about natural language meanings is beset with trenchant obstacles in explaining linguistic phenomena. It argues that the use of Conceptual Analysis in metaphysical investigation inherits the difficulties (...) for the externalist hypothesis generally assumed by metaphysical inquiry. It explores two cases of such investigation that serve to exemplify the breadth of topics susceptible to troubles with the externalist hypothesis regarding natural language meanings: the extended mind hypothesis and the metaphysics of causation. (shrink)

Essential properties are usually thought as properties that things must always possess, whereas accidental properties are considered as changeable. In this paper, we challenge this traditional view. We argue that in some important cases, such as social or biological development, we face not only the change of accidents, but also the change of essences. To analyze this kind of change we propose an alternative view on the relations between the modalities and time. Some properties might be necessary or possible for (...) a thing in a classical sense throughout its existence, whereas others might be necessary or possible only for some restricted periods. We distinguish therefore absolute, prospective, retrospective, and relative modalities. As we argue, these non-classical concepts of modality are useful in analysis of some puzzling case of seemingly changing essences. (shrink)

In several recent papers, Daniel Deasy has argued that the presentism–eternalism debate is unclear and should be abandoned. According to Deasy, there is no way of spelling out the predicate ‘is present’ that leads to a satisfactory definition of presentism: on some interpretations, presentism turns out to be compatible with eternalism, on others, it is clearly false or unacceptable for other reasons. The aim of this paper is to show that this line of argument should be resisted: if the predicate (...) ‘is present’ is spelled out in terms of where things are located, the result is a definition of presentism that is neither compatible with eternalism nor clearly false. There is thus no need to abandon the debate between presentists and eternalists. (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)

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.

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 his 2004 paper ‘Tensed Quantifiers’, David Lewis presented an apparently powerful case for eternalism by arguing that we cannot account for the truth-conditions of sentences like ‘There have been forty-four presidents of the United States’ and ‘There will be five more presidents of the United states’ and maintain a non-revisionary attitude towards their truth-values, without committing to the existence of ‘past’ and ‘future’ things. Related arguments can be found in works by Ted Sider, and by Zoltan Gendler Szabó. We (...) can call the fully developed form of this argument the Argument from Semantics. In this paper, I counter the AfS by showing that these truth-conditions can be captured without commitment to the existence of things—such as Socrates and Abraham Lincoln—which we take to have existed but not to exist, or things—like the par.. (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 previous works, we presented a modification of the usual possible world semantics by introducing an independent temporal structure in each world and using accessibility functions to represent the relation among them. Different properties ofthe accessibility functions have been considered and axiomatic systems which define these properties have been given. Only a few ofthese systems have been proved tobe complete. The aim ofthis paper is to make a progress in the study ofcompleteness for functional systems. For this end, we use (...) indexes as names for temporal flows and give new proofs of completeness. Specifically, we focus our attention on the system which defines injectivity, because the system which defines this property without using indexes was proved to be incomplete in previous works. The only system considered which remains incomplete is the one which defines surjectivity, even ifwe consider a sequence ofnatural extensions ofthe previous one. (shrink)

Much previous work in artificial intelligence has neglected representing time in all its complexity. In particular, it has neglected continuous change and the indeterminacy of the future. To rectify this, I have developed a first‐order temporal logic, in which it is possible to name and prove things about facts, events, plans, and world histories. In particular, the logic provides analyses of causality, continuous change in quantities, the persistence of facts (the frame problem), and the relationship between tasks and actions. It (...) may be possible to implement a temporal‐inference machine based on this logic, which keeps track of several “maps” of a time line, one per possible history. (shrink)

I present a variant of with time, called, interpreted in standard Kripke semantics. On the syntactic level, is nothing but the extension of atemporal individual by: the future tense and past tense operators, and the operator of group agency for the grand coalition. A sound and complete axiomatisation for is given. Moreover, it is shown that supports reasoning about interesting normative concepts such as the concepts of achievement obligation and commitment.