Andrea Iacona

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

This paper defends the thesis that counterfactuals are strict conditionals. Its purpose is to show that there is a coherent view according to which counterfactuals are strict conditionals whose antecedent is stated elliptically. Section 1 introduces the view. Section 2 outlines a response to the main argument against the thesis that counterfactuals are strict conditionals. Section 3 compares the view with a proposal due to Aqvist, which may be regarded as its direct predecessor. Sections 4 and 5 explain how the view diers from the theories of counterfactuals advocated by Stalnaker and Lewis, and from some contextualist strict conditional accounts of counterfactuals that have emerged recently. Finally, section 6 addresses the thorny issue of disjunctive antecedents.

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.

Over the past few years, the tree model of time has been widely employed to deal with issues concerning the semantics of tensed discourse. The thought that has motivated its adoption is that the most plausible way to make sense of indeterminism is to conceive of future possibilities as branches that depart from a common trunk, constituted by the past and the present. However, the thought still needs to be further articulated and defended, and several important questions remain open, such as the question of how actuality can be understood and formally represented in a branching framework. The present volume is intended to be a 360 degree reflection on the tree model. The contributions is gathers concern the model and its alternatives, both from a semantic and from a metaphysical point of view. ​

Many arguments are affected by context sensitivity, because they include sentences that have different truth conditions in different contexts. Therefore, it is natural to think that a general criterion for evaluating arguments must take context sensitivity into account. One way to give substance to that thought is provided by the definition of validity offered by David Kaplan within his theory of indexicals. However, the route indicated by Kaplan is hindered by a problem whose importance is often underestimated. This paper explores a different route, and outlines a definition of validity that does not run into that problem. Its moral is that Kaplan's definition is not the only plausible definition. This is not to say that the definition outlined is the only plausible definition or that it is correct in some absolute sense. There might be equally important problems with it that the paper does not take into account. But until such problems are found and brought up, the departure from Kaplan's route remains a viable option.