Философский словарь

А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ФРЕГЕ


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

будет выглядеть так: ФРЕГЕ