This essay considers Kant’s theory of modality in light of a debate in contemporary modal metaphysics and modal logic concerning the Barcan formulas. The comparison provides a new and fruitful perspective on Kant’s complex and sometimes confusing claims about possibility and necessity. Two central Kantian principles provide the starting point for the comparison: that the possible must be grounded in the actual and that existence is not a real predicate. Both are shown to be intimately connected to the Barcan formulas, (...) and Kant’s views on what he distinguishes as three different kinds of modality are then considered in light of this connection. (shrink)

In his table of judgements, Kant added infinity as a third quality. An infinite judgement ‘All S are non-P’ is said to differ from the affirmative ‘All S are P’ because it ascribes a negative predicate; and it differs from the negative ‘No S is P’ because it has a richer content. The present paper puts three interpretations of this surplus content to six tests. Among other things, it is examined whether these interpretations marry up with Kant’s solution to the (...) first antinomy, his conception of analyticity and the principle of complete determination. The unpleasant conclusion is that none of the interpretations can make its mark as the most adequate one. It thus remains unclear what Kant had in mind when positioning infinite judgements besides affirmative and negative ones. (shrink)

Kant distinguishes concept negation from copula negation. While the latter results in a negative judgement, i.e. a judgement denying a property of certain objects, the former gives rise to a negative concept, such as ‘immortal’. Since Kant’s remarks on concept negation are scattered and inconclusive, five interpretations are worked out and put to the test: logical negation, pseudo-negation, attribution of a zero degree, possibility-restricted negation and genus-restricted negation. Whereas the first four interpretations fail for a number of reasons, genus-restricted negation (...) turns out to be tenable. (shrink)

Contrary to the contemporary view that negation is a logical operation that modifies the mere content of a thought or judgment, but not the act of thinking or judging it, Kant maintains that negation is an act of logical apperception through which I exclude a thought or judgment from what ‘I think.’ In this paper, I argue against two interpretations of Kant’s account of logical negation. According to the first, negation is a subjective psychological act of excluding an erroneous judgment. (...) Against this, I will show that for Kant, negation is an operation of logical, not empirical apperception. The second interpretation views logical negation as an objective representation either of a relation of opposition or of non-being. I argue that, on the contrary, the logical function of negation is merely formal, not material, and therefore does not have semantic content. The paper’s final section develops a positive conception of logical negation as a formal function of judging. (shrink)