Тарский - это...

ТАРСКИЙ (Tarski) Альфред (1902-1984) - польско-американский логик и математик, один из главных представителей Львовско-варшавской школы Доцент Варшавского университета (1926) С 1939 в США Сотрудник Гарвардского университета и Института высших исследований (Прин-стон) - с 1942 Профессор математики Калифорнийского университета (1946) Президент Международного союза истории и философии науки Президент Ассоциации символической логики Соредактор известнейшего журнала по логике "The Journal of Symbolic Logic" Внес значительный вклад в разработку методов решения проблемы разрешения, в теорию моделей, в теорию определимости понятий, в развитие алгебраических методов изучения исчисления предикатов, в теорию логик с формулами бесконечной длины, в многозначную логику и другие разделы математической логики и оснований математики Основоположник формальной семантики ("Семантическая концепция истины и основания семантики", 1944) В работе "Понятие истины в формализованных языках" (1934) Т дал определение классического понятия истины для большой группы формализованных языков, разработав теорию моделей Уточняя термин истины и семантического (а не синтаксического) понятия логического следствия, Т решал проблему соотношения множества объектов и совокупности формализованых языков Истину Т стремился трактовать в контексте ее понимания как соответствия предложения и "факта", те сопряженности чувственной верификации и формальной точности правил языкового словоупотребления Вывод Т свелся к следующему: для произвольного p, "р" являет собой истинное высказывание, если и только если последнее (р) имеет место (По схеме Т, р - это словосочетание предметного языка, характеризующее определенное положение вещей, а "р" - сочетание слов "метаязыка", конституирующее предложение) Разводя "кавычко-вое название" и собственно название, заключенное в кавычки, Т пришел к выводу, что "для произвольного x, х есть истинное высказывание, если и только если для некоторого р имеет место тождественность х и "р" и притом дано р" Т подчеркивал, что понятия "ложно" и "истинно" допустимы к употреблению исключительно на уровне метаязыка, но не уровне языка предметного Т также принадлежит ряд исследований в области методологии дедуктивных наук Работы Т по семантике и металогике ("Логика, семантика, метаматематика", 1956) оказали большое влияние на развитие семиотики и послужили образцом применения формальных методов для анализа содержательных проблем и теорий (см также: АНАЛИТИЧЕСКАЯ ФИЛОСОФИЯ, ПОЗИТИВИЗМ)