 |
 |
 |
 |
|
 |
 |
15
как средство проверки и обоснования истины, то Ф. Бэкон предложил использовать логику в качестве
эффективного орудия для осуществления научных открытий. Задача логики, согласно взглядам Ф.
Бэкона, состоит в обосновании индуктивных выводов, в которых рассуждения человека идут от
частного знания к знанию общему. Он также разработал индуктивные методы определения причинной
связи между явлениями: метод сходства, метод различия, соединенный метод сходства и различия,
метод сопутствующих изменений, метод остатков.
Успехи опытного естествознания XVI-XVII веков характеризовались, прежде всего, развитием
математики и механики, теории земных и небесных тел. Ограниченность научного познания того
времени привела к установлению метафизического взгляда на природу как на застывшую и неизменную
систему. Метафизический способ мышления впоследствии сказался на понимании предмета
формальной логики. Ее законам придали абсолютный характер, то есть распространили их сферу
действия не только на мышление, но и на окружающий человека природный мир. Весомый вклад в
развитие логики этого периода внесли французские исследователи, прежде всего Р. Декарт (1596-1650).
Он сформулировал четыре основных правила любого научного исследования: 1) истинно лишь то, что
познано, проверено и доказано; 2) расчленять сложное на простое; 3) восходить от простого к
сложному, от более очевидного к менее очевидному; 4) исследовать предмет во всех деталях.
Его последователи Арно и Николь в 1662 г. написали книгу «Логика, или Искусство мыслить», где
обосновали задачу освобождения логики Аристотеля от внесенных в нее последующими
представителями логической науки схоластических ошибок.
Немалая заслуга в развитии логики принадлежит представителям немецкой классической
философии, особенно И. Канту (1724-1804) и Г. Гегелю (1770-1831). Так, И. Кант выступил, в
частности, против абсолютизации законов логики. По взглядам И. Канта, логика представляет собой
науку о необходимых законах, правилах рассудка вообще. Вот почему логика, по его мнению, должна
изучать форму мышления в отрыве от его содержания, т.е. независимо от объекта мышления. Он
утверждал, что логика отвлекается от всякого содержания, а следовательно, и от самих вещей. И. Кант
разработал новый тип логики, которую назвал трансцендентальной (от лат. transcendere - переступать).
В ней логические формы рассматриваются как априорные (доопытные) свойства рассудка,
обусловливающие возможность всеобщего и необходимого знания явлений опыта. Позитивным
вкладом в логику является то, что немецкий ученый отличал логическое основание и логическое
следствие от реальной причины и реального следствия. И. Кант признавал также существование «чисто
формальной» логики, которая имеет дело с «чистыми» формами мышления.
Обстоятельную критику взглядам И. Канта на сущность формальной логики дал Г. Гегель. В то же
время он критически относился вообще к формальной логике. Свое отношение к этой науке, как
«метафизической», он строил исходя из объективно-идеалистической идеи о тождестве законов
мышления и бытия. Критику законов формальной логики Г. Гегель дал во второй книге своей работы
«Наука логики», в разделе «Учение о сущности». По мнению Г. Гегеля, законы логики носят всеобщий
характер, распространяются на все сферы действительности. Однако такой универсальной логикой
должна стать не формальная логика, а диалектика саморазвития, «инобытием» которого является
внешний мир.
Крупными русскими исследователями в области логики были М.И. Каринский (1840-1917) и Л.В.
Рутковский (1859-1920). Так, М.И. Каринский внес значительный вклад в разработку классификации
умозаключений. Основной замысел его логической теории характеризуется стремлением построить
аксиоматико-дедуктивную систему логики, исходя из основного отношения равенства (т.е.
«тождества»); описать в ней дедуктивные и индуктивные умозаключения.
Л.В. Рутковский - автор труда «Основные типы умозаключений» (1888). Если М.И. Каринский
строил теорию выводов, используя лишь отношения тождества, то Л.В. Рутковский считал возможным
признать равноправными с отношениями тождества и такие, как отношения сходства, сосуществования
и другие.
С начала XX столетия формальная логика получает дальнейшее развитие. Возникла математическая
логика, широко применившая метод математической формализации и специальный аппарат символов к
определенному кругу логических операций. Представляют математическую логику Г. Фреге (1848-
1925), Б. Рассел (1872-1970), Б. Аккерман (1896-1962) и другие мыслители.
Формализация и предельное абстрагирование от конкретного содержания высказываний позволили
решить ряд трудных логических задач в области математики и нашли применение в работе электронно-
вычислительных машин, теории программирования и т. д. Значительный вклад в разработку