Важно отметить следующее: Бэкон и Декарт сходились во взглядах на то, что мир познаваем, и на то, что учение о познавательных методах (т е то, что мы сейчас называем логикой, методо­логией и философией науки) необходимо разрабатывать. Сущест­венно расходились они в оценке источников и способов построения достоверного знания эмпиризм с опорой на индуктивный метод у Бэкона и рационализм с опорой на дедуктивный метод у Декарта. Как показал дальнейший ход развития науки и методологии научного знания, учения Бэкона и Декарта оказались не взаимоисключаю­щими, а взаимодополняющими учениями об источниках научного знания и составили вместе основную «эмпирико-рационалистскую» традицию развития научного знания вплоть до нашего времени. Од­нако сейчас наблюдаются тенденции пересмотра этой традиции до­полнительное внимание к ценностным критериям истинности зна­ния в «постнеклассической науке» и дополнительный интерес к ап­риорно-трансцендентным источникам человеческих знаний.

Мы говорили о критике формальной логики в смысле оценки ее ограниченных возможностей как инструмента познания (функцио­нирования в сфере методологии научного познания). В сфере собст­венно логической мысли эта проблема была в это же время (в XVII в.) осознана и был предпринят опыт создания логики, не связанной в единую формальную систему, т.е логики как методологии научного познания. Этот опыт известен как «логика Пор-Рояля», изложен­ная в книге «Логика, или искусство чыслить» (авторы Антуан Арно и Пьер Николь).

Общая гносеологическая позиция авторов (Логики Пор-Рояля» сродни декартовской. Это недвусмысленно выражено в словах «Ис­тинный разум ставит все на свои места Он велит сомневаться в том, что сомнительно, отвергать то, что ложно, и, не кривя душой, при­знавать очевидное, его не смущают вздорные доводы пирронистов, не способные сокрушать разумную уверенность в том, что истин­но ». Также и Декарт утверждал, что никакой скептик его не разубедит в очевидности «Cogto, ergo sum».

Как известно, формальная логика не предполагает в своем аппа­рате проверки истинности посылок. На эту проблему обращают внимание авторы «Логики, или искусства мыслить». «Насколько нам известно, философы обычно ограничиваются тем, что дают об­разцы правильных и неправильных умозаключений. Нельзя сказать, что от этих образцов нет никакого проку они подчас помогают най­ти ошибку в запутанном доказательстве или изложить свои мысля более убедительно. Однако не следует и переоценивать эту пользу, какую они способны принести. Ведь чаще всего мы ошибаемся не потому, что неправильно выводим следствия, а потому, что прихо­дим к ложным суждениям (здесь, надо думать, к суждениям-посылкам), которые влекут за собой неверные заключения. От этого зла логика, по сути дела, еще не пыталась нас избавить. Оно-то и является главным предметом тех новых размышлений, которые читатели встретят в нашей книге повсюду».[65]

В связи со своей программой авторы «искусства мышления» понимают его шире и содержательнее, чем традиционные правила формальной логики. Главным образом это выражается введением в сферу рассмотрения «искусства мышления» особого (четвертого) «вида действия ума» - упорядочивания (помимо представления, су­ждения, умозаключения). Такой «вид мышления» сродни уже не столько формам мышления, сколько содержательной его части - ме­тод. "Упорядочиванием мы называем здесь действия ума, посред­ством которых различные суждения и умозаключения относительно одного и того же предмета, например, относительно человеческого тела, располагают наиболее подходящим для познания этого пред­мета способом. Это называется также методом» [Арно, 1991, с 30]. В целом книга насыщена подробным и конкретным (с примерами) рассмотрением неправильных умозаключений, методов анализа и синтеза, проблем аксиоматизации знания. Одной из итоговых явля­ется глава «Метод наук, сведенный к восьми основным правилам». Из перечисления этих правил нетрудно увидеть большое сходство с рационалистской позицией Декарта: