<<
>>

ФРЕГЕ

(Frege) Готлоб (8.11.1848, Висмар,—20.7.1925, Бад-Клайнен), нем. логик и математик. В фундаментальном труде «Осн. законы арифметики» («Grundgesetze der Arithmetik», Bd 1—2, 1893—1903) Ф.
построил систему формализованной арифметики на основе разработанного им расширенного исчисления предикатов с целью обоснования идеи о сведении математики к логике (т. е. концепции логицизма). Однако система Ф. оказалась противоречивой, что было обнаружено Расселом. Сформулировал ряд идей и понятий, разработка к-рых во многом предопределила развитие логики в 20 в.: ввёл понятие логич. функции и различение свойств и отношений как соответственно одноместных и многоместных логич. функций; впервые стал употреблять кванторы; ввёл понятие истинностного значения и др. Ф. систематически исследовал отношения между языковыми выражениями и обозначаемыми ими предметами, а также провёл важное различие между значением и смыслом языковых выражений. Работы Ф. заложили основы логич. семантики.

• Begriffsschrift..., Halle, 1879; Ober Sinn und Bedeutung, «Zeitschrift fur Philosophie und philosophische Kritik», 1892, Bd 100, H. 1.

• Бирюков Б. В., Теория смысла Г. Ф., в кн.: Применение логики в науке и технике, [М., I960]; его же, О взглядах Г. Ф. на роль знаков и исчисления в познании, в кн.: Логич. структура науч. знания, М., 1965; С т я ж к и н Н. И., Формирование математич. логики, М., 1967 (лит.).

<< | >>
Источник: Федосеев, Ильичев. Философский энциклопедический словарь. 1986

Еще по теме ФРЕГЕ: