I. Утверждающий модус (MODUS PONENS)

Формула ((а b) ^ а) b (1) является законом логики.

Можно строить достоверные умозаключения от утвер­ждения основания к утверждению следствия, напр.:

Если ты хочешь наслаждаться искусством, то ты должен быть ху­дожественно образованным человеком.

Ты хочешь наслаждаться искусством.

Ты должен быть художественно образованным человеком.

Для построения другого примера воспользуемся интересным высказыванием великого русского педагога К.Ушинского: «Если человек избавлен от физического труда и не приучен к умственному, зверство овладевает им». Использовав это высказывание, построим условно-категорическое умозаключение:

Если человек избавлен от физического труда и не приучен к ум­ственному, то им овладевает зверство.

Это человек избавлен от физического труда и не приучен к умствен­ному.

Этим человеком овладевает зверство.

Любое использование правил или теорем, или законов в математике, физике, химии и других науках основано на ут­верждающем модусе, дающем достоверное заключение, поэто­му в практике мышления он находит самое широкое примене­ние. В юриспруденции это умозаключение используется при подведении частного случая под действие какой-либо статьи ГК РФ или УК РФ, или в других ситуациях.

Если гражданин РФ достиг 18 лет, то для него в полном объеме возникает гражданская дееспособность.

Гражданин РФ Крылов Н.В. достиг 18-летнего возраста.

Для гражданина РФ Крылова Н.В. в полном объеме возникает гражданская дееспособность.

II. Отрицающий модус (MODUS TOLLENS)

Формула также является законом логики.

Можно строить достоверные умозаключения от отрицания следствия к отрицанию основания.

Пример:

Если река выходит их берегов, то вода заливает прилежащие территории.

Вода реки не залила прилежащие территории.

Вода не вышла из берегов.

Для построения второго условно-категоричного умозаключения воспользуемся следующим высказыванием: «…Тот мерзок, кто ярится, если чужой он доблести свидетель» Данте

Умозаключение построено так:

Если человек при виде чужой доблести ярится (приходит в ярость), то он мерзок.

Этот человек не является мерзким.

Этот человек при виде чужой доблести не ярится.

В юридической практике этот модус очень часто используется, напр.:

Если у одного гражданина РФ имеется 12 м², то у него есть норма жилой площади.

У гражданина РФ Сидорова нет нормы жилой площади.

У гражданина РФ Сидорова Е.В. нет 12 м² жилплощади.

Условно-категорическое умозаключение может давать не только достоверное заключение, но и вероятное.