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