Предыдущая страница реферата | 1  2  3  4 | Следующая страница реферата

По мнению Лесьневского можно сформулировать три различные концепции, отвечающие на поставленные вопросы. Концепция A . Эта концепция состоит в признании того, что знак "+" утверждает то же, что оборот "утверждается, что", а все выражение "+. p " - то же, что оборот "утверждается, что p ". Поэтому, если выражение " p " является предложением, то выражение "+. p " имеет тот же смысл, что и предложение "утверждается, что p ", но иной смысл, нежели предложение " p ". Аксиомами и теоремами являются полностью выражения типа "+. p ". Концепция B . Знак утверждения значит то же, что оборот "тем, что написано, утверждается", а выражение типа "+. p " может быть прочитано при помощи этого оборота так: "тем, что написано, утверждается p ". Если " p " - предложение, то выражение "+. p " не является предложением. Оно состоит из трех частей. Знак утверждения является предложением, состоящим из одного выражения, которому в естественном языке соответствует предложение "тем, что написано, утверждается"; следующей частью является точка (набор точек), а третьей - предложение " p ". Эта целостность, не будучи предложением, не может иметь того же смысла, что предложение " p ". В связи с этим аксиомами и теоремами не являются выражения типа "+. p ", но части этих выражений, следующие после знака утверждения и точек. Концепция C . Смысл выражения "+. p " такой же, как и предложения " p ", а выражения типа "+. p " можно без изменения их смысла прочитать так же, как их части. т.е. выражения типа " p ". Поэтому выражения типа "+. p ", а так же аксиомы и теоремы суть предложения системы. При этом приходится домысливать, что использование знака утверждения является для читателя указанием того, что в системе приняты те и только те предложения, которые содержат знак утверждения.

Все три решения, по мнению Лесьневского, вызывают серьезные опасения. Касательно концепции A , следует заметить, что, если выражения типа "+. p " имеют тот же смысл, что оборот "утверждается, что p ", то тогда эти предложения являются предложениями о создателях системы; множество таких предложений вообще не является системой логики, но "дедуктивной исповедью создателей теории комментариев". Относительно концепций B и C Лесьневский замечает, что, если знак утверждения должен выполнять профилактическую роль, устраняя сомнения читателя относительно того, утверждается ли некоторое символическое предложение, то Рассел и Уайтхед, поступают непоследовательно, поскольку снабжают знаком утверждения предложения, которых не утверждают в системе, как например тогда, когда знак утверждения предшествует последовательности некоторых предложений, которые не являются теоремами логики.

Далее Лесьневский занимается анализом смысла отрицания. Поводом является следующая дефиниция в "Принципах математики": ". p E q .=. u p U q ." В связи с этой дефиницией предложения типа " q . E . p U r " можно интерпретировать при помощи предложений типа (1) u q . U . p U r . Каков здесь смысл отрицания? - спрашивает Лесьневский. Рассел и Уайтхед считают, что символ " u p " представляет предложение "не- p " или " p есть ложь". Но, если выражение " p " есть предложение, то предложение типа " p есть ложь" может иметь смысл только тогда, когда " p " субъект предложения " p есть ложь" выступает в материальной суппозиции (упоминается). В конечном счете предложение " p есть ложь" является предложением о предложении " p ", значащим то же, что предложение "< p > есть ложь"; субъект этого предложения, т.е. выражение "< p >" есть имя предложения " p " и не выступает, очевидно, в материальной суппозиции. Лесьневский вменяет авторам "Принципов" чрезмерно небрежное пользование кавычками. А это приводит к тому, что читатель вынужден додумывать, что предложение " p есть ложь" и предложение "< p > есть ложь" значат одно и то же. В конечном счете из предложения (1) мы получаем два предложения, которые являются интерпретациями выражения " u q . U . p U r ":

(2) не- q . U . p U r ,

(3) " q " есть ложь. U . p U r .

Аналогичная ситуация возникает при интерпретации выражений типа " p U q ", которые Рассел и Уайтхед отождествляют с предложением " p есть истина или q есть истина". Но к " p есть истина" применимы возражения, аналогичные тем, которые были применимы к " p есть ложь", вследствие которых рассматриваемое предложение интерпретируется как "< p > есть истина". Применяя к (2) и (3) различные комбинации оценок и трактовок модусов выражений " p " и " q " в интерпретации выражения " p U q " мы получим, замечает Лесьневский, другие способы прочтения этих предложений, а прочие появляются тогда, когда мы захотим " q есть ложь" заменить предложением "не- q есть истина"; вобщем Лесьневский приводит 17 интерпретаций предложения типа " q . E . p U r " и все они могут быть на основе этой металогики считаться равнозначными.

Суммируя критические замечания, Лесьневский писал: "Общаясь более или менее систематически с работой гг. Уайтхеда и Рассела с 1914 г. лично я лишь через четыре года уразумел, что образцы т.н. теории дедукции при не обращении внимания на знаки утверждения становятся понятными и "начинают держаться вместе", если входящие в их состав предложения типа " u p ", " p U q ", " p E q " и т.д. последовательно интерпретировать при помощи соответствующих предложений типа "не- p ", " p или q ", "если p , то q " и т.д., дополненных в случае возможных недоразумений кавычками, и ни в коем случае - вопреки комментариям авторов - я не считаю допустимым прочтение указанных примеров при помощи предложений, касающихся предложений же и утверждающих какие-либо отношения, как, например, отношение "импликации" между предложениями". ([1927], S .181)

Эти размышления Лесьневского, написанные в 1927 г. и относящиеся к периоду 1917-1918 гг. привели его к ряду фундаментальных идей. Одной из важнейших было последовательное различение языка и метаязыка: предложение "если p , то q " принадлежит к языку, а предложение "если < p > истинно, то < q > истинно" - к метаязыку. Логическая система должна конструироваться в предметном языке, а комментироваться - в метаязыке; смешение языка с метаязыком приводит к недоразумениям и неясностям. Выяснивши для себя ситуацию с предметным языком и языком комментариев к нему (метаязыком) Лесьневский "ощутил доверие" к символическому языку, к которому ранее относился скептически.

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

Итак, результатами критики Лесьневским "Принципов математики" оказались два важных положения: во-первых, разделение языка и метаязыка и, во-вторых, убеждение в экстенсиональности всей логики.

[29] См. напр.: Смирнов В.А. Логические методы анализа научного знания.-М., 1987.

[30] Lesniewski S. Przyczynek do analizy zdan egzystencjalnych — PF, 1911, r.14 /z. 3 , s.329-345; Lesniewski S. Proba dowodu ontologicznej zasady sprzecznosci — PF,1912, r.15 /z.2, s.202-226.; Lesniewski S. O podstawach ontologii. — PF, 1921, r.25/1922 ,z.4 s.561.

[31] Lesniewski S. O podstawach matematyki — PF, 1931, r.34/z.2-3. S.160.

[32] Lesniewski S. O podstawach matematyki.//PF, 1927, r.30/z.2-3. S .165.

[33] Разногласия проявлялись в вопросе существования предметов общих представлений. Перед I мировой войной заинтересованность общей теорией предметов среди учеников Твардовского была обычным явлением. Она относилась не столько к онтологии, сколько возрождала в новой версии спор реализма с номинализмом в вопросе существования общих предметов (Лукасевич contra Лесьневский, взгляды которого в межвоенный период продолжал развивать Котарбинский).

[34] Lesniewski S. O podstawach matematyki — PF, 1931, r.34/z.2-3. S .154.

[35] Ibid , S.156.

[36] В дальнейшем употребление термина в суждении будет обозначаться подчеркиванием, а упоминание - закавычиванием.

[37] Lesniewski S. O podstawach matematyki.//PF, 1927, r.30/z.2-3. S . S.183.

[38] Ст. Лесьневский. Логические рассуждения. С.-Пб, 1913. С.4.

[39] Там же, с.58.

[40] Там же, с.68.

Рекомендуем скачать другие рефераты по теме: реферат война, решебник по русскому языку класс.

Предыдущая страница реферата | 1  2  3  4 | Следующая страница реферата