Логика Аристотеля

- 15 -

ПЛАН

Введение

1. Логика Аристотеля. Категории

2. Силлогизм

3. Учение о доказательстве

4. Теория определения

5. Законы мышления

Заключение

Литература

ВВЕДЕНИЕ

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

Произведения Аристотеля делятся традиционно на восемь групп:

· Логические труды: «Категории», «Об истолковании», «Аналитики первая и вторая», «Топика», «О софистических опровержениях».

· Философия природы: “Физика” в 8-ми книгах, “О небе” в 4-х книгах, “О возникновении и уничтожении” в 2-х книгах”, “О небесных явлениях” в 4-х книгах.

· Психология: “О душе” в 3-х книгах, а также “Малые труды по естествознанию”, включающие трактаты: “О восприятии и воспринимаемом”, “О памяти и воспоминании”, “О сне”, “О бессоннице”, “О вдохновении во сне”, “О длительности и краткости жизни”, “О жизни и смерти”, “О дыхании”.

· Биологические труды: “О частях животных”, “О движении животных”, “О передвижении животных”, “О происхождении животных”. Также есть ряд трактатов, написанных в школе Аристотеля, авторы которых не установлены. Важнейший из них - “Проблемы”, где рассматриваются вопросы физиологии и медицины, а также математики, оптики, музыки.

· Первая философия: сочинение в 14-ти книгах, получившее название “Метафизика”.

· Этика: “Никомахова этика” в 10-ти книгах, “Большая этика” в 2-х книгах, “Евдемова этика”, из которой печатаются отдельные книги.

· Политика: “Политика” в 8-ми книгах.

· Экономика: “ Экономика” в 3-х книгах.

Цель данной работы - охарактеризовать систему логических представлений Аристотеля, раскрыть сущность его логики и определить, какой вклад внес этот философ в становление и развитие логики как науки.

ЛОГИКА АРИСТОТЕЛЯ. КАТЕГОРИИ

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

Логика Аристотеля - это “мышление о мышлении”. Если говорить кратко, то Аристотелевская логика изучает:

· основные виды бытия, которые подпадают под отдельные понятия и определения;

· соединения и разделения этих видов бытия, которые выражаются в суждении;

· способы, которыми ум при посредстве рассуждений может перейти от истины известной к истине неизвестной.

Мышление - это суть логики. Согласно Аристотелю, мышление - это не конструирование или создание умом некой новой сущности, а скорее уподобление в акте мышления чему-то, находящемуся вовне. Понятие есть отождествление ума с каким-то видом бытия, а суждение - выражение соединения таких видов бытия в действительности Реале Д., Антисери Д. Западная философия от истоков до наших дней. Электронная книга. Т.1. С. 320.. Наконец, к верным заключениям науку направляют правила вывода, законы противоречия и исключенного третьего, поскольку этим принципам подчиняется все бытие.

Вопрос о том, что такое бытие, Аристотель предлагал рассматривать путём анализа высказываний о бытии. «Высказывание» по-гречески - «категория». Согласно Аристотелю, все высказывания языка, так или иначе, отнесены к бытию, но ближе всего к бытию стоит аристотелевская категория сущности (поэтому её, как правило, и отождествляют с бытием).

Итак, категории - наиболее общие роды высказываний. Любое слово, взятое обособленно, вне связи с другими словами, т. е. «человек», «бежит» (но не «человек бежит»), означает «или сущность» (категория сущности), или «сколько» (количество), или «какое» (качество), или «по отношению к чему-то» (отношение), или «где» (место), или «когда» (время), или «находиться в каком-то положении» (положение), или «обладать» (обладание), или «действовать» (действие), или «претерпевать» (страдание, или претерпевание) Аристотель. Этика. Политика. Риторика. Поэтика. Категории. Минск. 1998. С. 547..

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

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

Говоря сущность, мы подразумеваем сущность вещей, поэтому необходимо понять, что такое существование вещи. “Если вещь действительно существует, то необходимым образом существует и идеи вещей, так что без идеи вещь не существует или сама вещь остается непознаваемой” Там же.. Идея же вещи находится внутри самой вещи. Аристотель стремится познать сущность вещей через их родовые понятия, а поэтому в центре внимания у него находится отношение общего к частному.

Сущность отвечает на вопрос: «Что есть вещь?» Раскрывая сущность вещи, мы, согласно Аристотелю, даём ей определение, понятие вещи. Приведенные выше девять категорий отвечают на вопрос: «Каковы свойства вещи?» - и определяют признаки, свойства вещи, её атрибуты. О сущности, таким образом, высказываются все категории, но она сама ни о чём не высказывается: она есть нечто самостоятельное, существующее само по себе, безотносительно к другому.

Аристотелю характерно убеждение в том, что сущность первичнее отношений. Исходя из всего этого, Аристотель создаёт первую в истории систему логики - силлогистику, главную задачу которой он видит в установлении правил получения достоверных выводов из определённых посылок. Центр аристотелевской логики составляет учение об умозаключениях и доказательствах, основанных на отношениях общего и частного. Формальная логика, созданная Аристотелем, на протяжении многих веков служила главным средством научного доказательства.

СИЛЛОГИЗМ

Главная и наиболее оригинальная часть логики Аристотеля - его теория силлогизма. В «Первой аналитике», где излагается аристотелевская теория умозаключения, сказано, что «силлогизм есть речь, в которой, если нечто положено, то с необходимостью вытекает нечто отличное от положенного в силу того, что положенное есть» Сайт: http://wikipedia.com/. Аристотелевский силлогизм состоит из трех суждений, два из которых являются посылками, а третье - заключением.

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

Посылки были выражены у Аристотеля не так, как у нас, а в форме: «В присуще А» (у нас «А есть В»), т. е. Аристотель ставит предикат суждения (сказуемое) на первое место. Посылки связаны общим для них «средним» термином. В роли такового могут выступать:

· предикат одной посылки и субъект другой,

· предикаты обеих посылок,

· субъекты обеих посылок.

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

1. Все млекопитающие - теплокровные.

2. Лошади - млекопитающие.

--------------------------------------------------------------------------------------------

Лошади - теплокровные, потому что они млекопитающие

(средний термин - причина).

Итак, фигура силлогизма определяется местом среднего термина. Модусы определяются характером посылок, которые могут быть:

· общеутвердительными,

· общеотрицательными,

· частноутвердительными и

· частноотрицательными.

Перебрав все 256 варианта, Аристотель установил, что вывод (заключение) получается только в четырех случаях: это происходит лишь тогда, когда сочетаются:

· общеутвердительная посылка с общеутвердительной,

· общеотрицательная посылка с общеутвердительной,

· общеутвердительная с частноутвердительной

· общеотрицательная с частноутвердительной.

Т. е. одна из посылок должна быть общей и одна утвердительной. Из двух частных посылок ничего не следует. Также ничего не следует из двух отрицательных посылок.

УЧЕНИЕ О ДОКАЗАТЕЛЬСТВЕ

Доказательство рассматривается Аристотелем во «Второй аналитике». Доказать что-либо - значит связать необходимой связью то, что связано в самой действительности. Для этого надо, чтобы посылки были истинны и чтобы связь посылок через средний термин была логически правильной. Одной логической правильности мало. Требуется еще истинность посылок, в которых связь субъекта и предиката отражала бы связь, присущую самой действительности. При этом связь субъекта и предиката в посылках должна быть необходимой, т. е. отражать не случайные, а существенные объективные связи Солодухин О.А. Логика. Электронный учебник. С. 51..

В этом контексте необходимо остановиться на том, как Аристотель понимал истину и ложь. Он отнюдь не считал, что все истинно и тем более не думал, что все ложно. Одно истинно, а другое ложно. Истина и ложь не заключены в самой действительности, они не онтологичны, «истинное и ложное есть сочетание мыслей».

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

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

Термин «диалектика» Аристотель употребляет здесь не в нашем смысле слова. Диалектично доказательство, исходящее лишь из вероятных, лишь правдоподобных посылок. Название такого силлогизма связано с тем, что Платон называл свою философию диалектикой. Аристотель же отказывал ей в научности, считая ее содержание лишь правдоподобным. Отсюда его перенос термина «диалектика» лишь на вероятные умозаключения, дающие соответствующие выводы Реале Д., Антисери Д. Западная философия от истоков до наших дней. Электронная книга. Т.1. С. 336..

В противоположность диалектике аподектика дает строго научное, дедуктивное знание, с необходимостью вытекающее из истинных посылок, следующих из высших принципов. Вопрос о происхождении последних очень труден.

Эристические умозаключения мнимы, это заведомо ложные софистические умозаключения, сплетаемые в интересах спора.

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

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

Аристотель различает три вида недоказуемых начал:

· аксиомы;

· предположения;

· постулаты.

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

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

Постулатами (“требованиями”) Аристотель называет положения, которые принимаются в пределах данного научного рассуждения, но принимаются или при полном отсутствии у исследователя мнения по поводу исследуемого объекта, или даже при наличии несогласия учащегося, исследователя с постулируемым положением.

ТЕОРИЯ ОПРЕДЕЛЕНИЯ

В теории определения, разработанной Аристотелем, раскрывается двоякая точка зрения на определение и определяемое.

Согласно первой точке зрения, задача определения в том, чтобы указать такие свойства определяемой сущности, которые, не составляя самой этой сущности как таковой, все же следовали бы из нее. Только при наличии определения знанию не угрожает регресс в бесконечность, а доказательство получает необходимую для него точку отсчета Челпанов Г.И. Учебник логики. Электронная книга. С. 14..

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

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

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

Рассмотрим, например, определение дома. Некоторые философы пытались определить понятие о доме, указывая только на его “форму” или цель: дом - убежище для защиты от дурной погоды. Однако, некоторые физики определяют тоже понятие, указывая только на его материю: дом - нечто, сделанное из камней, кирпича. Напротив, определением, удовлетворяющим и требованиям философии, и требованиям физики будет определение: дом - убежище, построенное из таких-то материалов с целью защиты человека от дурной погоды.

Это определение, не отделяя “форму” от “материи”, подчеркивает все значения “формы” как источника свойств, принадлежащих самой вещи. Такое определение будет причинным.

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

ЗАКОНЫ МЫШЛЕНИЯ

Из четырех законов мышления традиционной логики Аристотель установил, по крайней мере, два: закон запрещения противоречия и закон исключенного третьего. Законы тождества и достаточного основания у Аристотеля намечены в учении о научном знании как знании доказательном (закон достаточного основания) и в тезисе, согласно которому “невозможно ничего мыслить, если не мыслить что-нибудь одно” (закон тождества).

В краткой форме закон запрещения противоречия звучит как «вместе существовать и не существовать нельзя», а в полной как утверждение: “невозможно, чтобы одно и тоже вместе было и небыло присуще одному и тому же в одном и том же смысле”. В “Метафизике” сформулирован и логический аспект закона запрещения противоречия в словах о том, что “нельзя говорить верно, вместе утверждая и отрицая что-нибудь”. Этот закон прямо обосновать нельзя, однако можно опровергнуть противоположный ему взгляд, показав его нелепость Аристотель. Метафизика. // Систематическая философия: Хрестоматия. Часть1: Введение в философию / Сост., ред. и вступ. Ст. В.Н. Назарова и Е.Д. Мелешко. - Тула. 1998. С. 118..

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

У Аристотеля можно найти и другие принципиальные ограничения сферы действия закона запрещения противоречия. Его действие не распространяется на будущее, так как это связано со сферой возможности. Будущее чревато многими возможностями, настоящее же бедно, поскольку актуализируется нечто одно, но оно потенциально богато.

Аристотелевский закон запрещения противоречия вызвал много возражений. Гегель критиковал Аристотеля, утверждая, что этот закон запрещает становление, изменение, развитие, что он метафизичен. Но у Аристотеля закон запрещения противоречия не абсолютен, ибо он действует только в сфере актуального, действительного, а не возможного бытия. Поэтому и становление, по Аристотелю, существует как реализация одной из возможностей, которая, будучи реализованной, актуализированной, исключает другие возможности, но только в действительности, а не в возможности Сайт: http://wikipedia.com/. Если актуализированная возможность снова станет просто возможностью, ее сменит другая актуализированная возможность. Определив границы своей формальной логики, Аристотель тем самым оставил место и для диалектической логики. Потенциально сущее диалектично, актуально сущее относительно недиалектично.

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

Такая разница в сфере применения законов означает, что есть разные виды противоречия. Ранее было различено собственно противоречие и его смягченная форма - противоположность. И то, и другое - два вида противолежащего. Позднее это стали называть контрарным и контрадикторным противоречиями. Обоими законами связаны лишь контрадикторные противоречия.

Пример контрадикторного отношения: «Эта бумага белая» и «Эта бумага не-белая». Среднего здесь нет. Контрарное отношение связано лишь законом запрещения противоречия. Пример: «Эта бумага белая» и «Эта бумага черная»; ведь бумага может быть и серой. Контрарное противоречие (противоположность) допускает среднее, контрадикторное же не допускает.

Члены контрарного противоречия могут быть оба ложными (когда истина находится между ними как третье значение), но одновременно истинными они быть не могут, это запрещено законом противоречия. Члены контрадикторной противоположности не могут быть не только одновременно истинными, но и одновременно ложными, ложность одной стороны влечет за собой истинность другой. Правда, у Аристотеля мы такой точности не находим Сайт: http://wikipedia.com/.

Действие аристотелевских законов таково, что закон запрещения противоречия не обязательно влечет за собой закон исключенного третьего, но закон исключенного третьего предполагает действие закона запрещения противоречия.

ЗАКЛЮЧЕНИЕ

Аристотель - отец логики как систематизированной науки о мышлении и его законах. Аристотелевский бог - идеальный логик, созерцающий мыслительный процесс как с его содержательной, так и с формальной стороны. Сам Аристотель называл свою науку о мышлении аналитикой. В «Метафизике» аналитикой названо рассуждение. Употребляя слово «анализ», Аристотель понимал под этим разложение сложного на простое вплоть до далее неразложимых начал или аксиом. В «Риторике» Аристотель говорит об «аналитической науке» Сайт: http://mirslovarei.com/.

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

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

ЛИТЕРАТУРА

1. Аристотель. Метафизика. // Систематическая философия: Хрестоматия. Часть1: Введение в философию /Сост., ред. и вступ. Ст. В.Н. Назарова и Е.Д. Мелешко. - Тула. 1998.

2. Аристотель. Этика. Политика. Риторика. Поэтика. Категории. Минск. 1998.

3. Реале Д., Антисери Д. Западная философия от истоков до наших дней. Электронная книга. Т.1.

4. Сайт: http://mirslovarei.com/

5. Сайт: http://wikipedia.com/

6. Солодухин О.А. Логика. Электронный учебник.

7. Челпанов Г.И. Учебник логики. Электронная книга.