Философская энциклопедия - грасман
Грасман
ГРА́СМАН
(Grassman), Роберт (8 марта 1815 – 14 авг. 1901) – нем. логик. В соч. "Учение о понятии или логика" (1872) подверг критике традиционную формальную логику за бездоказательность ее построений и неясность выражений. Исходя из взгляда, что науч. обоснование логики возможно лишь с помощью формул ур-ний, преобразуемых по законам учения о величинах, Г. построил логич. исчисление, к-рое полностью включало исчисление классов и формализовало все дедуктивные умозаключения традиционной логики. Был одним из пионеров математической логики.
Соч.: Die Formenlehre oder Mathematik, Stettin, [1872], [вторую часть этой книги составляет: Die Begriffslehre oder Logik]. Die Weltwissenschaft oder Physik, Stettin, Bd 1–2, 1852–72; Die Lebenslehre oder Biologie, Stettin, 1862; Die Wissenschaftslehre oder Philosophie, Stettin, 1876; Das Weltleben oder die Metaphysik, Stettin, 1882; Einleitung in das Gebäude des Wissens, Tl 1–4, Stettin, 1882; Das Gebäude des Wissens, Bd 1–10, Stettin, 1882–90; Die Logik und die anderen logischen Wissenschaften, Stettin, 1890.
Лит.: Бобынин В. В., Опыты математического изложения логики, вып. 1, М., 1886, с. 30–49.
Б. Бирюков. Москва.
Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970.