ТАРСКИЙ АЛЬФРЕД

Tarski), Альфред (р. 14 янв. 1902) – логик и математик, один из наиболее значит. представителей львовско-варшавской школы. Философские и логич. взгляды Т. сложились под влиянием Котарбиньского и Лукасевича. С 1939 Т. живет в США и ведет исследовательскую и педагогич. работу сначала в Гарвардском ун-те и Ин-те высших исследований (Принстон), а затем в Калифорнийском ун-те в Беркли. Т. был президентом Международного союза истории и философии науки и президентом Ассоциации символич. логики; он является членом Нидерландской королевской академии наук и иск-в. Т. принадлежат работы во мн. разделах математической логики и оснований математики, а именно: в теории множеств и булевой алгебре, в теории моделей и элементарных теориях, в теории отношений, в алгебрах с замыканием, в теории логик с формулами бесконечной длины, в многозначных логиках, в теории цилиндрич. алгебр и т.д. Значителен вклад Т. в развитие методов решения разрешения проблем и особенно в теорию моделей, а также в теорию определимости понятий и в алгебраич. методы изучения предикатов исчисления. Т. является основоположником формальной семантики, к-рая фактически возникает после его работы "Понятие истины в формализованных языках" (см. Семантика в логике, Логическая семантика, Логическая истинность). Эта работа, выполненная им независимо от работ К. Геделя, примыкает к важному кругу результатов о неполноте (см. Полнота) достаточно богатых формализованных языков. Т. принадлежат также работы по общим свойствам дедуктивных теорий, названным им методологией дедуктивных наук (см. Металогика). Работы Т. по семантике и металогике оказали большое влияние на развитие семиотики и послужили одним из источников распространения идеи о необходимости изучать содержат, теории посредством их формализов. аппроксимаций. Соч.: The semantic conception ot truth and the foundations of semantics, "Philosophy and Phenomenological Research", 1944, v. 4, No 3; The algebra of topology. "Annals of Mathematics", 1944, v. 45, No 1 (совм. с J. С. С. McKinsey); On closed elements in closure algebras, там же, 1946, v. 47, No 1 (совм. с J. С. С. McKinsey); Some general properties of cylondric algebras. Preliminary report, "Bulletin of the American Mathematical Society", 1952, v. 58, No 1 (совм. с F. B. Thompson); Some notions and methods on the borderline of algebra and metamathematics, в кн. : Proceedings of the International Congress of Mathematicians. Camb. (Mass.), USA. 1950, v. 1, Providence, 1952; Undecidable theories, N. Y., 1954 (соавтор); Logic, semantics, metamathematics, Oxf., 1956; Contributions to the theory of models, "J. Symbolic Logic", 1956, No 21; Notions of proper models for set theories, "Bulletin of the American Mathematical Society", 1956, v. 62, No 6; Remarks on predicate logic with infinitely long expressions, "Colloquium Mathematicum", 1958, v. 6; в рус. пер. – Введение в логику и методологию дедуктивных наук, М., 1948. В. Финн. Москва.