Большая Советская энциклопедия - модус

(от лат. modus — мера, способ, образ, вид)

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

Большая советская энциклопедия. — М.: Советская энциклопедия

1969—1978