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

[Organon]

Про Тарского написано, конечно же, гораздо больше, чем про Банаха. Поэтому не буду подробно останавливаться на его биографии, — об этом можно прочитать в Википедии и в других энциклопедиях.

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

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

Альфред Тарский был одним из ярчайших представителей Львовско-варшавской философской школы.
Мне он известен более всего как логик. Как исследователь "истины". Им была создана теория истинности; ему принадлежит так называемая "семантическая концепция истинности"; его результаты в этой области легли в основу формальной семантики.
Так случилось, что прежде чем я познакомилась с работами самого Тарского, мне довелось узнать о нем через его предшественников и последователей (или исследователей).
Альфред Тарский был учеником замечательнейшего математика-философа-феноменолога Станислава Лесьневского. Именно с него у меня началось очень и очень тесное знакомство с Львовско-варшавской философской школой.


Станислав Лесьневский

Он разработал свою триаду Прототетика-Онтология-Мереология как три теории, составляющие оснований математики. Я честно пыталась разобраться в нотации, которую он использовал в Прототетике, но не смогла... )))
Однако же, "по роду профессиональной деятельности" меня больше интересовала Мереология. Мереология Лесьневского это наука об отношении "часть-целое". По мысли Лесьневского эта его теория должна была прийти на смену теории множеств, которую в те годы до основания потряс парадокс Рассела, и многие ученые признали ее несостоятельность. По мнению Лесьневского, слабым местом теории множеств явилось постулирование пустого множества, которое он назвал "математической фикцией". Мереология была свободна от этого недостатка. Ее аксиоматика вполне обходилась без пустого множества и каких бы то ни было его аналогов. Естественно, теорию множеств мереология не заменила, но спустя больше чем полвека она нашла применение в других областях. Таких как алгебраическая лингвистика и онтологические исследования.
Однако же, рассказ я веду про Тарского.
Бертран Рассел в своё время отговорил молодого Людвига Витгенштейна от карьеры авиатора. Точно так же Станислав Лесьневский отговорил молодого Альфреда Тарского от карьеры биолога. Именно под его руководством Тарский написал диссертацию и получил степень доктора философии.
Кстати, помните, я писала про парадокс лжеца и его развенчание? Про смешивание языка и метаязыка? Это смешивание, а точнее, разделение этих двух языков было предметом пристального внимания Тарского. Потому что установление истины требует тщательнейшего разделения этих языков.
А вот насчёт "последователей" — работами Тарского я заинтересовалась не только благодаря Лесьневскому и Лукасевичу. (Ян Лукасевич — еще один ученый, которым я восхищаюсь. Один из главных представителей Львовско-варшавской школы. Он первым построил систему многозначной логики! И (если мне не изменяет память), первую бесконечнозначную логику тоже построил он).


Ян Лукасевич

Есть ещё современный финский учёный Яаакко Хинтикка.


Яаакко Хинтикка

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