Часть I. Традиционная логика

Наука о законах правильного мышления сложилась в Древней Греции. Ее основателем является великий Аристотель (384-322 гг. до н.э.), хотя теория понятия начала развиваться уже учителем Аристотеля - Платоном (427-347 гг. до н.э.). Однако основные законы логики сформулированы именно Аристотелем. Он же разработал в практически законченном виде ее важнейшие разделы.

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

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

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

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

Делаются попытки ввести и новые, неаристотелевские законы в логику. Немецкий философ Гегель (1770-1831 гг.) критически оценивал все ее основные законы и утверждал, что, например, принятый в традиционной логике запрет на противоречие несостоятелен, потому что "противоречие - корень всякого движения и жизненности". Его логико-философское учение отличается большой сложностью для понимания и однозначная оценка его тоже затруднительна. Однако в последующем стали появляться и другие попытки создать логические системы с неаристотелевскими законами. Их называют неклассическими. Разрабатываться они могут как в традиционной, так и в символической логике. Широкого распространения они не получили, потому что создаются для решения узкоспециальных задач.