I IntroductionAt Metaphysics Γ 3, Aristotle argues that it belongs to a single discipline, which he calls first philosophy, to investigate both substance and a special class of claims which includes among its members the principle of non-contradiction. At Γ 4, after insisting that the PNC is, strictly speaking, indemonstrable, he sets forth a series of sketches of refutative arguments intended to show how it can, nonetheless, be substantiated. Traditionally, his main refutative argument has been taken to be embedded in (...) the passage which runs from 1006a31 to b34. In that passage, he tries to show that anyone who denies the PNC and who can then be led, by means of an artfully arranged series of questions, to agree to a few seemingly modest theses about the signification of expressions of a certain type — which Aristotle illustrates with the general term ‘man’ — is thereby logically committed to the following modal claim: ‘It is necessary, then, if it is true to say that something is a man, that it be a bipedal animal'. (shrink)

The principle of bivalence (PB) states that every declarative sentence is either true or false, and the principle of excluded middle (PEM) states that one member of any contradictory pair must be true. According to the standard interpretation of Int. 9, PB fails for future contingents. Moreover, some standardists believe that PEM fails for pairs of contradictory future contingents, whereas other standardists attempt to rescue PEM by applying the method of supervaluations. I argue that PB and PEM are not suspended (...) and that the method of supervaluations fails to explain how PEM holds. I propose an interpretation of Int. 9 according to which neither PB nor PEM fails. (shrink)