In this work Ockham proposes a simple theory of predication which he then uses in explicating the truth conditions of progressively more complicated kinds of propositions. It includes what he takes to be the correct semantic treatment of quantified propositions.
