Георгий Рузавин - Логика и аргументация: Учебн. пособие для вузов.

В рамках современной модальной логики рассматриваются следующие виды модальных понятий:

• логические модальности,которые выражаются терминами: "логически необходимо", "логически невозможно" и "логически случайно". К логически необходимым относятся логически истинные суждения, которые представляют собой законы логики или логические следствия из них. Суждения, противоречащие законам логики, считаются логически ложными. Они также принадлежат к классу логически необходимых суждений, поскольку характерной особенностью таких суждений является независимость их истинности или ложности от фактического состояния дел. Например, суждение (х ∨ ¬x) будет всегда истинным, ибо оно выражает закон исключенного третьего классической логики. Аналогично этому, суждение (х ∧ ¬х) будет всегда ложным, так как является законом противоречия, в связи с чем можно сказать, что такие суждения считаются истинными или ложными в силу логических оснований. В противоположность этому фактически истинными являются суждения, в которых связь между субъектом и предикатом соответствует реальным связям между предметом и его свойством. Если такого соответствия не существует, то суждение будет фактически ложным.

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

• эпистемические (теоретико-познавательные) модальности,относятся к характеристике знания и выражаются в терминах: "доказуемо", "опровержимо", "неразрешимо", "допустимо", "вероятно", "сомнительно", "убедительно" и т.п. Мы можем оценивать, например, в ходе спора или дискуссии доводы оппонента как убедительные или сомнительные или даже определить степень их вероятности. Подобные модальные понятия дают дополнительную информацию о характере знания, содержащегося в суждении, кроме его истины или лжи;

• деонтические (нормативные) модальностиуказывают на тип предписываемых в суждении действий и выражаются в терминах: "разрешено", "не разрешено", "обязательно", "безразлично" и др. Таким образом, в отличие от суждений, в которых описывается какое-либо состояние дел, называемых дескриптивными, в деонтических модальностях предписывается определенный образ действий или поведения. Поэтому такие суждения называют также прескриптивными. Характер предписаний может быть весьма различным, начиная от совета и рекомендации и кончая приказом. Наиболее широкая сфера применения деонтических модальностей - мораль и право. В отличие от норм морали, правовые нормы регулируют общеобязательные правила поведения в обществе, которые формулируются в соответствующих кодексах и постановлениях. Юридическими нормами регулируются имущественные, трудовые, семейные, административные и другие отношения в обществе. Неисполнение требований правовых норм влечет юридические санкции со стороны правоохранительных органов государства. В отличие от этого нарушение моральных норм сопровождается лишь порицанием со стороны общества. Этим объясняется точная кодификация правовых норм, в которых всегда предполагается адресат, на который распространяется норма, характер действия, форма предписания (запрещение, обязанность или разрешение) и юридическая санкция за неисполнение предписания. Соответственно этому правозапрещающие нормы в юридических документах формулируются с помощью деонтических модальностей "запрещается", "не допускается", "нельзя" и т.п. В правообязывающих документах употребляются такие слова, как "обязан", "должен" "необходимо" и т.п.;

• аксиологические (ценностные) модальностихарактеризуют суждения с точки зрения той или иной системы ценностей. Такие оценки чаще всего выражаются с помощью слов "хорошо", "плохо" или "безразлично". В сравнительном отношении используются слова "лучше", "хуже" или "равноценно", а иногда для сравнения вводятся степени предпочтения. Очевидно, что одни аксиологические термины могут определяться через другие, например, "безразличное" можно рассматривать как то, что не является ни хорошим, ни плохим;

• темпоральные (временные) модальности,которые характеризуют фактор времени в рассуждениях. Они используются для установления отношений во временных рядах: прошлое, настоящее и будущее, а также раньше, одновременно и позже.

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

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

В качестве первого шага рассмотрим отношения между суждениями, которые могут быть представлены как вершины логического квадрата (рис. 8). Обозначим буквой А общеутвердительные суждения (начальная буква греч. Слова affirmo - утверждать), общеотрицательные суждения обозначим буквой Е (первая гласная буква в слове (nego - отрицать), буквой О обозначим частноотрицательные суждения (вторая гласная в слове (nego) и буквой I- частноутвердительные суждения (вторая гласная в слове affirmo). Пользуясь таким квадратом, можно установить различные логические отношения между перечисленными суждениями и выводить частные суждения из общих. Соответственно этому между общими и частными суждениями устанавливается отношение подчинения, которое изображается вертикальными сторонами квадрата. Общеутвердительное и общеотрицательное суждения связаны отношением контрарности (противности), которое изображается верхней горизонтальной стороной квадрата. Каждое из этих общих суждений может быть получено путем логического отрицания другого. Частноотрицательное и частноутвердительное суждение связаны отношением субконтрарности, которое представлено нижней горизонтальной стороной квадрата. Диагонали логического квадрата связывают общеутвердительное суждение с частноотрицательным и общеотрицательное с частноутвердительным суждением.