ТАРСКИЙ (Tarski) Альфред

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

Вывод Т. свелся к следующему: для произвольного р, "р" являет собой истинное высказывание, если и только если последнее (р) имеет место. (По схеме Т., р — это словосочетание предметного языка, характеризующее определенное положение вещей, а "р" — сочетание слов "метаязыка", конституирующее предложение.) Разводя "кавычковое название" и собственно название, заключенное в кавычки, Т. пришел к выводу, что "для произвольного х, х есть истинное высказывание, если и только если для некоторого р имеет место тождественность лги "р" и притом дано р". Т. подчеркивал, что понятия "ложно" и "истинно" допустимы к употреблению исключительно на уровне метаязыка, но не уровне языка предметного. Т. также принадлежит ряд исследований в области методологии дедуктивных наук. Работы Т. по семантике и металогике оказали большое влияние на развитие семиотики и послужили образцом применения формальных методов для анализа содержательных проблем и теорий. (См. также Аналитическая философия.)

А.А. Грицанов