 |
 |
 |
 |
|
 |
 |
7
подтверждают заключение, другой придерживается противоположного мнения. Подобных
разногласий не возникает при дедуктивном выводе.
• В-третьих, такое отношение к индукции объясняется также историческими обстоятельствами. Когда
впервые возникла индуктивная логика, то ее создатели, в частности Ф. Бэкон, верили, что с помощью
ее канонов, или правил, можно открывать новые истины в опытных науках чуть ли не чисто
механическим путем. "Наш же путь открытия наук, – писал он, – немногое оставляет остроте и силе
дарования, но почти уравнивает их. Подобно тому как для проведения прямой или описания
совершенного круга много значат твердость, умелость и испытанность руки, если действовать только
рукой, – мало или совсем ничего не значит, если пользоваться циркулем и линейкой. Так обстоит и с
нашим методом". Говоря современным языком, творцы индуктивной логики рассматривали свои
каноны как алгоритмы открытия. С развитием науки становилось все более очевидным, что с
помощью таких правил (или алгоритмов) можно открывать лишь простейшие эмпирические связи
между наблюдаемыми на опыте явлениями и характеризующими их величинами. Открытие же
сложных связей и глубоких теоретических законов требовали использования всех средств и методов
эмпирического и теоретического исследования, максимального применения психических и
интеллектуальных способностей ученых, их опыта, интуиции и таланта. А это не могло не породить
негативного отношения к механическому подходу к открытию, существовавшему раньше в
индуктивной логике.
• В-четвертых, расширение форм дедуктивных умозаключений, появление логики отношений и, в
особенности, применение математических методов для анализа дедукции, которое завершилось
созданием символической (или математической) логики во многом способствовало выдвижению на
первый план именно дедуктивной логики.
Все это делает понятным, почему нередко предпочитают определять логику как науку о способах,
правилах и законах дедуктивных умозаключений или как теорию логического вывода. Но нельзя
забывать, что индукция, аналогия и статистика являются важными способами эвристического поиска
истины, а потому они служат рациональными методами рассуждений. Ведь поиск истины можно вести
наудачу, путем проб и ошибок, но такой способ крайне неэффективен, хотя иногда и используется.
Наука к нему прибегает весьма редко, поскольку она ориентируется на поиск организованный,
целенаправленный и системный.
Надо также учитывать, что общие истины (эмпирические и теоретические законы, принципы,
гипотезы и обобщения), которые используются как посылки дедуктивных умозаключений, невозможно
установить дедуктивно. Но нам могут возразить, что они не открываются и индуктивно. Тем не менее
поскольку индуктивные рассуждения ориентируются на поиск истины, то они оказываются более
полезным эвристическим средством исследования. Разумеется, в ходе проверки предположений и
гипотез используется и дедукция, в частности для вывода следствий из них. Поэтому нельзя
противопоставлять дедукцию индукции, поскольку в реальном процессе научного познания они
предполагают и дополняют друг друга.
Следовательно логику можно определить как науку о рациональных методах рассуждений,
которые охватывают как анализ правил дедукции (вывода заключений из посылок), так и
исследование степени подтверждения вероятностных или правдоподобных заключений
(гипотез, обобщений, предположений и т.д.).
Традиционная логика, которая сформировалась на основе логического учения Аристотеля,
дополнилась в дальнейшем методами индуктивной логики, сформулированными Ф. Бэконом и
систематизированными Дж.С. Миллем. Именно эта логика в течение долгого времени преподавалась в
школах и университетах под именем формальной логики.
Возникновение математической логики коренным образом изменило отношение между
дедуктивной и недедуктивной логиками, которое существовало в традиционной логике. Это изменение
было сделано в пользу дедукции. Благодаря символизации и применению математических методов сама
дедуктивная логика приобрела строго формальный характер. По сути дела, такую логику вполне
правомерно рассматривать как математическую модель дедуктивных умозаключений. Нередко поэтому
ее считают современной ступенью развития формальной логики, но забывают при этом добавить, что
речь идет о дедуктивной логике.
Нередко также говорят, что математическая логика сводит процесс рассуждения к построению
различных систем исчислений и тем самым заменяет естественный процесс мышления вычислениями.