Читать «Уильям Оккам» онлайн - страница 65

В основу дальнейших подразделений видов следования Оккам кладет различение между простой (simplex) и фактической (ul nunc) импликациями. Простую импликацию он определяет посредством двух таких правил: (а) из необходимого не следует случайное и (б) из возможного не следует невозможное. Под фактическим следованием мыслитель имеет в виду импликацию, относящуюся к настоящему моменту времени.

К каталогу консеквенций Дунса Скота Оккам присоединяет следование с помощью внутреннего опосредующего звена (consequentia per medium intrinsecum) и следование с помощью внешнего опосредующего звена (consequentia per medium extrinsecum). Примером первого вида может служить предложение «Платон говорит, следовательно, человек говорит», которое сводимо к формальной импликации с помощью предложения «Платон — человек», которое и есть внутреннее опосредующее звено. В случае следования второго вида аналогичное сведение может быть осуществлено с помощью присоединения хотя бы одного такого термина, который отсутствует в исходной консеквенции (102, 3, 417). У Скота Оккам заимствует идею о принципиальной сводимости некоторых неформальных консеквенций к формальной импликации.

Оккам рассматривал также консеквенции с неопределенными предложениями (например: «Завтра будет морское сражение»), в том числе консеквенции типа: «Если бог знает, что Р произойдет, то Р произойдет». Ф. Бенер полагает, что это дает основание квалифицировать Оккама как пионера трехзначной логики (см. 43, 143).

Завершая краткий очерк дедуктивной ветви логики Оккама, отметим, что мыслитель является первооткрывателем закона достаточного основания. В этой связи приведем следующие два текста Оккама. Первый из них гласит: «Ничто не должно приниматься без основания, если оно не известно или как самоочевидное, или по опыту...» (26, ch. 28). Во втором сказано: «Мы не должны принимать какое-либо положение как неподлежащее обоснованию, если только это не логический вывод, или нечто, проверенное на опыте, или же благочестивое предписание, требующее от нас поступать именно так, а не иначе» (12, I, d. 30, q. 1, D). Отбрасывая небольшой теологический налет в этой формулировке, нетрудно заключить, что Лейбниц явно должен «уступить» свой приоритет автора закона достаточного основания Оккаму. Заодно заметим, что Оккам в отличие от ряда современных нам нормативных логиков соотносит моральные максимы с бивалентной шкалой истинностных оценок.

Вопреки распространенному предрассудку, Оккам не был вседедуктивистом, поскольку понимал важное значение индуктивных выводов для человеческого познания. Следуя Аристотелю в определении индукции, Оккам писал: «Индукция есть переход (progressio) от знания единичных вещей (singularibus) к знанию общего (ad universale)» (102, 3, 418), что трудно истолковать иначе, чем лишь перевод соответствующего фрагмента из стагиритовой «Топики» (57, 12, 105а). Оккам констатирует, что «для производства индукции требуется, чтобы как в единичных посылках, так и в общем заключении был один и тот же предикат, а различие было только среди субъектов» (102, 3, 418).