 It is easy to find an example of each of these kinds of propositions: the proposition [Every German philosopher is German] is logically true, the proposition [Kant is German and Kant is non-German] is logically false, and the proposition [Kant is a German philosopher] is logically synthetic. (Cf. Morscher 2007, 75–99.)