Criticisms have been aired before about the fear of certain Platonic abstract objects, propositions. That criticism extends to the widespread preference for an operator analysis of expressions like ‘It is true, known, obligatory that p’ as opposed to the predicative analysis in their equivalents ‘That p is true, known, obligatory’. The criticism in the present work also concerns Prior’s attitude to Platonic entities of a certain kind: not propositions, i.e., the referents of ‘that’-clauses, but individuals, i.e., the referents of Russell’s (...) ‘logically proper names’. Prior had a close knowledge of theories of individuals, including that of Russell. However, when Prior formulated his tense logic Q he presumed a non-Russellian, pre-suppositional account of individuals, such that they might exist at one time but not at another, and when they did not exist no statement could be made about them. This paper examines the correctness of such a pre-suppositional account of individuals, showing there are features of natural language it cannot account for. It is shown that the required features can be formalised in Hilbert’s epsilon calculus, and that using that calculus substantiates a Russellian understanding of ‘logically proper names’. (shrink)

Charles Peirce incorporates modality into his Existential Graphs by introducing the broken cut for possible falsity. Although it can be adapted to various modern modal logics, Zeman demonstrates that making no other changes results in a version that he calls Gamma-MR, an implementation of Jan Łukasiewicz's four-valued Ł-modal system. It disallows the assertion of necessity, reflecting a denial of determinism, and has theorems involving possibility that seem counterintuitive at first glance. However, the latter is a misconception that arises from overlooking (...) the distinction between the intermediate truth values that are assigned to possibly true propositions as either X-contingent or Y-contingent. Any two propositions having the same ITV are possible together, while any two propositions having different ITVs, including those that are each other's negation, are possible individually yet not possible together. Porte shows that Ł-modal can be translated into classical logic by defining a constant for each ITV such that its implication of another proposition asserts the latter's possibility, while its conjunction with another proposition asserts the latter's necessity. These are expressed in the Alpha part of EG without broken cuts, simplifying derivations and shedding further light on Łukasiewicz's system, as long as graphs including either of the constants are properly interpreted. Ł-modal and Gamma-MR thus capture the two-sided nature of possibility as the limit between truth and falsity in Peirce's triadic conception. (shrink)

Kaplan (drawing on Montague and Prior, inter alia) made explicit the idea of world and time neutral propositions, which bear truth values only relative to world and time parameters. There was then a debate over the role of time. Temporalists sided with Kaplan in maintaining time neutral propositions with time relative truth values, while eternalists claimed that all propositions specify the needed time information and so bear the same truth value at all times. But there never was much of a (...) parallel debate over the role of worlds. Let contingentism be the view (parallel to temporalism) that sides with Kaplan in maintaining world neutral propositions with world relative truth values, and let necessitarianism be the view (parallel to eternalism) that propositions specify the needed world information and so bear the same truth value at all worlds. This is the story of how the debate between the contingentists and the necessitarians might begin. (shrink)

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

This essay investigates whether or not we should think that the things we say are identical to the things our sentences mean. It is argued that these theoretical notions should be distinguished, since assertoric content does not respect the compositionality principle. As a paradigmatic example, Kaplan's formal language LD is shown to exemplify a failure of compositionality. It is demonstrated that by respecting the theoretical distinction between the objects of assertion and compositional values certain conflicts between compositionality and contextualism are (...) avoided. This includes the conflict between eternalism and the semantics of tense, the embedding problems for contextualism about epistemic modals and taste claims, and the conflict between direct reference and the semantics of bound pronouns (and monstrous operators). After presenting the theoretical picture which distinguishes assertoric content from compositional semantic value, some objections to the picture are addressed. In so doing, the objection from King (2003) stemming from apparent complications with the interaction of temporal expressions and attitude reports is assessed and shown to be non-threatening. (shrink)

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

Ulrich Meyer's book The Nature of Time uses tense logic to argue for a `modal' view of time, which replaces substantial times with `ersatz times' constructed using conceptually basic tense operators. He also argues against Bertrand Russell's relationist theory, in which times are classes of events, and against the idea that relativity compels the integration of time and space. I find fault with each of these negative arguments, as well as with Meyer's purported reconstruction of empty spacetime from tense operators (...) and substantial spatial points. I suggest that Meyer's positive project is best conceived as an elimination of time in the mode of Julian Barbour's The End of Time. (shrink)

There is often said to be something peculiar about the history of modal theory up until the turn of the fourteenth century, when John Duns Scotus decisively reframed the issues. I wish to argue that this impression of dramatic discontinuity is almost entirely a misimpression. Premodern philosophers prescind from the wide-open modal space of all possible worlds because they seek to adapt their modal discourse to the explanatory and linguistic demands of their context.

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

What is the difference between the complex view of personal identity over time and the simple view? Traditionally, the defenders of the complex view are said to include Locke and Hume, defenders of the simple view to include Butler and Reid. In our own time it is standard to think of Chisholm and Swinburne as defenders of the simple view and Shoemaker, Parfit, Williams and Lewis as defenders of the complex view. But how exactly is the distinction to be characterized? (...) One difference between the two camps is that defenders of the simple view emphasize the difference between diachronic personal identity and the identity of other objects; they insist that in the case of the other familiar types that figure in philosophical puzzle cases about identity – ships, statues, plants and so on – the correct view is the complex one. On the other hand, defenders of the complex view do not hold a simple view of other things; rather they think that the complex view is correct across the board. We therefore need an account of the distinction which allows us to speak generally of ‘the complex/simple view of the diachronic identity of things of sort S’ where ‘S’ is a sortal term. A respectable view about problems of identity in general is that there aren’t any: any genuine philosophical puzzles can be rephrased so that the language of identity drops out . In what follows, I offer an account of the simple/complex contrast which conforms to this Lewisean view. 1 We can begin by distinguishing two types of constraint on personhood. Type , or synchronic constraints, are capturable in the form: If x is a person, then if x exists at t, Fxt where ‘ F represents a term for a non-historical property, a property …. (shrink)

I argue that propositions are contingent existents. Some propositions that in fact exist might not have existed and there might have been propositions that are distinct from every actually existing proposition. This is because some propositions are singular propositions, which are propositions containing ordinary objects as constituents, and so are ontologically dependent on the existence of those objects; had those objects not existed, then the singular propositions would not have existed. I provide both a philosophical and technical understanding of the (...) contingent status of propositions. (shrink)

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

This paper gives an overview of logico-philosophical issues of time and determinism. After a brief review of historical roots and 20th century developments, three current research areas are discussed: the definition of determinism, space-time indeterminism, and the temporality of individual things and their possibilities.

This paper aims to clarify the connection between the logic of temporal distinctions and the temporal features of propositions. Contra Prior, it argues that the adoption of tense operators does not commit one to the view that propositions can change their truth value over time.

The aim of this paper is to draw attention to a conflict between two popular views about time: Arthur Prior’s proposal for treating tense on the model of modal logic, and the ‘Platonic’ thesis that some objects (God, forms, universals, or numbers) exist eternally.1 I will argue that anyone who accepts the former ought to reject the latter.

In this paper, an objective conception of contexts based loosely upon situation theory is developed and formalized. Unlike subjective conceptions, which take contexts to be something like sets of beliefs, contexts on the objective conception are taken to be complex, structured pieces of the world that (in general) contain individuals, other contexts, and propositions about them. An extended first-order language for this account is developed. The language contains complex terms for propositions, and the standard predicate "ist" that expresses the relation (...) that holds between a context and a proposition just in case the latter is true in the former. The logic for the objective conception features a global classical predicate calculus, a local logic for reasoning within contexts, and axioms for propositions. The specter of paradox is banished from the logic by allowing "ist" to be nonbivalent in problematic cases: it is not in general the case, for any context c and proposition p, that either ist(c,p) or ist(c, ¬p). An important representational capability of the logic is illustrated by proving an appropriately modified version of an illustrative theorem from McCarthy's classic Blocks World example. (shrink)

In Modal Logic as Metaphysics, Timothy Williamson claims that the possibilism-actualism (P-A) distinction is badly muddled. In its place, he introduces a necessitism-contingentism (N-C) distinction that he claims is free of the confusions that purportedly plague the P-A distinction. In this paper I argue first that the P-A distinction, properly understood, is historically well-grounded and entirely coherent. I then look at the two arguments Williamson levels at the P-A distinction and find them wanting and show, moreover, that, when the N-C (...) distinction is broadened (as per Williamson himself) so as to enable necessitists to fend off contingentist objections, the P-A distinction can be faithfully reconstructed in terms of the N-C distinction. However, Williamson’s critique does point to a genuine shortcoming in the common formulation of the P-A distinction. I propose a new definition of the distinction in terms of essential properties that avoids this shortcoming. (shrink)

This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction between nonexistence and nondesignation, and definite descriptions, borrowing from both Fregean and Russellian paradigms.

Metaphysicians who are aware of modern physics usually follow Putnam (1967) in arguing that Special Theory of Relativity is incompatible with the view that what exists is only what exists now or presently. Partisans of presentism (the motto ‘only present things exist’) had very difficult times since, and no presentist theory of time seems to have been able to satisfactorily counter the objection raised from Special Relativity. One of the strategies offered to the presentist consists in relativizing existence to inertial (...) frames. This unfashionable strategy has been accused of counterfeiting, since the meaning of the concept of existence would be incompatible with its relativization. Therefore, existence could only be relativistically invariant. In this paper, I shall examine whether such an accusation hits its target, and I will do this by examining whether the different criteria of existence that have been suggested by the Philosophical Tradition from Plato onwards imply that existence cannot be relativized. (shrink)

We describe Peirce’s 1903 system of modal gamma graphs, its transformation rules of inference, and the interpretation of the broken-cut modal operator. We show that Peirce proposed the normality rule in his gamma system. We then show how various normal modal logics arise from Peirce’s assumptions concerning the broken-cut notation. By developing an algebraic semantics we establish the completeness of fifteen modal logics of gamma graphs. We show that, besides logical necessity and possibility, Peirce proposed an epistemic interpretation of the (...) broken-cut modality, and that he was led to analyze constructions of knowledge in the style of epistemic logic. (shrink)

This paper presents structural similarities and historical connections between Prior’s rejection of the Barcan formula and his critique of Berkeley’s master argument for idealism in his 1955 paper “Berkeley in Logical Form”. Making use of Mackie’s paper “Self-Refutation—A Formal Analysis”, it concludes with some suggestions concerning what is at stake in the debate between Prior and Berkeley and in structurally similar debates such as whether to accept the Barcan formula.

Arthur Prior’s argument for the A-theory of time in “Thank Goodness That’s Over” is perhaps his most famous and well-known non-logical work. Still, I think that this paper is one of his most misunderstood works. Because of this, much of its brilliance has yet to be properly appreciated. In this paper, I suggest that the explanation of this is that it has been treated as though it were following the standard model for a piece of Analytic philosophy. That is, it (...) has been assumed that what Prior was doing was deductively demonstrating the truth of a proposition which can be discussed via any sentences with the same semantic content. Here, I argue that this assumption is wrong on two fronts: Most importantly, the strongest reading of the structure of Prior’s argument is as an abduction rather than as a deduction. Many of the most important lessons of the argument are lost by focusing on the bare propositional content of its premise and conclusion statements. In other words, we can learn as much from the manner in which this argument is presented and expressed as we can from that which is expressed. (shrink)

Open future is incompatible with realism about possible worlds. Since realistically conceived (concrete or abstract) possible worlds are maximal in the sense that they contain/represent the full history of a possible spacetime, past and future included, if such a world is actual now, the future is fully settled now, which rules out openness. The kind of metaphysical indeterminacy required for open future is incompatible with the kind of maximality which is built into the concept of possible worlds. The paper discusses (...) various modal realist responses and argues that they provide ersatz openness only, or they lead to incoherence, or they render the resulting theory inadequate as a theory of modality. The paper also considers various accounts of the open future, including rejection of bivalence, supervaluationism, and the ‘thin red line’ view (TRL), and claims that a version of (TRL) can avoid the incompatibility problem, but only at the cost of deflating the notion of openness. (shrink)

Controversy has surrounded the interpretation of the so-called 'Diodorean' and 'Chrysippean' conditionals of the Stoics. I critically evaluate and reject two interpretations of each of them: as expressing natural laws, and as strict conditionals. In doing so I engage with the work of authors such as Frede, Gould, Hurst, the Kneales, Mates, and Prior. I conclude by offering my own proposal for where these Stoic conditionals should be located on a 'ladder' of logical strength.

In this paper I explore how the tenseless copula is to be interpreted in sentences of the form “a is F at t”, where “a” denotes a persisting, changeable object, “F” stands for a prima facie intrinsic property and “t” for a B-time. I argue that the interpretation of the copula depends on the logical role assigned to the time clause. Having rejected the idea that the time clause is to be treated as a sentence operator, I argue: that if (...) “at t” is thought of as being associated with “a” or “F”, then the tenseless copula is most plausibly read as an “is” simpliciter; and that if “at t” is treated as being associated with the copula, then the tenseless copula is most plausibly understood as expressing a disjunction of tensed copulas. I end the paper by explaining the importance of the issue. I indicate the ramifications interpretation of the tenseless copula has for the so-called problem of temporary intrinsics. (shrink)

Moral obligation and permissibility are usually thought to be interdefinable. Following the pattern of the duality definitions of necessity and possibility, we have that something’s being permissible could be defined as its not being obligatory to not do it. And that something’s being obligatory could be defined as its not being permissible to not do it. In this paper, I argue that neither direction of this alleged interdefinability works. Roughly, the problem is that a claim that some act is obligatory (...) or permissible entails that there is a moral law, whereas a negative claim that some act is not obligatory or not permissible does not. Nevertheless, one direction of the interdefinability can potentially be salvaged. I argue that, if we do not require the conceptual possibility of moral dilemmas, then there is a way to plausibly define obligation in terms of permissibility. I conclude that permissibility is the only feasible deontic primitive. (shrink)

Most of the most prominent discussions within metaphysics assume without argument that our metaphysical theorizing should be constrained by classical logic. I examine why this is the case and then argue that it should not be. That is, I argue that we should not take our metaphysical theorizing to be constrained by classical logic.

ukasiewicz''s four-valued modal logic is surveyed and analyzed, together with ukasiewicz''s motivations to develop it. A faithful interpretation of it in classical (non-modal) two-valued logic is presented, and some consequences are drawn concerning its classification and its algebraic behaviour. Some counter-intuitive aspects of this logic are discussed in the light of the presented results, ukasiewicz''s own texts, and related literature.

Developed by Arthur Prior, Temporal Logic allows to represent temporal information on a logical system using modal operators such as P, F, H or G, whose intuitive meaning is “it was sometime in the Past...”, “it will be sometime in the Future...”, “it Has always been in the past...” and “it will always Going to be in the future...” respectively. Valuation of formulae built from these operators are carried out on Kripke semantics, so Modal Logic and Temporal Logic are consequently (...) related. In fact, Temporal Logic is an extension of Modal one. Even when both logics mechanisms are able to formalize modal-temporal information with some accuracy, they suffer from a lack of expressiveness which Hybrid Logic can solve. Indeed, one of the problems of Modal Logic consists in its incapacity of naming specific points inside a model. As Temporal Logic is based on it, it cannot make such a thing neither. But First-Order Logic does can by means of constants and equality relation. Hybrid Logic, which results from combining Modal Logic and First-Order Logic, may solve this shortcoming. The main aim of this paper is to explain how Hybrid Logic emanates from Modal and Temporal ones in order to show what it adds to both logics with regard to information representation, why it is more expressive than them and what relation it maintains with the First-Order Correspondence Language. (shrink)

In his influential Naming and Necessity lectures, Saul Kripke made new sense of modal statements: “Kant might have been a bachelor”, “Königsberg is necessarily identical with Kaliningrad”. Many took the notions he introduced-metaphysical necessity and rigid designation -- to herald new metaphysical issues and have important consequences. In fact, the Kripkean insight is at bottom semantic, rather than metaphysical: it is part of how proper names work that they purport to refer to individuals to whom modal properties can be ascribed. (...) We can see this by reflecting on analytic truths that ground modal claims like the two examples above. (shrink)

In this paper I explore three related topics emerging from Prior's work on the logic of time. First, what is the proper province of logic, if any? Is temporal (modal) logic just logic, on a par with the paradigmatic case of first-order quantification theory or even simple propositional logic? Second, what counts as an interpretation of a formal system? In particular, can formal semantics provide an interpretation? Third, what is the proper role of the meta-theory? In connection with this last (...) question we will see how Prior's attitude towards instants of time may teach us something about the analogous case of possible worlds. (shrink)

⦿ In my dissertation I introduce, motivate and take the first steps in the implementation of, the project of naturalising modal metaphysics: the transformation of the field into a chapter of the philosophy of science rather than speculative, autonomous metaphysics. -/- ⦿ In the introduction, I explain the concept of naturalisation that I apply throughout the dissertation, which I argue to be an improvement on Ladyman and Ross' proposal for naturalised metaphysics. I also object to Williamson's proposal that modal metaphysics (...) --- or some view in the area --- is already a quasi-scientific discipline. -/- ⦿ Recently, some philosophers have argued that the notion of metaphysical modality is as ill defined as to be of little theoretical utility. In the second chapter I intend to contribute to such skepticism. First, I observe that each of the proposed marks of the concept, except for factivity, is highly controversial; thus, its logical structure is deeply obscure. With the failure of the "first principles" approach, I examine the paradigmatic intended applications of the concept, and argue that each makes it a device for a very specific and controversial project: a device, therefore, for which a naturalist will find no use for. I conclude that there is no well-defined or theoretically useful notion of objective necessity other than logical or physical necessity, and I suggest that naturalising modal metaphysics can provide more stable methodological foundations. -/- ⦿ In the third chapter I answer a possible objection against the in-principle viability of the project: that the concept of metaphysical modality cannot be understood through the philosophical analysis of any scientific theory, since metaphysical necessity "transcends'' natural necessity, and science only deals with the latter. I argue that the most important arguments for this transcendence thesis fail or face problems that, as of today, remain unsolved. -/- ⦿ Call the idea that science doesn't need modality, "demodalism''. Demodalism is a first step in a naturalistic argument for modal antirealism. In the fourth chapter I examine six versions of demodalism to explain why a family of formalisms, that I call "spaces of possibility'', are (i) used in a quasi-ubiquitous way in mathematised sciences (I provide examples from theoretical computer science to microeconomics), (ii) scientifically interpreted in modal terms, and (iii) used for at least six important tasks: (1) defining laws and theories; (2) defining important concepts from different sciences (I give several examples); (3) making essential classifications; (4) providing different types of explanations; (5) providing the connection between theory and statistics, and (6) understanding the transition between a theory and its successor (as is the case with quantisation). -/- ⦿ In fifth chapter I propose and defend a naturalised modal ontology. This is a realism about modal structure: my realism about constraints. The modal structure of a system are the relationships between its possible states and between its possible states and those of other systems. It is given by the plurality of restrictions to which said system is subject. A constraint is a factor that explains the impossibility of a class of states; I explain this concept further. First, I defend my point of view by rejecting some of its main rivals: constructive empiricism, Humean conventionalism, and wave function realism, as they fail to make sense of quantum chaos. This is because the field requires the notion of objective modal structure, and the mentioned views have trouble explaining the modal facts of quantum dynamics. Then, I argue that constraint realism supersedes these views in the context of Bohm's standard theory and mechanics, and underpins the study of quantum chaos. Finally, I consider and reject two possible problems for my point of view. -/- ⦿ A central concern of modal metaphysicians has been to understand the logical system that best characterises necessity. In the sixth chapter I intend to recover the logical project applied to my naturalistic modal metaphysics. Scientists and philosophers of science accept different degrees of physical necessity, ranging from purely mathematically necessary facts that restrict physical behaviour, to kinetic principles, to particular dynamical constraints. I argue that this motivates a multimodal approach to modal logic, and that the time dependence of dynamics motivates a logic of historical necessity. I propose multimodal propositional (classical) logics for Bohmian mechanics and the Everettian theory of many divergent worlds, and I close with a criticism of Williamson's approach to the logic of state spaces of dynamic systems. (shrink)

The Linda paradox is a key topic in current debates on the rationality of human reasoning and its limitations. We present a novel analysis of this paradox, based on the notion of verisimilitude as studied in the philosophy of science. The comparison with an alternative analysis based on probabilistic confirmation suggests how to overcome some problems of our account by introducing an adequately defined notion of verisimilitudinarian confirmation.

This document consists primarily of an excerpt (chapter 4) from the author’s book From Brain to Cosmos. That excerpt presents a study of a specific problem about knowledge: the logical justification of one’s knowledge of the immediate past. (This document depends heavily upon the concept of subjective fact that the author developed in chapters 2 and 3 of From Brain to Cosmos. Readers unfamiliar with that concept are strongly advised to read those chapters first. See the last page of this (...) document for details on how to obtain those chapters.). (shrink)

This paper explores early Australasian philosophy in some detail. Two approaches have dominated Western philosophy in Australia: idealism and materialism. Idealism was prevalent between the 1880s and the 1930s, but dissipated thereafter. Idealism in Australia often reflected Kantian themes, but it also reflected the revival of interest in Hegel through the work of ‘absolute idealists’ such as T. H. Green, F. H. Bradley, and Henry Jones. A number of the early New Zealand philosophers were also educated in the idealist tradition (...) and were influential in their communities, but produced relatively little. In Australia, materialism gained prominence through the work of John Anderson, who arrived in Australia in 1927, and continues to be influential. John Anderson had been a student of Henry Jones, who might therefore be said to have influenced both main strands of Australian philosophical thought. (shrink)

Kit Fine has proposed a new solution to what he calls ‘a familiar puzzle’ concerning modality and existence. The puzzle concerns the argument from the alleged truths ‘It is necessary that Socrates is a man’ and ‘It is possible that Socrates does not exist’ to the apparent falsehood ‘It is possible that Socrates is a man and does not exist’. We discuss in detail Fine’s setting up of the ‘puzzle’ and his rejection, with which we concur, of two mooted solutions (...) to it. (One of these uses standard, Kripkean, notions, and the other rests on work done by Arthur Prior.) We set out, and reject, the philosophy of modality underlying Fine’s new solution, and we defend an alternative response to the alleged puzzle. Our solution follows the work of David Wiggins in distinguishing between the sentential operator ‘It is necessary that’ and the predicate modifier ‘necessarily’. We briefly provide this distinction with a possible- world semantics on which it is neither a necessary truth, in some sense, that Socrates exists nor true, in some sense, that Socrates necessarily exists. (shrink)

I investigate the consequences for semantics, and in particular for the semantics of tense, if time is assumed to have a branching structure not out of metaphysical necessity (to solve some philosophical problem) but just as a contingent physical fact, as is suggested by a currently-popular approach to the interpretation of quantum mechanics.

According to the actualist view, what is essential to the truth conditions of a future-tensed sentence ‘it will be the case that ϕ’ is reference to the unique course of events that will become actual. On the other hand, the modal view has it that the truth conditions of such a sentence require that the truth of ϕ be already “settled” at the time of utterance, where “being settled at time t” is defined by universal quantification over a domain of (...) courses of events, the futures compatible with what has happened up to time t. On the proposal we discuss in this paper, the actualist view and the modal view are seen as two related attitudes that speakers can have when they evaluate future-tensed sentences, and the corresponding interpretations undergo a unified semantic treatment based on a contextual notion of settledness. A central feature of our approach is a dynamic view of contexts of utterance, whereby the world of the utterance is not fixed once and for all, as different worlds, by the passing of time, can play this role in turn. Finally, one major goal of the paper is to show how the unified analysis we propose accounts for a particularly interesting interpretation of future-tensed sentences, often referred to as ‘epistemic reading’. (shrink)

Since there are independent reasons for associating the habitual reading of the imperfective, in Italian, to a logical form based on universal or generic quantification, the purpose of Part I is to see how this kind of semantical structure accounts for another important interpretation of the imperfective: the progressive reading. And since in some particular cases the imperfective can also have a marginal interpretation which can be assimilated to a perfective effect (it is the so-called “narrative” reading), a further problem (...) is how to provide a reasonable explanation for this phenomenon too. If one considers the co-occurrence of the imperfective with different event predicates (in particular, accomplishments and achievements) it is possible to show that, with some minimal assumptions, the theoretical framework under discussion correctly predicts the following facts, which represent a crucial, but puzzling, characteristic of the imperfective in Italian: (i) activities allow for the progressive reading of the imperfective, but not the “narrative” reading; (ii) with achievements we have the opposite situation; (iii) accomplishments are compatible with both these readings. From this point of view, the semantic properties of the progressive reading of the imperfective are quite distinct from those of the perifrasi progressiva, which is the specialized form used in Italian to express the progressive meaning. Part II, which addresses the issue of the intensional character of both forms of the progressive, is more problematic, in the sense that it takes into consideration a possible extension of the theoretical framework presented in Part I. First of all I discuss some examples which clearly show that the perifrasi progressiva calls for some sort of “branching” representation of time, for it crucially refers to future courses of events which are not realized in the real world. On the other hand, since similar examples can be found in the case of the progressive reading of the imperfective, the main problem is represented by the fact that the kind of logical form under discussion is not completely adequate to account for such intensional phenomena.. (shrink)

In recent years, a number of new trends have seen light at the intersection of semantics and philosophy of language. They are meant to address puzzles raised by the context-sensitivity of a variety of natural language constructions, such as knowledge ascriptions, belief reports, epistemic modals, indicative conditionals, quantifier phrases, gradable adjectives, temporal constructions, vague predicates, moral predicates, predicates of personal taste. A diversity of labels have consequently emerged, such as 'contextualism', 'indexicalism', 'invariantism', 'literalism', 'minimalism', and 'relativism', variously qualified. The goal (...) of this essay is to pinpoint the issues that lie at the heart of the recent debates, clarify what is at stake, and provide a snapshot of the current theoretical landscape. (shrink)

We offer an analysis of future morphemes as epistemic operators. The main empirical motivation comes from the fact that future morphemes have systematic purely epistemic readings—not only in Greek and Italian, but also in Dutch, German, and English will. The existence of epistemic readings suggests that the future expressions quantify over epistemic, not metaphysical alternatives. We provide a unified analysis for epistemic and predictive readings as epistemic necessity, and the shift between the two is determined compositionally by the lower tense. (...) Our account thus acknowledges a systematic interaction between modality and tense—but the future itself is a pure modal, not a mixed temporal/modal operator. We show that the modal base of the future is nonveridical, i.e. it includes p and ¬p worlds, parallel to epistemic modals such as must, and present arguments that future morphemes are a category that stands in between epistemic modals and predicates of personal taste. We identify, finally, a subclass of epistemic futures which are ratificational, and argue that will is a member of this class. (shrink)

Contemporary natural-language semantics began with the assumption that the meaning of a sentence could be modeled by a single truth condition, or by an entity with a truth-condition. But with the recent explosion of dynamic semantics and pragmatics and of work on non- truth-conditional dimensions of linguistic meaning, we are now in the midst of a shift away from a truth-condition-centric view and toward the idea that a sentence’s meaning must be spelled out in terms of its various roles in (...) conversation. This communicative turn in semantics raises historical questions: Why was truth-conditional semantics dominant in the first place, and why were the phenomena now driving the communicative turn initially ignored or misunderstood by truth-conditional semanticists? I offer a historical answer to both questions. The history of natural-language semantics—springing from the work of Donald Davidson and Richard Montague—began with a methodological toolkit that Frege, Tarski, Carnap, and others had created to better understand artificial languages. For them, the study of linguistic meaning was subservient to other explanatory goals in logic, philosophy, and the foundations of mathematics, and this subservience was reflected in the fact that they idealized away from all aspects of meaning that get in the way of a one-to-one correspondence between sentences and truth-conditions. The truth-conditional beginnings of natural- language semantics are best explained by the fact that, upon turning their attention to the empirical study of natural language, Davidson and Montague adopted the methodological toolkit assembled by Frege, Tarski, and Carnap and, along with it, their idealization away from non-truth-conditional semantic phenomena. But this pivot in explana- tory priorities toward natural language itself rendered the adoption of the truth-conditional idealization inappropriate. Lifting the truth-conditional idealization has forced semanticists to upend the conception of linguistic meaning that was originally embodied in their methodology. (shrink)

The debate about the ontological innocence of mereology has generally been framed as a debate about the plausibility of Universal Fusion. Ontologically loaded fusions must be more than the sum of their parts, and this seems to violate parsimony if fusion is universal. Less attention has been paid to the question of what sort of emergence mereological fusions must exhibit if they are irreducible to their parts. The philosophy of science literature provides several models of such strong emergence. Examining those (...) models suggests that the difficulty with emergent fusions has at least as much to do with extensionality as it does with Universal Fusion. Some accounts of emergence fail to ensure irreducibility when combined with extensional mereologies. The most promising model for the strong emergence of ontologically loaded fusions fails to validate Anti-Symmetry, which naturally leads to failures of extensionality. These results suggest that the focus on Universal Fusion may have been misplaced. (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 paper analyses the notion of attempting in the formal framework of stit.