Философская энциклопедия - шредер

ШРЕДЕР

(Schroder) Эрнст (25. 11. 1841, Мангейм,— 16.6. 1902, Карлсруэ), нем. математик и логик. Дал систематич. изложение математич. логики (как алгебры логики), включая теорию отношений; им введён термин «исчисление высказываний». Сформулировал принцип двойственности и ряд др. математико-логич. принципов.

Der Operationskreis des Logikkalkuls, Lpz., 1877; Vorlesungen uber die Algebra der Logik, Bd 1—3, Lpz., 1890—1905; Abriss der Algebra der Logik, Tl 1—2, Lpz.— B., 1909—10.

Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.