Логика. Краткий курс - страница 12

Шрифт
Интервал


3

Логика времени изучает такие временные модальные понятия, как «было», «будет», «раньше», «одновременно» и т. п.

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

4

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

К абсолютным модальностям в логике времени относятся «было» («всегда было»), «есть» и «будет» («всегда будет»), сравнительными модальными понятиями будут «раньше», «позже» и «одновременно».

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

5

В логике причинности изучаются отношения «…есть причина…» и «…есть следствие…». С помощью утверждения «событие А является причиной события В» устанавливается отношение между событиями А и В. Здесь же можно приписать событию А свойство предопределенности с помощью выражения «детерминировано наступление события А».

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

6

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

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

7

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