Тарский (Тarski) Альфред
(1901-1983) - пол. Логик и математик. Изучал математику и философию в Варшаве в 1919-1923. Его учителями были логики С. Лесьневский и Я. Лукасевич, математик В. Серпиньский и философ Т. Котарбиньский. В 1925-1939 Т. Преподавал логику в Варшавском ун-те, а после Второй мировой войны был проф. Математики Калифорнийского ун-та в Беркли.Т. - один из выдающихся логиков всех времен. Уже студентом он получил первые интересные результаты по теории упорядоченных множеств. В докторской диссертации, написанной под руководством Лесьневского, он существенно усовершенствовал прототетику (расширенное исчисление высказываний) Лесьневского. В 1920-е гг. Т., занявшийся основаниями математики, предложил несколько эквивалентных формулировок аксиомы выбора теории множеств, сформулировал новое определение конечности, совместно с С.
Банахом доказал известный парадокс о разбиении шара (следствие аксиомы выбора), разработал методы элиминации кванторов и доказал, что элементарная арифметика действительных чисел является полной и разрешимой теорией. В 1933 опубликовал известную монографию о понятии истины в языках дедуктивных наук. В этой работе понятие истины формализовалось на основе идеи, что "А" истинно, если и только если "А". Т. Считал эту идею принадлежащей Аристотелю, а свою семантическую концепцию истины истолковывал как современное выражение т.н. Классического определения этого понятия. Т. Показал, что удовлетворительное определение истины требует тщательного разграничения языка и метаязыка, т.к. В противном случае возникает "лжеца" парадокс.
В этой же работе Т. Доказал утверждение о неопределимости истины в системах, содержащих арифметику натуральных чисел. Множество арифметических законов неопределимо арифметически. Результаты Т. Стали основой формальной семантики и теории моделей. Они оказались также чрезвычайно важными для развития логики, философии языка и философии науки. В послевоенные годы Т. Получил целый ряд основополагающих результатов в теории моделей, топологии и алгебре.Т. Неохотно высказывался на общие филос. Темы, несмотря на то, что его позиция по многим проблемам была хорошо продуманной. Он одобрительно относился к реизму Котарбиньского и эпистомелогическому эмпиризму. Эти симпатии находились в контрасте с методологической позицией Т., который в области математической логики использовал все допустимые методы, включая и те, которые, как принято думать, имеют своим следствием платонизм.
Т., однако, полагал, что практике математических исследований (логику он считал частью математики) нельзя навязывать абстрактные филос. Ограничения.Введение в логику и методологию дедуктивных наук. М., 1948 (переизд. 2000). Logic, Semantics, Metamathematics. Oxford, 1956. Collected Papers. Basel, 1986. Sixty Years of the Semantic Definition of Truth. Krakow, 1994. Alfred Tarski and the Vienna Circle. Dordrecht, 1999.Я. Воленьский (Краков).
Дополнительный поиск Тарский (Тarski) Альфред
На нашем сайте Вы найдете значение "Тарский (Тarski) Альфред" в словаре Философский словарь, подробное описание, примеры использования, словосочетания с выражением Тарский (Тarski) Альфред, различные варианты толкований, скрытый смысл.
Первая буква "Т". Общая длина 24 символа