In English, discourse reference to time involves grammatical tenses interpreted as temporal anaphors. Recently, it has been argued that conditionals involve modal discourse anaphora expressed by a parallel grammatical system of anaphoric modals. Based on evidence from Kalaallisut, this paper argues that temporal and modal anaphora can be just as precise in a language that does not have either grammatical category. Instead, temporal anaphora directly targets eventualities of verbs, without mediating tenses, while modal anaphora involves anaphoric moods and/or attitudinal verbs.

This book advertises itself as an exploration of the world-time parallel, that is, the parallel between the modal dimension, on the one hand, and the temporal dimension, on the other. It is that, and much more. As the authors point out, there is reasonable agreement that we can model times, through temporal logic, in ways that are analogous to those by which we model modality through the logic of possible worlds. But this formal parallel has almost universally been taken (...) to be a merely formal parallel: thus it is held that no metaphysical conclusions ought to be drawn from it. Thus, it is generally thought that one is free to accept an argument for actualism, say, but to reject a parallel argument for presentism. Rini and Cresswell compellingly argue that this is a mistake: the temporal and the modal are more than merely formally analogous. (shrink)

ABSTRACT We critically review two extant paradigms for understanding the systematic interaction between modality and tense, as well as their respective modifications designed to do justice to the contingency of time’s structure and composition. We show that on either type of theory, as well as their respective modifications, some principles prove logically valid whose truth might sensibly be questioned on metaphysical grounds. These considerations lead us to devise a more general logical framework that allows accommodation of those metaphysical (...) views that its predecessors rule out by fiat. (shrink)

Normative concepts have a special taste, which many consider to be proof that they cannot be reductively analyzed into entirely nonnormative components. This paper demonstrates that at least some intuitively normative concepts can be reductively analyzed. I focus on so-called ‘hypothetical imperatives’ or ‘anankastic conditionals’, and show that the availability of normative readings of conditionals is determined by features of grammar, specifically features of tense. Properly interpreted, these grammatical features suggest that these deontic modals are analyzable in terms of (...) conditional necessity with a certain temporal structure. (shrink)

Natural languages exhibit a great variety of grammatical paradigms. For instance, in English verbs are grammatically marked for tense, whereas in the tenseless Eskimo-Aleut language Kalaallisut they are marked for illocutionary mood. Although time is a universal dimension of the human experience and speaking is part of that experience, some languages encode reference to time without any grammatical tense morphology, or reference to speech acts without any illocutionary mood morphology. Nevertheless, different grammatical systems are semantically parallel in certain (...) respects. Specifically, I propose that English tenses form a temporal centering system, which monitors and updates topic times, whereas Kalaallisut moods form a modal centering system, which monitors and updates modal discourse referents. To formalize these centering parallels I define a dynamic logic that represents not only changing information but also changing focus of attention in discourse (Update with Centering, formalizing Grosz et al 1995). Different languages can be translated into this typed logic by directly compositional universal rules of Combinatory Categorial Grammar (CCG) The resulting centering theory of tense and illocutionary mood draws semantic parallels across different grammatical systems. The centering generalizations span the extremes of the typological spectrum, so they are likely to be universal. In addition, the theory accounts for the translation equivalence of tense and illocutionary mood in a given utterance context. Following Stalnaker (1978) I assume that the very act of speaking up has a ‘commonplace effect’ on the context. It focuses attention on the speech act and thereby introduces default modal and temporal topics. These universal defaults complement language-specific grammars, e.g. English tenses and Kalaallisut moods. In a given utterance context the universal discourse-initial defaults plus language-specific grammatical marking may add up to the same truth conditions.. (shrink)

There is a common approach to metaphysical disputes, which takes language as its starting point, and leads to a view about the range of acceptable metaphysical positions in any such dispute. I argue that this approach rests on accepting what I call the Strong Linguistic Thesis (SLT). In the metaphysical debate about time I argue that the new B-theory has rejected SLT, and for good reasons. The metaphysical debate about modality parallels the early metaphysical debate about time. I argue (...) that a position analogous to the new B-theory of time is available in the modal debate, and has some advantages over its rivals. (shrink)

The chapter considers two semantic issues concerning will-sentences: Stalnaker’s Asymmetry and modal subordination in Karttunen-type discourses. The former points to a distinction between will and modal verbs, seeming to show that will does not license non-specific indefinites. The latter, conversely, suggests that will-sentences involve some kind of modality. To account for the data, the chapter proposes that will is semantically a tense, hence it doesn’t contribute a quantifier over modal alternatives; a modal feature, however, is introduced in the (...) interpretation of a will-sentence through a supervaluational strategy universally quantifying over possible futures. That this is not part of will’s lexical semantics is shown to have consequences that ultimately contribute to explain Stalnaker’s Asymmetry. Furthermore, that a modal quantification is present in the interpretation of a will-sentence is shown to imply the availability of modal subordination in Karttunen-type discourses. (shrink)

Time and modality show remarkable similarities. Each of the most discussed theories in philosophy of time finds an analogous counterpart in modal metaphysics, suggesting that the parallel between the two notions is metaphysically deep. This chapter offers a brief overview of their analogies. Section 1 addresses the analogy between presentism and actualism. Section 2 explores the analogy between non-presentist theories and possibilism. Section 3 discusses the analogy between temporal and modal persistence.

This paper outlines a formal account of tensed sentences that is consistent with Ockhamism, a view according to which future contingents are either true or false. The account outlined substantively differs from the attempts that have been made so far to provide a formal apparatus for such a view in terms of some expressly modified version of branching time semantics. The system on which it is based is the simplest quantified modal logic.

As far as our experience goes, we live in a dynamic present. Those two phenomenal features of experience—presentness and dynamism—are obviously connected. However, how they are connected is not obvious at all. In this paper, I criticise the view according to which the former can explain the latter, which I call sophisticated representationalism. My criticism will be based on an ambiguity in the notion of tense found in the philosophical literature, that between the perspectival understanding and the dynamic understanding (...) of tenses. The distinction is not just of independent interest, but it has a role in providing indirect evidence for the claim that the feeling of passage of time should be understood in non-representationalist terms. (shrink)

This note identifies and corrects some problems in developments of the thesis that predictive expressions, such as English "will", are modals. I contribute a new argument supporting Cariani and Santorio's recent claim that predictive expressions are non-quantificational modals. At the same time, I improve on their selectional semantics by fixing an important bug. Finally, I show that there are benefits to be reaped by integrating the selection semantics framework with standard ideas about the future orientation of modals.

Say that the Moving Spotlight Theory (MST) combines the following three theses: A-THEORY : There is an absolute distinction between present and non-present time.

I consider whether the self-ascription theory can succeed in providing a tenseless (B-theoretic) account of tensed belief and timely action. I evaluate an argument given by William Lane Craig for the conclusion that the self-ascription account of tensed belief entails a tensed theory (A-theory) of time. I claim that how one formulates the selfascription account of tensed belief depends upon whether one takes the subject of selfascription to be a momentary person-stage or an enduring person. I provide two different formulations (...) of the self-ascription account of tensed belief, one that is compatible with a perdurantist account of persons and the other that is compatible with an endurantist account of persons. I argue that a self-ascription account of tensed beliefs for enduring subjects most plausibly involves the self-ascription of relations rather than properties. I argue that whether one takes the subject of self-ascription to be a momentary personstage or an enduring person, the self-ascription theory provides a plausible B-theoretic account of how tensed belief and timely action are possible. (shrink)

A dynamic semantics for epistemically modalized sentences is an attractive alternative to the orthodox view that our best theory of meaning ascribes to such sentences truth-conditions relative to what is known. This essay demonstrates that a dynamic theory about might and must offers elegant explanations of a range of puzzling observations about epistemic modals. The first part of the story offers a unifying treatment of disputes about epistemic modality and disputes about matters of fact while at the same time (...) avoiding the complexities of alternative theories. The second part of the story extends the basic framework to cover some complicated data about retraction and the interaction between epistemic modality and tense. A comparison between the suggestion made in this essay and current versions of the orthodoxy is provided. (shrink)

M. Johnston proposed an adverbialist solution to the problem of intrinsic change of enduring things. D. Lewis interpreted it as a way of tensing the copula. In his view, it has the defect of replacing having a property simpliciter by standing in a triadic relation to a property and a time, and so is threatened by Bradley’s Regress. I agree with Lewis on requiring having a property to be non-relational, while I disagree with him on restricting it to having simpliciter. (...) I tense the copula non-relationally and yet more seriously than Johnston, by characterizing tense as a copulative de re modality concerning endurance, which I relate to R. Taylor’s ‘pure becoming’. I will show that my way gives a better solution to the problem of intrinsic change than those by other endurantists, because of its close connection to an account of tense, endurance and becoming. (shrink)

Abstract: A theory of time is a theory of the nature of temporal reality, and temporal reality determines the truth-value of temporal sentences. Therefore it is reasonable to ask how a theory of time can account for the way the truth of temporal sentences is determined. This poses certain challenges for both the A theory and the B theory of time. In this paper, I outline an account of temporal sentences. The key feature of the account is that the primary (...) bearers of truth-values are not utterances, but sentences evaluated with respect to a time. I argue that unlike other views, the present proposal can meet the challenges faced both by the A and the B theory. (shrink)

Those inclined to positions in the philosophy of time that take tense seriously have typically assumed that not all regions of space-time are equal: one special region of space-time corresponds to what is presently happening. When combined with assumptions from modern physics this has the unsettling consequence that the shape of this favored region distinguishes people in certain places or people traveling at certain velocities. In this paper I shall attempt to avoid this result by developing a tensed picture (...) of reality that is nonetheless consistent with ‘hypersurface egalitarianism’—the view that all hypersurfaces are equal. (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)

Joseph Almog says concerning “a certain locus where Quine doesn’t exist…qua evaluation locus, we take to it [singular] propositions involving Quine [as a constituent] which we have generated in our generation locus.” This seems to be either murder, or worse, self-contradiction. It presumes that certain designators designate their designata even at loci where the designata do not exist, i.e., the designators have “Kaplan rigidity.” Against this view, this paper argues that negative existentials such as “Quine does not exist” are true (...) only at ordered couples of loci (times or possible worlds) < l, l’ > such that the constituents of the truthmaker are the designatum itself from l and whatever corresponds to “does not exist” from l’. (shrink)

So far, T×W frames have been employed to provide a semantics for a language of tense logic that includes a modal operator that expresses historical necessity. The operator is defined in terms of quantification over possible courses of events that satisfy a certain constraint, namely, that of being alike up to a given point. However, a modal operator can as well be defined without placing that constraint. This paper outlines a T×W logic where an operator of the latter kind (...) is used to express the epistemic property of definiteness. Section 1 provides the theoretical background. Sections 2 and 3 set out the semantics. Sections 4 and 5 show, drawing on established results, that there is a sound and complete axiomatization of the logic outlined. (shrink)

In ‘from times to worlds and back again: a transcendentist theory of persistence’ (henceforth TTP) Alessandro Giordani outlines five competitor views regarding the manner in which objects occupy regions along a dimension. These are: (1) classical uni-location (2) bare uni-location (3) multi-location (4) counterpart presence and (5) transcendent presence. Each view comes in both a temporal and modal version and Giordani argues that one ought to prefer transcendentism (i.e. 5) along both dimensions. According to temporal transcendentism, necessarily, no object is (...) exactly located at any region along the temporal dimension. Instead, any object, O, is derivatively present at some region, R, along the temporal dimension in virtue of bearing certain relations to something (according to TTP an event) that occupies R along that dimension. According to modal transcendentism, no object is exactly located at any region along the modal dimension. Instead, any object, O, is derivatively present at some region, R, along the modal dimension in virtue of bearing certain relations to something (according to TTP an event) that occupies R along that dimension. I argue that such a view is under motivated, and, at any rate, may not in fact offer a distinct view. (shrink)

This is not your typical book about the A-theory/B-theory controversy in metaphysics. Peter Ludlow attempts something that few philosophers have tried in the last thirty years: he actually argues from linguistic premises for metaphysical conclusions. The relevant linguistic premises have to do with the nature of language, a general theory of semantics, the proper analysis of tense, and various technical theses involving the treatment of temporal indexicals and temporal anaphora. The metaphysical conclusions that Ludlow argues for from these linguistic (...) premises are some of the main claims normally associated with the A-theory in the philosophy of time, namely, that tense is a genuine feature of the world – and that the instantiation of these properties does not somehow reduce to the instantiation of two-place, temporal relations like earlier than, simultaneous with, later than, etc.), that temporal becoming is intrinsic to all events, and that only the present is real. The overall plan of the book is as follows. First Ludlow spends four chapters defending a cluster of related claims about language and semantics in general and, in particular, the semantics for temporal indexicals and temporal anaphora. (Ludlow says that none of this material is original – he attributes most of it to Davidson, Chomsky, Evans, and Higginbotham – but it seems to me that a fair portion of what goes into this part of the book (including, especially. (shrink)

We argue that there is an interesting modal analogue of temporal persistence, namely modal persistence, and an interesting modal analogue of time travel, namely modal travel. We explicate each of these notions and then argue that there are plausible conditions under which some ordinary objects modally persist. We go on to consider whether it is plausible that any modally persistent objects also modally travel.

The thesis revolves around the following questions. What is time? Is time tensed or tenseless? Do things endure or perdure, i.e. do things persist by being wholly present at many times, or do they persist by having temporal parts? Do causes bring their effects into existence, or are they only correlated with each other? Within a realist approach to metaphysics, the author claims that the tensed view of time, the endurance view of persistence, and the production view of causality naturally (...) combine into what is called the dynamic view of temporal reality, and that the tenseless view of time, the perdurance view of persistence, and the correlation view of causality naturally combine into what is called the static view of temporal reality. The author argues in favour of a dynamic view. During the discussion a number of metaphysical problems are addressed. First, it is argued that the charges that the dynamic view is contradictory, made by J.M.E. McTaggart and David Lewis, are viciously circular. Secondly, it is argued that the static view cannot account for change, and deprives metaphysics of essential means to provide natural explanations to empirical phenomena. Thirdly, the author presents a novel account of the nature of necessary causal production. He suggests that the traditional conception of causes as essentially being external to the effects should be abandoned, and that causal production instead should be explicated in terms of reciprocal interactions between coexistent substances. (shrink)

This work aims to make tense logic a more robust tool for ontologists, philosophers, knowledge engineers and programmers by outlining a fusion of tense logic and ontology of time. In order to make tense logic better understandable, the central formal primitives of standard tense logic are derived as theorems from an informal and intuitive ontology of time. In order to make formulation of temporal propositions easier, temporal operators that were introduced by Georg Henrik von Wright are (...) developed, and mapped to the ontology of time. (shrink)

In my dissertation I critically survey existing theories of time consciousness, and draw on recent work in neuroscience and philosophy to develop an original theory. My view depends on a novel account of temporal perception based on the notion of temporal qualities, which are mental properties that are instantiated whenever we detect change in the environment. When we become aware of these temporal qualities in an appropriate way, our conscious experience will feature the distinct temporal phenomenology that is associated with (...) the passing of time. The temporal qualities model of perception makes two predictions about the mechanisms of time perception; one that time perception is modality specific and the other that it can occur without awareness. My argument for this view partially depends on a number of psychophysical experiments that I designed and implemented myself and which investigate subjective time distortions caused by looming visual stimuli. These results show that the mechanisms of conscious experience of time are distinct from the mechanisms of time perception, as my theory of temporal qualities predicts. (shrink)

I present a new problem for the tense realist concerning the evaluation of cross-temporal claims, such as ‘John is now taller than Michael was in 1984’. Time can play two different roles in the evaluation of an utterance of a sentence: either as an element that completes the content expressed by the utterance (the completion role), or as part of the circumstances against which the content is evaluated (the evaluation role). It is this latter role that time plays in (...) the realist view of tenses. I argue that if the content of a cross-temporal sentence is taken at face value (as an ascription of a crosstemporally instantiated relation), time does not play the evaluation role. Therefore, the world of the tense realist seems to leave no room for cross-temporality. (shrink)

Two of the main debates in philosophy of language concerning time and tense are the debate about the semantics of the tenses in the English language and the debate over whether propositions can be transiently true or false as opposed to always being eternally true or false. The latter quarrel is also known as the "temporalism–eternalism debate." Given standard semantics, the two debates are not logically independent, as we will see. Those who believe propositions are eternally true or false (...) needn’t treat the tenses as operators. Their opponents, on the other hand, appear to be committed to an operator theory of the tenses, given a standard semantic framework. In this chapter I will focus primarily on these two debates. (shrink)

The theorist who denies the objective reality of non-relational temporal properties, or ‘A-series’ determinations, must explain our experience of the passage of time. D.H. Mellor, a prominent denier of the objective reality of temporal passage, draws, in part, on Kant in offering a theory according to which the experience of temporal passage is the result of the projection of change in belief. But Mellor has missed some important points Kant has to make about time-awareness. It turns out that Kant's theory (...) of time-awareness also involves projection – but for him, the projection of temporal passage is necessary to any coherent experience at all, and for this reason events in the world cannot be represented except as exhibiting real tensed change. Consequently we cannot intelligibly suppose the world we know to be without the passage of time. This fact would permit a modest transcendental argument the conclusion of which is that we are entitled to describe the world in terms of temporal passage. (shrink)

We develop a theory about the metaphysics of time and modality that combines the conceptual resources devised in recent sympathetic work on ontological pluralism (the thesis that there are fundamentally distinct kinds of being) with the thought that what is past, future, and merely possible is less real than what is present and actual (albeit real enough to serve as truthmakers for statements about the past, future, and merely possible). However, we also show that despite being a coherent, distinctive, (...) and prima facie appealing position, the theory succumbs to what we call the “problem of mixed ontological status”. We conclude that the proponents of the theory can only evade these problems by developing ontological pluralism in a radically different way than it has been by its recent sympathizers. (shrink)

In this survey article, I discuss the variety of ways in which language allows us to talk about the future. Topics discussed include how the category of predictive expressions broadly understood relates to the syntactic category of tense; what it means to say that a language does not have tense; how predictiveness relates to modality; and finally technical issue concerning the scope of negation in a semantics that is capable of shifting evaluation towards the future.

In his metaphysical summa of 1986, The Plurality of Worlds, David Lewis famously defends a doctrine he calls ‘modal realism’, the idea that to account for the fact that some things are possible and some things are necessary we must postulate an infinity possible worlds, concrete entities like our own universe, but cut off from us in space and time. Possible worlds are required to account for the facts of modality without assuming that modality is primitive – that (...) there are irreducibly modal facts. We argue that on one reading, Lewis’s theory licenses us to assume maverick possible worlds which spread through logical space gobbling up all the rest. Because they exclude alternatives, these worlds result in contradictions, since different spread worlds are incompatible with one another. Plainly Lewis’s theory must be amended to exclude these excluders. But, we maintain, this cannot be done without bringing in modal primitives. And once we admit modal primitives, bang goes the rationale for Lewis’s modal realism. (shrink)

Here I develop the idea, which I have presented elsewhere, that time instants are abstract entities existing tenselessly and therefore that events and changes likewise may be said to exist tenselessly in virtue of their place at a certain space-time point.

The nature and topology of time remains an open question in philosophy, both tensed and tenseless concepts of time appear to have merit. A concept of time including both kinds of time evolution of physical systems in quantum mechanics subsumes the properties of both notions. The linear dynamics defines the universe probabilistically throughout space-time, and can be seen as the definition of a block universe. The collapse dynamics is the time evolution of the linear dynamics, and is thus of different (...) logical type to the linear dynamics. These two different kinds of time evolution are respectively tensed and tenseless. Ascribing tensed semantics to the collapse dynamics is problematic in the light of special relativity, but this difficulty does not apply to a relational quantum mechanics. In this context, while the linear dynamics is the time evolution of the universe objectively, the collapse dynamics is the time evolution of the universe subjectively, applying solely in the functional frame of reference of the observer. (shrink)

The passionate and staunch defence of logic of the controversial thinker Ibn Ḥazm, Abū Muḥammad ʿAlī b. Aḥmad b. Saʿīd of Córdoba (384-456/994-1064), had lasting consequences in the Islamic world. Indeed, his book Facilitating the Understanding of the Rules of Logic and Introduction Thereto, with Common Expressions and Juristic Examples (Kitāb al-Taqrīb li-ḥadd al-manṭiq wa-l-mudkhal ilayhi bi-l-alfāẓ al-ʿāmmiyya wa-l-amthila al-fiqhiyya), composed in 1025-1029, was well known and discussed during and after his time; and it paved the way for the studies (...) of his compatriots Ibn Bājjah (d. 1138), Ibn Ṭufayl (1185), and Ibn Rushd (1198), who each gave demonstrative reasoning a privileged place within the methods of attaining knowledge. Unfortunately, as too often in the history of science, Ibn Ḥazm’s innovative perspectives and contributions in logic have been overlooked or considered with an attitude of contempt. On the one hand, his work has been seen, at best, as promulgating the benefits of studying Aristotle’s logic, so that his contribution is assessed as more didactical than conceptual. And on the other hand, those who do examine his innovations often consider them to be mistaken. As indicated by Chejne (1984, p. 2) contempt towards the logical work of Ibn Ḥazm was also present in its reception by the Eastern philosophers who accused him of deviating from Aristotelian logic and of dabbling in things beyond his capability. However, a reassessment of his work on logic has since begun, by delving into the ways the thinker of Córdoba studied the links between deontic and modal qualification of propositions. In this context Lameer’s (2013) paper on the logical sources of Ibn Ḥazm is worth mentioning; the author (p. 417, footnote 1) observes that, although, strictly speaking, it was al-Fārābī who first drew the parallelism between deontic and modal concepts, it was Ibn Ḥazm who developed it and worked it out in a more precise manner. A primary aim of this paper is to help fill some of these gaps by stressing the role of the work of Ibn Ḥazm in developing a notion of deontic necessity deeply rooted in legal normativity, and in explicitly discussing the transference between deontic and modal concepts. According to our view; the basic units of Islamic deontic logic are what we might call, indulging in terminological anachronism, heteronomous imperatives. As it turns out, the heteronomy of imperatives within Islamic legal systems contrasts with those of the purely moral realm, which seem to be closer to an autonomous conception of moral law. There it concurs again with Leibniz’s proposal to define obligatory as “what is necessary for a good person to do”. In the present paper, we will focus on the heteronomous imperatives of legal systems rather than on the imperatives of the purely moral realm. In this context, the work of Ibn Ḥazm extends the parallelism between the necessity of events and that of human actions stressed by his predecessors. According to our understanding, Ibn Ḥazm’s parallelism can be rendered explicit formally by means of a conditional (or hypothetical) structure shared by both deontic and modal propositions. Moreover, this structure makes apparent that this parallelism displays an underlying system of “degrees”. Indeed, while in the domain of events, given some conditions, it makes sense to distinguish between an event that is more likely to happen than another. Ibn Ḥazm speaks of near and distant possibility (such as the higher degree of likelihood of rain, given the condensation of clouds in December, and its lower degree, when the condensation occurs in summer); and, in the domain of actions, the Islamic notion of weighting actions determines degrees of virtue (or of legal and moral value). So whereas the degree of virtue of performing a forbidden act as determined by the distribution of sanction and reward is 0, we obtain the same value by pondering the likelihood of an impossible event to take place. Furthermore, as discussed in section II.3.2, the system of values at work in the parallelism can be seen as opening the way to a more direct correspondence. Thus, while in the realm of nature, likelihood of occurrence of an event is dependent upon the conditions specific to the occurrence of that event; while, in the realm of jurisprudence, likelihood of performing an action is dependent upon the distribution of reward and sanction specific to that action (being that, given the choice to perform or not perform a given action, those that will be rewarded are more likely to be performed than those that are not). According to this perspective, the point of the parallelism is that both deontic and modal qualifications measure the degree of an action or event to become actual; that is – indulging once more in anachronism (but this time from the Leibnizian background) – the degree measures how feasible (facile) an action or event may be. This suggests that Ibn Ḥazm’s perspectives already herald the links to probability and possibility explored by Leibniz six centuries later – see for example Leibniz’s (1671, A VI, I, p. 424-26) use of probability in the context of conditional right. Nevertheless, it also shows a crucial difference to the approach developed in the Elementa Jura Naturalis: whereas Leibniz’s studies seek to define what is to be just or virtuous, the logical system of deontic imperatives within Islamic jurisprudence presupposes that what is to be virtuous has already been settled. Determining what is to be virtuous is not achieved by logical reasoning within the system of legal jurisprudence, but by delving into the higher objectives of the Sharīʿa. While developing our point, we will delve into the logical structure of the heteronomous imperatives. This distinguishes our contribution from the existing literature, such as the papers of Chejne (1984), Lameer (2014), and Guerrero (1997, 2010, 2014), which do not provide a logical analysis of the deontic concepts put into work by Ibn Ḥazm. The true antecedent to the present paper is the work of Farid Zidani (2007, 2015), who, so far as we know, was the first to undertake such a task. Some of our own developments and general epistemological thoughts go beyond Ibn Ḥazm’s framework and motivations; mainly those contained in sections II.3.2 and IV. However, according to our view, these reflections suggest that Ibn Ḥazm’s approach has the substance for a broader and deeper exploration of the logic of norms. The paper is structured as follows:I.Ibn Ḥazm’s Logic of Heteronomous Imperatives. After presenting some extracts of the relevant text, we proceed by providing a formal reconstruction of the five forms of deontic modalities. II. A Landmark in the History of the Logical Analysis of Norms. Duties and Modalities. In this section, we study the transferences from deontic to modal necessity and possibility. We briefly compare the deontic system of Islamic Jurisprudence with that of Leibniz.III. Leibniz and Hypothetical Imperatives in Law.IV. Beyond Ibn Ḥazm: Conclusions and the Work Ahead. We will conclude the paper by discussing briefly some conceptual points that distinguish the logic of heteronomous imperatives from contemporary deontic logic. Our final words will discuss deontic-modal parallelism in the context of Ibn Ḥazm’s rejection of reasoning by conjecture and what we call “the internalization of nature.”. (shrink)

A fundamental problem in understanding the nature of time is explaining its directionality. This 1990 PhD thesis re-examines the concepts of time flow, the physical directionality of time, and the semantics of tensed language. Several novel results are argued for that contradict the orthodox anti-realist views still dominant in the subject. Specifically, the concept of "metaphysical time flow" is supported as a valid scientific concept, and argued to be intrinsic to the directionality of objective probabilities in quantum mechanics; the common (...) claims that quantum probability theory is time reversible is shown to be based on an analytic error, stemming from a false choice for the criterion for reversibility of probabilistic theories (recognized by Satosi Watanabe in the 1950s but ignored in all philosophical discussions); and a consistent semantics for tensed language (adapted from the tree model of Storrs McCall) is constructed, showing that the common rejection of "time flow" as having no meaningful semantics is false. These debates are still ongoing in almost exactly the same state they were pre-1990, and there is appears to be no visible progress in the subject. Critical points made against errors in the orthodox account (which has been sustained for 70 years by the anti-realist philosophy of time, typified by the "Pittsburg School" of Grunbaum-Earman-Norton-Roberts), are still not recognized in the philosophy of time or physics. Some key technical proofs in this thesis have been published in physics proper. See p.ii-iii for full original abstract. (This pdf is uploaded from the Massey University archive.). (shrink)

The paper argues for the applicability of the notion of collective truth as opposed to distributive truth, that is, truth at times or possibilia taken in groups rather than individually. The underlying reasoning is that there are transtemporal and transworld relationships, e.g., those involving the relations of <being a descendant of> and <thinking about>. Relationships are (one type of) truth-makers. Hence, there are transtemporal and transworld truth-makers. Therefore, there is transtemporal and transworld truth, i.e., collective truth. A semantics is developed (...) (formalized in the appendix) which embodies the notion of collective truth, and which thereby, it is argued, has various advantages over standard intensional semantics. For example, it avoids a commitment to certain impossible entities. (shrink)

Statements about the future are central in everyday conversation and reasoning. How should we understand their meaning? The received view among philosophers treats will as a tense: in ‘Cynthia will pass her exam’, will shifts the reference time forward. Linguists, however, have produced substantial evidence for the view that will is a modal, on a par with must and would. The different accounts are designed to satisfy different theoretical constraints, apparently pulling in opposite directions. We show that these constraints (...) are jointly satisfied by a novel modal account of will. On this account, will is a modal but doesn't work as a quantifier over worlds. Rather, the meaning of will involves a selection function similar to the one used by Stalnaker in his semantics for conditionals. The resulting theory yields a plausible semantics and logic for will and vindicates our intuitive views about the attitudes that rational agents should have towards future-directed contents. (shrink)

The first section of the chapter will address the philosophy of modality among Spinoza’s medieval Jewish predecessors, and, primarily, in Hasdai Crescas (1340-1410/11), a bold and original, anti-Aristotelian philosopher. This section should both complement the discussion of modality in medieval Christian and Islamic philosophy in the previous chapters of this volume and provide some lesser-known historical background to Spinoza’s own engagement with modal philosophy. Following a section on Spinoza’s definitions of his main modal concepts and his understanding of (...) contingency, I will turn, in the third section, to discuss the extent of Spinoza’s commitment to necessitarianism. The recent debate about whether Spinoza was a strict necessitarian has resulted in quite a few insights about Spinoza’s modal philosophy, but it has also detracted attention from some basic questions about Spinoza’s modal philosophy, and in the fourth and last section of the chapter, I will attempt to chart the foundational questions that still have been barely explored. The primary aim of this chapter it to provide a survey and outline of the chief elements of Spinoza’s modal philosophy. Still, beyond the mere overview of Spinoza’s arguments (and some major scholarly debates), I will also advance two original theses. First, I will show that Spinoza makes a distinction between two notions of contingency, and that once this important distinction is observed, Spinoza’s various assertions about contingency turn out to be consistent. Secondly, I will discuss the text (E2a1) which is commonly taken to be the strongest and most stubborn proof against the reading of Spinoza as strict necessitarianism; I will show that the basic meaning of this text has been widely misunderstood, and that E2a1 is perfectly compatible with strict necessitarianism. (shrink)

There is a tension between Dispositionalism––the view that all metaphysical modality is grounded in actual irreducible dispositional properties––and the possibility of time travel. This is due to the fact that Dispositionalism makes it much harder to solve a potentiality-based version of the grandfather paradox. We first present a potentiality-based version of the grandfather paradox, stating that the following theses are inconsistent: 1) time travel is possible, 2) powers fully ground modality, 3) self-defeating actions are impossible, 4) time-travellers retain (...) their intrinsic powers upon time-travelling, and 5) time-travellers are ordinary agents with basic intrinsic potentialities. We then consider a number of potential solutions, and find them wanting. We argue that the metaphysical impossibility of performing a self-defeating action acts as a necessary perfect mask––while time-travel lets us “slip” the potentiality under the mask, thus generating the contradiction. We conclude considering what are the options for the dispositionalist. (shrink)

We direct different attitudes towards states of affairs depending on where in time those states of affairs are located. Call this the type asymmetry. The type asymmetry appears fitting. For instance, it seems fitting to feel guilt or regret only about states of affairs that are past, and anticipation only of states of affairs that are future. It has been argued that the type asymmetry could only be fitting if there are tensed facts, and hence that since it is fitting, (...) there are tensed facts. In this paper I argue that tensed facts are not necessary to ground the fittingness of the type asymmetry, and thus we have no reason, arising from the fittingness of the asymmetry, to posit such facts. I also argue for a stronger conclusion: even if these facts obtain they are no part of what grounds the fittingness of the type asymmetry. These facts are explanatorily redundant. (shrink)

One of the theories that have been produced in linguistics in the light of J. E. McTaggart’s influential essay “The Unreality of Time” (1908) is a critique of reality that may be attributed to the semantics of tenses in natural languages. This chapter from my book The Linguistic Picture of the World: Alice’s Adventures in Many Languages proposes an alternative approach to the semantics of time, not as a dubious product of linguists’ imagination, i.e. not as something that can easily (...) be discarded from the philosophy of language but rather as a firm category of human thinking. Particular emphasis is placed on the idea of time as it is expressed by the seemingly rather contradictory morphology of the past, present, and future. (shrink)

Through reference to Karl Löwith's reading of time in Hegel as fundamentally inspired by the temporality of Aristotle, the paper shows how the absolute "now" is thoroughly informed by historical time. Hegel's preferred tense is that of the Perfekt, the present perfect, where the present "now" is always also what it has been. Hegel thus reconciles Greek and Christian forms of temporality, the distinction that Löwith reads as unreconciled and tragic in Hegel's "young" followers: Feuerbach, Stirner, Bauer, Marx and (...) Nietzsche. Nonetheless, the Left Hegelian heritage is right in comprehending Hegelian time as fundamentally past-oriented. Their own stunted philosophical endeavors are aimed at the future. (shrink)

We show that five important elements of the ‘nomological package’— laws, counterfactuals, chances, dispositions, and counterfactuals—needn’t be a problem for the Growing-Block view. We begin with the framework given in Briggs and Forbes (in The real truth about the unreal future. Oxford studies in metaphysics. Oxford University Press, Oxford, 2012 ), and, taking laws as primitive, we show that the Growing-Block view has the resources to provide an account of possibility, and a natural semantics for non-backtracking causal counterfactuals. We show (...) how objective chances might ground a more fine-grained concept of feasibility, and furnished a places in the structure where causation and dispositions might fit. The Growing-Block view, thus understood, provides the resources to explain the close link between modality and tense, so that it predicts modal change as time passes. This account lets us capture not only what the future might hold for us, and also what might have been. (shrink)