аксиоматических и дедуктивных директив значения свидетельствует несомненно об априорном характере познания, о чем неоднократно говорил сам автор концепции радикального конвенционализма, подчеркивая, что его конвенционализм отличается от конвенционализма Пуанкаре, считавшего аксиомы ни истинными, ни ложными, но удобными (commodes). Свою позицию в вопросе трактовки априорных положений Айдукевич сближает с позицией Канта. Он пишет: «Мы же, наоборот, склонны назвать эти принципы и интерпретации истинными, поскольку они входят в наш язык. Наша позиция не возбраняет нам признать одно или другое фактом, несмотря на то, что мы указываем на зависимость эмпирических суждений от выбранного понятийного аппарата, а не только от первичного материала опыта. В этом пункте мы приближаемся к коперниканскому замыслу Канта, согласно которому эмпирическое познание зависит не только от эмпирического материала, но также от состава категорий, при помощи которых этот материал обработан»218. Сближение позиций еще не означает их совпадения и Айдукевич оговаривает отличие радикального конвенционализма от взглядов Канта. Кант считал, что категории жестко связаны с природой человека (хотя и могут изменяться), а понятийный аппарат гибок. Согласно Канту образ мира составляется из чувственных данных, упорядоченных посредством форм воображения и категорий, тогда как в радикальном конвенционализме образ мира сконструирован из абстрактных элементов (значений), а чувственные данные после выбора понятийного аппарата лишь уточняют, конкретизируют этот образ.Позже Айдукевич отмечал, что предложения, диктуемые аксиоматическими и дедуктивными директивами значений могут пониматься как аналитические предложения. В этом случае радикальный конвенционализм можно интерпретировать как версию умеренного эмпиризма: аналитические предложения + предложения, диктуемые эмпирическими директивами значения. Это допущение основано на частном замечании Айдукевича в том периоде творчества, когда радикальный конвенционализм им был отброшен и оно носит здесь единственно характер предположения. Учитывая дальнейшую эволюцию взглядов Айдукевича можно предположить, что он задавался вопросом – играют ли априорные факторы в формировании эмпирического познания существенную роль, или же их можно совершенно исключить. В конечном счете Айдукевич пришел к интерпретации познания в духе крайнего эмпиризма.
Дальнейшая эволюция эпистемологических взглядов Айдукевича свидетельствует о том, что со временем он стал считать крайний эмпиризм позицией не только возможной, но и желательной. В последние годы жизни Айдукевич вполне определенно занял позицию крайнего эмпиризма. В работе «Проблема эмпиризма и концепция значения»219, являющейся как бы завещанием философа, утверждается, что предлагаемое ранее решение является половинчатым, поскольку оно допускает наличие дедуктивных директив, являющихся априорными элементами познания и не поддающихся контролю опытом. По мнению Айдукевича, последовательное проведение взглядов крайнего эмпиризма требует основательной ревизии концепции значения и выработки такой, которая бы не имела эпистемологических следствий.
4.3 Номинализм Ст.Лесьневского
4.3.1 Номинализм как эпистемология
В работах Лесьневского философская, логическая и математическая составляющие переплетены чрезвычайно тесно и часто обусловливают друг друга. Это объясняется, в частности, тем, что центром кристаллизации идей Лесьневского был вопрос существования предмета исследования и его теоретическое представление, постепенно реализуемое с точки зрения онтологии, математики и логики220. О такой последовательности разворачивания событий свидетельствуют как первые его публикации, так и последние работы. В одном ряду стоят докторская диссертация «К анализу экзистенциальных предложений» (1911), «Опыт обоснования онтологического закона противоречия» (1913), краткий очерк «Об основах онтологии» (1921), а также «Об основоположениях онтологии» (1930221). Последнюю из названных работ сам Лесьневский считал единственной публикацией из области онтологии. В ней автор «среди прочего» формулирует «максимально прецизиозным образом условия, которым должны удовлетворять выражения с тем, чтобы их можно было принять в онтологии как дефиниции, либо добавить к системе онтологии как утверждения»222. А
Как кажется, более правильным будет говорить не о трех системах Лесьневского, но о трех срезах одной системы, называемой «основанием математики» и состоящей из теорий. За подтверждением обратимся к более ранней версии последнего из цитированных сочинений («Основания математики»): 'По существу и методически, новая с определенных точек зрения, система оснований математики [...] охватывает три дедуктивные теории [...]. Этими теориями являются:
1) теория, называемая мной прототетикой, соответствующая, впрочем весьма приближенно, с точки зрения содержания теориям, известным в науке как «calculus of equivalent statements», «Aussagenkalkul», «теория дедукции» в соединении с «теорией мнимых переменных» и т.д.
2) теория, называемая мной онтологией, составляющая некоторого рода модернизированную «традиционную логику», а что до своего содержания и «силы», то [она] более всего приближается к шредеровскому «Klassenkalkul», рассматриваемому совместно с теорией «индивидов»;
3) теория, которую я называю мереологией [...]' 223.
Итак, если вопросы онтологии предмета были инспирированы Твардовским, с которым Лесьневский вступил в полемику уже в своей докторской диссертации224, что означает определенность его философских установок, то в отношении способа их выражения работа продолжалась вплоть до конца 30-гг. Вот как Лесьневский описывает свой «отход» от философии, главное неудобство которой заключалось в использовании естественного языка: «Я решился на введение в свою научную практику какого-нибудь „символического языка“, опирающегося на образцы, созданные „математическими логиками“, вместо естественного языка, которым до настоящего времени я пользовался с упрямой премедитацией, стараясь, как и многие прочие, обуздать этот естественный язык в „логическом“ отношении и приспособить его к теоретическим целям, для которых он не был создан. Языковая операция, которую я таким образом произвел на себе (чтобы, как потом оказалось, уже никогда по этому поводу более не тосковать о возвращении к природе) была в конечном счете уже тогда в значительной мере психологически подготовлена промежутком в несколько лет практического недоверия относительно основных выражений „математической логики“ в связи с [...] вопросом о смысле этих выражений [...] применительно к системе гг. Уайтхеда и Рассела [...]» 225.
Целью этой «языковой операции» была «рационализация способа», которым для анализа «различных переданных „традиционной логикой“ типов предложений» пользовался Лесьневский. Его «отход» от философии и традиционной логики не приводил к сужению взглядов на эти дисциплины, но состоял в последовательной выработке соответствий «при переходе к „символическому“ способу записи». Основываясь на «языковом чувстве» и неоднородной с различных точек зрения традиции «традиционной логике», он стремился к выработке метода последовательного оперирования предложениями «единичными», «частными», «общими», «экзистенциальными» и т.д.. Результатом этих поисков было принятие в качестве основных '«единичных» предложений типа «А ( b» в какой-то отчетливо сформулированной аксиоматике, которая бы гармонировала, по мнению Лесьневского, с его научной практикой в рассматриваемой области. В отношении такой аксиоматики он постулировал, что в ней не будут выступать никакие «постоянные термины» кроме выражения '(' в предложениях типа «A ( b», а также терминов, выступающих в 'теории дедукции226.
Подытоживая сказанное, отметим, что в действительности Лесьневский менял не взгляды, а способы их выражения. Единство задуманных им «оснований математики» удалось реализовать не в одной теории, но в трех, каждую из которых он, правда, стремился построить аксиоматически с единственной аксиомой.
4.3.2 Интенциональное отношение «единичного предложения существования»
Несмотря на то, что понятия существования и предмета являются основными понятиями философии Лесьневского, они не могут быть отнесены непосредственно к онтологии потому, что ни модусы существования, ни формы предметов его как таковые не интересуют. Заботой Лесьневского стал процесс суждения, выражаемый предложениями вида <A ( b>, а точнее – номинальным суждением <А ( b>, или <А ( а>; последнее суждение является предметом изучения онтологии. Именно оно дает ключ к пониманию теорий Лесьневского, последовательно реализующих т.н. номинальное суждение. Трудность понимания систем Лесьневского, в основу которых положено «единичное предложение