Но сколь ни фундаментальны понятия и аксиомы, именно дедуктивные выводы из аксиом дают нам возможность получать полностью новое знание, вносящее надлежащие поправки в наши чувственные восприятия. Из многих типов рассуждений (индуктивных, по аналогии, дедуктивных и т.д.) только дедуктивное рассуждение гарантирует правильность заключения. Например, придя к заключению «Все яблоки красные» на том основании, что тысяча просмотренных нами яблок были красными, мы пользуемся индуктивным рассуждением, поэтому наше заключение ненадежно. Заведомо ненадежно и заключение «Джон не мог не закончить этот колледж», которое мы делаем на том основании, что брат-близнец Джона, унаследовавший от родителей такие же способности, как и сам Джон, закончил этот колледж. В этом случае мы рассуждаем по аналогии, и наше рассуждение также ненадежно. В отличие от этого дедуктивное рассуждение, хотя оно может принимать разнообразные формы, гарантирует правильность заключений. Тот, кто считает, что все люди смертны, не может не согласиться с тем, что Сократ смертен. Лежащее в основе этого рассуждения логическое правило является разновидностью того, что Аристотель называл силлогистическим рассуждением, или силлогизмом. К числу других законов дедуктивного рассуждения Аристотель относил закон противоречия (любое утверждение не может быть одновременно истинным и ложным) и закон исключенного третьего (любое утверждение должно быть либо истинным, либо ложным).
И сам Аристотель, и мир в целом не сомневались в том, что сформулированные Аристотелем принципы дедуктивного рассуждения, если их применить к любым посылкам, приводят к заключениям столь же надежным, как и посылки. Следовательно, если посылки были истинными, то заключения также будут истинными. Заметим попутно, что принципы дедуктивного рассуждения Аристотель абстрагировал из рассуждений, которыми уже пользовались математики. Дедуктивная логика — дитя математики.
Необходимо по достоинству оценить, сколь радикальным было неукоснительное следование принципам дедуктивного доказательства. Мы можем проверить сколько угодно чисел и убедиться, что каждое из них представимо в виде суммы двух простых чисел. Однако мы не можем утверждать, что наш результат есть математическая теорема, поскольку он не был получен путем дедуктивного доказательства. Приведем еще один аналогичный пример. Предположим, что какой-то ученый измерил суммы углов 100 различных треугольников, отличавшихся по расположению, размерам и форме. В пределах точности измерений все суммы оказались равными 180°. Ученый, разумеется, сделал бы вывод, что сумма углов любого треугольника равна 180°. Но такое заключение верно только в пределах точности измерений. Кроме того, оставался бы открытым вопрос о том, не дадут ли существенно иной результат измерения, производимые над треугольником какой-нибудь еще не испробованной формы. Индуктивное заключение нашего естествоиспытателя математически неприемлемо. В отличие от него математик начинает с фактов или аксиом, которые представляются надежными. Кто может усомниться в том, что если к равным величинам прибавить равные величины, то суммы окажутся равными? С помощью таких неоспоримых аксиом можно, рассуждая дедуктивно, доказать, что сумма углов