Тарский Альфред

1902—1988

БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ

XPOHOC

ВВЕДЕНИЕ В ПРОЕКТ

ФОРУМ ХРОНОСА

НОВОСТИ ХРОНОСА

БИБЛИОТЕКА ХРОНОСА

ИСТОРИЧЕСКИЕ ИСТОЧНИКИ

БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ

ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ

ГЕНЕАЛОГИЧЕСКИЕ ТАБЛИЦЫ

СТРАНЫ И ГОСУДАРСТВА

ЭТНОНИМЫ

РЕЛИГИИ МИРА

СТАТЬИ НА ИСТОРИЧЕСКИЕ ТЕМЫ

МЕТОДИКА ПРЕПОДАВАНИЯ

КАРТА САЙТА

АВТОРЫ ХРОНОСА

Родственные проекты:

РУМЯНЦЕВСКИЙ МУЗЕЙ

ДОКУМЕНТЫ XX ВЕКА

ИСТОРИЧЕСКАЯ ГЕОГРАФИЯ

ПРАВИТЕЛИ МИРА

ВОЙНА 1812 ГОДА

ПЕРВАЯ МИРОВАЯ

СЛАВЯНСТВО

ЭТНОЦИКЛОПЕДИЯ

АПСУАРА

РУССКОЕ ПОЛЕ

Альфред Тарский

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

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

Работы Тарского по семантике и металогике оказали большое влияние на развитие семиотики и послужили образцом применения формальных методов для анализа содержательных проблем и теорий. (См. также Аналитическая философия.)

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

Новейший философский словарь. Сост. Грицанов А.А. Минск, 1998.

Вернуться на главную страницу Тарского

ХРОНОС: ВСЕМИРНАЯ ИСТОРИЯ В ИНТЕРНЕТЕ

ХРОНОС существует с 20 января 2000 года,

Редактор Вячеслав Румянцев

При цитировании давайте ссылку на ХРОНОС