Он утверждает, например, что "контрадикторной противоположностью соединительного высказывания является высказывание разделительное, составленное из контрадикторных противоположностей частей соединительного высказывания"[438
]. И добавляет, что следование от соединительного высказывания к каждой из частей всегда законно, но вывод от части к целому незаконен, кроме как в определенных случаях. Оккам также утверждает, что "контрадикторной противоположностью разделительного высказывания является соединительное высказывание, составленное из контрадикторных противоположностей частей разделительного высказывания"[439].Под "следованиями" (consequentiae) средневековые логики понимали условные высказывания (если р, то д). Оккам подразделяет их на "формальные" и "материальные" следования. Под формальными следованиями он понимает импликацию, которая непосредственно или опосредствованно управляется логическим правилом, касающимся только логической формы или структуры соответствующих высказываний, а не содержания этих высказываний. Под материальными следованиями он понимает импликацию, которая имеет место "именно благодаря терминам"[440
], т. е. в силу содержания, определенного описательными терминами соответствующих высказываний. Именно к материальным следованиям Оккам относит такие странные высказывания, как:"Если человек бежит, то Бог существует" и "Человек - осел, следовательно, Бога не существует". В первом случае предполагается, что истинное высказывание "следует" из какого угодно высказывания, во втором - что из невозможного "следует" все что угодно. В другом месте Оккам утверждает:
"Ты белый, значит, Бог триедин" и "Ты осел, значит, ты - Бог"[441
]. Он замечает, что эти следования не являются формальными следованиями и не должны иметь и не имеют широкого употребления.Обратимся к метафизике. Спросив: "Что является, по мнению Оккама, предметом метафизики?"[442
], мы тем самым зададим вопрос, который, с его точки зрения, подобен вопросу: "Кто является царем всего христианского мира?"[443]. В обоих случаях принимается ложная посылка: во втором случае - что существует царь всего христианского мира, в первом - что метафизика имеет единственный предмет.Авиценна утверждал, что предметом метафизики является сущее, Аверроэс же считал, что ее предмет - Бог. Согласно Оккаму, если считать, что два этих мусульманских философа утверждают, будто метафизика имеет единственный предмет, то они оба не правы. Если же, однако, считать, что они говорят о главенстве, то оба эти тезиса защитимы. Если говорить о главенстве совершенства, то основным предметом метафизики является Бог. Если говорить о главенстве предикации, то основной темой метафизики является сущее. Ибо мы не можем мыслить Бога или говорить о нем иначе, как в терминах сущего и его атрибутов.
Конечно, существуют только сущие. Однако можно образовать такое общее понятие о сущем, которое сказывся обо всех сущих - и конечных, и бесконечных. В качестве такого предиката "сущее" означает просто "нечто", поскольку нечто противоположно ничто. Понимаемое в этом смысле, слово "сущее" одноименно. Мы можем сказать и о Боге, и о творениях, что они не суть ничто. Но отсюда никоим образом не следует, что и Бог, и творения противоположны ничто одним и тем же образом, или что актуальное бытие Бога - того же самого рода, что и бытие творений. Это не так. Если, следовательно, мы употребляем термин "сущее" для обозначения актуального бытия Бога и актуального бытия твари, то этот термин используется в разных смыслах.
Оккам, следовательно, не является пантеистом, И он не низводит Бога до уровня творений. "Ничто реальное не является одноименным для Бога и для твopeний"[443]. В то же время он особо подчеркивает нашу способность образовывать одноименные понятия. Поскольку в этой жизни нам недоступно интуитивное познание Бога, мы не можем иметь такого понятия Бога, которым выражается созерцание божественной реальности самой по себе. Наше представление о Боге должно зависеть от наших представлений о конечных вещах и их качествах. Но мы не можем приписать Богу, например, тварное бытие или тварную мудрость как таковые. Следовательно, если мы вообще способны обладать сколь-нибудь обоснованным представлением о Боге, то должны оказаться способны отбросить всякую ограниченность конечного, образуя одноименные понятия. Тогда мы сможем выработать составное понятие, которое будет сказуемым только о Боге. Одноименные понятия служат как бы мостом, и без них, по мнению Оккама, мы были бы обречены на агностицизм.