Логика в Древнем Китае рассматривала ряд проблем, характерных для китайского общества того периода. Среди них можно выделить теории имен, высказываний, рассуждений и споров.

Как видно, логическая наука Древнего Китая была тесно связана с письменностью и особенно разговорным языком и как бы тормозилась им. Так, основные усилия философов концентрировались вокруг понятий "мин" и "цы", т. е. теории имен и высказываний, однако различий в значении этих понятий не делалось.

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

Древняя Греция

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

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

Первым против софистов выступил Демокрит (460-370 гг. до н. э.), принадлежавший к материалистической философской школе. Философская система, созданная Демокритом, содержит учение о бытии, теорию познания, этику и эстетику, космологию, физику, биологию, политику и логику.

Он разработал и закрепил в своем трактате "О логике" ("Каноны") первую систему логики. Демокрит считается одним из основателей индуктивной логики, поскольку его трактат основывается на эмпирических началах. Рассматривая суждения, Демокрит выделяет в них субъект и предикат.

Проблемами логики занимались также Сократ (469-399 гг. до н. э.) и Платон (428-347 гг. до н. э.). В учении Сократа главным считался метод, который позволял получить истину, а также содержалась идея, что познание любого предмета становится возможным, лишь если свести его к общему понятию и на этой основе судить об этом понятии. Для достижения истины Сократ предлагал ученикам дать определение какому-либо явлению, особенности или характерной черте, присущей окружающему миру или человеку. Затем, если такое определение оказывалось, по его мнению, недостаточно полным или правильным, он, применяя примеры из жизни, указывал на ошибки, допущенные собеседником, а затем изменял и дополнял его.

Достижением знания Сократ считал нахождение закономерностей и определение понятия для ряда вещей. В процессе достижения знания учитывались общие черты предметов и различия между ними.

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

Для этого он использовал свой излюбленный прием под названием "дихотомия", т. е. деление понятия А на В и не В (например, преступления могут быть умышленными и неумышленными, а животные позвоночными или беспозвоночными).

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

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

Платон развивал теорию суждения, создал два правила деления понятий, а также отличал отношение различия от отношения противоположности.

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

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

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

Аристотель создал теорию силлогизма, рассмотрел теорию определения и деления понятий и теорию доказательства. Главными трудами в этой области являются трактаты "Первая аналитика" и "Вторая аналитика", которые впоследствии наряду с другими работами были объединены в "Органон" - метод, средство или орудие познания действительности.

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

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

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

К сожалению, представления данной философской школы в области логики лишь частью дошли до нашего времени.

Средневековая логика

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

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

Наиболее известными учеными, работавшими над вопросами логики в Средиземноморье, являются Вильям Оккам, Дунс Скотт, Раймунд Луллий, Жан Буридан, Альберт Саксонский. Следует особо выделить Вильяма Оккама, который известен благодаря тому, что создал логическое орудие под названием "лезвие Оккама".

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

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

Трактовку работ Аристотеля продолжил Ибн-Сина. Он пользовался переводами и комментариями античных работ, созданных аль-Фараби. Авиценна изучал аристотелевскую силлогистику, прослеживал зависимости и связи между категорическими и условными суждениями, а также выражение импликации через дизъюнкцию и отрицание. Свои идеи ученый закрепил в учебнике "Логика".

Самой известной и используемой работой по логике является трактат "Summulae logicales", содержащий ряд новых идей в области логики высказываний. Эта работа принадлежит перу Петра Испанского.