 In the following section a formal version of the medieval argument for determinism will be presented without theological references. It will be demonstrated that at least two of the premises used in the argument may be questioned. In section 3 we shall present a particularly important framework for the discussion of future contingents known as branching time and its semantics. In sections 4 and 5 we shall see how these possible reactions to the classical argument may be turned into modern truth-theories corresponding to the medieval positions listed above.