В данном разделе представлены словари и энциклопедии по философии и
смежным отраслям знания, отражающие лучшие традиции энциклопедического дела в России и за рубежом. Вы также можете включиться в это дело,
став одним из авторов Открытой философской энциклопедии.
[Помощь]
modusponensи modustollens (Лат. «модус утверждающий» и «модус отрицающий»). В логике, два типа умозаключения, которые могут быть получены при использовании гипотетических высказываний – т.е. из высказываний вида «Если p, то q» (символически pÉq). Modusponens относится к умозаключениям вида pÉq; p, следовательно q. Modustollens относится к умозаключениям вида pÉq; Øq, следовательно, Øp. Пример modustollens: «Если угол вписывается в полукруг, то это прямой угол; данный угол не является прямым; следовательно, он не вписывается в полукруг».