Ockhamism and Quantified Modal Logic

Abstract

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 attempts that have been made so far to provide a formal apparatus for such view, in that it does not involve some expressly modied version of branching time semantics. The system on which it is based is the simplest quantified modal logic.