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

Исследуя различие идей по иХ простоте и сложности, «Логика Пор-Рояля» прежде всего выясняет природу абстракции.

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

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

Из сказанного видно, что все абстракции представляют собой лестницу, в которой низшая ступень заключает в себе высшую с какой-нибудь частной детерминацией, а высшая ступень, будучи менее детерминированной, представляет большее число вещей. Исходя из этого учения об абстракции и детерминации, «Логика Пор-Рояля» рассматривает деление идей на общие, частные и единичные.

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

Идеи, которые представляют только одну вещь, называются единичными (singuliers), или индивидуальными, и то, что они представляют, называется индивидами. Идеи же, которые представляют множество вещей, называются всеобщими, общими, родовыми (universelles, communes, generates).

Имена, обозначающие индивидуальные идеи, называются собственными именами (например, Сократ, Рим); имена, обозначающие общие идеи, называются общими и нарицательными именами (например, человек, город).

Общие слова бывают двоякого рода: 1) однозначные, которые связаны с общими идеями (например, человек, лошадь); 2) двусмысленные, когда один и тот же комплекс звуков связывается с различными идеями. Однако двусмысленная общность бывает двух родов: различные идеи, связанные с одним и тем же словом, или не имеют никакого естественното отношения друг к другу или имеют то или иное отношение (отношение или причины, или следствия, или знака, или сходства). В последнем случае эти двусмысленные слова называются аналогичными (например, здоровый воздух, здоровая пища, здоровое животное).

Общие однозначные слова связаны и с общими идеями. В общих идеях следует различать содержание и объем. Содержание идеи – ее атрибуты, которые не могут быть опущены без разрушения идеи. Объем идеи – те предметы, на которые простирается идея. При ограничении объема идеи она еще не разрушается, но получается частная идея.

Далее «Логика Пор-Рояля» переходит к изложению учения о предикабилиях (о пяти «родах сказуемого»). Держась правильного взгляда, что это учение вовсе не есть учение о родах сказуемых, а является учением об основных терминах, применяемых при логическом определении и логическом делении, авторы «Логики Пор-Рояля» не употребляют слова «предикабилии», а дают главе, посвященной этому вопросу, заглавие: «О пяти родах универсальных идей». Данный вопрос излагается здесь в духе картезианской философии и формулируется в ее терминах, но по существу никаких изменений здесь в традиционное учение о предикабилиях не вносится. Этими универсалиями являются: 1) роды, 2) виды, 3) дифференции (различия), 4) собственные признаки и 5) случайные признаки.