Augustus de Morgan (1806 – 1871)

Der schottische Mathematiker und Logiker Augustus de Morgan ist der Begründer der logischen Theorie der Relationen. Er befasste sich sowohl mit einfachen, der einstelligen Subjekt-Prädikat-Verbindung der Urteile der traditionellen Logik, als auch mit mehrstelligen Relationen.

De Morgan formulierte wichtige Zusammenhänge der Aussagen- und der Klassenlogik.

Er arbeitete die Relationenalgebra aus, in der er vor allem die Summe, das Produkt und die Komposition von Relationen untersuchte und sich zudem intensiver mit der Transitivität von Relationen beschäftigte.

Nach de Morgan sind die de Morganschen Regeln benannt worden, die allerdings schon im 16. Jahrhundert vom indischen Logiker Siroman Raghunatha angewendet wurden.

Weblinks