Andrea Iacona

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

This paper deals with the logical form of quantified sentences. Its purpose is to elucidate one plausible sense in which quantified sentences can adequately be represented in the language of first-order logic. Section 1 introduces some basic notions drawn from general quantification theory. Section 2 outlines a crucial assumption, namely, that logical form is a matter of truth-conditions. Section 3 shows how the truth-conditions of quantified sentences can be represented in the language of first-order logic consistently with some established undefinability results. Section 4 sketches an account of vague quantifier expressions along the lines suggested. Finally, section 5 addresses the vexed issue of logicality.

Among the various motivations that may lead to the idea that truth is relative in some non-conventional sense, one is that the idea helps explain how there can be ‘‘ faultless disagreements’’, that is, situations in which a person A judges that p, a person B judges that not-p, but neither A nor B is at fault. The line of argument goes as follows. It seems that there are faultless disagreements. For example, A and B may disagree on culinary matters without either A or B being at fault. But standard semantics has no room for such a case, so there is something wrong with standard semantics. The best way to amend it is to add a new parameter that is relevant to the truth or falsity of what A and B judge, presumably, something related to personal taste. The aim of the paper is to show that this line of argument is flawed. It is true that standard semantics has no room for faultless disagreements. But there is nothing wrong with this, for it should not be assumed that such disagreements exist

This paper claims that there is no such thing as the correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfil two major theoretical roles that pertain respectively to logic and semantics. The first part of the paper outlines the thesis that a unique notion of logical form fulfils both roles, and argues that the alleged best candidate for making it true is unsuited for one of the two roles. The second part spells out a considerably different notion which is free from that problem, although it does not fit the other role. As it will be suggested, each of the two notions suits at most one role, so the uniqueness thesis is ungrounded