МОДУС
(от лат. modus - мера, способ,
образ, вид), термин, используемый в логике, юриспруденции (см., напр.,
Модус
вивенди) и философии. В традиционной (силлогистической) логике М. наз.
разновидности силлогизмов (умозаключений), определяемые количеством, формой
и взаимозависимостью их посылок и заключений. Термин этот перешёл и в совр.
формальную (математическую) логику. Напр., modus ponens - это не что иное,
как "правило заключения", или "правило отделения", т. е. правило вывода
(см. Логика, Логика предикатов), согласно к-рому из посылок вида
А
и
А В ( - знак импликации, читаемый как "влечёт") можно
получить заключение
В. См. Силлогистика.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я