ФРЕГЕ Готлоб

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