"The fact is that, while Leibniz did insist on a subject-predicate analysis of statements, this attitude was well thought out, and the failures of his logic are due only to his inability to devise an appropriate system of notation for his logical algorithm."