DF: Модальность суждений – это выраженная в суждении в явном или неявном виде дополнительная информация о типе зависимости между субъектом и предикатом, отражающая объективные отношения между предметами и их признаками.
2) Модальность можно выразить с помощью модального оператора – М. В этом случае модальность выражают как М (S есть P)
3) Из немодальных высказываний возможно получение различных типов модальностей, подставляя различные понятия, определяющие тип связи субъекта и предиката.
Например: из суждения «7 ноября 1917г. произошла Великая Октябрьская революция»
Модальные Возможно
термины Хорошо
1) Модальные суждения являются предметом изучения модальных логик (разделов современных неклассических логик). В них исследуются устойчивые логические связи модальных высказываний.
Теория логических модальностей изучает логическое поведение высказываний, включающих модальные понятия «логически необходимо», «логически возможно», «логически случайно».
2) Эпистемическая логика исследует высказывания, содержащие понятия «вероятно», «доказано».
3) Деонтическая логика изучает логические связи нормативных высказываний.
4) Логика оценок (аксиологическая) занимается аксиологическими модальностями.
5) Логика времени – временными и т.п.
Мы остановимся на 3-х основных типах модальностей: алетической, эпистемической и деонтической.
Алетическая модальность – это дополнительная информация, указывающая на характер зависимости между S и Р в суждениях в терминах необходимости или возможности.
По степени устойчивости связи между S и Р выделяются суждения необходимости и случайности.
Необходимыми являются суждения, в которых выражены научные законы, устойчивые и повторяющиеся связи между явлениями или вытекающие из них следствия.
Пример: «При увеличении спроса цена увеличивается»
S необходимо есть (не есть) Р
А – оператор необходимости, читаются «необходимо р».
Случайными называются суждения, которые не содержат в себе законов науки и в зависимости от конкретных эмпирических условий могут быть либо истинными, либо ложными.
Пример: «Горький родился 28 марта 1868 года»
К случайным относятся те суждения, которые не являются необходимыми
Если р случайно, то о нем неверно сказать что оно необходимо истинно или необходимо ложно.
Случайность – двухсторонняя возможность.
2) В алетической модальности выделяются также суждения возможности и невозможности.
Суждения возможности – это высказывание о фактической совместимости двух явлений в форме утверждения о совместимости S и Р.
 | |
“S может быть Р», символически Р - оператор возможности.
Пример: «Сборная Украины может стать чемпионом мира по футболу».
Суждения невозможности образуются путем отрицания исходной
 | |||||
 |  |
модальности: р ^ р. Неверно, что возможно А и не возможно не А.
В алетической логике возможно установить отношения между суждениями необходимыми и случайными. Необходимость р эквивалентна невозможности р. Необходимости р эквивалентна невозможности р. суждения случайности могут быть предоставлены как суждения возможности: случайная истинность N p эквивалентна возможности р, случайная ложность N р эквивалентна возможности р