Альфред (1902—88) — польский логик, математик и методолог науки, один из виднейших представителей львовско-варшавской школы; с 1938 в США. Т. принадлежит ряд значительных результатов в теории моделей, определимости,понятий, в разработке проблем разрешимости, различных разделов математической логики и оснований математики. Т.— один из основоположников логической семантики. Значительное место в творчестве Т. занимают проблемы методологии дедуктивных наук, исследования познавательных возможностей и границ применимости формальных методов (аксиоматического метода, формализации и др.) в научном познании. В основополагающей для последующего развития логической семантики и металогике работе "Понятие истины в формализованных языках" (1936) Т. раскрыл специфику содержания и использования понятия истины в формализованных теориях, дал определение этого понятия для большой группы формализованных языков (Истина в формализованных языках). С философ-ско-методологической т. зр: наиболее важный результат, полученный Т. в этой работе,— доказательство внутренней ограниченности выразительных возможностей формализованных теорий (невозможность строго формальными средствами передать все то познавательное содержание, к-рое выражается достаточно богатыми содержательными научными теориями, подвергшимися формализации). Наряду с теоремами Гёделя о неполноте достаточно богатых формальных систем результаты Т. стали важной вехой на пути осознания принципиальной невозможности полной формализации научного знания, способствовали углублению представлений о диалектике взаимосвязи содержательного и формального в познании. В 30-х гг. философские взгляды Т. были близки к неопозитивизму; впоследствии он выступил с критикой формализма и субъективизма в истолковании логики и математики. Осн. соч.: "Введение в логику и методологию дедуктивных наук" (1936, рус. пер. 1948), "Семантическая концепция истины и основания семантики" (1944), "Логика, семантика, метаматематика" (1956), "Истина и доказательство" (1972).
|
