Текст книги "История логики"
Автор книги: Александр Маковельский
сообщить о нарушении
Текущая страница: 9 (всего у книги 43 страниц)
Аристотель проводит различие между серьезными противниками, которые руководствуются философскими соображениями, и противниками, которые занимаются чисто эристическими фокусами. Серьезные противники выдвигают соображения, во-первых, метафизические, во-вторых, гносеологические. Метафизические соображения исходят из понятия возникновения. Говорят, что ничто не может возникнуть прямо из небытия, поэтому тот субстрат, из которого что-нибудь возникает, должен заранее иметь противоположные предикаты и вследствие этого должно признаваться одновременно истинным как контрадикторно, так и контрарно противоположное. Аристотель на это возражает, указывая, что здесь смешивается потенциальное и актуальное бытие. Что касается гносеологических соображений, то выдвигается положение, что единственным источником познания является чувственное восприятие. Между тем ощущения у отдельных людей различны: что одному кажется сладким, то другому – горьким. Ощущения неодинаковы не только у разных живых существ, но и у одного я того же лица. Поэтому не остается ничего иного, как считать истинным все, что таковым кажется кому-либо. Все одинаково истинно.
Аристотель подвергает этот взгляд весьма тщательному анализу. Действительно, изменяющиеся вещи могут дать повод рассматривать их таким образом. Аристотель сам разделяет мнение, что если бы все было в постоянном изменении, то истина была бы невозможна: все одновременно и существовало бы и не существовало. Однако, по его мнению, само возникновение и исчезновение возможны только на основе бытия, следовательно, предполагают нечто сущее.
Далее, Аристотель считает, что здесь смешивается изменение в количестве и изменение в качестве. По Аристотелю, количественное изменчиво, но наше познание имеет прежде всего своим объектом не количественное, но (Качественное, а именно – понятие, которое служит определением качественного становления, но при этом само пребывает вечно равным себе. Понятие для Аристотеля есть действительное, неизменяющееся бытие. Сверх того, по Аристотелю, положение, что чувственно воспринимаемое подвержено постоянному изменению, справедливо только для подлунного мира, который есть лишь малая частица Вселенной. Остальному присуще неизменное вечное бытие.
Признавая, что один и тот же объект может вызвать различные ощущения – вследствие изменения самого объекта или изменений воспринимающих тел – Аристотель указывает, что при всех этих изменениях есть нечто, что остается всегда равным себе: это именно само качество ощущения. Например, ощущение сладкого будет то же, что и раньше, оно во все времена будет оставаться одним и тем же. Это значит, что ощущение сладкого как таковое имеет свои определенные характерные черты, которые оно всегда сохраняет, и если именно эти черты будут о нем высказываться, то суждение будет необходимо истинным.
Таким образом, Аристотель доказывает значимость закона противоречия и для мышления в понятиях и для чувственного восприятия.
Переходим к учению Аристотеля о законе исключенного третьего. Основная формулировка его у Аристотеля такова: «Равным образом не может быть ничего посредине между двумя противоречащими друг другу суждениями, но об одном одно необходимо либо утверждать, либо отрицать» («Метафизика», IV, 7, 1011 в 23).
Но часто Аристотель приводит более краткие формулировки: «Необходимо все либо утверждать, либо отрицать», или «Обо всем истинно или утверждение или отрицание», или «Все должно или быть или не быть».
Что нового вносит закон исключенного третьего по сравнению с законом противоречия? Закон противоречия оставлял еще открытым вопрос, возможно ли нечто среднее между утверждением и отрицанием. Отрицательная часть формулы закона исключенного третьего устанавливает, что такой возможности нет. Однако из отрицательной части еще не следует положительная часть: если кроме утверждения и отрицания нет ничего среднего, то этим еще не исключен тот случай, что утверждение и отрицание могут быть одновременно истинны. Эта возможность отбрасывается законом противоречия, и положительная формулировка закона исключенного третьего включает в себя то, что утверждается законом противоречия.
Отношение между этими двумя законами – законом противоречия и законом исключенного третьего, – по Аристотелю, таково: отрицание закона противоречия имеет своим необходимым следствием отрицание закона исключенного третьего. Закон противоречия есть необходимая предпосылка закона исключенного третьего. Из отрицания первого с необходимостью вытекает следствие, что есть среднее между утверждением и отрицанием, между бытием и небытием. Однако это не говорит, что из закона противоречия можно вывести закон исключенного третьего. Последний имеет самостоятельное значение.
У Аристотеля закон исключенного третьего, так же как и закон противоречия, имеет не только логическое значение, но и онтологическое. Логический закон исключенного третьего имеет своим основанием закон самой объективной реальности. Даже более того, закон исключенного третьего мыслится Аристотелем прежде всего как закон бытия и лишь затем как закон мышления. Или бытие, или небытие, все или есть, или не есть, между бытием и небытием нет ничего среднего. В соответствии с этим законом бытия у Аристотеля дается учение об истине. Истина и ложь находятся в контрадикторной противоположности. По самому определению этих понятий ложность есть отрицание истины, а истинность – утверждение истины. Положение о контрадикторной противоположности истины и лжи служит у Аристотеля предпосылкой доказательства закона исключенного третьего.
Объективно-логическое понимание закона исключенного третьего, согласно которому всякое истинное суждение должно быть или утверждением, или отрицанием, Аристотель доказывает следующим аргументом. Поскольку истинные и ложные суждения высказывают обо всем, что есть или не есть, то отсюда вытекает, что суждение, которое выражает среднее между бытием и небытием и, следовательно, не высказывает ни о бытии, ни о небытии, не является ни истинным, ни ложным, и поэтому оно логически невозможно. Истинные и ложные высказывания исчерпывают весь объем возможных суждений.
Другое доказательство исходит из того психологического факта, что дискурсивное мышление имеет лишь две формы своего проявления: оно или утверждает, или отрицает. Функция мышления в его конкретно-психологическом проявлении – это утверждение или отрицание. Что-либо среднее между ними психологически невозможно. Это психологический факт.
Следующее доказательство у Аристотеля исходит из понятия изменения. Доказывается, что оспаривание закона исключенного третьего делает необъяснимым факт изменения в мире. Если принимать среднее между бытием и небытием, то это среднее может мыслиться двояко: или как положительное среднее (например, серое – среднее между черным и белым), или как отрицательное среднее (например, то, что не есть ни лошадь, ни человек).
Изменение есть всегда развитие от несуществующего к существующему, например, от нехорошего к хорошему, или наоборот, от хорошего к нехорошему, переход от одного члена контрадикторной противоположности к другому. Если встречающееся нам в действительном мире изменение есть всегда движение между бытием и небытием, то не может быть ничего среднего между бытием и небытием, не может быть чего-то такого, что одновременно было бы и не было.
Аристотель дает шесть аргументов, которые выводят ряд абсурдных следствий из опровержения закона исключенного третьего. Мы не станем приводить их здесь, отметим лишь, что, по Аристотелю, как отрицание закона противоречия приводит к положению, что все истинно, так из допущения среднего между двумя членами контрадикторной противоположности получается следствие, что все ложно.
Историками логики ставился вопрос, мыслил ли Аристотель закон противоречия и закон исключенного третьего как два самостоятельных принципа. Одни давали на этот вопрос отрицательный ответ и считали оба закона в основе лишь двумя различными формулировками одного и того же принципа. Другие высказывались за самостоятельное значение каждого из этих законов. На наш взгляд, несмотря на их тесную связь, второй закон содержит новый дополнительный момент, которого еще нет в законе противоречия.
Г. Майер обращает внимание на то, что Аристотель нигде не делает попытки вывести закон исключенного третьего из закона противоречия. И было бы ошибкой искать у него такую дедукцию. Обычное выведение закона исключенного третьего из закона противоречия основывается на положении «двойное отрицание утверждает», а для Аристотеля отрицание отрицания есть чисто логическое отношение, законы же логики для него суть прежде всего законы бытия. Закон противоречия и закон исключенного третьего у него касаются сущего как сущего и именно поэтому трактуются в «первой философии». А так как истинное мышление есть адекватное отображение бытия, то законы бытия суть также законы мышления.
Принципы противоречия и исключенного третьего, которые в области бытия были законами природы, в области логики становятся критериями для установления истины. Первично эти законы суть законы бытия, затем они выступают как логические законы истины и, наконец, выступают как психологические законы протекания субъективных процессов мышления у человека. Неправ Зигварт, который полагает, что аристотелевский принцип противоречия касается лишь природы нашего мышления, равным образом неправы те, которые приписывают Аристотелю выведение объективно-логических и онтологических принципов из психологических законов субъективной деятельности мышления.
Для Аристотеля в обосновании логики все сводится к тому, что в самой реальной действительности есть нечто пребывающее, устойчивое и вполне определенное. Если бы в самой действительности все было бы в постоянном изменении, то не было бы никакой истины. И если бы вещи нельзя было твердо отграничить друг от друга и определить каждую в отдельности, то не было бы и мышления. Без неизменности вещей и без их обособленности друг от друга, по мнению Аристотеля, было бы невозможно бытие в собственном смысле, а вместе с тем были бы невозможны познание и истина. Но даже в подлунном мире единичные вещи, подверженные изменению, являются по меньшей мере относительно пребывающими. Не только объекты мышления, но и объекты чувственного восприятия отграничиваются друг от друга (последние, конечно, менее резко, чем первые). Пребываемость и обособленность объектов мышления и объектов восприятия являются у Аристотеля той основой, на которой покоятся законы противоречия и исключенного третьего.
Что касается закона тождества, то он у Аристотеля не играет роли основного закона. Тренделенбург находит у Аристотеля формулировку закона тождества Ф. Ибервег и Г. Майер придерживаются взгляда, что принципа тождества у Аристотеля нет.
К. Прантль в своей «Истории логики» рассматривает законы мышления у Аристотеля как аксиомы. Все науки, независимо от своих специальных принципов, опираются на законы мышления. Первой предпосылкой, на которой покоится все здание науки у Аристотеля, по Прантлю, служит положение, что всякое суждение «твердо стоит в себе», и что невозможно, чтобы «один и тот же по отношению к одному и тому же одновременно принимал и наличие его и отсутствие». К этому общезначимому основоположению как к последнему и самому прочному восходит всякий аподиктический прием. Человеческое мышление с самого начала фиксируется однозначно на эмпирическом материале и выражает это в суждениях, утверждая или отрицая. В этой аксиоме, по Прантлю, дело идет о простой предпосылке, которой должен пользоваться каждый человек, а не о принципе тождества и противоречия, который в его формальном понимании исключает всякое развитие и всякий процесс опосредствования. По мнению Прантля, принцип исключенного третьего у Аристотеля вполне совпадает с принципами тождества и противоречия.
В «Метафизике» (IV, 1012 а 26) Аристотель дает объединенную формулировку законов противоречия и тождества: «Говорить, что сущее не существует или что не сущее существует, – ложно, говорить же, что сущее существует и что не сущее не существует, – истинно». В этой формулировке закон тождества выступает на втором плане как дополнение к закону противоречия и как его обратная сторона.
Тренделенбург формулировку закона тождества усматривает в следующем месте «Первой Аналитики» (1, 32,47 а 8) «Все истинное должно быть согласно само с собой во всех отношениях». Но это не закон тождества, это основа всей формальной логики, основа всех ее законов. Если понимать основной закон как такой, который определяет собой все остальные законы данной науки, то это положение более всего подходит под понятие основного закона формальной логики.
В приписываемом Аристотелю сочинении «Об истолковании» (IX, 18 а 27) говорится, что законы противоречия и исключенного третьего не имеют силы в суждениях о будущем: если кто-нибудь утверждает, что что-либо случится в будущем, а другой отрицает это, то здесь нет логического противоречия, потому что, пока факт не совершился, возможно как то, так и другое, поскольку будущее не является необходимо детерминированным, оно зависит от случайностей, зависит и от воли людей, и от их поведения. По Аристотелю, в суждениях о будущем речь идет о возможном, которое может быть и не быть и потому оба приведенных выше суждения равносильны.
Ошибка Аристотеля в том, что у него не принимается здесь во внимание, что осуществится лишь одна из этих возможностей:
из двух суждений, в одном из которых утверждается, а в другом отрицается, что нечто случится, лишь одно будет оправдано на практике; следовательно, по закону исключенного третьего, одно суждение окажется истинным, а другое ложным
Аристотель (или, может быть, перипатетик III в до н. э, который мог быть автором сочинения «Об истолковании») пришел к такому взгляду на суждения о будущем, исходя из взгляда на истину как на соответствие действительности, считая, что это соответствие можно установить для настоящего и прошлого, но не для будущего, которое нельзя назвать действительностью, поскольку его еще нет.
Для правильного понимания учения Аристотеля о законах логики необходимо иметь в виду, что Аристотель в решении основного вопроса философии колеблется между материализмом и идеализмом, точнее, между материализмом и объективным идеализмом. Поскольку он выступает как объективный идеалист, то для него, как и для Платона и Гегеля, принципы бытия и мышления совпадают[24]24.
Таково у Аристотеля понятие о боге: бог есть «мышление мышления»
[Закрыть], и онтологическая формулировка законов логики тождественна с чисто логической формулировкой законов мышления. Но, поскольку Аристотель, с другой стороны, выступает как материалист, для него логические законы мышления не совпадают с законами самого бытия, а соответствуют им, имеют сходство с ними.
Учение о суждении
Суждение как психическое явление Аристотель рассматривает в своем сочинении «О душе», а как логическую форму – в «Метафизике» и в своих логических трактатах (специально суждению посвящено сочинение «Об истолковании»)
В учении Аристотеля о суждении прежде всего следует отметить, что суждение он понимает диалектически, как неразрывное единство анализа и синтеза.
Всякое суждение, по Аристотелю, может пониматься как установление связи, как синтез И в случае отрицательного суждения различные элементы суждения связываются, образуют единство.
Слово «синтез» употребляется Аристотелем в двух различных значениях Синтез, который имеет место как в утвердительных, так и в отрицательных суждениях, имеет другой характер, чем синтез, который имеет место только в утвердительных суждениях и является отображением реальных связей
Если утвердительное суждение трактуется как соединение ранее разделенного, то этим только описывается психологический генезис суждения. И синтез, с которым мы здесь имеем дело, есть не что иное, как исключительно субъективный акт мышления, психический процесс, которому не соответствует ничего реального, Если в душе должен возникнуть тот синтез, который является верным отображением реальной связи, то должен иметь место синтез другого рода, который, однако, имеет своей предпосылкой разделение, а именно – должен быть разделен мыслительный материал на восприятие, представление или понятие. Ибо не только понятие, которое постигается непосредственным интуитивным мышлением как нечто совершенно простое, но и восприятие дано нам сперва как нечто единое, которое следует разложить на его элементы. После анализа происходит синтез, и разделенные элементы соединяются в единое целое. Таким образом, возникает утвердительное суждение.
Аналогично протекает синтетическая деятельность, ведущая к отрицательному суждению. И здесь мысленное разделение, которое отображает реальное разделение и логически представляется как отрицание, предполагает синтез, который ставит во взаимное отношение друг к другу разъединенные элементы. Но этому синтезу должен предшествовать анализ, причем анализируемым целым может быть и представление фантазии, и образ воспоминания, смешанный с чуждыми чертами, и неточное восприятие, и проникнутое чуждыми элементами понятие или какое-нибудь соединение нескольких мыслей.
Таким образом, по Аристотелю, при образовании суждения синтезу предшествует анализ (субъективное разделение элементов) .
Согласно Аристотелю, суждение есть синтез представлений. Этот синтез есть субъективная деятельность мышления, которая на основе предшествующего анализа ставит разъединенные элементы суждения в положительное или отрицательное отношения, соответственно их природе и отображаемой действительности.
Такой же субъективной деятельностью мышления является и диайрезис, т. е. умственный анализ, разложение. И в утвердительном суждении единая мысль разлагается на свои элементы. В отношении понятий разложение совершается посредством деления.
Диайрезис и синтез суть два момента, которые постоянно должны взаимодействовать, и их взаимодействие делает возможным тот психический процесс, заключительным результатом которого является логическое утверждение или отрицание.
Синтез и диайрезис как таковые суть процессы чисто субъективного порядка, в то время как отношения между элементами суждения должны быть объективными, т. е. соответствующими действительности. Последние суть всегда отношения совместного или раздельного бытия, т. е. с ними соотносятся объективный синтез и объективный диайрезис.
Посредством субъективной синтетически-аналитической деятельности фактически возникает логическое суждение (объективный синтез) и вместе с ним возникает психологическое одеяние, в которое логическое суждение должно облекаться. Хотя психологическому процессу как таковому не соответствует внешний реальный процесс, но субъективная форма всегда заключает в себе логическое отношение, которое должно быть отображением реального. Последнее может стать духовным достоянием, только если оно связано с субъективно-психическим синтезом и диайрезисом.
Ввиду этого можно было бы ожидать, что критерий истины будет находиться внутри самого мышления: как истинный можно бы обозначить тот синтез, который всецело руководствуется восприятием или интуицией разума. Однако Аристотель решает вопрос по-иному. Критерий, который он прилагает к субъективному синтезу, вполне соответствует его материалистическому понятию истины: истинен синтез тогда, когда представленное им отношение адекватно реальности.
Теперь рассмотрим онтологическое содержание суждения. Субъективное мышление (психологическая сторона суждения) есть единственный источник заблуждений и ложности суждений. Реальной же основой истинности является прежде всего само объективное бытие и лишь во вторую очередь субъективное мышление. Восприятие и интуиция разума никогда не впадают в обман. Ложь возникает на стадии аналитическо-синтетической деятельности, которая перерабатывает мыслительный материал в суждение.
Согласно Аристотелю, истина и ложь субъективны уже постольку, поскольку они суть свойства психических процессов. Но, с другой стороны, понятие истины у Аристотеля объективно и реалистично. Оно субъективно не в том смысле, что критерий истины лежит в самом мышлении и. может быть извлечен оттуда без обращения к реальному бытию. Непосредственная очевидность и необходимость мышления (невозможность мыслить иначе) , которые в более поздней логике выставляются как признаки истины, и в аристотелевской логике являются существенными моментами суждения, но не они определяют саму истинность. Равным образом критерий истины выводится не из субъективного отношения аналитическо-синтетической деятельности мышления к его материалу, доставляемому чувственными восприятиями или понятиями. Суждение, по учению Аристотеля, истинно лишь тогда, когда отношения совместного или раздельного бытия двух содержаний мысли, установленные в субъективном движении мышления, суть адекватные отображения реальных отношений.
Следует различить психологический генезис суждения и субъективную сторону его, с одной стороны, и логическое содержание – с другой. Только к последнему относится требование соответствия действительности.
Истинно то утвердительное суждение, которое соответствует реальному совмещению, и истинно то отрицательное суждение, которое соответствует реальной раздельности. И если отрицательное суждение иногда трактуется как отрицание ложного утвердительного, то и это отрицание покоится на реальном базисе, на действительной раздельности в самом реальном бытии.
Остается еще один вопрос: как может быть доступен нам тот оригинал, который следует привлечь для сравнения (т. е. сама объективная действительность) ? На это Аристотель отвечает, что в ощущениях и в интуиции разума нам дана действительность так, как она есть на самом деле. Суждение, которое лежит в области дискурсивного мышления, истинно, если оно оказывается в согласии с данными чувственного восприятия и интуиции разума. Критерия практики теория познания и логика Аристотеля не знают.
Таким образом, получается, что истина первоначально принадлежит единичным представлениям, доставляемым ощущениями и отдельным объектам интуиции разума, постигающей сущность вещей (и то и другое, по учению Аристотеля, не допускает ошибок), тогда как в области дискурсивного мышления, в которой имеют место и истина и ложь, истина является вторичной, производной. Таким образам, здесь у Аристотеля получается расхождение с его учением, что истина первоначально связана с суждением.
Суждение Аристотель обозначает термином «апофансис» ([FIXME]),который происходит от глагола [FIXME], что значит «обнаруживаю», «открываю», «выражаю». Согласно определению суждения, данному в сочинении «Об истолковании» (4–5, 17 а 2–24), суждение есть высказывание о присущности или неприсущности чего-либо чему-либо и является особым видом речи, а именно такой речью, в которой находит свое выражение истина или ложь.
Аристотель говорит, что не всякая речь является суждением. Так, например, мольба не есть суждение, так как это такой вид речи, который не является ни истинным, ни ложным. Не являются суждениями и такие виды речи, как побуждение или вопрос. Но Аристотель идет еще дальше. По его мнению, строго говоря, не относятся к апофантической речи и так называемые гипотетические, т. е. условные, и разделительные суждения, поскольку в них определенно не высказывается присущность или неприсущность чего-либо чему-либо. Дело в том, что Аристотель понимал условные суждения как высказывания ex concessione, т. е. как условные допущения, в которых еще не выявлена точка зрения самого высказывающего их субъекта, как условное согласие ведущего спор со своим противником типа «допустим, что это так». Равным образом в разделительных суждениях нет вполне определенного отнесения к бытию, и потому для Аристотеля и они не принадлежат к апофантической речи. Значит, по Аристотелю, только категорические суждения являются суждениями в собственном смысле слова, только к ним применим термин «апофансис».
Поскольку в таких суждениях о будущем, как, например, утверждение, что будет война, по Аристотелю, нет отнесения к бытию, так как будущее не есть еще действительность, то и такие высказывания о будущем являются лишь догадками, а не достоверными утверждениями, т. е. не являются апофантическими.
Это не значит, что Аристотель вообще отрицает всякую возможность истинных суждений, относящихся к будущему. Так как наряду с изменчивыми истинами, относящимися к определенному времени, Аристотель признавал и вечные абсолютные истины, то с его точки зрения могут быть и безусловно истинные суждения, имеющие силу и в отношении будущего. Так, в духе Аристотеля можно сказать, что дважды два всегда будет равно четырем, отношение диаметра к окружности всегда будет одним и тем же.
Что касается структуры суждения, то Аристотель в этом вопросе следует данному впервые Демокритом учению, что суждение состоит из «имени» и «глагола». Как и у Демокрита, под именем здесь понимается та часть суждения, которая относится к предмету, о котором идет речь, а термином «глагол» обозначается все то, что высказывается об этом предмете. Таким образом, Аристотель принимает демокритовское учение о субъектно-предикатной форме суждения; связка не выделяется им в качестве особой части суждения, а включается в предикат (в глагол).
В онтологическом аспекте подлежащее суждения мыслится Аристотелем как самый предмет реального мира, о котором что-либо высказывается, а сказуемое суждения – как выражение реальной присущности или неприсущности этому предмету тех или иных признаков.
В структурном отношении Аристотель проводит различие между двухчленными суждениями, в которых говорится о существовании или несуществовании того или иного предмета, и трехчленными суждениями, в которых предмету приписываются какие-либо признаки.
Аристотель подчеркивает, что, несмотря на сложный состав, всякое суждение представляет собой единую мысль.
По указанным выше причинам классификация суждений в логике Аристотеля охватывает только категорические суждения. Он делит их по трем основаниям: по качеству, количеству и модальности.
По качеству Аристотель делит суждения на утвердительные и отрицательные. Аристотель учит, что всякому утверждению противостоит соответствующее ему отрицание, отношение между ними называется противоречием. Условием наличия противоречия является адекватность утверждения и отрицания, т. е. такое условие, что в обоих суждениях – утвердительном и отрицательном – должно говорится совершенно об одном и том же, в одно и то же время и в одном и том же отношении.
Применяя к суждениям закон противоречия и закон исключенного третьего, Аристотель устанавливает те положения, которые позже получили название логического квадрата, а именно: общеутвердительное и общеотрицательное суждения находятся в отношении противной (контрарной) противоположности, а отношение между общеутвердительным и частноотрицательным, равно как отношение между общеотрицательным и частноутвердительным суждениями есть отношение противоречащей (контрадикторной) противоположности. Различие между отношениями контрарности и контрадикторности впервые в истории логики установил Аристотель.
Что касается классификации суждений по количеству, то в «Первой Аналитике» Аристотель делит суждения на общие, частные и неопределенные, тогда как в сочинении «Об истолковании» дается иное деление: суждения делятся там на общие, частные и единичные, причем частные суждения понимаются в более широком смысле, чем в «Первой Аналитике», так как они охватывают собой и частные и неопределенные суждения «Первой Аналитики». В «Первой Аналитике» под частными суждениями понимаются суждения с кванторным словом «некоторые» в отличие от неопределенных суждений, не содержащих обозначения ни для общности, ни для частности. В сочинении же «Об истолковании» под частными суждениями понимаются все суждения, которые не являются ни общими, ни единичными.
В этой классификации Аристотеля существует неясность. Если частные суждения понимать в смысле «некоторые, а может быть и все S суть Р», то нет никакого различия между ними и неопределенными суждениями, так как в тех и других остается невыясненным, идет ли речь только о некоторых, или, может быть, о всех S. Если же, исходя из определения частного суждения в «Первой Аналитике» как присущности или неприсущности того, что сказывается, некоторому или не всякому предмету, являющемуся подлежащим суждения, понимать частные суждения Аристотеля в смысле «только некоторые S суть Р», то получается еще большее затруднение. В таком случае, как отмечает Н. А. Васильев, окажутся неверными установленные Аристотелем частные модусы категорического силлогизма[25]25.
Н. А. Васильев. О частных суждениях. Казань, 1910, стр. 8
[Закрыть].
Суждения типа «только некоторые S суть Р» получили название выделяющих суждений. Аристотелевская теория силлогизма безупречна лишь в том случае, если под частными суждениями «Первой Аналитики» понимать суждения типа «некоторые, а может быть и все S суть Р». Особенности аристотелевского деления суждений по количеству, как правильно отмечает А. С. Ахманов, заключаются в том, что, по Аристотелю, общность и частность суждений есть элемент сказуемого, а не количества подлежащего[26]26.
А. С. Ахмадов. Логическое учение Аристотеля. М., 1960, стр. 67
[Закрыть]. Строго говоря, то, что называется различием суждений по количеству, Аристотель понимает как различие в том, высказывается ли сказуемое о подлежащем общим или необщим образом, обо всем или не обо всем объеме подлежащего.
Третий вид деления суждений у Аристотеля – деление на суждения, говорящие о простом, необходимом и возможном бытии. Таким образом, в понимании модальности у Аристотеля на первый план выступает онтологическая точка зрения: деление по модальности есть деление по «степеням» бытия.
В основе этого деления лежит градуирование самого бытия. По Аристотелю, есть бытие возможное (то, что может быть и может не быть, но существование чего не является невозможным), действительное (существование отдельных вещей, область естественно происходящего, в котором имеет место сочетание необходимого и случайного) и необходимое (сущность вещей, находящая свое выражение в понятиях).
Таким образом, модальность суждений в логике Аристотеля не означает субъективной степени уверенности: возможность не тождественна вероятности, а необходимость не есть психологическая невозможность мыслить иначе. Но наряду с онтологической возможностью Аристотель применяет и понятие логической возможности (в смысле допустимости чего-либо). В последней части сочинения «Об истолковании» выясняется вопрос об отношениях противоречивости и противности между модальными суждениями. Результаты исследования он резюмирует в таблице, состоящей из восьми положительных и восьми отрицательных модальностей. Аристотель считает, что в модальных суждениях утверждение и отрицание относятся не к глаголу суждения, а к виду модальности (т. е. утверждается или отрицается возможность или невозможность, допустимость или недопустимость, необходимость или не-необходимость).
