Leibniz: Logic The revolutionary ideas of Gottfried Wilhelm Leibniz (1646-1716) on logic were developed by him between 1670 and 1690. The ideas can be divided into four areas: the Syllogism, the Universal Calculus, Propositional Logic, and Modal Logic. These revolutionary ideas remained hidden in the Archive of the Royal Library in Hanover until 1903 when the French mathematician […].

In a recent paper, Dennis Plaisted examines an important argument that Leibniz gives for the existence of primitive concepts. After sketching a natural reading of this argument, Plaisted observes that the argument appears to imply something clearly inconsistent with Leibniz’s other views. To save Leibniz from contradiction, Plaisted offers a revision. However, his account faces a number of serious difficulties and therefore does not successfully eliminate the inconsistency. We explain these difficulties and defend a more plausible alternative. In the process, (...) we call attention to the neglected topic of Leibniz’s views on the nature of conceiving, and reveal his commitment to the somewhat surprising thesis that one can conceive something through a concept even if one has no conscious grasp of that concept. (shrink)

Leibniz war gewillt, die Idee der kontingenten Wahrheiten über nur mögliche individuelle Substanzen ernst zu nehmen -unabhängig davon, ob diese Substanzen existieren oder nicht. Einer der Wege, diese Idee zu erklären, ist die berühmte Lehre von der unendlichen Analyse. Eine wichtige und verwirrende Schwierigkeit für diese Lehre ist das von Robert M. Adams erörterte Problem des Beweises mit Glück. Auch wenn der vollständige individuelle Begriff einer möglichen Substanz S sich durch Analyse in unendlich viele einfache Begriffe zerlegen läßt, ist es (...) schwerlich erforderlich, daß der Beweis für das Enthaltensein eines Prädikats F im vollständigen Begriff von 5 unendlicher Analyse bedarf: Beweise gehen schrittweise vor; es ist offensichtlich möglich, daß einige Prädikate früher und schneller hergeleitet werden als andere. In diesem Aufsatz zeigen und entwickeln wir zwei leibnizische Wege, die das Problem des mit Glück kurzen Beweises beantworten. (shrink)

Dieser Beitrag behandelt das Problem, wie im Hinblick auf Leibniz' Verpflichtungen der Theologie und Logik gegenüber der Schluss vermieden werden kann, dass die wirkliche Welt notwendig existieren muss. Die Argumentation läuft darauf hinaus, dass Leibniz in der Zeit von 1683 bis 1686 seine Position zu dieser Frage fundamental renovierte: Sein Umdenken entstand am Ursprung einer neuen Sicht auf Logik in der Kontingenz und die theologischen Implikationen der freien Handlung Gottes.