Неклассическая логика. Купарашвили М.Д. - 16 стр.

необходимым; допускается, если нет убеждения в противополож-            Логика знания имеет несколько вариантов. Наиболее инте-
ном; случайно то, что не является ни необходимым, ни возмож-      ресным из них является сконструированный австрийским матема-
ным; безразлично то, что недоказуемо и неопровержимо, и т. д.     тиком К. Геделем, в котором исходным термином взято понятие
Точно так же ведут себя сравнительные модальности: «если пер-     «доказуемо». В качестве основных положений можно привести
вое лучше второго, то второе хуже первого». Утверждение «пер-     такие утверждения: «если высказывание доказуемо, оно истинно,
вое причина второго» равносильно утверждению «второе следст-      так как доказать можно только истину, доказательств лжи не су-
вие первого». Каждое направление модальной логики имеет соб-      ществует»; «логическое противоречие недоказуемо»; «логическое
ственную версию принципа модальной полноты, который являет-       следствие доказуемого также является доказуемым»; «если нечто
ся модальным аналогом закона исключенного третьего. Принцип       доказуемо, то доказуемо, что оно доказуемо».
полноты утверждает, что каждое суждение может быть либо не-             Вариантом логики знания является логика истины, которая
обходимым, либо случайным, либо невозможным. По аналогии в        устанавливает следующие законы знания: «конъюнкция истинна,
деотнической логике всякое суждение может иметь значения: или     если и только если все входящие в нее конъюнкты истинны», «ес-
«обязательно», или «нормативно», или «безразлично», или «за-      ли высказывание истинно, то верно, что его отрицание также ис-
прещено».                                                         тинно», и т. д.
      Кроме того, каждое направление модальной логики имеет             В логике убеждений в качестве исходных берутся понятия:
собственную версию принципа модальной непротиворечивости          «полагает», «убежден», «верит», «сомневается» и «отвергает».
(модальный аналог закона непротиворечивости), которая гласит:     Общие положения, которые раскрывают суть логики убеждения:
суждение не может быть как обязательным, так и запрещенным,       «человек сомневается в чем-то, если он не убежден ни в этом, ни
объект не может быть и хорошим и плохим и т. д.                   в противоположном»; «человек отвергает нечто, только если он
      Модальные понятия разных направлений обладают разным        не убежден в противоположном»; «нельзя одновременно верить и
содержанием, но выполняют одну и ту же функцию: уточняют,         сомневаться, быть убежденным и отвергать, сомневаться и отвер-
конкретизируют связь, которая устанавливается в суждении. Пра-    гать»; нельзя быть убежденным одновременно в чем-либо и в его
вила употребления модальных понятий мало зависят от содержа-      противоположном».
ния и целиком определяются данной функцией. Таким образом,              Логика оценок и норм (деонтическая логика). Логическое
указанные правила едины для понятий любых модальных групп и       исследование различных норм и нормативных понятий осуществ-
носят сугубо формальный характер.                                 ляется логикой норм. В ней деонтические понятия рассматрива-
      Эпистемическая логика является разделом модальной ло-       ются как модальные характеристики суждений, в которых гово-
гики и исследует логические связи суждений, которые включают      рится о тех действиях, состояниях, которые возникают в резуль-
понятия: «полагает», «сомневается», «убежден», «знает», «отвер-   тате того или иного действия. С помощью этих понятий все дей-
гает», «разрешимо», «неразрешимо», «доказуемо», «опровержи-       ствия, рассматриваемые с точки зрения некоторой системы норм,
мо» и т. д.                                                       разбиваются на три класса: обязательные, нормативно безразлич-
      Знание отличается от убеждения и веры. Знание всегда ис-    ные и запрещенные. К разрешимым относятся действия, которые
тинно, а убеждение может быть как истинным, так и ложным. Ис-     обязательны или безразличны.
ходя из этого, различают два вида эпистемической логики: логика         Деонтика – греческое слово со значением долг, правиль-
знания и логика убеждения. У них разные исходные понятия и раз-   ность, отсюда нормативная логика – это модальность долженст-
ные законы функционирования.                                      вования. Абсолютные модальные понятия – «хорошо», «плохо»,
                                                                  сравнительные – «лучше», «хуже», «равноценно». Понятие «логи-

                              31                                                                32