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

1.3.1. Античная логика. Логика средневековья.

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

Родоначальником европейской логики как науки об обоснованном рассуждении можно считать первого философа Древней Греции Фалеса (VII – VI вв. до н.э.) с его доказательством исходного основоположения собственного философского учения – «Всё есть вода». Далее искусство правильного рассуждения развивали Пифагор, Парменид, Зенон из Элеи, которые стандарты правильного мышления искали в математике. Так, в основе апорий Зенона лежали аксиомы античной математики о сумме бесконечно большого числа любых величин, которая должна быть бесконечно велика. Однако Эмпедокл, Коракс, Тизий, Горгий, Протагор искали стандарты правильного мышления в риторике, как науке и искусстве убеждения. Практика и теория вопросов была развита учеником софиста Продика Сократом (469 – 399 гг. до н.э.)., который с ее помощью не только вводил собеседника в состояние сомнения (в этом заключался его метод «иронии»), но и помогал оппоненту найти истину (метод майевтики). Совокупность методов иронии, майевтики, постановки вопросов и поиска ответов на них называют диалектикой. Сократ использовал метод наведения (индукции) или примера.

С именем Сократа связывают так называемые сократические школы, основанные его учениками. Интересен вклад в логику Мегарской школы. Школа имела долгую историю: основателем школы был Евклид из Мегар (ок. 450 – ок. 380 г.до н.э.), который ходил за 40 км из Мегар в Афины слушать Сократа. На Евклида сильное влияние оказали также элеаты и софисты. Учеником и последователем Евклида был Евбулид, который учил в Афинах уже во времена Аристотеля. Последователем Евбулида был Диодор Кронос, умерший в 307 г. до н.э. и живший в Египте при дворе Птолемея. До настоящего времени известны софизмы Евбулида («Лжец», «Рогатый», «Куча» и др.), цель которых показать, что сфера единичного неистинна, что там мы запутываемся в противоречиях.

Аристотель (384 – 322 до н.э.) - древнегреческий философ и логик, ученый-энциклопедист, творчески обобщил в своих сочинениях успехи философии и логики, физики, биологии, астрономии, психологии, этики, эстетики и др. Аристотель явился основоположником формальной традиционной логики. Его основные сочинения в области формальной логики впоследствии получили название «Органон». Сам Аристотель свое логическое учение называл «Аналитикой».

Аристотель показал, что правильные рассуждения подчиняются небольшому числу неизменных законов, независимых от частной природы объектов, о которых идет речь. Аристотель открыл и дал формулировки первых трех законов традиционной логики. Основным принципом мышления он считал закон противоречия. В частности, одна из известных его формулировок звучит так: «Невозможно, чтобы противоречащие утверждения были истинными по отношению к одному и тому же предмету». Второй закон мышления – закон исключенного третьего – Аристотель формулирует так: «Равным образом не может быть ничего посредине между двумя противоречащими [друг другу] суждениями но об этом [субъекте] всякий отдельный предикат необходимо либо утверждать, либо отрицать»¹.

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

Индуктивные заключения в логике Аристотеля представлены в менее разработанном виде. Он недооценивал значения неполной индукции. Строго научной он считал полную индукцию.

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

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

Однако термин «логика» впервые появился в трудах стоиков.

Многие специалисты считают, что вторым по значению вкладом в развитие античной логики были исследования эллинистической философской школы стоиков. Учение Стои имеет долгую историю, начиная с истоков эллинизма и вплоть до поздней Римской империи, т.е. с конца IV в до н.э. и до конца III века н.э. Основателем школы был Зенон из Китиона (города на острове Крит). Зенон (336 – 264 гг до н.э.) делил философию на физику, этику и логику. Именно он ввел слово «логика» в философское обращение, причем, именно логика должна занимать первое место в философии. По мнению стоиков, логика подобна ограде для сада, скорлупе для яйца, костям и нервам организма. Логика для стоиков – философская наука о мышлении, исследование внутренней и внешней речи. Главное отличие от подходов Аристотеля состояло в том, что стоики изучали не логику имен, а логику высказываний, а потому переменные в их логике относились не к терминам, а к высказываниям. Стоик Хрисипп подверг критике учение Аристотеля о модальных силлогизмах. Силлогизмы стоической школы представляли собой уже «формулы вывода», которые приобрели смысл правил вывода. Они дали основательный и глубокий анализ функторов, дали анализ косвенного доказательства, обсуждали проблемы, связанные с модальностью суждений.

Около 400 г. н.э. появляется книга римского философа Марциана Капеллы «О семи искусствах», которая стала одним из наиболее принятых учебников логики в средние века.

В начале VI в н.э. римский философ-неоплатоник Боэций (480 – 524) пишет комментарии к сочинениям Порфирия (комментатора Аристотеля) и самого Аристотеля, переводит на латинский язык ряд книг последнего, снабжает их комментариями и разъяснениями. В историю логики Аниций Манлий Торкват Северин Боэций вошел не только как комментатор Аристотеля, но и как автор сочинений о силлогизмах («Введение в категорический силлогизм», «О гипотетическом силлогизме и др.), о логических операциях («О делениях», «Об определении», «О различии») и т.д. До середины ХII века сочинения Боэция служили основными пособиями для изучающих логику.

В Х веке начинает появляться литература по логике в Древней Руси. С середины ХI века возрастает интерес к подлинным трудам Аристотеля. Византийский писатель Михаил Псёлл (1020 – 1076) занимался проблемой суждения, которое он называл речью, означающей что-то истинное или ложное. Он рассматривал противные, подпротивные, противоречащие и подчиненные суждения, рассматривал превращение суждений. Для объяснения запоминания отношений между различными видами суждений он нарисовал наглядную схему, которая названа «логическим квадратом». Он впервые ввел обозначение буквами количества и качества суждений. Он предложил названия модусов фигур силлогизма.

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