Введение в логику и научный метод

Если дуют этесийские ветры, то Нил разливается (общее правило). Нил разливается в течение ста дней, начиная с летнего солнцестояния (наблюдаемый факт).

∴ Этесийские ветры дуют, начиная с летнего солнцестояния (выведенное событие).

Разумеется, данное умозаключение является необоснованным. Однако его защитник может утверждать, что подобное рассуждение представляет предположительный вероятностный вывод, в котором заключение является вероятным при данных условиях. Геродот показывает, что это не так. Он указывает на то, что мы можем привести примеры событий, когда уровень воды в Ниле поднимается (наблюдаемое событие), а этесийские ветры не дуют. Подобный случай, разумеется, не объясняется приведенным правилом. Поэтому Геродот заключает, что гипотеза о ветрах не всегда объясняет разлив реки. Однако на этом он не останавливается, поскольку защитнику данной теории может показаться достаточным и такой предлагаемый ей непостоянный результат. Далее Геродот показывает, что логические следствия теории эстетийских ветров противоречат известным фактам. Для этого он указывает на некоторые следствия, которые имплицируются данной теорией. Он продолжает свой аргумент:

Если этетийские ветры обусловливают разлив, то и другие реки должны вести себя подобно Нилу (выработанное правило).

Эти другие реки не выходят из берегов (наблюдаемый факт).

∴ Этетийские ветры на постоянной основе не обусловливают разливы.

Данное следствие представлено смешанным условным силлогизмом. Геродот, таким образом, показал, что теория эстетийских ветров не может рассматриваться как удовлетворительное объяснение проблемы. Отвержение первой теории Геродоту пришлось осуществлять дедуктивно. Важность данного шага становится более ясной, если проанализировать его отвержение третьей теории. Ее можно сформулировать так: если в центре Африки имеет место периодическое таяние снегов, то Нил будет периодически разливаться. Геродот отвергает это объяснение не потому, что он может непосредственно наблюдать отсутствие снега в Центральной Африке, а потому, что он может наблюдать предполагаемые следствия того, что Центральная Африка является жаркой страной. А поскольку он отвергает возможность выпадения снега в теплых странах, то он также и отвергает теорию таяния снегов как причины поведения Нила. Сформулируем в частичном виде его аргумент еще раз:

Если из определенной местности дуют жаркие ветры, то сама эта местность является жаркой (общее правило).

Горячие ветры дуют из центра Африки (наблюдаемый факт).

∴  В центре Африки жарко (выведенный факт).

Если на определенной территории выпадает снег, то там не может быть жаркого климата (правило).

Центральная часть Африки является жарким местом (выведенный факт из предшествующего умозаключения).

∴  Снег не выпадает в центральной части Африки (выведенный факт).