Aufgrund seiner Bemerkungen über die Metaphysik und die Logik wird Leibniz oft die These, die Relationen seien auf Eigenschaften zurückführbar, zugeschrieben. Russell u. a. haben diese These, vorwiegend unter Bezugnahme auf asymmetrische Relationen, bestritten. Einige genaue Formulierungen der These erweisen sich in der Tat als falsch. Dennoch begründet die Leibnizsche Ontologie eine Version der Typenlogik, in der eine Form der Reduzierung bewiesen werden kann. Die hier verwendete Methode zeigt auch, wie zwei an sich mögliche Monaden nicht zusammen existieren können, also (...) wie die Inkompossibilität entstehen kann. (shrink)