Составители:
Рубрика:
30
доказательства. Так, Милль доказывает, что первые принципы геометрии
есть результат индукции. Решая вопрос о том, являются равными или
неравными углы в основании равнобедренного треугольника, Милль
утверждает, что равенство выводится из формул: «вещи, совпадающие при
наложении, равны; вещи, равные одной и той же вещи, равны между
собой; целое и сумма его частей равны; суммы равных вещей равны;
разница равных вещей равна»
29
. Нет других формул для доказательства
равенства. Все индукции, включённые в геометрию, включены в те
простые индукции, формулами которых являются аксиомы, некоторые из
которых называются дефинициями, считает Милль.
Силлогизм (как ratiocination) есть вывод нового высказывания из
эквивалентных или более общих высказываний. Когда из общего
высказывания в сочетании с другими высказываниями выводится
высказывание той же самой степени общности или менее общее
высказывание (в том числе и единичное), тогда вывод называется Миллем
ratiocination, или силлогизмом. Если выводное высказывание есть более
общее высказывание, чем предпосылки, то он является индуктивным. Если
же вывод есть менее общее высказывание или эквивалентное по степени
общности своим предпосылкам, то он является силлогистическим
(ratiocination)
30
.
Милль считает, что высказывание как результат индуктивного
вывода имеет большее содержание, чем предпосылки. Принцип или закон
науки, полученный из индивидуальных экспериментов, более
содержателен, чем описания отдельных экспериментов. То обстоятельство,
что индукция имеет место в науке, представляется очевидным для Милля:
«В каждой индукции мы исходим из истин, которые мы знали, к истинам,
которые мы не знали; из фактов, установленных наблюдением, к фактам,
которые мы не наблюдали, и даже к фактам, которые сейчас мы
неспособны наблюдать; будущие факты, например».
31
Осмысливая роль индукции в познании, Милль исследует природу
силлогизма. Силлогизм понимается как вывод от общего к единичному.
Силлогизм является дефективным, если в выводе содержится информации
больше, чем в посылках. Силлогизм может доказать не более того, что
включено в посылки. Обобщение есть процесс логического вывода. Он
предполагает процесс присваивание имён, но не сводится к нему.
Доказательство не основано на общем предположении, но на
предположении, ограниченном конкретным случаем. Этот случай берётся
как образец или парадигма целого класса случаев, включенных в теорему.
Здесь важен вывод от индивидуального к индивидуальному, а не от
общего.
29
Mill J. S. A System of Logic. Volume 1. P. 241.
30
Mill J. S. A System of Logic. Volume 1. P. 182.
31
Mill J. S. A System of Logic. Volume 1. P. 183.
Страницы
- « первая
- ‹ предыдущая
- …
- 28
- 29
- 30
- 31
- 32
- …
- следующая ›
- последняя »
