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