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 » Словари и энциклопедии » Философия » Философский энциклопедический словарь.- М.: Советская энциклопедия, 1989 г.
ФРЕГЕ Готлоб (1848—1925)—нем. логик, математик и философ. Труды Ф. открыли новый этап в математической логике. В труде “3апись в понятиях” (1879) Ф. впервые осуществил аксиоматическое построение логики высказываний и предикатов и положил начало строгой теории логического доказательства. В соч. “Основные законы арифметики” (1—2 тт. 1893—1903) Ф. построил систему формализованной арифметики, имея в виду обосновать тем самым идею о сводимости значительной части математики к логике (Логицизм). Последующее развитие совр. формальной логики во многом было связано с развитием наследства Ф., и в частности с преодолением обнаруженного в его системе противоречия. Ф. был противником субъективистского психологического” направления в логике. Ему принадлежит ряд идей и понятий, вошедших в совр. науку: истолкование понятий как логических функций, понятие значений истинности, введение и систематическое употребление кванторов, анализ понятия переменной и др.Ф. явился основоположником той части логической семантики, к-рая связана с понятиями значения и смысла языковых выражений и отношением обозначения (или именования). Категория: Словари и энциклопедии » Философия » Философский энциклопедический словарь.- М.: Советская энциклопедия, 1989 г. Другие новости по теме: --- Код для вставки на сайт или в блог: Код для вставки в форум (BBCode): Прямая ссылка на эту публикацию:
|
|