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

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

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

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

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

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

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

Альфред

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

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


Бине Альфред

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


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

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

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


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

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


1902

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

1902  


1902

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

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


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

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

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


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

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

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


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

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

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


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

Из книги автора

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