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

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

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

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

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

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

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

Каждый вид может быть выражен или одним словом (как, например, «тело», «дух») или двумя словами – соединением рода и дифференции. Последний способ обозначения вида есть то, что называется дефиницией (как, например, протяженная субстанция, мыслящая субстанция).

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

При более широком понимании собственного признака он имеет четыре типа: 1) то, что присуще всему виду и только ему, и притом всегда; 2) то, что присуще всему виду, но не только ему одному (например, делимость есть собственный признак пространства, но делимо и время); 3) то, что присуще только данному виду, но не всему ему (например, быть врачом или философом присуще только человеку, но не всякий человек – врач и философ); 4) то, что присуще всему данному виду и только ему, но не всегда (например, седина присуща людям лишь в старости).

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

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

Далее, можно различать два вида сложных терминов- те сложные термины, в которых их сложность выражена, и те, сложность которых подразумевается Когда во Франции в данное время (т. е. во время написания «Логики Пор-Рояля») говорят «король», то термин этот по смыслу сложный, ибо под этим подразумевается царствующий король Франции Людовик XIV. Одни и те же слова в одной связи могут являться по своему смыслу сложными терминами, а в другом контексте – простыми.

В качестве особого вида терминов «Логика Пор-Рояля» выделяет термины «ошибочно двусмысленные», для которых приводится следующий пример: термин «истинная религия» по своему смыслу означает только одну единственную религию, но католики так называют свою религию, магометане – свою и т. д Сравнительные термины тоже могут быть «ошибочно двусмысленными», как, например, такие «Величайший геометр Франции» или «самый ученый человек» и т. д. Хотя такой человек только один, но этот термин относят к нескольким, так как мнения об этом расходятся, хотя по истине такой термин может быть приложен только к одному лицу. Равным образом «ошибочно двусмысленным» термином являются слова. «Учение такого-то автора о таком-то предмете», ибо хотя на самом деле, например, учение Аристотеля о природе души должно иметь один определенный смысл, однако разные ученые понимают его различно. Так, Помпонаций считает, что, по учению Аристотеля, душа человека смертна, а другие понимают это учение в данном вопросе иначе. Отсюда получается, что слова этого рода часто могут означать не то, что следует. Например, предположим, что Филипп на самом деле не был отцом Александра Македонского, когда термин «сын Филиппа», будучи приложен ошибочно к Александру, будет обозначать лицо, которое на самом деле не было сыном Филиппа, хотя и считалось таковым.

В «Логике Пор-Рояля» центральное место занимает вопрос о ясности и раздельности идей в противоположность их неясности и случайности. Этот вопрос «Логика Пор-Рояля» трактует идеалистически. Идея ясна, когда она производит на нас живое впечатление, но ясная идея может не быть раздельной. Тем не менее можно сказать, что всякая идея раздельна постольку, поскольку она ясна, и что спутанность идеи проистекает от ее неясности. Например, мы испытываем боль. Само чувство боли испытывается живо, и постольку оно является и раздельным. Но смутным при этом может быть локализация боли, и это же является неясным.