Модальность (в языкознании)

область логики, посвящённая изучению модальностей (См. Модальность), построению исчислений (См. Исчисление), в которых модальности применяются к высказываниям, наряду с логическими операциями (См. Логические операции), и сравнительному исследованию таких исчислений. «Модальные операторы» («возможно», «необходимо» и др.) могут относиться как к высказываниям (См. Высказывание) или Предикатам, так и к словам, выражающим какие-либо действия или поступки. Интерес к проблемам М. Л. Обусловлен прежде ..

IМода́льность (от лат. Modus — мера, способ) способ существования какого-либо объекта или протекания какого-либо явления (онтологическая М.) или же способ понимания, суждения об объекте, явлении или событии (гносеологическая, или логическая М.). Понятие М., введённое по существу ещё Аристотелем (См. Аристотель), перешло затем в классические философские системы. Слова (термины), выражающие различные модальные понятия, являются предметом рассмотрения и изучения лингвистики (см. Модальность в языко..

Модальность (от лат. Modus — мера, способ), способ существования какого-либо объекта или протекания какого-либо явления (онтологическая М.) или же способ понимания, суждения об объекте, явлении или событии (гносеологическая, или логическая М.). Понятие М., введённое по существу ещё Аристотелем. ..

Из простейших высказываний более сложные получаются при помощи пропозициональных связок «и», «или», «если..., то...», «не», а также кванторов «для каждого x...», «существует такое х, что...». Например, утверждение, что числа u и v взаимно просты, более подробно записывается в виде. «для каждых х, у и z, если u = х · у и v =х · z, то x = 1» и, значит, получается из простейших при помощи пропозициональных связок и кванторов. В общем случае под алгебраической системой понимается непустое множество ..