(1848-1925) - нем. логик, математик и философ. В 1879-1918 - проф. ун-та в Йене. Труды Ф. открыли новый этап в развитии логики, оказали большое влияние на разработку философских проблем математики и были одним из отправных пунктов в развитии аналитической философии. Ф. положил начало теории математического доказательства, он впервые осуществил дедуктивно-аксиоматическое построение логики первого порядка с помощью формализованного языка. Целый ряд его идей и понятий вошли в язык современной логики: он ввел понятия истинностного значения, логической функции и различение свойств и отношений как соответственно одноместных и многоместных функций, дал определения отношений принадлежности элемента классу и включения класса в класс, впервые стал систематически использовать кванторы. Он является основоположником той части логической семантики, в которой исследуются связь значения и смысла языковых выражений и отношение обозначения. Исходя из идеи об универсальном характере предметной области в логике, Ф. предложил систему формальной арифметики на основе разработанного им расширенного исчисления предикатов с целью обоснования сводимости математики к логике. Во многом именно с этой его работой связано развитие особого направления исследований по основаниям математики, получившего название логицизма. Противоречивость системы Ф. была обнаружена Расселом. Дальнейшая разработка наследия Ф., связанная, в частности, с преодолением этого противоречия, привела к созданию теории типов. Заслугой Ф. является также широкое использование принципа абстракции и подробный анализ отношений между предметами, свойствами и отношениями. Он подвергал резкой критике психологизм и эмпиризм в области логики и оснований математики, отстаивал тезис об объективности общего в области логики и философии. Шрифт понятий // Методы логических исследований. Тбилиси, 1987; Мысль: логическое исследование // Философия, логика, язык. М., 1987; Grundlagen der Arithmetik. Breslau, 1884; Grundgesetze der Arithmetik. Bde. 1-2. Jena, 1893-1903.