My object is Aristotle's discussion of principle of non-contradiction in the first stretch of Metaphysics IV.4. My main focus rests on the connections between Aristotle's discussion of the principle and some key notions of his (explicit or implied) semantics.