История логики

     В древнегреческой философии в  середине V в. до н. э. появились так  называемые софисты (Протагор, Горгий и др.), которые главным предметом своего философского исследования делают не природу (как это было до них), а человека и его деятельность, в том числе этику, риторику, грамматику. Протагор, Горгий и Трасимах впервые в Греции создали теорию риторики. Софисты критиковали и религию, и материалистическую философию. Разрабатывая теорию красноречия, софисты затрагивали и вопросы логики. Протагор написал специальное сочинение “Искусство спорить”. Протагор - мастер спорить; он разъезжал по Греции, устраивал диспуты, привлекавшие многочисленных слушателей. По выражению античного автора Диогена Лаэртского, “нынешнее племя спорщиков берет свое начало от него”.

     Протагор  первым стал применять “сократический способ беседы”. Этот метод заключался в постановке собеседнику вопросов и показе ошибочности его ответов. Поэтому Протагор стал изучать виды умозаключений в плане логических приемов в речи ораторов. Позднее  это делал Аристотель в его  “Топике”. Сочинение Протагора  “Тяжба о плате” (вы уже познакомились  с ним на с. 236-237 учебника) посвящено  знаменитому софизму, относящемуся к спору Протагора с его  учеником Эватлом.

     Против  софистов выступил выдающийся материалист  Древней Греции Демокрит (460-370 до н. э.), создавший всеобъемлющую философскую систему, включающую учение о бытии, космологию, теорию познания, логику, этику, политику, эстетику и ряд других областей научного знания: математику, физику, биологию, медицину, филологию и др. Демокрит - творец первой системы логики в Древней Греции, написавший специальный трактат “О логике” или “Каноны” (в трех книгах; название “Каноны” означает “критерии”, “правила”). До нас, к сожалению, дошли лишь незначительные отрывки. В книге “О логике” Демокрит, выступает против софистов, отрицавших объективную реальность. Демокрит строит логику на эмпирической основе, поэтому он - один из создателей индуктивной логики. Демокрит рассматривал суждения, выделяя в них субъект и предикат, а также рассматривал определения понятий.

     В “Канонах” было изложено учение Демокрита о видах знания. Вопросы логики здесь не отделялись от теории познания.

     Последователями Демокрита были философы эпикурейской школы. Демокритовско-эпикурейское направление в логике предвосхитило индуктивную логику Ф. Бэкона и противостояло идеалистической сократово-платоновской логике. 

     У Сократа (около 469-399 до н. э.) на первый план была выдвинута проблема метода, посредством  которого можно получить истинное знание. Сократ считал, что любой предмет  может быть познан лишь в том случае, если его свести к общему понятию  и cyдить о нем на основе этого понятия. Поэтому он предлагал собеседнику дать определения ряду понятий, таких, например, как “справедливость”, “несправедливость”, “храбрость”, “красота” и т. п. Если собеседник давал поверхностное, непродуманное определение, то  Сократ, взяв отдельные случаи из повседневной жизни, показывал, что данное определение оказывается ошибочным или недостаточным и подводил его к исправлению. Новое определение (дефиниция) опять проверялось, дополнялось и т. д. Например, давая определение понятию “несправедливость”, в качестве несправедливых назывались такие действия, как ложь, обман, делание зла, обращение в рабство и т. п. Но затем выяснилось, что во время войны с врагами эти действия не подпадают под понятие несправедливости. Первоначальное определение ограничивается: действия эти являются несправедливыми только по отношению к друзьям. Но и новое определение недостаточно. Ведь тот, кто обманом заставляет своего больного ребенка принять лекарство или отнимает меч у друга при его попытке самоубийства, не совершает несправедливого поступка. Следовательно, только тот совершает несправедливость против друзей, кто делает это с намерением им повредить.

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

     Учение  Сократа о знании развил его ученик Платон (428-347 до н. э.) в теории “видов”, или “идей”, создавший систему  объективного идеализма, утверждавшую существование духовного первоначала  вне и независимо от человеческого сознания. Свою школу Платон основал в Афинах, создав там Академию. Платон общие понятия Сократа, говорящие о сущностях вещей, . превратил в абсолютные идеи, которые существуют сами по себе, вне познающего субъекта и независимо от материального мира. И считал эти идеи первичными, вечными и неизменными, образующими свой потусторонний мир. Материальный мир, по Платону, вторичен, он изменчив, и в нем отражаются вечные, неизменные идеи, которые являются прообразами всех существующих материальных вещей, а вещи эти - только “тени” идей.

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

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

     Один  из величайших ученых и философов  древности - Аристотель (384—322 до н. э.). Он родился в городе Стагире, поэтому его называют Стагиритом. Глубокие сочинения Аристотеля посвящены многообразным отраслям современного ему знания: философии, логике, физике, астрономии, биологии, психологии, этике, эстетике, риторике и другим наукам. Общее число написанных им работ около тысячи.

     В течение 20 лет Аристотель был учеником в школе Платона. Через 12 лет после  смерти Платона Аристотель основал  в Афинах свою философскую школу (перипатическую, или Ликей).

     Аристотель  впервые дал систематическое  изложение логики. Логику Аристотеля называют “традиционной” формальной логикой. Традиционная формальная логика включала и включает такие разделы, как понятие, суждение, законы (принципы) правильного мышления, умозаключения (дедуктивные, индуктивные, по аналогии), логические основы теории аргументации, гипотеза. Основными работами Аристотеля по логике являются “Первая аналитика” и “Вторая аналитика”, в которых даны теория силлогизма, определение и деление понятий, теория доказательства. Логическими сочинениями Аристотеля являются также “Топика”, содержащая учение о вероятных “диалектических” доказательствах, “Категории”, “Об опровержении софистических аргументов”, “Об истолковании”. Византийские логики позже объединили все перечисленные работы Аристотеля под общим названием “Органон” (орудие познания)'.

     Законы  правильного мышления - закон тождества, закон непротиворечия, закон исключенного третьего -Аристотель изложил также в своем главном произведении “Метафизика”. Первоначально он рассматривал законы мышления как законы бытия, а логические формы истинного мышления считал отображением реальных отношений.

     Для Аристотеля истина есть соответствие мысли действительности. Истинным он считал суждение, в котором понятия  соединены между собой так, как  связаны между собой вещи в  природе. А ложным - суждение, которое соединяет то, что разъединено в природе, или разъединяет то, что связано в ней. Аристотель, опираясь на эту концепцию истины, создал свою логику. В “Аналитиках” Аристотель довольно основательно разрабатывает модальную логику и дает описание силлогизмов из гипотез.

     По  характеристике В. И. Ленина, логика Аристотеля есть движение мысли - “запрос, искание... поиски, колебания, приемы постановки вопросов”. Сила его учения в том, что в нем содержатся “живые зачатки  и запросы диалектики”.

     Аристотель  видел в логике орудие, или метод, исследования. Основным содержанием  аристотелевской логики является теория дедукции. В логике Аристотеля содержатся элементы математической (символической) логики, у него имеются начатки исчисления высказываний.

     Дальнейшая  разработка логики высказываний, и  в том числе теории условных и  разделительных умозаключений, была осуществлена логиками мегаро-стоической школы (учение, известное под названием “логики стоиков”). Основатели Стои - Зенон (333-261 до н. э.) и Хризипп (281/78-208/05 до н. э.). Мегарики: Диодор, Стилпон, Филон и Евбулид.

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

     К сожалению, до нас дошли лишь отдельные  отрывки из логического учения мегариков и стоиков. Логики этой школы дали анализ логических терминов: отрицания, конъюнкции, дизъюнкции, импликации. В результате дискуссии об импликации у них выявились четыре различных ее понимания. Мегарик Евбулид открыл первый известный нам из истории семантический парадокс под названием “Лжец”. 
 

     Вклад Аристотеля в становление  формальной логики.

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

     Логика  – это наука о доказательстве, и, таким образом, необходимо разделить  все умозаключения на истинные и ложные. У Аристотеля истина – это соответствие утверждения бытию, ложь – несоответствие. Истина есть факт не онтологический, а гносеологический: именно мысль должна соответствовать бытию. Аристотель пытается объективно исследовать окружающее, везде выявить закономерности, причинно-следственные связи. Поэтому онтология Аристотеля лежит в основе логики.

     Логику  Аристотеля можно назвать онтологической, так как он выделяет четыре причины  бытия:

     1. сущность – это причина, имеющая  следствием вещь именно такую,  какая она есть;

     2. материя – это, материал из  которого возникает, что-либо, субстрат;

     3. движение – это то, что производит  действие;

     4. цель – это то для чего  что-либо делается.

     Пытаясь понять все существующее, Аристотель использует логику как орудие всякого  знания вообще. Любая вещь имеет  причину своего существования, например, стол.

     Сущность  бытия - это идея того, что он нужен; материя, материал, из которого он сделан; кто-то объективно должен создать его, то есть движение, придать ему задуманную форму; для того, чтобы стол все-таки появился, нужна цель (для чего он нужен? предназначение).

     Каждая  существующая вещь предполагает сочетание  этих четырех факторов.

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

     Одна  из главных основ познания, противопоставление.

     Аристотель  противопоставляет мышление и чувственное  восприятие, общее и единичное. Мышление разделяется на:

1. отдельные ноэмы или одна мысль;
2. соединение ноэм, мыслей.

     «…  Если же мысль будет направлена на прошлое или имеющее произойти, то человек мыслит, примышляя время  и составляя соединение. Ошибки заключаются  именно в соединении».

     Мышление состоящее из ноэм и есть рассуждение у Аристотеля.

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