3. Свойства абстрактного мышления.

Мышление с точки зрения формы и содержания характеризуется истинностью и правильностью.

Под истиной понимается такое содержание мысли, которое соответствует самой действительности. Понятие «истина» в правовой сфере тесно связано с понятием «правда» («Обязуюсь говорить правду и только правду!»). Правдивое - это не только истинное, но и правильное, честное, справедливое. Если же мысль по своему содержанию не соответствует действительности, то она является ложной. Отсюда истинность мышления - это его коренное свойство, проявляющееся в способности воспроизводить действительность такой, какова она есть, соответствовать ей по своему содержанию. А ложность - свойство мышления искажать это содержание, извращать его.

Другой важной характеристикой мышления является его правильность. Правильность мышления - это его коренное свойство, которое также проявляется в отношении к действительности. Оно означает способность мышления воспроизводить в структуре мысли объективное строение бытия, соответствовать действительным отношениям предметов и явлений. И наоборот, неправильность мышления означает его способность искажать структурные связи и отношения бытия.

Правильное логичное мышление имеет следующие существенные признаки: определенность, непротиворечивость, последовательность и обоснованность.

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

Непротиворечивость - свойство правильного мышления избегать в структуре мысли противоречий, которых нет в отражаемой действительности. Оно проявляется в недопустимости логических противоречий в строгих рассуждениях.

Последовательность — свойство правильного мышления воспроизводить структурой мысли те структурные связи и отношения, которые присущи самой действительности, способность следовать «логике вещей и событий»... Она обнаруживается в непротиворечивости мысли самой себе.

Обоснованность есть свойство правильного мышления отражать объективные причинно-следственные связи и отношения предметов и явлений окружающего мира. Оно проявляется в установлении истинности или ложности мысли на основе других мыслей, истинность которых установлена ранее.

1. Основные этапы развития логики

Общеизвестно, что подлинное знание той или иной науки (дисциплины, предмета) предполагает знание не только сущности этой науки, т.е. ее структуры, методологии, ее законов, целей, задач, взаимосвязи ее с другими науками, с практикой; динамики и диалектики ее развития, но, что не менее важно, и ее истории.

Хотя первые учения о рассуждении, о формах и способах (методах) мышления возникли в Древней Индии, Китае, но в основе сложившейся современной логики лежит аристотелевское учение. Принято именно Аристотеля (384—322 до н.э.) считать отцом логики. Вклад старших софистов (Протагор. Горгий, Гиппий, Продик) в разработку вопросов синонимии, омонимии, риторических приемов и пр. значителен и не может оспариваться. Занимался логическими вопросами и Демокрит. В перечне его трудов, составленном Диогеном Лаэртским, есть даже специальная работа, посвященная логике, — «О логическом, или Мерило».

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

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

Таким образом, даже в первые столетия существования логики как науки ее предмет, пусть и не очень существенно, но все же менялся. За более же длительный срок ее истории, а это почти две с половиной тысячи лет, предмет ее претерпевал и более значительные изменения, он расширялся, включая в свою сферу новые и новые формы мысли, он совершенствовался; совершенствовалось со временем и изложение ее содержания.

Дедуктивизму Аристотеля и стоиков противостоял индуктивизм Эпикура и его школы, опиравшихся в большей степени на опыт и аналогию. Именно эпикурейцы сформировали школу индуктивистов (Филодем из Гадары - II-I вв. до н.э.), что не отрицает вклада в осмысление индукции как Демокритом, так и самим Аристотелем.

Во II-V вв. н.э. логика входила в число семи свободных искусств и тем самым составляла неотъемлемую часть энциклопедического гуманитарного образования. Апулей из Медавра (II в. н.э.) уточнил формы высказываний, ввел операцию отрицания над предикатом. Секст Эмпирик и Диоген Лаэрций (II-III вв.) собрали сведения по истории логики; Гален (ок. 130-200) разработал полисиллогизм и силлогизмы отношений; Порфирий (ок. 232-303) — дихотомическое деление, учение о видах и родах; Боэций (480-524) написал ряд специальных работ по логике.

В средние века логика в Европе — церковно-школьная дисциплина, приспособленная к нуждам вероучения христианства, и только в арабских странах, в странах арабоязычной культуры логика еще сохраняет самостоятельное значение (Аль-Фараби, Ибн-Син, Ибн-Рушд и др.).

Наступивший в Европе длительный период средневековой схоластики в логике проявляется в детальной разработке различий ее языка, символики, ее техники. Наиболее значимой фигурой этого периода можно назвать Михаила Псёла (1018-1096). Он ввел в обиход буквенное (древнегреческими) обозначение суждений, специальными словами — модусы фигур силлогизма. Логика используется как инструментарий, как средство обоснования догматов церкви, как то учение, которое выступает беспристрастным, общепринятым инструментом полемики, критики, обоснования, доказательства. Логика как бы все далее отвлекалась от материального критерия истины (выделяемого еще Аристотелем) и все более ориентировалась и ориентировала на формальный ее критерий, на соответствие требованиям к структуре мысли (к умозаключениям или доказательствам).

В эпоху Возрождения экспериментаторов, они опыт стали противопоставлять дедукции. В начале Нового времени Ф. Бэкон (1561—1626) и Р. Декарт (1596—1650), резко выступили против аристотелевской логики. Они предприняли незавершенную до конца попытку создать логику открытий, позволяющую с помощью наблюдений, опыта, экспериментов отражать естественный мир и его свойства соответственно природе этого мира, более адекватно, чем это имело место в аристотелевской средневековой логике, далеко уже отошедшей от материального критерия истины.

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

XVII век характерен не только становлением опытного, но и теоретического естествознания, которое восстанавливает дедукцию и формирует гипотетико-дедуктивный метод, который при создании гипотез использует идеи дедуктивного характера, а следствия из гипотез сопоставляет потом с данными опыта.

Р. Декарт под логикой он тоже понимает метод научного исследования, выполняющий роль того фонаря, который освещает путнику дорогу в темноте - принцип сомнения. В сочинениях философско-логического характера Декарт формулирует свое понимание метода. «Под методом, — пишет он, — я разумею точные и простые правила, строгое соблюдение которых всегда препятствует принятию ложного за истинное и, без излишней траты умственных сил, но постепенно и непрерывно увеличивая знания, способствует тому, что ум достигает истинного познания всего, что ему доступно» (Декарт Р. Избранные произведения. М., 1950. С. 89). В качестве требований своего метода Декарт формулирует следующие четыре правила:

— принимать за истину лишь то, что с очевидностью принимается таковым; избегать поспешности, предубеждения;

— дробить каждую из трудностей на столько частей, сколько только можно, дабы легче разрешить;

— мысли начинать с простейшего и мельчайшего, восходить постепенно до познания более сложных, допуская, что есть порядок даже там, где его не видно;

— делать всюду перечни столь полные и обзоры столь общие, чтобы быть уверенным, что ничего не упущено. (Декарт Р. Рассуждение о методе. М., 1953. С. 22-23).

Продолжением декартовской дедуктивной линии в логике выступает и Г.В. Лейбниц (1646—1716), который считал, что логика дает другим наукам метод открытия и доказательства. Заслуга Лейбница в разработке принципов логики, системы логических модальностей общепризнанна; в частности, ему отдают первенство открытия закона достаточного основания в логике. С именем Лейбница связывается формирование математический логики.

Его идеи хотя и не были отвергнуты всеми, но авторитет И. Канта и Г. Гегеля, выступивших против аналогии формальной логики и алгебры, и не признавших за математизацией логики практического значения, несколько задержали развитие ее в этом направлении. В этот период распространяются взгляды индуктивистов: Дж. Гершеля, У. Уэвеля, Дж.С. Милля. Последний противопоставил свои методы анализа причинных связей (методы научной индукции) силлогистике, т.е. дедукции. Можно сказать, что в определенной мере ответом на это противопоставление и явились в середине XIX века работы О. де Моргана и Дж. Буля, обобщающие силлогистику и переводящие силлогизмы на язык алгебры.

Впоследствии их идеи были развиты и усовершенствованы Дж. Пеано, Б. Расселом, Д. Гильбертом, А. Черчем, С. Клини, X. Карри, А. Гейтингом, А.Н. Колмогоровым, А.А. Марковым, Н.А. Шаниным и др. Начало ХХ века отмечено бурным развитием как теории, так и практики (особенно с 30-х гг.) "машинного мышления", созданием вычислительных систем, кибернетической техники, "искусственного интеллекта". Плодами этого прогресса в виде персональных компьютеров пользуемся и мы.

Подобную Г. Лейбницу роль в разветвлении истории логики сыграл и И. Кант, предложивший для преодоления ограниченности общей (формальной) логики, неизбежно вступающей в противоречие с самой собой как только она пытается, выйдя за пределы чувственного опыта, познать "вещь в себе", создать новую логику (Кант назвал ее трансцендентальной), выясняющую возможность безусловно всеобщих и необходимых априорных истин. Поставленную И. Кантом задачу по-своему решил Г. Гегель своей диалектической логикой, логикой абсолютной идеи, т.е. идеалистической логикой. В советской литературе общепринято, что материализация этого учения Гегеля принадлежит К. Марксу и Ф. Энгельсу и, тем самым, с них начинается история материалистической диалектической логики.

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

В этой истории есть и страницы, вписанные россиянами. История логики в России сравнительно небольшая. Первым учебным курсом логики, читанным в 90-х гг. XVII в. руководителем первого высшего духовного учебного заведения Московской Руси (будущей Славяно-греко-латинской академии) иеромонахом Софронием Лихудой, было подготовленное им на греческом языке "Яснейшее изложение всего логического действования" (сохранилось в рукописи на греческом и латинском). Первым написанным на русском языке в 1758 г. учебным пособием по логике, была рукописная "Логика" Макария Петровича, тоже преподавателя этой академии, к сожалению, так и не изданная. Также не изданной осталась и "Логика" профессора Е.Б. Сырейщикова, написанная им в 1788 г. для "употребления будущих Университетов и гимназий", работавшего в это время в Главном народном училище С.-Петербурга.

Л. Эйлер в XVIII веке впервые использовал "круглые фигуры, «весьма способные к облегчению наших рассуждений о сей материи, и к познанию таинств, которые в логике превозносятся, и в оной с трудом доказывается то, что посредством фигур тотчас взору представляется» (Л. Эйлер. Письма... Ч. 2. СПб., 1772. С. 99), ставшие с тех пор "кругами Эйлера".

Широкое распространение логики в России началось в XIX веке, когда с развитием высшего светского, университетского образования, где логика была обязательной учебной дисциплиной, стали чаще издаваться учебники и учебные пособия по логике.