ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ
Дедуктивные умозаключения— те умозаключения, у которых между посылками и заключением имеется отношение логического следования.
Определение дедуктивного умозаключения, данного в традиционной логике (т. е. Д1), — частный случай из этого определения через логическое следование.
Например,
Все рыбы дышат жабрами. Все окуни — рыбы.
Все окуни дышат жабрами.
Здесь первая посылка «Все рыбы дышат жабрами» является общеутвердительным суждением и выражает большую степень обобщения по сравнению с заключением, также являющимся общеутвердительным суждением «Все окуни дышат жабрами». Мы строим умозаключение от признака, принадлежащего роду («рыба»), к его принадлежности к виду — «окунь», т. е. от общего класса к его частному случаю, к подклассу. Частный случай при этом не надо путать с частным суждением вида «Некоторые S есть Р» или «Некоторые S не есть Р».