Фреге

Фреге Готлоб (1848-1925) - нем. логик, математик и философ. Труды Ф. открыли новый этап в математической логике, Ф. впервые осуществил аксиоматическое построение логики высказываний и предикатов и положил начало теории математического доказательства. В соч. «Основные законы арифметики» (1-2 тт , 1893 -1903) Ф. построил систему формализованной арифметики, имея в виду обосновать тем самым идею о сводимости значительной части математики к логике (Логицизм). Последующее развитие логики во многом было связано с развитием наследства Ф., и в частности с преодолением обнаруженного в его системе противоречия Ф. был противником субъективистского «психологического» направления а логике. Для его логических взглядов характерны элементы материализма. Вместе с тем в трактовке проблемы общего у Ф. имелись черты объективного идеализма в духе Платона. Ф. принадлежит ряд идей и понятий, вошедших в совр. науку: истолкование понятий как логических функций, понятие значений истинности, введение и систематическое употребление кванторов, анализ понятия переменной и др. Ф. явился основоположником той части логической семантики, к-рая связана с понятиями значения и смысла языковых выражений и отношением обозначения (или именования).

Источники:

1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.