TAPCKИЙ (Tarski) Альфред (1902-1984)

TAPCKИЙ (Tarski) Альфред (1902-1984)

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

Ю.В. Баранчик, А.А. Грицанов

Поделитесь на страничке

Следующая глава >

Похожие главы из других книг

1902

Из книги Историческое описание одежды и вооружения российских войск. Том 14 автора Висковатов Александр Васильевич

1902  


1902

Из книги ХХ век Энциклопедия изобретений автора Рылёв Юрий Иосифович

1902 АВТОМОБИЛЬ ГРУЗОВОЙ — ТРЕЙЛЕР, «Мармон», появился в США. Он предназначался для дальних перевозок и имел дополнительную кабину для отдыха.АВТОМОБИЛЬНАЯ СВЕЧА ЗАЖИГАНИЯ, изобрел и начал изготовлять немецкий электротехник и предприниматель Роберт А. Бош.АВТОМОБИЛЬНОЕ


Филипп и Альфред

Из книги Великие аферы XX века. Том 1 автора Голубицкий Сергей Михайлович

Филипп и Альфред После кончины Международной Компании остатки ее имущества перешли в управление временной Переходной Компании. Она даже попыталась поковыряться в земле в 1894 году, после чего, по непонятным причинам, строительство впало в продолжительный летаргический


Альфред

Из книги Все монархи мира. Западная Европа автора Рыжов Константин Владиславович

Альфред См. Эльфред


Class of 1984 Выпуск 1984 года[47]

Из книги Авторская энциклопедия фильмов. Том I автора Лурселль Жак

Class of 1984 Выпуск 1984 года[47] 1982 — США (96 мин)? Произв. UFD (Артур Кент)? Реж. МАРК ЛЕСТЕР· Сцен. Марк Лестер, Джон Секстон, Том Холланд по сюжету Тома Холланда· Опер. Альберт Данк (цв.)· Муз. Лало Шифрин· В ролях Перри Кинг (Энди Моррис), Тимоти Ван Пэттен (Питер Стегмен), Стефан


Альфред Хайош

Из книги 100 великих олимпийских чемпионов автора Малов Владимир Игоревич

Альфред Хайош (1878–1955)Венгерский пловец. Чемпион игр I Олимпиады в Афинах (Греция), 1896 годЕсли человек талантлив, нередко он талантлив сразу во многих областях. Эту истину не раз доводилось подтверждать и прославленным олимпийским чемпионам. Один из ярких примеров — венгр


Альфред Ортэр

Из книги 100 великих олимпийских чемпионов автора Малов Владимир Игоревич

Альфред Ортэр (1936–2007)Американский легкоатлет. Чемпион игр XVI Олимпиады в Мельбурне (Австралия), 1956 год. Чемпион игр XVII Олимпиады в Риме (Италия), 1960 год. Чемпион игр XVIII Олимпиады в Токио (Япония), 1964 год. Чемпион Игр XIX Олимпиады в Мехико (Мексика), 1968 годМетание диска — один из


Бине Альфред

Из книги Большая Советская Энциклопедия (БИ) автора БСЭ


Гугенберг Альфред

Из книги Большая Советская Энциклопедия (ГУ) автора БСЭ

Гугенберг Альфред Гугенберг (Hugenberg) Альфред (19.6.1865, Ганновер, — 12.3.1951, Кюкенбрух, близ Ринтельна), германский политический деятель, крупный капиталист. Один из основателей Пангерманского союза (1891). В 1909—18 генеральный директор фирмы Круппа. В 1916 создал собственный концерн,


Жарри Альфред

Из книги Большая Советская Энциклопедия (ЖА) автора БСЭ