2.2. Основные идеи традиционной логики в Новое и Новейшее время [ф.Бэкон, р.Декарт, б. Паскаль, г.Лейбниц, и.Кант, г. Гегель]

В Новое Время Ф. Бэкон (1561-1626) своей работой «Новый органон» стремится исследовать законы самой природы. Работа посвящена установлению причинно-следственных связей в природе. Дж. Гершель и Дж.Ст.Милль завершили его учение направлением «Индуктивные методы установления причинных связей».

Р.Декарт (1596-1650) сформулировал четыре основных правила научного исследования и логического рассуждения:1) истинно лишь то, что познано, проверено и доказано; 2) расчленять сложное на простое; 3) восходить от простого к сложному, от более очевидного к менее очевидному; 4) исследовать предмет во всех деталях. Его последователи Арно и Николь пишут работу «Логика, или искусство мыслить» (1662), где обосновывают задачу освобождения логики Аристотеля от внесенных в нее последующих представителями логической науки схоластических ошибок.

Б. Паскаль (1623-1662) в работах «О геометрическом уме», «Об искусстве убеждать» обосновывает и формулирует принципы и правила строгого, научного доказательства как логической основы аргументации. Словом «геометрия» паскаль называл всю математику, а «геометрическим умом» - мыслительные операции, характерные для математики и математической аргументации.

Г.Лейбниц (1646-1716 гг.) предложил ввести буквенные обозначения для высказываний. В принципе это делал уже Аристотель, но Лейбниц пошел дальше - выдвинул идею записывать мысли в виде формул, а рассуждение заменить счетом. Его поэтому считают родоначальником символической логики, хотя до конкретных разработок по ней у него не дошло и фактически она начала развиваться только в девятнадцатом веке. Лейбниц выводит 4 закон («достаточного основания»), исследует китайскую математику и выводит новый способ исчисления, объясняя понятием монады структуру образования действительности, Космоса^2.

Всю совокупность логических идей, которые были выдвинуты в период от Аристотеля до Лейбница, называют традиционной или аристотелевой логикой. Она продолжает разрабатываться и в настоящее время тоже, но наряду с ней после Лейбница существует и развивается также и символическая, или математическая логика. С девятнадцатого века, как уже сказано, она стала предметом пристального внимания специалистов, и в наше время эта ветвь логической науки переживает период бурного развития, которое вдобавок с появлением компьютеров получило новый мощный стимул.

По традиции, идущей от И.Канта (1724-1804), логику определяют как науку о рассуждениях. Ее задача – установление законов и правил, которым подчиняются рассуждения. Кант выступает против абсолютизации законов логики, поэтому она должна изучать форму мышления независимо от его содержания, от объекта мышления. Он разрабатывает новый тип логики – трансцендентальный (от лат. тranscendere – переступать). В ней логические формы рассматриваются как априорные (доопытные) свойства рассудка, обусловливающие возможность всеобщего и необходимого знания явлений и опыта.. Кант отличал логическое основание и логическое следствие от реальной причины и реального следствия, поскольку также признавал существование «чисто формальной логики», которая имеет дело с «чистыми» формами мышления. (Б.И. Каверин, И.В. Демидов)

«Наука логики» (Wissenschaft der Logik) — наиболее трудная для понимания работа Г.Гегеля (1770-1831), которая представляет собой изложение необходимого движения мышления в чистых категориях мысли (Абсолютная идея). Если философия духа и философия природы изображают движение Абсолютной Идеи в её инобытии - в формах движения природы и сознания, то в логике Абсолютная идея находится внутри себя в стихии своей чистоты. Царство чистой мысли есть «царство истины, какова она без покровов, в себе и для себя самой». В этом смысле, наука логики есть изложение самой Абсолютной Идеи в ее необходимом развертывании. Именно в этом смысле «Наука логики» является фундаментом всей системы гегелевской философии. Следует заметить, что «Наука логики» ни в коем случае не опровергает формальную логику, но по замыслу Гегеля, развивает понимание логического до уровня спекулятивного. Формально-логическое по Гегелю является чем-то недостаточным, рассудочным, неполным изображением Логики как жизни Идеи. Только спекулятивное, в котором формально-логическое (рассудочное) преодолевается диалектически, является истинной Логикой.