•  420
    Ockhamism and Quantified Modal Logic
    Logique Et Analyse 58 353-370. 2015.
    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.
  •  38
    Not Everything is Possible
    Logic Journal of the IGPL 15 (3): 233-237. 2007.
    This paper makes a point about the interpretation of the simplest quantified modal logic, that is, quantified modal logic with a single domain. It is commonly assumed that the domain in question is to be understood as the set of all possibile objects. The point of the paper is that this assumption is misguided.
  •  697
    Vagueness and Quantification
    Journal of Philosophical Logic 45 (5): 579-602. 2016.
    This paper deals with the question of what it is for a quantifier expression to be vague. First it draws a distinction between two senses in which quantifier expressions may be said to be vague, and provides an account of the distinction which rests on independently grounded assumptions. Then it suggests that, if some further assumptions are granted, the difference between the two senses considered can be represented at the formal level. Finally, it outlines some implications of the account prov…Read more
  •  85
    Rethinking Bivalence
    Synthese 146 (3): 283-302. 2005.
    Classical logic rests on the assumption that there are two mutually exclusive and jointly exhaustive truth values. This assumption has always been surrounded by philosophical controversy. Doubts have been raised about its legitimacy, and hence about the legitimacy of classical logic. Usually, the assumption is stated in the form of a general principle, namely the principle that every proposition is either true or false. Then, the philosophical controversy is often framed in terms of the question…Read more
  •  6
    Il criterio informale di validità
    Rivista di Estetica 34 (34): 75-93. 2007.
    1. La logica è la teoria del ragionamento corretto. O come si dice di solito, è una teoria normativa del ragionamento. Non intende fornire una descrizione del modo in cui di fatto si ragiona, ma cerca piuttosto di chiarire in che modo si dovrebbe ragionare. Questo però non significa che la logica possa prescindere dall’osservazione dei ragionamenti che di fatto sono ritenuti corretti. Qualsiasi teoria che pretenda di fissare norme per un certo ambito deve tenere conto dei giudizi preteorici i...
  •  303
    Petitio principii: What's wrong?
    Facta Philosophica 7 (1): 19-34. 2005.
    One of the most common strategies in philosophical dispute is that of accusing the opponent of begging the question, that is, of assuming or presupposing what is to be proved. Thus, it happens quite often that the credibility of a philosophical argument is infected by the suspicion of begging the question. In many cases it is an open question whether the suspicion is grounded, and the answer lurks somewhere in the dark of what the proponent of the argument does not say. This is why it may take y…Read more
  •  61
    True in a sense
    Grazer Philosophische Studien 72 (1): 141-154. 2006.
    The aim of this paper is to show that in order to make sense of the ascription of truth and falsity to the things we say it is essential to acknowledge a divergence between two basic intuitions. According to one of them it is plausible to talk of what is said as what the speaker has in mind. According to the other it is plausible to talk of what is said as the bearer of truth or falsity. The paper presents three cases in which these two intuitions seem not to coincide, and shows how this lack of…Read more