К непосредственным умозаключениям относят обращение и превращение.

В ходе обращения термины категорического суждения меняются местами.

Суждение «Некоторые политики - спортсмены» - «Некоторые спортсмены - политики».

Суждения классов Е и I доступны полному обращению.

Суждение класса А обращается с ограничением из суждения «все женщины люди», следует, что «некоторые люди женщины» (выделяющее суждение класса I).

Суждение класса О обращению не подлежит!!!

Превращение представляет собой переход к судению другого качетсва у которого предикат находится в отношении противоречия с предикатом исходного суждения.

Например, «все люди смертны» (класс А), превращается в суждение «ни одни человек не является бессмертным».

Квантор суждения остается неизменным.

или

«Иванов является невиновным» - «Иванов не является виновным».

Среди опосредованных умозаключений наибольший интерес представляют условно-категорические умозаключения или СИЛЛОГИЗМЫ.

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

В них одна из посылок является импликацией. Вторая посылка и заключение – это категорическое суждение.

Логика выявляет два правильных МОДУСА (=варианта) этих умозаключений!

1. modus ponens (от утверждения основания к утверждению следствия):

А->В

А

В

Этому травиальному умозаключению сопуствует модус признанный в логике неправильным:

Например, «если каждый день есть эвкалиптовые листья, то будешь здоров»; «Коал и есть, значит он здоров», «Студент Сидоров их не ест» - из этого не следует, что он болен.

Дело в том, что одно и тоже следствие может вызываться различными причинами.

2. modus tollens (от отрицания следствия к отрицанию основания).

Это рассуждение лежит в основе юридического принципа АЛИБИ.

Если человек отсутствовал на месте преступления ( ), то преступление он не совершал ( ).

Этому модусу сопуствует неправильный модус от утверждения следствия к утверждению основания.

В юридической практике отдельно взятая улика лишь увеличивает правдоподобие подозрения, но не обращает предположения в достоверность.

СИЛЛОГИЗМ.

Простой категорический силлогизм – это дедуктивное умозаключение, получаемое из двух простых категорических суждений на основании каждой из посылок термина – посредника.

Все люди (М) – смертны (Р)

Все греки (S) – люди (М)

_______________________________

Все греки (S) – смертны (Р)

Субъект заключения называют меньшим термином (S).

Посылка в которой он содержится называется меньшей посылкой и следует ВТОРОЙ по счету.

Первой по счету идет бОльшая посылка, которая содержит больший термин – предикат заключения.

По словам Пирса, силлогизм это тройной знак, обладающий рациональной убедительной силой.

Ведущую роль в структуре силлогизма играет термин, присутствующий в обеих посылках, но отстутствующий в заключении, его называют средним термином и обозначают – М (medialis - cредний).

Терминология становится ясной после изображения отношения между терминами с помощью кругой Эйлера.

Эта схема иллюстрирует общедедуктивную аксиому: «Все что относится к роду, относится также и к виду».

Силлогизм данного вида

MаР

SаР__

SаР

В логике поличил специально название ВАRBARA. Правильно построенный силлогизм может быть изображен одной единственной круговой схемой.

Неправильный силлогизм может быть изображен несколькими схемами, противоречащими друг другу.

Ни один человек не живет 300 лет