blinov_a_ladov_v_petyaksheva_n_surovtsev_v_shramko_ya_analit

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

1)конвенции, что слово "предмет" обладает символической функцией;

2)определения сказуемого;

3)конвенции об установлении истинности предложения.

Подводя итог сказанному о ранних работах Лесьневского, можно констатировать: 1) Принимаемое им предложение является номинальным суждением вида <А b>. Использование понятия коннотации, прежде всего для сказуемого b в функции употребления приводит к путанице используемого категориального аппарата, поскольку единственное отличие имен определяется синтаксически, их местом в предложении. 2) "Доказательство" предложения основывается на конвенциях и определениях, применяемых как к подлежащему, так и сказуемому. В конечном счете центр тяжести "доказательства" смещается на сказуемое, регулируемое функционально конвенциями. Определения же относятся к подлежащему с единственной целью выяснения смысла термина и ничего не говорят о его существовании. Но поскольку "доказательство" основывается на уже истинных предложениях, в которых сказуемое занимает место подлежащего, то определения относятся и к термину для сказуемого доказываемого предложения. Эта же особенность применения определения к одному и тому же термину в разных предложениях сохранится и в дальнейшем в "Теории дедукции". Покамест же ситуацию можно прояснить последовательностью переименований, в сущности и составляющих "доказательство" по Лесьневскому в его ранних работах, но вообще говоря, эта схема сохранится и в его "логическом" периоде. В изображении схемы приходится один и тот же термин изображать дважды: один раз в роли подлежащего и в функции упоминания, например, "В", другой - в роли сказуемого и в функции использования, например, b .. Тогда процесс "доказывания" Лесьневским предложения <А b> при помощи конвенции <"B" с .>, являющейся также процессом переименования, выглядит следующим образом: "A" b ("B") c ("C") ... . Постоянное смешение ролей одного и того же термина в процессе переименования вызывает значительные трудности и у автора этой концепции суждения. В дальнейшем определения в теории дедукции будут выполнять именно эту роль синтаксического "соединения" терминов. 3) На использование Лесьневским не реального, а номинального суждения косвенно указывает и форма записи "единичных предложений существования". Несмотря на употребление символики "Принципов математики" Рассела и Уайтхеда, а также замены связки "есть" знаком " ", заимствованным у Пеано, запись суждения у Лесьневского просто противоположна общепринятой в смысле направления процесса, происходящего между обозначениями подлежащего и сказуемого. Так у Рассела суждение <a "A"> эксплицируется пропозициональной функцией А(х) и ее значением как результатом в виде истинностной оценки формулы хА(х), тогда как у Лесьневского противоположно направление самой записи суждения - <"A" a >, - результатом которой может быть, разве что, "А". Сказать, что Лесьневский принимает такое толкование результата, неверно; он принимает этот результат неявно также, как принимает связку " ", не сумев разъяснить ее значение , которое до настоящего времени вызывает разногласия в своей трактовке. Вместе с тем, принятие implicite "А" как результата привело к созданию Мереологии, в различных модификациях которой "А" при попытках разъяснения онтического статуса этого имени называется классом, множеством и т.п. В этих попытках, о которых подробнее будет сказано ниже, можно встретить записи <A есть В>, <a есть b>, <A есть b>, но нет записи

231

<b есть A>. Короче говоря, понятие предмета, как и термин для этого понятия, выполняющего роль переменной в ранних работах Лесьневского, а также обозначение "А" вступает как результат в противоречие с процессом именования, последовательно проводимом в Онтологии и Прототетике. Как кажется, именно поэтому последние названные теории формализованы дедуктивно, тогда как Мереология по сути остается на вербальном уровне.

Несомненно, что "ранний" Лесьневский оказал влияние на "позднего", хотя этот последний и отрекся от своего "грамматического" периода творчества. Ни один Лесьневский "вышел" из философии и стал логиком, но "его логическое творчество составляет как бы отдельное направление в варшавской школе".45 А это значит, что уже в философском периоде он отличался иным видением проблем, в частности, проблемы суждения. Будучи центральным пунктом интенций Лесьневского, суждение в его трактовке оказалось и отправным пунктом дальнейших исследований, на результатах которых сказались родовые черты номинального суждения. Суждение, являясь процессом, на пути которого возникали преграды научных проблем, например, антиномии теории множеств, их существования, конструирования и т.п., разделилось в своем движении н три русла, составивших уже упомянутые Мереологию, Онтологию и Прототетику. Каждая их этих теорий продолжает представлять процесс и не является законченным объектом, поскольку возможно их расширение; в этом смысле они суть "динамичные" объекты.

4.3.3 Интуитивный формализм и конструктивный номинализм

Итоговый, или логический, этап творчества Лесьневского привел его к созданию системы, состоящей из трех упомянутых теорий - мереологии, онтологии и прототетики. К правилам и определениям в теориях предъявлялись жесткие требования, заключающиеся прежде всего в том, что они должны были контролировать интуицию исследователя в отношении реальности. Лесьневский полагал, что каждая формализованная система "нечто" и "о чем-то" говорит. Его высказывания выражают связь математики с действительностью: "У меня нет никаких симпатий ко всякого рода "математическим играм", которые состоят в том, что при помощи тех или иных условных правил выписываются более или менее красивые формулы, не обязательно осмысленные и даже, как некоторые "игроки в математику" считают, с необходимостью лишенные значения. Поэтому я не вкладывал бы труда в систематизацию и многократный контроль правил моих систем, если бы не приписывал утверждениям этих систем совершенно определенного значения, при котором кодифицированные этими правилами методы вывода и дефиниции этих систем несомненно интуитивно значимы. Не вижу никакого противоречия в том, что считая себя убежденным "интуиционистом" одновременно использую в построении своих систем радикальный формализм. Я тружусь над представлением различных дедуктивных теорий для того, чтобы в последовательности осмысленных предложений выразить ряд мыслей, которыми обладаю в той или иной области, с тем, чтобы выводить одни предложения из других так, чтобы это было в согласии с правилами вывода, которые я считаю "интуитивно" обязывающими". ([1929], S.78) Таким образом, формализация для Лесьневского была средством, а не целью самой по себе. Он полагал, что множество технических инноваций в логике способствует стиранию "[...] различия между математическими науками, воспринимаемыми как дедуктивные теории и служащими как можно более точному научному восприятию разнородной действительности мира, и такими непротиворечивыми дедуктивными

45 Wolenski ([1985], S.133)

232

теориями, которые в действительности обеспечивают возможность получения на их основе многочисленных все новых и новых утверждений, отмеченных однако одновременно отсутствием каких-либо связывающих их с действительностью интуитивно-научных достоинств". ([1927], S.166) В этом же духе Лесьневский критиковал "архитектонично рафинированные" конструкции Цермело или же фон Неймана, которых считал "чистыми" формалистами. В этой связи он писал: "Внеинтуитивная математика не содержит в себе действенных лекарств против недомогания интуиции". (S.167)

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

Я.Воленский [1985] справедливо считает, что Лесьневский разделял взгляды Брауэра о связи логики с языком математики, но не с ее содержанием; однако отсюда не следует извлекать далеко идущих следствий, поскольку интуиционистский формализм Лесьневского носит прежде всего онтологический характер, тогда как интуиционизм Брауэра - эпистемологический. Именно на этом основании Лесьневский намеревался построить всю систему оснований математики. При этом следует правильно понимать аподиктические утверждения Лесьневского о "моей интуиции" или "интуитивной для меня значимости". Это не означает, что Лесьневский полагал критерии значимости в логике субъективными. Прототетика является определенной версией исчисления высказываний и "логическая значимость" ее утверждений ничем не отличается от "логической значимости" утверждений обычного исчисления высказываний. В свою очередь, онтология является теорией имен, логическая значимость утверждений которой понимается на общих основаниях. "Субъективизм" Лесьневского имеет место единственно в мереологии и касается единственно трактовки понятия множества. Именно в мереологии интуиция Лесьневского начинает играть нетривиальную роль, тогда как онтология и прототетика - это способы реализации этой интуиции.

Появление мереологии, или, как еще называл ее вначале Лесьневский, Общей теории множеств произошло одновременно с возникновением доверия к формальным способам записи утверждений о классах, множествах и т.п. образованьях. Начало отходу от "общеграмматических" и "логико-семантических" средств нотации положила книжка Я.Лукасевича "О принципе противоречия у Аристотеля". [1910] Из нее Лесьневский впервые узнал "о существовании на свете "символической логики" Бертрана Рассела, а также о его "антиномии", касающейся "класса классов, не являющихся своими элементами"". ([1927], S,169) Однако первое знакомство с символической логикой, как уже упоминалось, наполнило Лесьневского отвращением к ней и, как он считает, не по его вине. Оселком, на котором оттачивалась интуиция Лесьневского в формальном изложении, стали "Принципы математики" Уайтхеда и Рассела. Не будучи согласным ни со стилем этого произведения, ни с предложенным в нем решением антиномии Лесьневский принял вызов, возможно, еще и по причине своего отношения к Г.Фреге, о котором писал: "Наиболее импонирующим воплощением результатов, достигнутых в трудах по обоснованию математики в деле солидности дедуктивного метода, а также

233

ценнейшим источником этих результатов с греческих времен до настоящего времени являются для меня "Основные законы арифметики" Готтлоба Фреге". ([1927], S.160)

Критика Лесьневского начинается следующим замечанием: "По причинам сомнений семантического характера, которые охватили меня при безрезультатных попытках прочтения работ, написанных "логистиками", каждый может дать себе отчет, если внимательно проанализирует комментарии, которыми гг. Уайтхед и Рассел снабдили отдельные типы выражений, входящих в "теорию дедукции", и рассудить при этой возможности, сколько в высказанных комментариях умещается рафинированного обмана, предназначенного для читателя, приученного более или менее серьезно относится к тому, что он читает". ([1927], S.170) Лесьневский задается вопросом о смысле выражения "├: p.. p q", являющегося одной из аксиом исчисления предложений в "Принципах математики". Это предложение объясняется в комментариях Расселом и Уайтхедом так: если p истинно, то "p или q" истинно. По мнению Лесьневского, этот комментарий не слишком много проясняет и поэтому следует обратиться к комментариям, касающимся выражений типа: ├: p , p q, p q, поскольку именно этого вида выражения входят частями в анализируемую аксиому. Словесные комментарии Рассела и Уайтхеда могут быть поняты двояко, считает Лесьневский. Согласно одному из них, предложению, подлежащему утверждению, соответствует предложение, размещенное после знака утверждения ├ и точек, тогда как вторая трактовка предполагает утверждение всего выражения. В связи с этой двузначностью у Лесьневского возникают следующие вопросы: 1) Если некоторое выражение "p" является предложением, то утверждение "p", т.е. выражение "├.p" также предложение? 2) Если некоторое осмысленное выражение "p" является предложением, то соответствующее выражение типа "├.p" обладает тем же смыслом? 3) Чем собственно являются аксиомы и предложения - суть ли они выражениями типа "├.p", или же выражениями, находящимися после знака утверждения?

По мнению Лесьневского можно сформулировать три различные концепции, отвечающие на поставленные вопросы. Концепция 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", то тогда эти предложения являются предложениями о создателях системы; множество таких предложений вообще не является системой логики,

234

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

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

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

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

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

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

S.181)

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

235

система должна конструироваться в предметном языке, а комментироваться - в метаязыке; смешение языка с метаязыком приводит к недоразумениям и неясностям. Выяснивши для себя ситуацию с предметным языком и языком комментариев к нему (метаязыком) Лесьневский "ощутил доверие" к символическому языку, к которому ранее относился скептически.

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

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

См. также:

Ян Лукасевич. В ЗАЩИТУ ЛОГИСТИКИ. http:philosophy.ru\library\lukasiewicz\apologist.html

Ян Лукасевич. ЛОГИСТИКА И ФИЛОСОФИЯ. http://www.philosophy.ru/library/lukasiewicz/logistyk.html

Ян Лукасевич. О НАУКЕ. http://www.philosophy.ru/library/lukasiewicz/onauce.html

Ян Лукасевич. О ТВОРЧЕСТВЕ В НАУКЕ. http://www.philosophy.ru/library/lukasiewicz/tvor_nau.html

4.4 Обоснование и критика реизма Т.Котарбинским

4.4.1 Онтология Котарбинского

Основой метафизических исследований Котарбинскому послужила онтология Лесьневского.46 Идеи онтологии Лесьневского, усвоенные Котарбинским, излагаются последним в "Элементах теории познания, формальной логики и методологии наук"47. В частности, Котарбинский раскрывает мотивы, руководствуясь которыми исчисление имен Лесьневского было названо онтологией. Это название было выбрано Лесьневским сознательно, поскольку одной из целей онтологии была формализация основных законов бытия. Свое обращение к онтологии Лесьневского Котарбинский объясняет так: "Для

46В более широком контексте исследований конца XIX — первой трети XX вв. онтология Котарбинского может быть отнесена к традициям брентанизма, в рамках которых была поставлена задача построения общей теории предметов.

47Kotarbinski T. Elementy teorii poznania, logiki formalnej I metodologii nauk. — Lwów, 1929.

236

исчисления имен мы намерены взять за основу систему Лесьневского, известную нам по рукописи и представленную к сведению широкого круга слушателей в виде лекций, ибо, по нашему мнению, это наиболее зрелая, наиболее естественная и наиболее практичная в применениях система исчисления имен среди известных нам систем. При этом она теснейшим образом связана с традиционной аристотелевской формальной логикой, улучшением и расширением которой она является, хотя с другой стороны, она представляет собой конечный пункт попыток построения исчисления имен на территории логистики"48.

Состоящая из двух категорий теория имен, как правило, предназначена для выражения двукатегориальной онтологии. В случае теории имен с одной категорией, представленной аксиомой онтологии Лесьневского, можно ожидать, что она будет связана с однокатегориальной онтологией. В онтологии Лесьневского как раз и имеет место такая ситуация, продиктованная номинализмом ее автора. Однако Лесьневский ничего не говорит о природе существующих в мире вещей в свете своей онтологии. Одно лишь известно: его предметы — это индивидуальные предметы, единичные. Можно сказать, что Онтология Лесьневского является формальной онтологией в номиналистической версии. Онтология же Котарбинского является чем-то большим, поскольку говорит о том, чем суть индивиды. Согласно Котарбинскому — это вещи. Поэтому свою концепцию онтологии Котарбинский назвал реизмом.

Реизм возник в результате сомнений Котарбинского в существовании свойств. Используя Онтологию Лесьневского трудно было принять, что отношение свойства и предмета, им обладающего, является отношением части к целому. Отношение части и целого в онтологическом смысле предполагает однородность категорий части и целого, тогда как предмет и свойство таковыми не являются, ибо принадлежат к различным категориям.

Первой работой Котарбинского49 в направлении реизма стала критика существования идеальных предметов. Котарбинский выделяет в различных онтологиях ряд таких предметов как роды, виды, свойства, отношения, вымышленное бытие и проводит анализ, целью которого было показать, что нет основания для признания их существования. Особенно тщательно Котарбинский разбирает аргумент, который, как он признается, заимствовал у Лесьневского50. Допустим, что мы определяем общий термин P с учетом десигната имени N таким образом, что P обладает теми и только теми свойствами, которые общи всем десигнатам имени N. Например, если P является человеком вообще, то P обладает теми и только теми свойствами, которые общи всем людям. Допустим, что x является одним из десигнатов имени N. Это индивидуальный предмет и он должен обладать некоторым свойственным только ему качеством, выделяющим его среди прочих десигнатов имени N. Пусть таковым будет свойство с. Рассмотрим другой десигнат имени

N, например, предмет x1. Согласно предположению x1	не обладает	свойством с,
поскольку оно присуще предмету x. Таким образом,	предмет x1	может быть

охарактеризован и тем, что он не обладает свойством с. Однако отсутствие свойства с также является свойством, например, с1. Возникает вопрос, обладает ли предмет, называемый общим термином P, свойством с? Допустим, что обладает. Однако это допущение ведет к противоречию, поскольку согласно определению P обладает только теми свойствами, которые общи всем десигнатам имени N, а свойство с присуще только предмету x. Тогда нужно принять, что P не обладает свойством с. Поэтому P может быть охарактеризовано и таким образом, что оно не обладает свойством с, т.е. обладает свойством с1. Основанием для этого вывода служит закон исключенного третьего: для произвольного свойства с и какого-либо предмета P, P обладает свойством с, либо P не

48Ibid. S.254.

49Kotarbinski T. Sprawa istnienia przedmiotow idealnych — PF, r.23 / 1920. S.149-170.

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

237

обладает с. Но свойство с1 также не является общим всем десигнатам имени N, поскольку им не обладает предмет x. Следовательно, принимая, что P обладает свойством с1, мы также приходим к противоречию. В конечном счете противоречие возникает как в предположении того, что общий термин P обладает свойством с, так и в предположении, что этим свойством он не обладает. Поэтому можно сделать вывод, что определение общего термина, принятое вначале, ведет к противоречию. Котарбинский видит, что имеющее место противоречие зависит от принятого определения общего термина, но считает, что прочие известные ему дефиниции не ясны и еще в меньшей степени могут служить основанием для анализа существования идеальных предметов.

Онтологический реизм. Реизм, называемый позже Котарбинским конкретизмом51, изложен в «Элементах» (1929), а также в многочисленных статьях более позднего происхождения. В начальном периоде реизм развивался одновременно в двух плоскостях

– онтологической и семантической, но позже Котарбинский стал различать реизм в смысле онтологическом и смысле семантическом.

Онтологический реизм сформирован двумя утверждениями: (Р1) всякий предмет есть вещь;

(Р2) ни один предмет не есть состояние, или отношение, или свойство.

Утверждение (Р1) позитивно и говорит, что если нечто является предметом, то оно является и вещью. Утверждение (Р2) негативно, т.е. в нем отрицается существование состояний, отношений и свойств, т.е. сущностей, представляемых, как правило, общими терминами. Совместно (Р1) и (Р2) утверждают существование вещей и только вещей, однако (Р2) применимо в каждой онтологии, имеющей дело с вещами и еще «чем-то». Кроме того оба утверждения сформулированы в языке онтологии Лесьневского, т.е. при допущении, что связка «есть» имеет т.н. основное значение, определяемое аксиомой онтологии Лесьневского.52 В онтологии нет определения вещи, но имеются дефиниции предмета и существования, сформулированные следующим образом:

(Д1) для каждого А, А есть предмет =df для некоторого x, А есть x. (Д2) для каждого А, существует А =df для некоторого x, x есть А.

(Д1) утверждает, что А есть предмет тогда и только тогда, когда А есть чтолибо, а (Д2) – что А существует тогда и только тогда, когда нечто есть А.

Используя парафразу (Р1) можно переформулировать следующим образом:

(Р1а) для всякого А, если А есть предмет в смысле онтологии Лесьневского, то А есть вещь.

Используя (Д1), получим:

(Р1б) для всякого А, если для некоторого x, А есть x, то А есть вещь.

Таким образом, (Р1б) утверждает, что если А есть что-либо, то А есть вещь. Обратим внимание на оборот «для некоторого x, А есть x». Он значит только то, что можно подобрать такое имя x, что А есть x. Предложение «А есть x» является единичным предложением онтологии Лесьневского и истинно при условии, что А – единичное имя.

51Термином "конкретизм" Котарбинский пользовался после II мировой войны, взаимозаменяя его с «реизмом».

52Смысл слова "есть" в Онтологии Лесьневского Котарбинский называл основным. Необходимость выделения смысла слова "есть" в том, что оно употребляется также и в других значениях, например, в таких контекстах, как "есть справедливость", где "есть" имеет значение "существует", или же "Ян III Собеский -[ есть]- освободитель Вены". В русском языке употребление слова "есть" в контекстах существования часто заменяется тире. В польском языке последний пример должен иметь следующий вид: Jan III Sobieski jest wybawicielem Wiednia.

238

Отсюда следует, что А есть вещь тогда и только тогда, когда А является индивидуальным предметом.

Согласно (Р1) и (Р2) существуют вещи и только вещи. Дефиниция (Д2) позволяет утверждать, что А есть вещь тогда и только тогда, когда для некоторого x, x есть А. Таким образом, А есть вещь тогда и только тогда, когда какой-то индивидуальный предмет является одним из А. А это имеет место тогда, когда этот индивидуальный предмет x является единственным А, или же когда таких А много, или же А есть комплекс, состоящий из индивидуальных предметов.

Котарбинский считал вещи телами, т.е. бытием, имеющим временные и пространственные характеристики. Возможно это решение было мотивировано идеями Лесьневского и прежде всего мереологическим понятием класса. Ведь индивидуальным предметом Котарбинский считает не только единичный предмет, но также и агрегат, составленный из таких единичных предметов, т.е. класс в мереологическом смысле.

Котарбинский вслед за Лесьневским принимал существование мереологических множеств, а не дистрибутивных. Он считал, что определение вещей как тел согласуется с мереологическим толкованием множества. Однако из онтологии Лесьневского тезис соматизма не следует, поскольку имеются другие теории частей и целого, например, теория Гуссерля.53 Позже Котарбинский усилил тезис соматизма до т.н. пансоматизма, т.е. вполне выразительно высказался за существование тел и только тел. 54

Семантический реизм. Реизм в семантической версии – это теория языка. Критерием построения этой версии реизма является различение действительных имен и мнимых. Достаточно напомнить, что Котарбинский определяет имена как выражения, которые можно использовать в качестве именной части сказуемого в смысле онтологии Лесьневского. Он не принимает традиционного разделения имен на собственные имена и прилагательные. Используемая им дефиниция носит синтаксический характер и из нее непосредственно не следует к чему относятся имена. Котарбинский привел также дефиницию, имеющую семантический характер: имена – это такие выражения, которые могут быть подлежащими либо сказуемыми предложений, говорящих о вещах или личностях.

Анализ этого определения предполагает прежде всего анализ используемых терминов. Котарбинский различает т.н. мнимые имена или ономатоиды, которые хотя и являются в грамматическом смысле именами, или лучше сказать – именными выражениями, но соотносятся не с вещами (личности Котарбинский считает вещами особого рода), но с идеальными предметами, например, свойствами, отношениями, событиями. Дело в том,

53В школе Брентано интенсивно развивали теорию предметов. Онтология Лесьневского, о чем уже было сказано выше, является формальной теорией предметов и без сомнения принадлежит к традициям брентанизма. Подобным же образом и реизм относится к теориям предметов. Определенно известно, что ни Лесьневский, ни Котарбинский во время создания своих теорий не были знакомы с поздними взглядами Брентано. Вышло так, что ученики ученика Брентано пришли к конкретизму независимо от своего философского «прародителя». К конкретизму пришли также молодые брентанисты – Оскар Краус и Альфред Кастиль независимо от Лесьневского и Котарбинского. Таким образом, конкретизм оказался неким естественным результатом развития брентанизма. Вместе с тем нужно помнить, что в школе Брентано были созданы и такие теории предметов, которые признавали существование предметов общих (Мейнонг, Твардовский). Так Твардовский обозначил свое негативное отношение к реизму в Дневнике (от 25.IV.1932) следующими словами: «Это главный пункт, в котором не могу себя считать полноценным учеником Брентано». (Twardowski К. Dzienniki. T2. Warszawa-Toruń. 1997.).

54Необходимость упрочения позиции соматизма была вызвана тем обстоятельством, что имеются другие теории конкретизма. Так, Лейбниц провозгласил существование только конкрет, назвав их духовными монадами. Его конкретизм был поэтому спиритуалистический. Другим конкретистом был Ф.Брентано, который в последней фазе своего творчества утверждал существование тел и душ; его конкретизм был дуалистическим.

239

что мнимое имя соотносится с идеальными предметами и это соотнесение также кажущееся, мнимое, поскольку в онтологическом реизме идеальным вещам нет места. Примерами ономатоидов являются выражения «белизна», «свойство», «отношение». Принцип реистической семантики говорит, что предложение с мнимыми именами осмысленно тогда и только тогда, когда оно переводится в предложение, содержащее в качестве именных выражений действительные имена, т.е. имена действительных вещей. Этот принцип служит основанием для создания правил перевода. Например, предложение «белизна присуща снегу» переводится в предложение «снег белый», предложение «Яна и Петра связывает отношение старшинства» переходит в предложение «Ян старше Петра». Единичные и индивидуальные имена удается без труда трактовать как действительные имена (имена реальных объектов); это же относится и к именам совокупностей. Но появляется проблема интерпретации общих имен в качестве действительных имен. В этом случае на выручку приходит онтология Лесьневского, поскольку предложение «снег белый» можно интерпретировать как «каждая порция снега является одним из белых предметов», а это последнее – высказывание о вещах. Таким образом, логическое сказуемое, традиционно выражаемое прилагательным, удается трактовать как имя вещи.

Если рассмотреть предложение «белизна – это свойство», то не удается непосредственно преобразовать это предложение в высказывание о конкретном предмете (конкрете), и тем более не удается переформулировать это предложение в высказывание о вещах в смысле Котарбинского. Ономатоиды являются не просто пустыми именами, поскольку эти последние могут выступать в единичных предложениях Онтологии Лесьневского. Ведь пустые имена соотносятся с вещами, правда не существующими, и онтология Лесьневского, как и реизм, допускают использование таких имен как способ речи, тогда как соответствующие мнимым именам вещи вообще не могут существовать в силу онтологии, определяемой логикой, в данном случае – аксиомой онтологии Лесьневского.

Согласно Котарбинскому, предложение Z обладает буквальным смыслом тогда и только тогда, когда оно состоит из логических констант и действительных имен. Предложение Z обладает непрямым или переносным смыслом тогда и только тогда, когда оно не имеет буквального смысла, но его удается преобразовать в предложение, имеющее буквальный смысл. Предложение Z бессмысленно тогда и только тогда, когда его не удается преобразовать в предложение с прямым или буквальным смыслом. Пустые имена – это такие выражения, которые могут входить в предложения, обладающие буквальным смыслом, тогда как мнимые имена – это такие выражения, которые могут входить исключительно в предложения, имеющие непрямой (сокращенно-заменяющий) смысл, или же в предложения, вообще лишенные смысла. Таким образом, множество пустых имен и множество мнимых имен не пересекаются. Очевидно, что пустое имя в представлении Котарбинского и пустое имя в традиционном смысле — это не одно и то же, поскольку, например, имя «множество всех множеств» – это пустое имя в традиционном смысле, но согласно Котарбинскому – это мнимое имя (если термин «множество» понимать в дистрибутивном смысле, т.е. как имя некоторых идеальных предметов). Существует практический критерий, позволяющий отличать пустые имена в смысле Котарбинского от мнимых имен. А именно, каждое пустое имя, например, «сын бездетной матери», «кентавр» являются комбинацией действительных имен или равнозначны такой комбинации, тогда как мнимые имена этому условию не удовлетворяют.

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

240