Сайт Лотоса » на главную страницу
домойFacebookTwitter

Энциклопедия
современной эзотерики

начало > АльфредТарский ...

А|Б|В|Г|Д|Е|Ж|З|И|Й|К|Л|М|Н|О|П|Р|С|Т|У|Ф|Х|Ц|Ч|Ш|Щ|Э|Ю|Я

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

(1901—1983) — пол. логик и математик. Изучал математику и философию в Варшаве в 1919—1923; его учителями были логики С. Лесьневский и Я. Лукасевич, математик В. Серпиньский и философ Т. Котарбиньский. В 1925—1939 Т. преподавал логику в Варшавском ун-те, а после Второй мировой войны был проф. математики Калифорнийского ун-та в Беркли.


Т. — один из выдающихся логиков всех времен. Уже студентом он получил первые интересные результаты по теории упорядоченных множеств. В докторской диссертации, написанной под руководством Лесьневского, он существенно усовершенствовал прототетику (расширенное исчисление высказываний) Лесьневского. В 1920-е гг. Т., занявшийся основаниями математики, предложил несколько эквивалентных формулировок аксиомы выбора теории множеств, сформулировал новое определение конечности, совместно с С. Банахом доказал известный парадокс о разбиении шара (следствие аксиомы выбора), разработал методы элиминации кванторов и доказал, что элементарная арифметика действительных чисел является полной и разрешимой теорией. В 1933 опубликовал известную монографию о понятии истины в языках дедуктивных наук. В этой работе понятие истины формализовалось на основе идеи, что «А» истинно, если и только если «А». Т. считал эту идею принадлежащей Аристотелю, а свою семантическую концепцию истины истолковывал как современное выражение т.н. классического определения этого понятия. Т. показал, что удовлетворительное определение истины требует тщательного разграничения языка и метаязыка, т.к. в противном случае возникает «лжеца» парадокс. В этой же работе Т. доказал утверждение о неопределимости истины в системах, содержащих арифметику натуральных чисел: множество арифметических законов неопределимо арифметически. Результаты Т. стали основой формальной семантики и теории моделей. Они оказались также чрезвычайно важными для развития логики, философии языка и философии науки. В послевоенные годы Т. получил целый ряд основополагающих результатов в теории моделей, топологии и алгебре.


Т. неохотно высказывался на общие филос. темы, несмотря на то, что его позиция по многим проблемам была хорошо продуманной. Он одобрительно относился к реизму Котарбиньского и эпистомелогическому эмпиризму. Эти симпатии находились в контрасте с методологической позицией Т., который в области математической логики использовал все допустимые методы, включая и те, которые, как принято думать, имеют своим следствием платонизм. Т., однако, полагал, что практике математических исследований (логику он считал частью математики) нельзя навязывать абстрактные филос. ограничения.


Введение в логику и методологию дедуктивных наук. М., 1948 (переизд. 2000); Logic, Semantics, Metamathematics. Oxford, 1956; Collected Papers. Basel, 1986.
Sixty Years of the Semantic Definition of Truth. Krakow, 1994; Alfred Tarski and the Vienna Circle. Dordrecht, 1999.


Я. Воленьский (Краков)


Источник: «Философский энциклопедический словарь".
Используемые сокращения.


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


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


Источник: «Новейший философский словарь".


Страницы, ссылающиеся на данную: НФСПолноеСодержание
НФСТ
Т
ФЭСПолноеСодержание
ФЭСТ

Энциклопедия Современной Эзотерики: к началу


 

 

 


Новости | Библиотека Лотоса | Почтовая рассылка | Журнал «Эзотера» | Форумы Лотоса | Календарь Событий | Ссылки


Лотос Давайте обсуждать и договариваться 1999-2019
Сайт Лотоса. Системы Развития Человека. Современная Эзотерика. И вот мы здесь :)
| Правообладателям
Модное: Твиттер Фейсбук Вконтакте Живой Журнал
Рейтинг@Mail.ru Rambler's Top100