Модальность (от лат. modus – мера, способ) есть явно или неявно выраженная в суждении характеристика суждения, дополнительная информация о логическом и фактическом статусе суждения, о регулятивных, оценочных, временных и других его характеристиках, о степени его обоснованности.[5]
Суждения, которыми мы оперируем, имеют определенные достаточные основания для своего существования – либо структурно-логические характеристики самих суждений ("логическая модальность"), либо фактическую их обусловленность положением дел в реальной действительности ("фактическая", или "онтологическая модальность").
Логическая модальность – это информация о логической детерминированности суждения, истинность или ложность которого определяется структурой, или формой суждения.
Фактическая (онтологическая) модальность есть информация о том, как суждение детерминировано объективными обстоятельствами, и истинность или ложность суждения определяется, таким образом, положением дел в реальной действительности.
Первоначальную информацию в суждении выражают, как мы уже знаем, субъект, предикат, кванторное слово и способ выражения этой информации – формула (S – P).
Что касается дополнительной информации, то она может быть самой различной. Так, например, логик середины XIII в. Вильгельм Шервуд насчитывал шесть видов модальных форм: истинно, ложно, возможно, невозможно, случайно и необходимо. В современном же логическом мышлении чаще других применяются модальности, выступающие под именами алетическая, деонтическая и эпистемическая.
Понятие "алетическая" (от греч. aletheia – истина) означает "истинная". Алетическая модальность в этом смысле есть отношение к основному требованию логики – выражать критерии истинных и ложных высказываний.
Алетическая модальность есть выраженная в суждениях и терминах необходимости-случайности либо возможности-невозможности информация об особенностях логической или фактической детерминированности суждений.
Обратим внимание, что "необходимость" – это то, что как бы "нельзя обойти", поэтому "необходимость" в логике равноценна "неизбежности". А это значит, что необходимость всегда связана с законом. Утверждение необходимости существования чего-либо, как соответствие действительности, обозначается символически как p. Аналогично, утверждение необходимости несуществования чего-либо, как отрицательное соответствие действительности, обозначается как ÿ ù p. И тогда класс фактически необходимых суждений обозначается как (ÿ p Ú ÿ ù p) = ÿ (p Ú ù p). Здесь ÿ – оператор[6] (функтор[7]) необходимости, ù – оператор (функтор) отрицания.
Нетрудно видеть, что формула (p Ú ù p) всегда есть истинное высказывание, так как выражает закон исключенного третьего.
Пример:
"Наличие причинной связи между действиями, совершенными данным лицом, и наступившими общественно-опасными последствиями (p) – непременное условие привлечения его к уголовной ответственности (q)."
В терминах алетической модальности данное высказывание выглядит так:
ÿ (p ® q).
В противоположность "необходимости", "случайность" не связана с неизбежностью, а фиксирует лишь частные события в их произвольном возникновении и существовании. И тогда символическое обозначение класса фактически случайных суждений может быть выражено так:
ù (ÿ p Ù ÿ ù p) = ù ÿ (p Ù ù p).
Пример:
"Загрязнение окружающей среды (p) иногда способствует возникновению сердечно-сосудистых заболеваний (q)".
Роль взаимоотношений и
взаимодействия лидера и руководителя в функционировании подросткового
коллектива
Находясь в тесных отношениях, лидер подростковой группы и классный руководитель, с неизбежностью приобретают нечто общее в стилях управления группой. Это обеспечивает механизм идентификации лидера с руководителем, действующий объективно и ...
Рекомендации для преподавателей и старшеклассников.
В данном коллективе 61% людей, которые определились со своей будущей профессией, остальные же ещё не сделали этот выбор. Всё-таки 39% старшеклассников из рассматриваемого коллектива это достаточно большое количество. У них осталось пол го ...
Межличностные отношения в семье как предмет исследования в психологии
Как известно, человек в процессе своей деятельности, создавая условия своего бытия, вступает в определенные отношения с материальными объектами и с другими индивидами. Таким образом, в самом общем виде все отношения можно разделить на отн ...