Abstract
We first present an edition of the manuscript LH VII, B 2, 39 in which Leibniz develops a new formalism in order to give rigorous definitions of positive, of privative, and of primitive terms.This formalism involves a symbolic treatment of conceptual quantification which differs quite considerably from Leibniz’s “standard” theory of “indefinite concepts” as developed, e.g., in the “General Inquirles” In the subsequent commentary we give an interpretation and a critical evaluation of Leibniz’s symbolic apparatus. It turns out that the definition of privative terms and primitive terms lead to certain inconsistencies which, however, can be avoided by slight modifications.