Модус

Модус (далее М) (от лат. modus - мера, способ, образ, вид), термин, используемый в логике, юриспруденции (см., например, М вивенди) и философии. В традиционной (силлогистической) логике М называют разновидности силлогизмов (умозаключений), определяемые количеством, формой и взаимозависимостью их посылок и заключений. Термин этот перешел и в современную формальную (математическую) логику. Например, modus ponens - это не что иное, как "правило заключения", или "правило отделения", т. е. правило вывода (см. Логика, Логика предикатов), согласно которому из посылок вида А и А É В (É - знак импликации, читаемый как "влечет") можно получить заключение В. См. Силлогистика.