Johannes Damaszenus (670 – ca. 753)

Der griechische Theologe Johannes Damaszenus versuchte die aristotelische Lehre in den Dienst der Theologie zu stellen.

Er sah in der Logik ein Mittel zur Systematisierung der christlichen Glaubenslehre.

In seinen Werken Quelle der Erkenntnis und Dialektik befasst sich Johannes Damaszenus mit der aristotelischen Logik.

Johannes Damaszenus spricht von vier Methoden der Logik:

1. Einteilung der Gattungen in Arten,
2. Definition über die Gattung und den Artunterschied,
3. Zerlegung des Zusammengesetzten in einfache Elemente,
4. Verbindung von zwei Gedanken durch einen Mittelbegriff.

Eine ähnliche Klassifikation hat auch David der Armenier geliefert.