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

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

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

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

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