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

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

                             29                                                                 30