Логические сочинения Аристотеля. Основные идеи

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

1.аксиомы; 2.предположения; 3.постулаты.

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

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

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

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

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

В краткой форме закон [запрещения] противоречия звучит как “вместе существовать и не существовать нельзя”, а в полной как утверждение: “невозможно, чтобы одно и тоже вместе было и не было присуще одному и тому же в одном и том же смысле”. В “Метафизике” сформулирован и логический аспект закона [запрещения] противоречия в словах о том, что “нельзя говорить верно, вместе утверждая и отрицая что-нибудь”. Этот закон прямо обосновать нельзя, однако можно опровергнуть противоположный ему взгляд, показав его нелепость.

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

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

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

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

2.6. Закон противоречий

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

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

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

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

Поэтому эти законы можно классифицировать по их действию:

1. в суждении должно утверждаться то же, что отрицается в отрицании, и наоборот;
2. если в одном суждении отрицается то же, что утверждается в другом, то они относятся как утверждение и отрицание;
3. если действительно второе, то они будут связаны и законом исключения третьего.

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

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

Если утверждается какая-либо возможность, то отрицаться должна именно возможность.

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

2.7.Суждения

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

Аристотель называет суждения высказываниями. К установлению истинности или ложности мысли он приходит через речь, анализируя смысловую сторону речи. Что вполне естественно, ведь именно речь дает нам возможность выражать свои мысли. Отделять их от действительности и, впоследствии, мыслить абстрактно или мылить над самими мыслями. Он выделяет имена и глаголы. Имена – это подлежащее. Глагол – сказуемое. Говорить о наличии высказывания можно только тогда, когда присутствуют и подлежащее и сказуемое. Сами по себе имена и глаголы обозначают либо объект, либо субъект действия, либо действие опосредованное, которое не относится к чему-то конкретно, для того, чтобы утверждать, что, что-либо высказывание должна существовать законченная мысль, в которой выражен сам предмет и то, что о нем думают. Если использовать в речи одно только имя, то мы подчеркнем какую-то связь между словом и предметом или определение предмета, что еще не есть, по сути, мысль. Подразумевая что-либо необходимо присоединение к мыслимому бытия, тогда можно говорить о высказывании.

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

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

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

В книгах «Об истолковании» и «Первая Аналитика» суждения классифицируются так:

1. Утверждение есть высказывание  чего-то о чем-то, отрицание, наоборот, высказывание отнимающее что-то  от чего-то. Каждому утверждению  противостоит только одно отрицание  и, наоборот, поэтому если утверждение истинно, то отрицание ложно или если отрицание истинно, то суждение ложно.

2. Деление суждений по  количеству, то есть они могут  быть единичные, общие, частные и  неопределенные (обычно принимают  за частные).

3. Онтологическое деление суждений: действительные, реально необходимые, реально возможные, другими словами,  деление по модальности на ассерторические, аподиктические, проблематические. Деление подразумевает, сказывается ли что-то как возможное, действительное, необходимое.

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

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

2.8. Категории

 Отмечена спорность принадлежности  Аристотелю  "Категорий" (в которых нет ссылок на другие работы Аристотеля), а также их отношения к "Метафизике". В контексте этой главы существенно напомнить, что первостепенное понятие первичной сущности в "Категориях" трактуется как отдельное, единичное, в то время как вид наряду с родом - "вторичные сущности" (чего в "Метафизике" вообще нет). В "Категориях" говорится, что "если бы не существовало первых сущностей, не могло бы существовать и ничего другого" (V, с. 56) 1 /Аристотель. Соч., т.2, с. 56 ("Категории", гл. V), что "первые сущности, ввиду того что они подлежащие для всего другого, называются сущностями в самом основном смысле" (там же, с. 57). Быть подлежащим - значит ни о чем не сказываться, никогда нигде не быть предикатом суждения, а быть всегда его субъектом. Виды и роды как вторичные сущности - предикаты для первичных сущностей, они указывают "качество сущности" (с. 59), так что в "Категориях" они смыкаются с категорией качества. Поскольку слово "категория" означает предикат, то первичные сущности не являются и категориями, тем не менее, каждая из них - первая среди категорий. Первичная сущность может принимать противоречивые качества, хотя и не сразу. Молодой человек постепенно становится старым. 

2.9.Другие категории.

Итак, категории – наиболее общие роды высказываний, точнее говоря, имен. Любое слово, взятое обособленно, вне связи с другими словами, т. е. "человек", "бежит" (но не "человек бежит"), означает "или сущность", или "сколько", или "какое", или "по отношению к чему-то", или "где", или "когда", или "находиться в каком-то положении", или "обладать", или "действовать", или "претерпевать" (IV, с. 55). Столь полный перечень категорий встречается еще только в "Топике" (103, в 23). В других сочинениях, связываемых с именем Аристотеля, категорий меньше. Во "Второй аналитике" их только восемь (нет "положения" и "претерпевания"). Выше отмечалось, что в "Метафизике" шесть категорий: сущность, качество, количество, отношение, действие и страдание.         Так или иначе, все категории, кроме первой, высказываются о первичной сущности, в силу чего се подпадает под ту или другую из девяти категорий, находятся в подлежащем, каковым является первичная сущность, которая, строго говоря, и не должна быть категорией, ибо категории - предикаты, а первая сущность – всегда субъект.