 But a closer look reveals that this tight fit between Brentano’s theory of judgement and his reform of logic is illusory. With the advance of quantificational logic, it became clear that in order to correct the square of oppositions in the way in which Brentano suggests, all one needs to do is to use existentially quantified formulas instead of categorical propositions (see Church 1947: 56). This observation contains both good and bad news for Brentano. The good news is that Brentano’s logical intuitions find support in quantificational logic. The bad news is that his reduction thesis ceases to play a role in reforming logic. Surely, a quantified formula may express an existential judgement with a non-propositional content, as Brentano conceived it, but it may also express a judgement with a propositional content. To put it in other words: Brentano’s revision of traditional logic can be replicated without making use of his reduction thesis.