Вклад С. Лесневского в формирование семантики

• Автор: Агапов, Евгений Петрович
• Шифр специальности: 09.00.07
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Москва
• Количество страниц: 156 c. : ил

СОДЕРЖАНИЕ
I

Глава I. Исследования по логине и основаниям математики

I. Анализ антиномии Рассела II

2. Мереология

3. Онтология и прототетика

Глава II. Теория семантических категорий

I. Идейные предпосылки

2. Концепция С.Лесневского

3. Приложения

Глава III. Теория истины

I. Ранние взгляды С.Лесневского
2. Анализ семантических антиномий
3. Исследования А.Тарского
Заключение
Литература


В статье Подчинн ли себе класс классов, не подчиннных себе С.Лесневский дал свой анализ антиномии Рассела,, о которой он узнал из книги Я. Лукасевича О принципе противоречия у Аристотеля. С этой статьй была непосредственно связана его работа Основания общей теории множеств, первая часть которой вышла в Москве в г. Задуманная как первое звено в длинном ряду работ1, но так и оставшись незавершнной, она, однако, ознаменовала собой окончательный переход С. Лесневского к проблемам оснований математики. После того как в Варшаве был вновь открыт университет, туда переехала группа львовских философов во главе с Я. Лукасевичем,. Кроме Я. Лукасевича,. Т.Котарбиньский и С. Лесневский,, ставший в г. Варшавского университета и остававшийся им в течение двадцати лет. Работая в Варшаве,. С.Лесневский сосредоточился прежде всего на исследовании проблем оснований математики, которые стали особенно актуальными в связи с обнаружением логических антиномий. В начале х годов он сформулировал в общих чертах свою систему оснований математики, которая состояла из трх дедуктивных теорий, названных им мереологией, онтологией и прототетикой. С.Лесневский занимался главным образом усовершенствованием этой системы,, оставив своим ученикам детальную разработку фундаментальных семантических идей, высказанных им в его лекциях в Варшавском университете. В течение десяти лег С. Лесневский не публиковал результаты, полученные им в области оснований математики. Это затрудняло публикацию его новых результатов,, а также результатов других авторов,. Для того чтобы покончить с той мучительной ситуацией,, в которой он находился, С. Лесневский в г. Об основаниях математики. Публикация этой работы продолжалась в журнале РггеогцЫ Г1 Лсгпу в течение четырх лет, но тан и не была завершена. Дальнейшему рассмотрению мереологии, с которой в основном имели дело подготовленные к печати разделы его работы Об основаниях математики,. С.Лесневский решил предпослать изложение своих логических теорий, Т. В г. Основные черты новой системы оснований математики,, в котором был дан исторический очерк прототетики,, а также сформулированы е директивы,. Продолжение этой статьи так и не появилось в печати,, поскольку С. Лесневский по личным соображениям забрал его ИЗ редакции журнала ГчпЫатепа МсхЬЬстаИсае. В Г. С.Лесневский опубликовал статью Об основаниях онтологии, которая содержала аксиоматику,, а также директивы второй его логической теории. В статье Об определениях в так называемой теории дедукции, опубликованной в г. Я.Лукасевича, записанной в терминах импликации и отрицания. Незадолго до своей смерти С. Умер он в Варшаве мая г. Своими работами, лекциями и личными контактами С. Яесневский оказал большое влияние на развитие логики в Польше. Он воспитал таких блестящих учеников,, как М. Вайсберг Ч. Леевский А. Линденбаум Е. Слупецкий Б. Собоциньский и А. Тарский. Влияние С. Лесневского на развитие логики не ограничивалось,, однако,. Польшей хотя за е пределами он был менее известен. Действительно, С. Лесневский принимал непосредственное участие в формировании польской школы, которая вышла на передовые позиции в мировой логике. Многие выдающиеся представители этой школы, например А. Тарский,, отталкивались от его идей, сделав их достоянием научной общественности. Поэтому С. Лесневского по праву ставят в один ряд с такими корифеями современной логики, как Б. Рассел А. Уайтхед, Л. Хвистек К. Айдукевич,. А.Тарский и др. В развитии современной логики большую роль сыграли антиномии. XIX начале XX в. Антиномии или парадоксы,, как их часто называют1 представляют собой рассуждения,. Поэтому обнаружение антиномий приводит1 к переоценке используемых способов рассуждений стимулируя, таким образом, логические исследования. Именно так произошло на рубеже двух последних веков когда не только были обнаружены новые антиномии но и осознана их связь с известными уже антиномиями. В г. Ф.Рамсей подразделил все известные тогда антиномии на две группы названные им группой Л и группой В см.