Логика в Древней Греции
В Древней Греции логическую форму доказательства в виде цепи дедуктивных умозаключений мы встречаем в элейской школе (у Парменида и Зенона). Гераклит Эфесский выступает с учением о всеобщем движении и изменении. Борьба между элейской и гераклитовской философией в Древней Греции была борьбой между метафизическим (рассматривающим явления в их неизменности и независимости друг от друга) и диалектическим (когда явления действительности познавались в их развитии и самодвижении) направлениями в философии.
В древнегреческой философии в середине V в. до н.э. появились так называемые софисты (Протагор, Горгий и др.), которые главным предметом своего философского исследования делают не природу (как это было до них), а человека и его деятельность, в том числе этику, риторику, грамматику. Протагор, Горгий и Трасимах впервые в Греции создали теорию риторики. Софисты критиковали и религию, и материалистическую философию. Разрабатывая теорию красноречия, софисты затрагивали и вопросы логики. Протагор написал специальное сочинение «Искусство спорить». Протагор — мастер спорить; он разъезжал по Греции, устраивал диспуты, привлекавшие многочисленных слушателей. По выражению античного автора Диогена Лаэртского, «нынешнее племя спорщиков берет свое начало от него».
Протагор первым стал применять «сократический способ беседы». Этот метод заключался в постановке собеседнику вопросов и показе ошибочности его ответов. Поэтому Протагор стал изучать виды умозаключений в плане логических приемов в речи ораторов. Позднее это делал Аристотель в его «Топике». Сочинение Прота-гора-«Тяжба о плате» (вы уже познакомились с ним на с. 209—210 учебника) посвящено знаменитому софизму, относящемуся к спору Протагора с его учеником Эватлом.
Против софистов выступил выдающийся материалист Древней Греции Демокрит (460—370 до н. э.), создавший всеобъемлющую философскую систему, включающую учение о бытии, космологию, теорию познания, логику, этику, политику, эстетику и ряд других областей научного знания: математику, физику, биологию, медицину, филологию и др. Демокрит — творец первой системы логики в Древней Греции, написавший специальный трактат «О логике» или «Каноны» (в трех книгах; название «Каноны» означает «критерии», «правила»). До нас, к сожалению, дошли лишь незначительные отрывки. В книге «О логике» Демокрит выступает против софистов, отрицавших объективную реальность. Демокрит строит логику на эмпирической основе, поэтому он — один из создателей индуктивной логики. Демокрит рассматривал суждения, выделяя в них субъект и предикат, а также рассматривал определения понятий.
В «Канонах» было изложено учение Демокрита о видах знания. Вопросы логики здесь не отделялись от теории познания. Последователями Демокрита были философы эпикурейской школы. Демокритовско-эпикурейское направление в логике предвосхитило индуктивную логику Ф. Бэкона и противостояло идеалистической сократово-платоновской логике.
У Сократа (около 469—399 до н. э.) на первый план была выдвинута проблема метода, посредством которого можно получить истинное знание. Сократ считал, что любой предмет может быть познан лишь в том случае, если его свести к общему понятию и судить о нем на основе этого понятия. Поэтому он предлагал собеседнику дать определения ряду понятий, таких, например, как «справедливость», «несправедливость», «храбрость», «красота» и т. п. Если собеседник давал поверхностное, непродуманное определение, то Сократ, взяв отдельные случаи из повседневной жизни, показывают, что данное определение оказывается ошибоччым или недостаточным и подводил его к исправлению. Новое определение (дефиниция) опять проверялось, дополнялось и т. д. Например, давая определение понятию «несправедливость», в качестве несправедливых назывались такие действия, как ложь, обман, делание зла, обращение в рабство и т. п. Но затем выяснилось, что во время войны с врагами эти действия не подпадают под понятие несправедливости. Первоначальное определение ограничивается: действия эти являются несправедливыми только по отношению к друзьям. Но и новое определение недостаточно. Ведь тот, кто обманом заставляет своего больного ребенка принять лекарство или отнимает меч у друга при его попытке самоубийства, не совершает несправедливого поступка. Следовательно, только тот совершает несправедливость против друзей, кто делает это с намерением им повредить.
Знание Сократ понимает как усмотрение общего (или единого) для целого ряда вещей (или их признаков). Знание есть, таким образом, понятие о предмете, и достигается оно посредством определения понятия. При этом усматриваются как сходство или общность предметов, подходящих под данное понятие, так и различия между тем, что подходит под данное понятие, и тем, что подходит под сходное или смежные с ним понятия. Учение Сократа о знании как об определении общих понятий и применявшиеся Сократом индуктивные приемы определенияяэтических понятий сыграли заметную роль в развитии логики.
Учение Сократа о знании развил его ученик Платон (428—347 до н. э.) в теории «видов», или «идей», создавший систему объективного идеализма, утверждавшую существование духовного первоначала вне и независимо от человеческого сознания. Свою школу Платон основал в Афинах, создав там Академию. Платон общие понятия Сократа, говорящие о сущностях вещей, превратил в абсолютные идеи, которые существуют сами по себе, вне познающего субъекта и независимо от материального мира. И считал эти идеи первичными, вечными и неизменными, образующими свой потусторонний мир. Материальный мир, по Платону, вторичен, он изменчив, и в нем отражаются вечные, неизменные идеи, которые являются прообразами всех существующих материальных вещей, а вещи эти — только «тени» идей.
В своей деятельности Платон значительное место отводил вопросам теории познания и логики. Платон стремился образовать понятие и затем осуществить деление понятия на его виды, излюбленным логическим приемом которого была дихотомия, т. е. деление понятия А на В и не-В (например, животные делятся на позвоночных и беспозвоночных). Он сформулировал два правила для деления понятий, а теорию суждения развил в диалоге «Софист». Платон отличал отношение различия от отношения противоположности.