Тарский Альфред (original) (raw)
XPOHOC
ВВЕДЕНИЕ В ПРОЕКТ
ФОРУМ ХРОНОСА
НОВОСТИ ХРОНОСА
БИБЛИОТЕКА ХРОНОСА
ИСТОРИЧЕСКИЕ ИСТОЧНИКИ
БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
ГЕНЕАЛОГИЧЕСКИЕ ТАБЛИЦЫ
СТРАНЫ И ГОСУДАРСТВА
ЭТНОНИМЫ
РЕЛИГИИ МИРА
СТАТЬИ НА ИСТОРИЧЕСКИЕ ТЕМЫ
МЕТОДИКА ПРЕПОДАВАНИЯ
КАРТА САЙТА
АВТОРЫ ХРОНОСА
Родственные проекты:
РУМЯНЦЕВСКИЙ МУЗЕЙ
ДОКУМЕНТЫ XX ВЕКА
ИСТОРИЧЕСКАЯ ГЕОГРАФИЯ
ПРАВИТЕЛИ МИРА
ВОЙНА 1812 ГОДА
ПЕРВАЯ МИРОВАЯ
СЛАВЯНСТВО
ЭТНОЦИКЛОПЕДИЯ
АПСУАРА
РУССКОЕ ПОЛЕ
Альфред Тарский
Тарский Альфред (1902—1988) — польский логик, математик и методолог науки, один из виднейших представителей львовско-варшавской школы; с 1938 года в США. Тарский принадлежит ряд значительных результатов в теории моделей, определимости понятий, в разработке проблем разрешимости, различных разделов математической логики и оснований математики. Тарский — один из основоположников логической семантики. Значительное место в творчестве Тарского занимают проблемы методологии дедуктивных наук, исследования познавательных возможностей и границ применимости формальных методов (аксиоматического метода, формализации и др.) в научном познании. В основополагающей для последующего развития логической семантики и металогике работе «Понятие истины в формализованных языках» (1936) Тарский раскрыл специфику содержания и использования понятия истины в формализованных теориях, дал определение этого понятия для большой группы формализованных языков (Истина в формализованных языках). С философско-методологической точки зрения наиболее важный результат, полученный Тарским в этой работе,— доказательство внутренней ограниченности выразительных возможностей формализованных теорий (невозможность строго формальными средствами передать все то познавательное содержание, которое выражается достаточно богатыми содержательными научными теориями, подвергшимися формализации). Наряду с теоремами Гёделя о неполноте достаточно богатых формальных систем результаты Тарского стали важной вехой на пути осознания принципиальной невозможности полной формализации научного знания, способствовали углублению представлений о диалектике взаимосвязи содержательного и формального в познании. В 30-х годах философские взгляды Тарского были близки к неопозитивизму; впоследствии он выступил с критикой формализма и субъективизма в истолковании логики и математики. Основные сочинения: «Введение в логику и методологию дедуктивных наук» (1936, русский перевод 1948), «Семантическая концепция истины и основания семантики» (1944), «Логика, семантика, метаматематика» (1956), «Истина и доказательство» (1972).
Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 449.