Модус — понятие философии и логики¶
Модус (лат. modus — «способ, образ») — многозначный термин, обозначающий способ существования, форму или состояние чего-либо. В зависимости от области знания понятие приобретает специфическое содержание: в философии модус — атрибут субстанции, определяющий её способ бытия; в логике — форма условного суждения или умозаключения; в музыке — звукоряд, построенный по определённому принципу; в грамматике — категория, выражающая отношение говорящего к содержанию высказывания.
¶Философия
В классической философии термин «модус» восходит к латинской традиции перевода греческих понятий. Ключевую роль в закреплении термина сыграл Рене Декарт, разработавший учение о субстанциях и их атрибутах. Согласно Декарту, протяжённость и мышление — атрибуты двух субстанций (протяжённой и мыслящей), а модус — форма, в которой атрибут существует: движение является модусом протяжённости, воля — модусом мышления.
Барух Спиноза в «Этике» развил учение о модусах как бесконечно малых частях бесконечной субстанции (Бога или природы). Модусы у Спинозы — это конкретные состояния и единичные вещи, существующие лишь через субстанцию и в ней. Спиноза различал атрибуты (необходимые выражения субстанции) и модусы (её случайные проявления).
В немецкой классической философии понятие модуса перешло в логику и теорию познания. Иммануил Кант рассматривал модус в контексте категорий рассудка: возможность, действительность и необходимость — модальные категории, определяющие способ отношения суждения к объекту.
¶Логика
В логике термин «модус» употребляется в нескольких значениях.
Модусы условного суждения. Условное суждение «если А, то В» имеет четыре модуса в зависимости от знака (утвердительный или отрицательный) посылок:
| Модус | Форма |
|---|---|
| Modus ponens (модус подтверждающий) | Если А, то В; А; следовательно, В |
| Modus tollens (модус отрицающий) | Если А, то В; не-В; следовательно, не-А |
| Недопустимый модус (affirming the consequent) | Если А, то В; В; следовательно, А |
| Недопустимый модус (denying the antecedent) | Если А, то В; не-А; следовательно, не-В |
Первые два модуса являются правилами вывода, вторые — логическими ошибками (паралогизмами).
Модусы силлогизма. В классической силлогистике Аристотеля модус определяется сочетанием качественных (утвердительное/отрицательное) и количественных (общее/частное) характеристик посылок. Аристотель выделил 24 модуса категорического силлогизма, из которых в качестве безупречных признаны 19 (включая три «непосредственных» — Darii, Celarent, Barbara). Средневековая логика закрепила за модусами мнемонические имена (Barbara, Celarent, Darii, Ferio и др.).
Модальные логики. Модальная логика изучает суждения, содержащие модальные операторы — «необходимо», «возможно», «случайно». Системы модальной логики (S4, S5, T и др.) формализуют законы, связанные с модальностью. В России развитие модальной логики связано с работами А. С. Карпова, В. А. Смирнова и других исследователей.
¶Музыка
В теории музыки модус — звукоряд, построенный по определённому принципу интервальногоного строения. Модальная теория возникла в древнегреческой музыке (дорийский, фригийский, лидийский и другие лады), была развита в григорианском хорале (церковные моды: дорийский, гиподорийский, фригийский и др.) и возрождена в XX веке в джазовой и академической музыке (модализм).
В русской музыкальной культуре особое значение имел «русский лад» — пентатоника, широко используемая в народной песне и обработках М. И. Глинки, Н. А. Римского-Корсакова, С. В. Рахманинова.
¶Грамматика
В лингвистике модус (модальность) — категория, выражающая отношение говорящего к содержанию высказывания: уверенность, сомнение, желание, возможность, необходимость. Модальные значения реализуются средствами модальных глаголов (мочь, хотеть, долженствовать), наклонениями, частицами, интонацией. В русском языке выделяются модальные слова («возможно», «наверное», «безусловно») и модальные конструкции.
¶Применение
Понятие модуса используется в теории вероятностей (модальные оценки), информатике (модусы доступа к данным), юриспруденции (модус владения в римском праве — владение, пользование, плодопользование, наследование) и других областях.
¶Интересные факты
- Мнемонические имена модусов силлогизма (Barbara, Celarent, Darii, Ferio) образованы от гласных букв, обозначающих типы посылок: «а» — общее утвердительное, «е» — общее отрицательное, «i» — частное утвердительное, «o» — частное отрицательное.
- В философии Спинозы модусы не обладают самостоятельным существованием — это положение стало предметом критики со стороны Лейбница и других философов.
¶Источники
- Декарт Р. Размышления о первой философии.
- Спиноза Б. Этика.
- Кант И. Критика чистого разума.
- Аристотель. Аналитика первая и вторая.
- Карпов А. С. Модальная логика.
- Смирнов В. А. Модальная логика.