Прочие возражения Лукасевича могут быть сведены к следующим положениям:
а) принцип противоречия как закон логики не является ни достаточным, ни необходимым, ибо можно рассуждать дедуктивно или индуктивно и делать это непротиворечиво;
б) принцип противоречия не удается вывести из дефиниции истины или лжи, как не удается его вывести ни из принципа тождества, ни из принципа двойного отрицания;
в) можно привести формальное доказательство принципа противоречия, используя определение предмета как чего-то, что не обладает противоречивыми свойствами, однако это доказательство будет формальным, а не предметным.
Так как для доказательства принципа противоречия нужно предварительно показать, что ни один предмет не является противоречивым, в чем Лукасевич весьма сомневается, то свою монографию он заканчивает словами: «Поскольку принцип противоречия предметно не удается доказать, несмотря на то, что такое доказательство необходимо, то он не имеет логической ценности. Зато он имеет важную практическо-этическую ценность, будучи единственной защитой против ошибок и лжи.– Поэтому мы должны его принять».
Таким образом, оказывается, что для Лукасевича логическое основание не является единственным и даже важнейшим мотивом в решении принятия тех или иных суждений: свойство истинности суждения переводится в этическую плоскость, как потом окажется, единственно с целью освободиться от формальных ограничений, а тем самым и от самого принципа противоречия. В данном случае этические мотивы сыграли роль метатеории.273
И наконец следует ответить на вопрос: какую роль сыграла монография «О принципе противоречия у Аристотеля» в процессе формирования идеи многозначной логики? На первый взгляд влияние этой работы может показаться минимальным, поскольку о ней Лукасевич почти не вспоминает в своем дальнейшем творчестве274. Можно предположить, что Лукасевич занял позицию, подобную той, что и Лесьневский, руководствуясь аналогичными мотивами, а именно, он считал, что работа «О принципе противоречия у Аристотеля» является метафизической, чрезмерно отягощающей логику онтологией. Ведь в «логическом» периоде Лукасевич разделял совершенно иные взгляды на отношение логики и онтологии. Когда он сформулировал систему многозначной логики, то считал, что опыт может и должен решить, какая логика является формальной моделью мира. Еще позже, в период II мировой войны, Лукасевич склонялся ко взгляду, что выбор логики является делом конвенции. Таким образом, очевидного повода возвращаться к своей первой книжке у Лукасевича не было. Еще позже оказалось, что с точки зрения многозначной логики исторически более интересными были взгляды Аристотеля на принцип исключенного третьего, нежели на принцип противоречия. И все же следует признать, что ревизионистские интенции Лукасевича мало зависели от объекта исследования и были направлены на метод рассуждения. Логические законы были единственно поводом для обнаружения границ уверенности логических рассуждений. Комментируя высказывания Аристотеля о будущих случайных событиях (известная проблема морского боя) Лукасевич приходит к выводу, что Стагирит сомневался в универсальности принципа исключенного среднего, тогда как решительным сторонником двузначности были стоики во главе с Хрисиппом. Поэтому Лукасевич называет новую, трехзначную логику не неаристотелевской, а нехрисипповой.
Таким образом, в двадцатые годы принцип двузначности в размышлениях Лукасевича занял место принципа противоречия. Оба этих закона не могут быть доказаны и получают поэтому статус принципов, но в отличие от принципа двузначности принцип исключенного третьего не требует защиты в виде аргументов практического и этического характера, поскольку оказалось, что введение в рассмотрение более двух истинностных оценок позволяет последовательно строить логическую систему. Но наиболее значимое различие этих принципов в работах Лукасевича состояло в том, что принцип противоречия трактовался как обычный логический закон, а принцип двузначности – как закон металогический. Поэтому оказалось, что конструкция нехрисипповой логики зависит не столько от набора аксиом, сколько от решения метатеоретических вопросов, потому что когда Лукасевич писал «Принцип противоречия», он не различал логику и металогику. Сомнению подвергался логический закон (принцип противоречия) и нет ничего удивительного в том, что он получил в результате фрагмент классической логики, а не новую, неаристотелевскую логику.
Значения принципа двузначности было позже выяснено в исследованиях Лукасевича, Лесьневского и Тарского. В обычном исчислении высказываний принцип двузначности сформулировать не удается. Но в более богатых логических системах, например, в прототетике Лесьневского или в исчислении высказываний с переменными функторами принцип двузначности является теоремой. Если в таких системах принято стандартное определение конъюнкции, дизъюнкции и отрицания, то следствием принципа двузначности будут законы противоречия и исключенного среднего. Например, без принятия того, что отрицание истинного предложения ложно, а отрицание ложного предложения истинно, с принципом двузначности согласуется предложение «два взаимно отрицающих друг друга предложения могут быть одновременно ложными»; это предложение согласуется с принципом двузначности до тех пор, покамест не будет принято, что конъюнкция двух ложных высказываний – ложна.275
Возвращаясь к семантике трехзначной логики, т.е. к проблеме детерминизма, отметим, что Лукасевич полагал, будто из принципа двузначности следует принцип детерминизма, но не наоборот, и подобное же соотношение имеет место между принципом трехзначности и принципом индетерминизма, причем под индетерминизмом Лукасевич понимал взгляд, согласно которому в будущем относительно момента t могут возникнуть события, не предрешенные в момент t. Предрешить же значение самой «неаристотелевской логики» Лукасевич не берется, констатируя единственно значение теоретическое, т.е. как удавшуюся ревизию теоретического метода рассуждения. А поскольку семантика такой логики не была прояснена, то и практическое ее значение остается невыясненным, но имеющим для Лукасевича несомненную ценность. Будет ли и какое практическое значение иметь новая система логики – это, по его мнению, выяснится лишь тогда, когда в свете новых логических законов окажутся проведенные подробные исследования логических явлений, особенно имеющих место в дедуктивных науках и когда можно будет сравнить с опытом следствия индетерминистского взгляда на мир, являющегося метафизическим основанием новой логики.
Первая трехзначная логика была создана Лукасевичем в 1920 г. Лукасевич определяет значения логических связок для случаев третьего истинностного значения, в результате чего получаются таблицы такого вида:
р
( р
(
1
1
1
1
1
1
1
1
1
1
(
1
(
1
1
1
1
1
1
1
1
1
273
Следует отметить, что доминирующее влияние этичеcко-моральной оценки над логической Лукасевич не формулировал явно, но оно для него было очевидным, как было оно очевидным для Твардовского и всей Львовско-варшавской школы. В этом мотиве выразительно звучит нота нераздельности моральных и гносеологических ценностей, присущая известной сократовской аксиологии.
274
В этой связи исследователь Львовско-Варшавской школы Я.Воленский (Woleński J. Teorie i analizy logiczne w szkole lwowsko-warszawskiej / (Hempolinski[1987], S.69-130) свидетельствует, что нашел только два упоминания об этой работе после 1910 г.
275
Конечно, и в многозначной логике возникает вопрос об отношении принципа двузначности к принципу противоречия, а равно и к принципу исключенного среднего. Так оказывается, что принцип двузначности может быть подвергнут сомнению по разному, в результате чего появляются различные логические системы. Например, в трехзначном исчислении высказываний Лукасевича не имеют места законы противоречия и исключенного среднего, а интуиционистское исчисление обладает законом противоречия, но в нем не имеет места закон исключенного среднего. Дело в том, что интуиционисты свой протест выражали изначально, т.е. в металогике, а когда пришло время для интуиционистской семантики (Гедель, Гейтинг), то оказалось, что интуиционистская система многозначна. Конечно, можно нехрисиппову логику получить посредством исключения некоторых законов классической логики, но при этом следует указывать, что подобные действия приводят и к нехрисипповой семантике. Лукасевич же в «Принципе противоречия» над вопросами семантики не задумывался и, пока он так поступал, попытки реформирования классической логики оставались безуспешными. И лишь последующие метафизические рассуждения работы «О детерминизме» можно считать семантическими соображениями impliciter.