1. In the figure above, I have indicated for each proposition both the abstract representation given to it by the traditional logic and one given to it by modern logic.
2. W. V. Quine has already noted the distinction between general and singular existence explained in this part of my paper, and has even noticed that the modern logic involves a tacit presupposition concerning singular existence. But the conclusions he draws from this situation are entirely different from those I propose: He will not alter the modern logic so as to make this presupposition explicit. Instead, he tailors philosophic outlooks to one of consonance with it. See his “Designation and Existence,”Journal of Philosophy, 36:701–9 (December 21, 1939).
3. Whether we take “Elx” as an undefined primitive or accept D1 affects only the status of the laws listed in this part. Some of them, in the one case, would be postulates which, in the other case, would be theorems.
4. The listing of laws here does not represent a deductive order. The validity of L1 is interesting. It is, however, harmless: In consequence of L3, it is equivalent to the innocuous formula (x) · E!x ⊃ E!x and would in fact be proven via L3. But in virtue of the abandonment of*10.1 in favor of L7 (see immediately below), the assertion of L1 is not equivalent to the abandoned law (4) ; nor can the unwanted (4) be proven.
5. Op. cit., p. 708.