Abstract
Paralogismen betreffs der Leibnizschen Prädikatlehre werden aufgezeigt und widerlegt. Enthaltensein heißt die Inverse von Ableitung; den zwei Arten von Ableitung, die Leibniz kennt, entsprechen zwei Arten von Enthaltensein. Die beiden Arten von Enthaltensein bieten Leibniz die Möglichkeit zu der logischen und irreduziblen Unterscheidung zwischen notwendigen und bedingten Wahrheiten. Die Unterscheidung zwischen einem Individuum und einer Eigenschaft wird mit mengentheoretischen Methoden und auch mit Hilfe von epistemologischen Begriffen untersucht. Die besondere kategorische Form des Aussagesatzes impliziert, daß es für alle Aussagesätze nur eine einzige Tiefen-Grammatik gibt, welche wesentlich verschiedene Ausdruckweisen von kategorischen Aussagen umfaßt