Китай всегда был очень самобытной страной с богатой культурой, развитым общественным строем и жестким чувством подчинения. Младший по возрасту должен подчиняться старшему, последний подчинялся старшему по положению и т. д. Мудрецы, старейшины всегда пользовались известными привилегиями. Такое положение не могло не отразиться на логике Древнего Китая. Сильное влияние на логические теории здесь оказывали политические и этические доктрины, а сама логика носила характер прикладной и использовалась для достижения риторических целей. Поэтому практически не было выведено четкой системы знаний об умозаключениях. Предпочтение перед формой отдавалось содержанию мышления. В результате, хотя логика в Древнем Китае и возникла по времени раньше, чем древнегреческая, ее структура так и не была выстроена и осталась в зачаточном состоянии.
4. Древняя Греция
В Древней Греции проблемы логики были рассмотрены и разработаны наиболее обстоятельно. Логические вопросы здесь рассматривают такие философы, как Парменид и Зенон (представители элейской философской школы), Гераклид, софисты Протагор, Горгий и другие, Демокрит и Аристотель. Деятельность этих философов прямо или косвенно затрагивала вопросы логики. Идеи представителей элейского направления и приверженцев логики Гераклида вступали в конфликт в силу их противоположности. Элейская школа проповедовала метафизические теории, т. е. способ изучения явлений, при котором они рассматриваются отдельно друг от друга и в неизменном состоянии. Гераклитовская философия придерживалась идей диалектики (явления изучаются в развитии и взаимодействии).
Проблемами логики занимались также Сократ (469–399 гг. до н. э.) и Платон (428–347 гг. до н. э.). В учении Сократа главным считался метод, который позволял получить истину, а также содержалась идея, что познание любого предмета становится возможным, лишь если свести его к общему понятию и на этой основе судить об этом понятии. Для достижения истины Сократ предлагал ученикам дать определение какому-либо явлению, особенности или характерной черте, присущей окружающему миру или человеку. Затем, если такое определение оказывалось, по его мнению, недостаточно полным или правильным, он, применяя примеры из жизни, указывал на ошибки, допущенные собеседником, а затем изменял и дополнял его.
Древнегреческий философ Платон был учеником Сократа и разрабатывал теории познания и логики, опираясь на идеи учителя. Используя свои теории, Платон сначала получал новые понятия, а затем старался разбить их на виды и систематизировать.
Таким образом, многие философы Древней Греции работали над вопросами логики, однако ее основателем по праву считается Аристотель Стагирский. Логику Аристотеля называют формальной или традиционной. Она включает такие разделы, как понятие, суждение, законы правильного мышления, умозаключения, аргументация и гипотеза. Важным достижением Аристотеля является то, что он впервые сформулировал законы правильного мышления: закон тождества, закон непротиворечия и закон исключенного третьего, а также стал изучать человеческое мышление с целью вывести его логические формы. Эти законы были сформулированы в важнейшем сочинении Аристотеля «Метафизика».
Аристотель создал теорию силлогизма, рассмотрел теорию определения и деления понятий и теорию доказательства. Главными трудами в этой области являются трактаты «Первая аналитика» и «Вторая аналитика», которые впоследствии наряду с другими работами были объединены в «Органон» – метод, средство или орудие познания действительности.
5. Средневековая логика
Средневековая логика является, по большей части, трактовкой и анализом античных философских теорий. В основном изучались вопросы модальной логики, теория логического следования, теория семантических парадоксов, а также проводился анализ выделяющих и исключающих суждений. Основными направлениями, рассматривающими вопросы логики, были направление реалистов и номиналистов. Первые считали, что общие понятия существуют независимо от единичных вещей. Номиналисты стояли на противоположных позициях и считали, что общие понятия лишь именуют единичные вещи, которые являются реальными. Следует отметить, что оба эти подхода неверны.
Наиболее известными учеными, работавшими над вопросами логики в Средиземноморье, являются Вильям Оккам, Дунс Скотт, Раймунд Луллий, Жан Буридан, Альберт Саксонский. Следует особо выделить Вильяма Оккама, который известен благодаря тому, что создал логическое орудие под названием «лезвие Оккама».
Проводником между античной и арабоязычной логикой послужила наука, разрабатываемая в Сирии. Вопросами логики в арабском мире занимались такие ученые, как аль-Фараби, которого считают основателем сирийской логики, Ибн-Сина (Авиценна), Ибн-Рушд (Авер-роес).
Аль-Фараби являлся идейным последователем Аристотеля. Он комментировал главный труд Аристотеля «Органон». Логика аль-Фараби направлена на изучение научного мышления и рассматривает вопросы истинности, опираясь на концепцию истинности, разработанную Аристотелем. Структура его логики состоит из двух частей, одна рассматривает представления и понятия, а другая изучает теорию суждений, выводов и доказательств. Особое внимание аль-Фараби уделял вопросам теории познания и гарм-матики.
Трактовку работ Аристотеля продолжил Ибн-Сина. Он пользовался переводами и комментариями античных работ, созданных аль-Фараби. Авиценна изучал аристотелевскую силлогистику, прослеживал зависимости и связи между категорическими и условными суждениями, а также выражение импликации через дизъюнкцию и отрицание. Свои идеи ученый закрепил в учебнике «Логика».
Самой известной и используемой работой по логике является трактат «Summulae logicales», содержащий ряд новых идей в области логики высказываний. Эта работа принадлежит перу Петра Испанского.
6. Логика Возрождения и Нового времени
Одним из ученых, работающих в эпоху Возрождения, был Френсис Бэкон (1561–1626), которого принято считать родоначальником английского материализма. Он внес значительный вклад в разработку материалистического логического подхода. Ф. Бэкон считал, что единственно правильным подходом к изучению предмета является не только сбор информации, но и ее интеллектуальная переработка и создание, таким образом, научных теорий. Главным достижением Ф. Бэкона считается его работа «Новый Органон», которая была призвана заменить собой «Органон» (средство познания), написанный древнегреческим философом Аристотелем. В работе Ф. Бэкона рассматриваются вопросы индукции, методы определения причинной связи между предметами и явлениями (сходства и различия сопутствующих изменений, остатков и объединенный метод сходства и различия).
Необходимо отметить, что Ф. Бэкон изучал работы Аристотеля в переводах и переработках средневековых ученых, вследствие чего был несправедлив к его «Органону».
Вопросами логики в эпоху Возрождения занимались и другие ученые, среди которых особо известен французский философ Рене Декарт (1596–1650). Он сформулировал четыре правила правильного подхода к научным исследованиям. Р. Декартом была создана научная работа «Логика, или искусство мыслить», главной мыслью которой было освобождение логики Аристотеля от изменений, внесенных средневековыми учеными.
Иммануил Кант (1724–1804), известный ученый периода Нового времени, предлагал деление логики на два типа – формальную и трансцендентальную. Обычная логика занимается изучением понятий, суждений и умозаключений. Трансцендентальная логика исследует формы мышления, а знание рассматривает как предшествующее опыту и независимое от него. Априорное (a priori – «из предшествующего») знание, таким образом, – это условие опытного знания, которое придает ему оформленный, всеобщий и необходимый характер. Априорные формы логических знаний, по мнению И. Канта, призваны упорядочивать хаос ощущений и предоставлять полную и достоверную информацию.
И. Кант отличал логические причины и следствия от реальных причин и следствий, что является важным вкладом в теорию науки.
Выражением знания И. Кант считал суждение и делил последнее на два вида: аналитическое и синтетическое. Аналитические суждения не создают нового знания, а лишь дают определение уже существующему. Синтетические суждения могут быть апостериорные (a posteriori – «из последующего»), которые ставятся в прямую зависимость от опыта, происходящие из него, и априорные, от опыта независимые и, более того, даже предшествующие ему. Отсюда видно, что данные два вида
