Тарский Альфред
       > НА ГЛАВНУЮ > БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ > УКАЗАТЕЛЬ Т >

ссылка на XPOHOC

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

1902—1988

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


XPOHOC
ВВЕДЕНИЕ В ПРОЕКТ
ФОРУМ ХРОНОСА
НОВОСТИ ХРОНОСА
БИБЛИОТЕКА ХРОНОСА
ИСТОРИЧЕСКИЕ ИСТОЧНИКИ
БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
ГЕНЕАЛОГИЧЕСКИЕ ТАБЛИЦЫ
СТРАНЫ И ГОСУДАРСТВА
ЭТНОНИМЫ
РЕЛИГИИ МИРА
СТАТЬИ НА ИСТОРИЧЕСКИЕ ТЕМЫ
МЕТОДИКА ПРЕПОДАВАНИЯ
КАРТА САЙТА
АВТОРЫ ХРОНОСА

Родственные проекты:
РУМЯНЦЕВСКИЙ МУЗЕЙ
ДОКУМЕНТЫ XX ВЕКА
ИСТОРИЧЕСКАЯ ГЕОГРАФИЯ
ПРАВИТЕЛИ МИРА
ВОЙНА 1812 ГОДА
ПЕРВАЯ МИРОВАЯ
СЛАВЯНСТВО
ЭТНОЦИКЛОПЕДИЯ
АПСУАРА
РУССКОЕ ПОЛЕ
1937-й и другие годы

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

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

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

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

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

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


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

 

 

 

 

 

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



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

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

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