Locke and Arnauld on Judgment and Proposition

To understand pre-Fregean theories of judgment and proposition, such as those found in Locke and the Port-Royal logic, it is important to distinguish between propositions in the modern sense and propositions in the pre-Fregean sense. By making this distinction it becomes clear that these pre-Fregean theories cannot be meant to solve the propositional attitude problem. Notwithstanding this fact, Locke and Arnauld are able to make a distinction between asserted and unasserted propositions (in their sense). The way Locke makes this distinction turns out to be very different from the way it is made by Arnauld.