Значение слова МОДУС в Большой советской энциклопедии, БСЭ

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