Современная западная философия

А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ч Ш Э Ю Я A

ТАРСКИЙ


ТАРСКИЙ, (Tarski) Альфред (1902-1984) - польск. логик и математик. Его взгляды сформировались в рамках <<Львовско-варшавской школы>>, на них повлияли идеи <<Котарбиньского>>, <<Лукасевича>> и <<Лесьневского>>. С 1926 преподавал в Варшавском ун-те. В 1939 эмигрировал в США, с 1942 работал в Гарвардском ун-те и Институте высших исследований в Принстоне, с 1946 проф. математики Калифорнийского ун-та. Т. был президентом Международного союза истории и философии науки, президентом Ассоциации символической логики, со-редактором крупнейшего логического журнала «The Journal of Symbolic Logic». Наиболее значителен вклад Т. в теорию множеств, алгебру, теорию моделей, в различные разделы математической логики, признание получили его работы, посвященные основаниям математики. Т. считают основоположником формальной <<семантики>>. Им дано ставшее классическим <<семантическое определение истины>> для большой группы формализованных языков. Он является также автором исследований по общим свойствам дедуктивных теорий. Труды Т. по логической семантике, металогике и методологии дедуктивных наук открыли принципиально новые возможности применения строгих формальных методов в логико-методологическом анализе многих проблем.
Введение в логику и методологию дедуктивных наук. М., 1948; Истина и доказательство // Вопросы философии. 1972, №8; Logic, Semantic, Metamathematic. Oxford, 1956.
Вы можете поставить ссылку на это слово:

будет выглядеть так: ТАРСКИЙ