МОРГАН Огастес

De Morgan), (Августус) де (1806–1871) – шотл. математик и логик, основатель логич. анализа отношений; проф. математики (1828–31; 1836–66) Университетского колледжа в Лондоне; первый президент (1866) Лондонского математич. об-ва. Известен работами по теории математич. рядов, а также историко-математич. и историко-физич. исследованиями. К своим алгебро-логич. идеям М. пришел независимо от Буля. М. определял логику как теорию имен предметов и исчисление необходимых и вероятностных умозаключений. Осн. результаты М. сформулированы в соч. "Формальная логика ..." ("Formal logic, or the calculus of inference, necessary and probable", 1847, [2 ed. ], 1926), где он изложил элементы логики высказываний и логики классов, дал первую развитую систему алгебры отношений. М. обобщил аристотелевскую теорию форм высказываний, употребляя знак логич. отрицания не только над предикатом суждения, но и над его субъектом (последней операции в дальнейшем было присвоено назв. "квалификация"). Вслед за Ламбертом М. анализировал умозаключения, состоящие из количественно определенных предложений, не укладывающихся в рамки традиц. силлогистики. Алгебра отношений М. содержит такие важные понятия, как логич. сумма и логич. произведение отношений, деление отношений на транзитивные и нетранзитивные и т.п. М. – инициатор применения логич. исчислений к обоснованию теорем теории вероятностей. С именем М. связаны т.н. законы де Моргана (см. также Алгебра логики). Соч.: First notions of logic, preparatory to study of geometry, L., 1839; A budget of paradoxes, L., 1872, new ed., [L. ], 1954; Syllabus of a proposed system of logic, L., 1860. Лит.: Стяжкин Н. И., К характеристике ранней стадии в развитии идей математич. логики, "Филос. науки" (Науч. доклады высшей школы), 1958, No 3; De Morgan S. ?., Memoir of A. de Morgan, L., 1882 (имеется библ.); Halsted G. В., De Morgan as a logician, "J. speculative Philos.", 1884, v. 18. H. Стяжкин. Москва.