 In the final part of his theory Brentano turns to so-called categorical propositions. These are the sentences with which traditional logic is primarily concerned: sentences of the form “All S are P”, “No S is P”, “Some S are P” and “Some S are not P”. With respect to these propositions, Brentano takes the same view as Leibniz: