К логически ложным (L-л) – внутренне противоречивые суждения.
Логически истинные суждения вместе с логически ложными (L-и L-л) образуют класс логически детерминированных суждений. Все остальные суждения, истинность или ложность которых не может быть определена исходя из их структуры, составляют класс фактически детерминированных суждений: F-и F-л.
2. Фактическая модальность связана с объективной , или физической детерминированностью суждений, когда их истинность и ложность определяются положением дел в реальной действительности.
К фактически истинным (F-и) относятся суждения, в которых связь между терминами соответствует реальным отношениям между предметами.
К фактически ложным (F-л) относятся суждения, в которых связь между терминами не соответствует действительности.
Объективная устойчивость и интенсивность реальных связей между предметами находит свое выражение в фактической модальности суждений с помощью алетических модальных понятий необходимости и случайности.
Необходимость-случайность. Фактически необходимыми являются суждения, в которых содержится информация о законах науки.
Суждения необходимости могут быть истинными, но они могут быть и ложными. Они составляют класс фактически необходимых суждений. Все остальные фактические суждения относятся к случайным.
Фактически случайные – это суждения, которые не содержат информации о законах науки, а их истинность и ложность определяются конкретными эмпирическими условиями.
Модальные понятия «необходимость» и «случайность» могут быть эквивалентно выражены другой парой модальных понятий – возможность и невозможность.
Возможность-невозможность. Фактически возможными являются суждения, содержащие информацию о принципиальной совместимости выраженных в субъекте и предикате явлений.
Дополнением к классу фактически возможных суждений является класс фактически невозможных суждений.
Фактически невозможными являются суждения, содержащие информацию о принципиальной несовместимости выраженных в субъекте и предикате явлений.
Вывод
Все перечисленные модальные понятия дают возможность точнее и полнее выразить различные контекстуальные характеристики суждений, зависящие от разного подхода к ним, их роли в познании и практическом действии. Посредством использования символов и формальных методов современной неклассической логики расплывчатые и неопределенные модальные термины естественного языка приобретают необходимую ясность, однозначность и точность.
Использованные источники
1. Логика В.И.Кириллов, А.А.Старченко, 1998
2. Логика и Аргументация, Г.И.Рузавин, 1997
3. Логика, А.А.Ивин, 2000