Andrea Iacona

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.

In a paper called 'Definiteness and Knowability', Tim Williamson addresses the question whether one must accept that vagueness is an epistemic phenomenon if one adopts classical logic and a disquotational principle for truth. Some have suggested that one must not, hence that classical logic and the disquotational principle may be preserved without endorsing epistemicism. Williamson’s paper, however, finds ‘no plausible way of substantiating that possibility’. Its moral is that ‘either classical logic fails, or the disquotational principle does, or vagueness is an epistemic phenomenon’. The moral of this paper, on the contrary, is that there is a plausible way of substantiating that possibility. The option it contemplates looks like a view that Williamson dismisses at the beginning of his paper, and that others regard as unworthy of serious consideration.

Despite the wide acceptance of standard modal logic, there has always been a temptation to think that ordinary modal discourse may be correctly analyzed and adequately represented in terms of predicates rather than in terms of operators. The aim of the formal model outlined in this paper is to capture what I take to be the only plausible sense in which ‘possible’ and ‘necessary’ can be treated as predicates. The model is built by enriching the language of standard modal logic with a quantificational apparatus that is “substitutional” rather than “objectual”, and by obtaining from the language so enriched another language in which constants for such predicates apply to singular terms that stand for propositions.

This paper claims that there is a plausible sense in which validity is a matter of truth preservation relative to interpretations of the sentences that occur in an argument, although it is not the sense one might have in mind. §1 outlines three independent problems: the first is the paradox of the sorites, the second concerns the fallacy of equivocation, and the third arises in connection with the standard treatment of indexicals. §2 elucidates the claim about validity, while §§3-5 show how the three problems outlined can be handled in accordance with it. §6 explains how the claim squares with the traditional idea that validity is related to formality, and in particular with a broadly accepted definition based on that idea, the model-theoretic definition of logical consequence. Unlike other works on the subject, this paper does not focus on necessity. It is not its intention to provide a characterization of necessity that conforms to some ideal of rigour or to some pre-theoretical understanding of validity. What follows can be taken as conditional on the assumption that such a characterization can be provided