Владимир Соломатин - Система гуманитарного и социально-экономического знания

Абстрактное мышление обладает рядом характерных черт:

• позволяет отразить действительность в обобщенных формах;

• отражает ее опосредованно (не с помощью органов чувств, а путем выведения нового знания из уже имеющихся знаний);

• неразрывно связано с языком;

• носит активный характер (что проявляется в теоретических обобщениях, умозаключениях, гипотезах и т. д.).

Абстрактное мышление осуществляется в следующих логических формах: понятие, суждение и умозаключение. Логическая форма – это способ связи составных частей мысли, ее строение. Формальная логика отвлекается от конкретного содержания мысли, сделав особый акцент на изучении ее формы. Например, даны следующие суждения: «Если судья лично заинтересован в деле, то он не может принимать участия в производстве по этому уголовному делу» и «Если лицо, в отношении которого возбуждено уголовное дело, не считает себя виновным, то передача лица на поруки не допускается». Формальная логика устанавливает, что этим суждениям присуща форма условных суждений, а их структура может быть выражена схемой: «Если а , то b ». Как видно из приведенных примеров, упор делается на анализе формы указанных суждений.

Наряду с формами мышления формальная логика изучает и логические законы мышления, то есть необходимую и существенную связь мыслей в процессе рассуждения (об этом речь пойдет в теме 6).

Для того чтобы получить истинное заключение в процессе рассуждения, следует исходить из двух моментов: истинности исходных посылок и правильности самого рассуждения. Однако формальная логика не определяет истинность исходного знания (это компетенция других наук), она априорно принимает, что данное знание – истинное, то есть соответствует действительности. Ее задача – проследить правильность рассуждения, а эта правильность состоит в соблюдении законов и правил логики.

Логика как самостоятельная наука сложилась в IV веке до н. э. Ее основателем считается древнегреческий философ и ученый Аристотель. Основными работами Аристотеля по логике являются «Первая аналитика» и «Вторая аналитика», в которых представлена теория силлогизма, поднимаются вопросы определения и деления понятий, доказательства. К логическим сочинениям Аристотеля относятся также:

«Топика», «Категории», «Об опровержении софистических аргументов», «Об истолковании». Позднее все эти работы были объединены под общим названием «Органон» (орудие познания). В «Метафизике» Аристотель сформулировал три основные закона мышления: тождества, противоречия, исключенного третьего. Главным содержанием логики как науки у Аристотеля выступила теория дедукции (силлогистика).

В дальнейшем теория силлогизма Аристотеля была дополнена описанием сложных умозаключений (логика стоиков – Зенон, Хрисипп и др.). Представляя логику античного периода, нельзя не упомянуть о Галене (его именем названа 4-я фигура категорического силлогизма) и Порфирии (разработчике схемы, отражающей отношения подчинения между понятиями).

В средние века развитие логики связано с разработкой проблемы общих понятий, теории доказательства, систематизацией учения о силлогизмах. В Новое время создается теория индукции (Ф. Бэкон), которая впоследствии была развита Дж. Ст. Миллем.

Логика, разработанная Аристотелем, и вся доматематическая логика обычно называется традиционной формальной логикой (аристотелевской). Она включает в себя такие разделы, как понятие, суждение, умозаключение (в том числе индуктивное), законы логики, доказательство и опровержение, гипотеза. Традиционная логика является философской наукой, в ней используется естественный язык, дополненный немногими специальными символами. Эту логику принято также называть формальной, так как она возникла и развивалась как наука о формах мышления.

Начало ХХ века знаменует своеобразная научная революция в логике: в ней начинают широко применяться методы математики, а в свою очередь, и в самой математике используются логические методы анализа. Идеи подобного синтеза были высказаны еще Г.В. Лейбницем, не только сформулировавшим закон достаточного основания, но и предсказавшим возможность появления математической логики.

Во второй половине XIX века и в последующем в логике начинают активно применяться математические методы исчисления, что нашло отражение в работах Дж. Буля, П. Порецкого, А. де-Моргана, Ч. Пирса, Г. Фреге, Б. Рассела, А. Уайтхеда, Я. Лукасевича и др.

В математической логике для выявления структуры вывода строятся различные логические исчисления (исчисление высказываний и исчисление предикатов). Такая логика иногда называется символической. Она включает в себя множество разделов (логика высказываний, логика предикатов и пр.). Большое внимание в современной логике уделяется разработке многозначной логики, в которой допускается множество значений истинности. Однако символическая логика не охватывает всех проблем формальной. Вот почему последняя существует наряду с математической.

Еще одним самостоятельным направлением выступает диалектическая логика, впервые представленная в развернутом виде в работах Г. Гегеля, а затем нашедшая свое развитие в философии марксизма. Если формальная логика изучает формы мышления, отвлекаясь от их возникновения и развития, то именно эти моменты находятся в центре проблем диалектической логики. Процессы развития мышления с точки зрения выявления его законов и принципов есть предмет диалектической логики.

Рассматривая историю развития логики как науки, нельзя не упомянуть о заслугах русских мыслителей. Отметим таких выдающихся философов и ученых, как М. Ломоносов, А. Радищев, Н. Чернышевский, М. Каринский, Л. Рутковский, С. Поварнин, П. Порецкий, Н. Васильев, А. Колмогоров, В. Гливенко, А. Марков и др.

Как уже отмечалось, мышление неразрывно связано с языком. «Язык – это знаковая информационная система, выполняющая функцию формирования, хранения и передачи информации в процессе познания действительности и общения между людьми» [97] Кириллов В.И., Старченко А.А. Логика. – М., 1998. – С. 19. .

Все языки делятся на естественные (исторически сложившиеся), искусственные (сознательно созданные людьми для специальных целей) и смешанные (естественные языки, дополняемые символикой и относящиеся к конкретной области; таковым, к примеру, является «юридический язык»). В логике используются искусственные языки: язык логики предикатов и язык логики высказываний. Язык логики предикатов применяется в исчислении предикатов, где учитываются и истинностные характеристики логических связок, и внутренняя структура суждения. Язык логики высказываний используется в исчислении высказываний, где анализируются рассуждения, опираясь на истинностные характеристики логических связок и отвлекаясь от внутренней структуры суждения.