Главная > Разное > Аристотелевская силлогистика с точки зрения современной формальной логики
<< Предыдущий параграф
Следующий параграф >>
<< Предыдущий параграф Следующий параграф >>
Макеты страниц

§ 53. Некоторые дальнейшие проблемы

Хотя аксиомы и правила вывода нашей четырехзначной системы модальной логики совершенно очевидны, некоторые следствия этой системы могут выглядеть парадоксальными. Мы уже встретили парадоксальное положение, что отрицание случайного предложения также случайно; в качестве другого положения этого рода

я могу привести закон «двойной случайности», согласно которому истинны следующие формулы:

Проблема состит в том, чтобы найти такую интерпретацию этим формулам, которая была бы интуитивно удовлетворительна и объясняла бы их кажущуюся необычность. Вскоре после того, как стало известно классическое исчисление предложений, возникла горячая оппозиция, направленная против некоторых его принципов, особенно против которые воплощают два логических закона, известных еще средневековым логикам и сформулированных ими в следующих словах: «Verum sequitur ad quodlibet u Ad falsum sequitur quodlibet». Как мне представляется, эти принципы теперь общеизвестны.

Во всяком случае, наша модальная система не находится в этом смысле в худшем положении, чем другие системы модальной логики. Некоторые из них содержат такие интуитивно неочевидные формулы, как:

где проблематическое предложение «Возможно, что невозможно» эквивалентно аподиктическому предложению «Невозможно, что Вместо этой странной формулы, которая должна быть отброшена, мы имеем в нашей системе положение

которое вместе с

позволяет нам свести все комбинации модальных функторов, состоящие из к четырем несводимым комбинациям, известным Аристотелю, а именно возможно, невозможно, ненеобходимо и необходимо.

Вторая проблема касается расширения четырехзначной модальной логики в более высшие системы. В качестве примера может служить восьмизначная система.

Мы получаем матрицу этой системы, умножая матрицу на матрицу В качестве элементов новой матрицы мы образуем пары значений: а затем определяем значения истинности согласно равенствам и

Цифра 1 обозначает, как обычно, истину, ложь, а другие цифры составляют промежуточные значения между истиной и ложью. Если мы внимательно рассмотрим матрицу то обнаружим, что вторая строка колонки С идентична колонке Следовательно, эта строка представляет матрицу возможности. Таким же образом все другие строки колонки С, за исключением первой и последней, представляют некоторые виды возможностей. Если мы обозначим их символами от до включительно, мы сможем констатировать, что при удовлетворяет всем аксиомам возможности, а именно:

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

философским и научным значением: простейшая модальная система, в которой возможность рассматривается как вообще не имеющая степеней, то есть наша четырехзначная модальная система, и -значная система, в которой имеется бесконечно много степеней возможности. Было бы интересно исследовать дальше эту проблему, так как мы можем найти здесь связующее звено между модальной логикой и теорией вероятностей.

<< Предыдущий параграф Следующий параграф >>
Оглавление