§ 1. История логики (краткая справка)

Логика возникла и развивалась как часть философского знания почти одновременно, но независимо друг от друга в Древнем Китае, Индии и Древней Греции. Древние мыслители занимались логическими вопросами классификации имен, определения понятий, разрабатывались методы доказательства.

Греческий философ Демокрит (460 – 370 годы до н.э.) интересовался проблемами индукции, аналогии и гипотезы, а также определениями понятий (имен). Он считал, что имена существуют по установлению и приводил четыре аргумента: 1) разные вещи обладают одним именем, 2) в разных языках одна и та же вещь имеет разные названия, 3) людям свойственно вещи переименовывать, 4) в словообразовании отсутствует соответствие. Демокрит впервые сформулировал закон достаточного основания как всеобщий принцип бытия: «Ни одна вещь не возникает беспричинно, но все возникает на каком-нибудь основании и в силу необходимости».

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

Сократ, современник Демокрита, использовал индукцию как восхождение от частного к общему в процессе своих знаменитых диалогов. Логику Сократа продолжает Антисфен, ‑ ученик софиста Горгия, а затем – Сократа. Продолжая мысль Сократа о том, что знание – лишь то, что выражено в понятии, Антисфен определяет понятие как то, «что раскрывает, что есть и чем бывает тот или иной предмет». Антисфен вплотную подошел к открытию закона противоречия, но, не сумев определить сферу его применения, остановился.

Наиболее полно разработал все основные проблемы логики Аристотель (384 – 322 годы до н.э.). Именно он на основе исследования проблемы общего и единичного разрабатывает учение о категориях и выводит законы логики как законы мышления и бытия.

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

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

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

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

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

Большой вклад в разработку методов научного познания внесли мыслители Нового времени – Ф. Бэкон, Р. Декарт, А. Арно и П.Николь.

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

Декарт пытается упростить методы научного познания и предлагает дедукцию, индукцию, сравнение, аналогию и интуицию в качестве основных. Главный метод доказательства он видел в дедукции, основанной на интуитивно постигаемых аксиомах. В «Рассуждениях о методе» Декарт предлагает 21 правило, которые можно свести к четырем: 1) принимать за истинное то, что представляется уму ясно и отчетливо; 2) делить целое на столько частей, сколько потребуется для его лучшего разрешения; 3) располагать мысли в определенном порядке и восходить от простого к сложному; 4) делать перечни и обзоры настолько полно, чтобы ничего не было пропущено. Эта последовательность нашла свое отражение в книге Арно и Николь «Логика, или Искусство мыслить», ставшей на многие годы учебником по логике.

Подлинный переворот в логике совершил немецкий мыслитель Лейбниц (1646 – 1716), который предложил ввести буквенные обозначения для высказываний. В принципе это делал уже Аристотель, но Лейбниц пошел дальше - выдвинул идею проверки истинности высказываний и доказательств посредством математических операций, для чего предложил записывать мысли в виде формул, применяя математические символы. Применив к логике математический метод, он пытается построить эту науку как математическое исчисление. Сам Лейбниц не сделал свои идеи достоянием научной общественности, и лишь в девятнадцатом веке в связи с математизацией наук получает развитие и математическая (символическая) логика. Тем не менее, Лейбница считают родоначальником символической логики.

Всю совокупность логических идей, которые были выдвинуты в период от Аристотеля до Лейбница, называют традиционной или аристотелевской логикой. Она не утратила своего значения и продолжает разрабатываться в настоящее время тоже, но параллельно ей после Лейбница существует и развивается также и математическая (символическая) логика. Логика получает название символической, поскольку полностью переходит на язык математических символов, и продолжает развиваться трудами Дж. Буля, Э.Шрёдера, Г.Фреге и др. Так открылся новый, современный этап в развитии логики. В математической логике для анализа структуры вывода используются исчисления высказываний и исчисление предикатов ( praedicatum –сказуемое) в их различных модификациях. Математическая логика нашла самое широкое применение во всех областях науки и техники.

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