Аналитическая философия

Целью этой «языковой операции» была «рационализация способа», которым для анализа «различных переданных „традиционной логикой“ типов предложений» пользовался Лесьневский. Его «отход» от философии и традиционной логики не приводил к сужению взглядов на эти дисциплины, но состоял в последовательной выработке соответствий «при переходе к „символическому“ способу записи». Основываясь на «языковом чувстве» и неоднородной с различных точек зрения традиции «традиционной логике», он стремился к выработке метода последовательного оперирования предложениями «единичными», «частными», «общими», «экзистенциальными» и т.д.. Результатом этих поисков было принятие в качестве основных "«единичных» предложений типа «А ( b» в какой-то отчетливо сформулированной аксиоматике, которая бы гармонировала, по мнению Лесьневского, с его научной практикой в рассматриваемой области. В отношении такой аксиоматики он постулировал, что в ней не будут выступать никакие «постоянные термины» кроме выражения "(" в предложениях типа «A ( b», а также терминов, выступающих в "теории дедукции226.

Подытоживая сказанное, отметим, что в действительности Лесьневский менял не взгляды, а способы их выражения. Единство задуманных им «оснований математики» удалось реализовать не в одной теории, но в трех, каждую из которых он, правда, стремился построить аксиоматически с единственной аксиомой.

4.3.2 Интенциональное отношение «единичного предложения существования»

Несмотря на то, что понятия существования и предмета являются основными понятиями философии Лесьневского, они не могут быть отнесены непосредственно к онтологии потому, что ни модусы существования, ни формы предметов его как таковые не интересуют. Заботой Лесьневского стал процесс суждения, выражаемый предложениями вида , а точнее – номинальным суждением <А ( b>, или <А ( а>; последнее суждение является предметом изучения онтологии. Именно оно дает ключ к пониманию теорий Лесьневского, последовательно реализующих т.н. номинальное суждение. Трудность понимания систем Лесьневского, в основу которых положено «единичное предложение существования», состоит в том, что процесс суждения является процессом переименования, а также в том, что направление процесса переименования противоположно направлению линейной записи предложения. Эту последнюю особенность переименования Лесьневский преодолевает инверсией частей суждения, используя исключительно запись вида , а не . Переименование как процесс суждения принципиально не сводимо к результату суждения, каковым в реальном суждении оказывается истинностная оценка. Более того, модусы использования – употребления и упоминания – частей суждения в реальном и т.н. номинальном суждении различны227. И это еще одна трудность выражения своих замыслов, которые Лесьневский смог преодолеть в специальной теории – онтологии, регулирующей с формальной точки зрения введение терминов.