Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/init.php on line 69 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/init.php on line 69 Warning: strtotime(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 48 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 49 Warning: strtotime(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 51 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 52
|
psyoffice.ru » Словари и энциклопедии » Философия » В. Малахов, В. Филатов. Современная западная философия: Словарь, 1998 г.
ФРЕГЕ (FREGE) Готлоб(1848-1925) - нем. логик, математик и философ. В 1879-1918 - проф. ун-та в Йене. Труды Ф. открыли новый этап в развитии логики, оказали большое влияние на разработку философских проблем математики и были одним из отправных пунктов в развитии аналитической философии. Ф. положил начало теории математического доказательства, он впервые осуществил дедуктивно-аксиоматическое построение логики первого порядка с помощью формализованного языка. Целый ряд его идей и понятий вошли в язык современной логики: он ввел понятия истинностного значения, логической функции и различение свойств и отношений как соответственно одноместных и многоместных функций, дал определения отношений принадлежности элемента классу и включения класса в класс, впервые стал систематически использовать кванторы. Он является основоположником той части логической семантики, в которой исследуются связь значения и смысла языковых выражений и отношение обозначения. Исходя из идеи об универсальном характере предметной области в логике, Ф. предложил систему формальной арифметики на основе разработанного им расширенного исчисления предикатов с целью обоснования сводимости математики к логике. Во многом именно с этой его работой связано развитие особого направления исследований по основаниям математики, получившего название логицизма. Противоречивость системы Ф. была обнаружена Расселом. Дальнейшая разработка наследия Ф., связанная, в частности, с преодолением этого противоречия, привела к созданию теории типов. Заслугой Ф. является также широкое использование принципа абстракции и подробный анализ отношений между предметами, свойствами и отношениями. Он подвергал резкой критике психологизм и эмпиризм в области логики и оснований математики, отстаивал тезис об объективности общего в области логики и философии.
Шрифт понятий // Методы логических исследований. Тбилиси, 1987; Мысль: логическое исследование // Философия, логика, язык. М., 1987; Grundlagen der Arithmetik. Breslau, 1884; Grundgesetze der Arithmetik. Bde. 1-2. Jena, 1893-1903.
Категория: Словари и энциклопедии » Философия » В. Малахов, В. Филатов. Современная западная философия: Словарь, 1998 г. Другие новости по теме: --- Код для вставки на сайт или в блог: Код для вставки в форум (BBCode): Прямая ссылка на эту публикацию:
|
|