Определение слова «ТАРСКИЙ»

Большой энциклопедический словарь:

ТАРСКИЙ (Tarski) Альфред (1902-83) — польский и американский логик и математик, один из главных представителей львовско-варшавской школы. С 1939 в США. Труды по логико-алгебраической теории моделей, методам изучения исчисления предикатов. Основоположник логической семантики как дедуктивной теории.

Новейший философский словарь:

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

Новая философская энциклопедия:

ТАРСКИЙ (Tarski) Альфред – (14 января 1902, Варшава – 27 октября 1983, Беркли) – представитель Львовско-Варшавской школы, польский математик и философ. Окончил Варшавский университет, с 1926 преподавал в том же университете, в 1939 эмигрировал в США, преподавал в Гарвардском университете, Принстонском интитуте высших исследований, с 1946 – профессор Калифорнийского университета (Беркли). Философские взгляды Тарского сформировались под влиянием С.Лесьневского [ЛЕСЬНЕВСКИЙ], Я.Лукасевича и Т.Котарбиньского [КОТАРБИНЬСКИЙ]. В начале 20-х гг. получил ряд результатов в области пропозициональной логики, в частности аксиоматическую формулировку импликативного фрагмента классической логики высказываний [ЛОГИКА ВЫСКАЗЫВАНИЙ]. В 1925–29 Тарский дал точное определение дедуктивной системы и доказал ряд теорем, устанавливающих свойства дедуктивных систем. В сер. 30-х гг. Тарский разработал исчисление дедуктивных теорий. К числу метаматематических результатов Тарского относятся также разработка метода элиминации кванторов, доказательство разрешимости элементарной теории действительных чисел и элементарной геометрии. Тарский внес значительный вклад в разработку моделей теории [МОДЕЛЕЙ ТЕОРИЯ](обобщение теоремы Лёвенгейма–Скулема) и в теорию определимости [ОПРЕДЕЛИМОСТЬ]понятий. В историю математики Тарский вошел как основатель т.н. «западной» (калифорнийской) школы теории моделей.
Наиболее известным результатом Тарского является разработанная им семантическая концепция истинности (см. Логическая семантика [ЛОГИЧЕСКАЯ СЕМАНТИКА]), выдвинувшая его в число ведущих логиков и философов 20 в. Тарский показал, что для любого из языков мы можем определить предикат истинности, который доказуемо применим ко всем истинным предложениям языка, и, более того, что мы можем определить этот предикат, используя достаточно простые синтаксические и теоретико-множественные понятия. Философское значение разработанной Тарским концепции заключается в установлении границ и познавательной ценности формализации, в уточнении языковых выражений, удовлетворяющих классической (аристотелевской) концепции истинности. Результаты Тарского оказали влияние на формирование известных философско-методологических теорий, предложенных в 30–50-х гг., в частности на концепции К.Айдукевича [АЙДУКЕВИЧ], К.Поппера, Р.Карнапа. В логике эти методы Тарского, так же как его теоретико-модельная техника, стали частью современного логического аппарата, их изложение можно встретить на страницах практически каждой современной книги по логике.
Сочинения:
1. Pojcie prawdy w jzykach nauk dedukcyjnych. Warsz., 1933;
2. Введение в логику и методологию дедуктивных наук. М., 1948;
3. Undecidable theories (with A.Mostowski and A.Robinson). Amsterdam, 1953;
4. Истина и доказательство. – «ВФ», 1972, № 8;
5. The collected works of Alfred Tarski, University of California. Berkeley, 1981.
Литература:
1. Echmendy J. Tarski on Truth and Logical Consequence. – «Journal of Symbolic Logic», 1988, v. 53.
В.Л.Васюков

Научно-технический словарь:

ТАРСКИЙ (Tarski) Альфред (1902-83), американский математик и философ, уроженец Польши. Известен тем, что разработал семантический метод, применяемый в метаматематике (раздел математической логики.) Опубликовал «Введение в логику и методологию дедуктивных наук» (1936, рус.пер.М., 1948) и «Логика, семантика, метаматематика» (1956).

Смотреть другие определения →