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