Читаем Моделирование рассуждений. Опыт анализа мыслительных актов полностью

«Мир дхарм ши это мир явлений, которые изменчивы, многообразны, отличны друг от друга, все события и предметы этого мира взаимосвязаны. Мир дхарм не является миром сущностей, неизменных и вечных. Этот мир есть некоторая единая субстанция. И оба мира неотделимы друг от друга, взаимозависимы, образуют единое неразрывное целое. Ши и ли взаимно обусловлены, взаимно тождественны и различны (выделено нами)».

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

Попытки ввести диалектику в схемы логических рассуждений делались, конечно, не только на Востоке, но и в Европе. Достаточно вспомнить Гегеля с его диалектическим методом. Но до сих пор так и не удалось создать формальную систему, в рамках которой описывались бы законы рассуждения, опирающиеся на диалектику. Это дело будущего. И, возможно, для этого потребуется расширение самого понятия формальной системы.

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

Глава третья. АВТОМАТИЗАЦИЯ ДОСТОВЕРНЫХ РАССУЖДЕНИЙ

Где меч силлогизма горел и сверкал,Проверенный чистым рассудком,И что же? Сражение он проигралВо славу иным прибауткам!Н. Заболоцкий. Битва слонов

Исчисление высказываний

Под высказыванием будем понимать утверждение, относительно которого в любой момент можно сказать, является оно истинным или ложным, или по крайней мере предполагать, что ему может быть приписана такая интерпретация. Например, фразы «Пик Коммунизма есть высочайшая вершина СССР», «Все жители земли имеют рост более двух метров», «В Африке находятся более десяти еще неизвестных захоронений фараонов Египта» являются высказываниями. Первое из них истинно, второе – ложно (легко приводятся конкретные опровергающие примеры), а относительно третьей фразы мы не можем говорить, является она истинной или ложной, так как наши знания о еще не найденных погребениях фараонов пока недостаточны. Но мы вполне можем предполагать, что это высказывание, ибо оно обязательно либо истинно, либо ложно.

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

О формальной системе речь шла во второй главе, и читатели, наверное, помнят, что такие системы задаются как четверки, состоящие из множества базовых элементов Т, множества синтаксических правил L, множества аксиом Q и множества правил вывода R. Поэтому, если мы хотим рассматривать исчисление высказываний как формальную систему, то должны задать указанные четыре множества.

Перейти на страницу:

Похожие книги

Рождение сложности. Эволюционная биология сегодня: неожиданные открытия и новые вопросы
Рождение сложности. Эволюционная биология сегодня: неожиданные открытия и новые вопросы

Как зародилась и по каким законам развивалась жизнь на нашей планете? Что привело к формированию многоклеточных организмов? Как возникают и чем обусловлены мутации, приводящие к изменениям форм жизни? Социологические исследования показывают, что в поисках ответов на эти краеугольные вопросы люди сегодня все реже обращаются к данным науки, предпочитая довольствоваться поверхностными и зачастую неверными объяснениями, которые предлагают телевидение и желтая пресса. Книга доктора биологических наук, известного палеонтолога и популяризатора науки Александра Маркова — попытка преодолеть барьер взаимного непонимания между серьезными исследователями и широким читателем. «Рождение сложности» — это одновременно захватывающий рассказ о том, что происходит сегодня на переднем крае биологической науки, и в то же время — серьезная попытка обобщить и систематизировать знания, накопленные человечеством в этой области. Увлекательная и популярная книга Александра Маркова в то же время содержит сведения, которые могут заинтересовать не только широкого читателя, но и специалистов.

Александр Владимирович Марков

Научная литература