Дедуктивные умозаключения

Дедуктивные умозаключения — те умозаключения, у которых между посылками и заключением имеется отношение логичес­кого следования.

Определение дедуктивного умозаключения, данного в тради­ционной логике (т. е. Д₁), — частный случай из этого определе­ния через логическое следование.

Например,

Все рыбы дышат жабрами. Все окуни — рыбы.

Все окуни дышат жабрами.

Здесь первая посылка «Все рыбы дышат жабрами» является общеутвердительным суждением и выражает большую степень обобщения по сравнению с заключением, также являющимся общеутвердительным суждением «Все окуни дышат жабрами». Мы строим умозаключение от признака, принадлежащего роду («рыба»), к его принадлежности к виду — «окунь», т. е. от обще­го класса к его частному случаю, к подклассу. Частный случай при этом не надо путать с частным суждением вида «Некоторые S есть Р» или «Некоторые S не есть Р».