Готлоб (1848—1925) —нем. логик, математик и философ. Труды Ф. открыли новый этап в математической логике. В труде "3апись в понятиях" (1879) Ф. впервые осуществил аксиоматическое построение логики высказываний и предикатов и положил начало строгой теории логического доказательства. В соч. "Основные законы арифметики" (1—2 тт. 1893—1903) Ф. построил систему формализованной арифметики, имея в виду обосновать тем самым идею о сводимости значительной части математики к логике (Логицизм). Последующее развитие совр. формальной логики во многом было связано с развитием наследства Ф., и в частности с преодолением обнаруженного в его системе противоречия. Ф. был противником субъективистского психологического" направления в логике. Ему принадлежит ряд идей и понятий, вошедших в совр. науку: истолкование понятий как логических функций, понятие значений истинности, введение и систематическое употребление кванторов, анализ понятия переменной и др.Ф. явился основоположником той части логической семантики, к-рая связана с понятиями значения и смысла языковых выражений и отношением обозначения (или именования).
|
