Про Тарского написано, конечно же, гораздо больше, чем про Банаха. Поэтому не буду подробно останавливаться на его биографии, — об этом можно прочитать в Википедии и в других энциклопедиях.
Альфред Тарский и не только...
Альфред Тарский
Альфред Тарский был одним из ярчайших представителей Львовско-варшавской философской школы.
Мне он известен более всего как логик. Как исследователь "истины". Им была создана теория истинности; ему принадлежит так называемая "семантическая концепция истинности"; его результаты в этой области легли в основу формальной семантики.
Так случилось, что прежде чем я познакомилась с работами самого Тарского, мне довелось узнать о нем через его предшественников и последователей (или исследователей).
Альфред Тарский был учеником замечательнейшего математика-философа-феноменолога Станислава Лесьневского. Именно с него у меня началось очень и очень тесное знакомство с Львовско-варшавской философской школой.
Станислав Лесьневский
Он разработал свою триаду Прототетика-Онтология-Мереология как три теории, составляющие оснований математики. Я честно пыталась разобраться в нотации, которую он использовал в Прототетике, но не смогла... )))
Однако же, "по роду профессиональной деятельности" меня больше интересовала Мереология. Мереология Лесьневского это наука об отношении "часть-целое". По мысли Лесьневского эта его теория должна была прийти на смену теории множеств, которую в те годы до основания потряс парадокс Рассела, и многие ученые признали ее несостоятельность. По мнению Лесьневского, слабым местом теории множеств явилось постулирование пустого множества, которое он назвал "математической фикцией". Мереология была свободна от этого недостатка. Ее аксиоматика вполне обходилась без пустого множества и каких бы то ни было его аналогов. Естественно, теорию множеств мереология не заменила, но спустя больше чем полвека она нашла применение в других областях. Таких как алгебраическая лингвистика и онтологические исследования.
Однако же, рассказ я веду про Тарского.
Бертран Рассел в своё время отговорил молодого Людвига Витгенштейна от карьеры авиатора. Точно так же Станислав Лесьневский отговорил молодого Альфреда Тарского от карьеры биолога. Именно под его руководством Тарский написал диссертацию и получил степень доктора философии.
Кстати, помните, я писала про парадокс лжеца и его развенчание? Про смешивание языка и метаязыка? Это смешивание, а точнее, разделение этих двух языков было предметом пристального внимания Тарского. Потому что установление истины требует тщательнейшего разделения этих языков.
А вот насчёт "последователей" — работами Тарского я заинтересовалась не только благодаря Лесьневскому и Лукасевичу. (Ян Лукасевич — еще один ученый, которым я восхищаюсь. Один из главных представителей Львовско-варшавской школы. Он первым построил систему многозначной логики! И (если мне не изменяет память), первую бесконечнозначную логику тоже построил он).
Ян Лукасевич
Есть ещё современный финский учёный Яаакко Хинтикка.
Яаакко Хинтикка
Именно после его работы "Истина после Тарского" мне очень захотелось почитать и самого Тарского.
Вот.
В общем, извините за сумбур. Просто тема эта (логические исследования львовско-варшавской школы) чрезвычайно обширна и мною очень любима, хоть и сложна, и понимаю я там далеко не всё. И как об этом рассказать, ума не приложу...
@темы:
Органон,
Amicus Plato,
Люди
-
-
08.11.2008 в 17:31Я даже слов таких не слышала(((.. (ну, кроме онтологии)
А в связи с чем ты вообще занималасьсследованиями львовско-варшавской школы
-
-
09.11.2008 в 18:12я писала диссертацию по семантическим сетям (это такой аппарат для представления знаний о предметной области). А эта область очень близко смыкается с формальными онтологиями. А формальные онтологии, которые сейчас очень бурно развиваются, имеют свои корни в феноменологии и в философской онтологии. А вот этим как раз (плюс логикой) и занимались в Львовско-варшавской школе. Нынешний онтологический монстр Гуарино сплошь и рядом цитирует Лесьневского.
Ну, короче, сильно кружным путем я до этого добиралась)))
Прототетика-Онтология-Мереология
Ну это на самом деле беда небольшая. Прототетика, думаю, никак себе места под солнцем не нашла... Или я про это ничего не знаю. А вот мереология... Отношением партономии занимаются много, но в довольно специфических областях.
Если хочешь, могу тебе еще своих презенташек и статей про это переслать.
Они старые, правда, но думаю за это время мало что изменилось)))))
-
-
09.11.2008 в 19:30Хочу, конечно)) Хоть представление обо всем этом иметь..
-
-
09.11.2008 в 20:08слушай, а по-моему про Лесьневского было что-то и в той презенташке, что я тебе посылала (большей из двух)... Я про него таки рассказывала на конференции)))
Но более обстоятельные статьи у меня раньше были)
Вышлю ))
Только вот лекцию допишу...
-
-
09.11.2008 в 20:12Спасибо заранее))
Трудись!
-
-
09.11.2008 в 20:19а пишу про матожидание и дисперсию)))
одно удовольствие)
-
-
20.05.2011 в 21:31Вот только все их работы на русском языке найти проблематично. (Уже насколько месяцев ищу "Об основоположениях онтологии" Лесьневского...)