2. Дедуктивный этап

На втором этапе научного исследования обобщения, достигнутые в ходе индукции, используются в качестве посылок для дедукции суждений относительно первоначальных наблюдений. Аристотель наложил серьёзные ограничения на виды высказываний, которые могут возникнуть в посылках и выводах дедуктивных суждений в науке. Он позволил только те высказывания, которые утверждают, что один класс включён во второй класс, или исключен из него. Если «S» и «P» выбраны так, являются двумя разными классами, то Аристотель позволяет делать следующие суждения:

Таблица 2.

Тип суждения	Суждение	Отношение
(А) Общеутвердительное	Все S есть Р	S полностью включено в Р
(Е) Общеотрицательное	Ни одно S не Р	S полностью исключено из Р
(I) Частноутвердительное	Некоторые S есть Р	S частично включено в Р
(O) Частноотрицательное	Некоторые S есть не Р	S частично исключено из Р

Аристотель счёл, что тип суждений «(А) Общеутвердительное» является наиболее важными из всех четырёх типов. Он считал, что определённые свойства сущностно присущи индивидуумам определённых классов, и что заявление вида «Все S есть P» воспроизводит структуру этих отношений. Возможно, по этой причине, Аристотель утверждал, что правильное научное объяснение должно быть дано в терминах суждений этого типа. Более конкретно, он привел силлогизм в Барбаре как парадигму научного утверждения. Этот силлогизм¹ состоит из операторов А-типа, расположенных следующим образом:

Все M есть P

Все S есть M

Все S есть P

где P, S и М - крупные, мелкие и средние термины силлогизма.

Эти отношения можно выразить круговыми схемами.

Схема 3.

Аристотель показал, что этот тип силлогизма является достоверным. Если это правда, что все S входят в М и все М входят в Р, то также должно быть верно, что все S входят в P. Это то положение, которое верно независимо от того, какие классы обозначаются «S», «P» и «М». Одним из величайших достижений Аристотеля было настаивать на том, что истинность суждения определяется исключительно соотношением между посылками и выводами.

Аристотель истолковывает дедуктивный этап научного исследования как интерпозицию среднего термина между субъектом и предикатом с точкой зрения суждения, которое будет доказано. Например, суждение «Все планеты – есть тела, которые светят постоянно» может быть выведено (дедуцировано) путём выбора «тел вблизи Земли» в качестве среднего термина. Доказательство в силлогистической форме:

Все тела вблизи Земли - есть тела, которые светят постоянно.

Все планеты – есть тела вблизи Земли.

Все планеты – есть тела, которые светят постоянно.

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