Логическая модальность – это логическая детерминированность суждения, истинность или ложность которого определяется структурой или формой суждения

Логически необходимо любое высказывание, отрицание которого противоречит законам логики.

Пример: Логически необходимо, что если идёт дождь, то идёт дождь.

Логически возможно всё, что внутренне непротиворечиво.

Если логически возможно как высказывание, так и его отрицание, т.е. не нарушены законы логики, то оно называется логически случайным.

Пример: Логически возможно, что НЛО – явление внеземной разумной жизни.

Логически невозможным является высказывание внутренне противоречивое.

Пример: Логически невозможно, что если этот человек спит, то он не спит.

Основными законами отношений логических модальностей являются:

- если высказывание логически необходимо, то оно истинно, но не наоборот;

- если высказывание логически необходимо, то оно логически возможно, но не наоборот;

- если высказывание истинно, то оно логически возможно, но не наоборот.

К физическим модальным понятиям относятся: "физически необходимо", "физически возможно", "физически случайно", "физически невозможно" и др. Физические модальные понятия иногда именуются также каузальными или онтологическими (от слова "онтология", означающего общую теорию бытия). С помощью данных модальных понятий можно сформулировать такие, к примеру, физические модальные высказывания: "Физически необходимо, что металлы пластичны", "Физически возможно, что существуют еще не открытые химические элементы", "Физически случайно, будет ли через год в этот день солнечно" и "Физически невозможно, что вечный двигатель будет создан". Все эти высказывания характеризуют связи, устанавливаемые в соответствующих немодальных высказываниях с некоторой единой точки зрения – физической, или онтологической. Ее смысл уточняет раздел логики, занимающийся изучением физических модальных понятий.

Физически необходимо то, отрицание чего нарушает законы природы, т.е. невозможно физически.

Физическая модальность иногда называется фактической. Фактическая модальность – это объективная или физическая детерминированность суждений, когда их истинность или ложность определяется соотношением с реальной действительностью.

Пример: Физически необходимо, что всё живое рождается и умирает.

Физически возможно высказывание, не противоречащее законам природы. При этом, если физически возможно как данное высказывание, так и его отрицание, то оно является физически случайным.

Примеры: Физически возможно, что Кутузов одержал победу при Малоярославце. Физически случайно, что наш дом построен на горе.

Физически невозможно высказывание, противоречащее природным законам.

Пример: Физически невозможно, что крокодил беззубый, а ёжик без иголок.

Правила взаимоотношений физических модальностей абсолютно аналогичны закономерностям логических модальностей. При этом, если сравнить логическую и физическую модальности между собой, то станет ясно, что самым широким модальным понятием является оператор "логически возможно" – за его пределами истин не существует. Значительно уже понятие "физически возможно" – оно ограничено законами нашего мира, т.е. всеми законами естественных наук. Объём физически необходимого ещё уже, это круг явлений и объектов, существующих реально. Самым узким модальным понятием является понятие "логически необходимо" – это только логические законы и всё, что из них необходимо следует. Очевидно, большая часть действительного мира живёт в рамках логически возможного, но за пределами логически необходимого.

Логическую и онтологическую модальности называют алетическими (от греческого "алетос" – не скрытый, истинный, прямой).

Теоретико-познавательные модальные понятия называются также эпистемическими (от греческого слова episteme – знание), они выражают степень достоверности знания.

Дата добавления: 2014-01-07