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