Каждый вид может быть выражен или одним словом (как, например, «тело», «дух») или двумя словами — соединением рода и дифференции. Последний способ обозначения вида есть то, что называется дефиницией (как, например, протяженная субстанция, мыслящая субстанция).
Когда мы нашли дифференцию, которая образует вид, т. е. нашли главный существенный атрибут данного вида, который отличает его от всех остальных видов, и, рассматривая ближе его природу, находим в ней еще некоторый атрибут, необходимо связанный с этим первым атрибутом, то такой атрибут, который 'присущ этому виду и только ему, называется его собственным признаком.
При более широком понимании собственного признака он имеет четыре типа: 1) то, что присуще всему виду и только ему, и притом всегда; 2) то, что присуще всему виду, но не только ему одному (например, делимость есть собственный признак пространства, но делимо и время); 3) то, что присуще только данному виду, но не всему ему (например, быть врачом или философом присуще только человеку, но не всякий человек — врач и философ); 4) то, что присуще всему данному виду и только ему, но не всегда (например, седина присуща людям лишь в старости).
Затем «Логика Пор-Рояля» переходит к учению о сложных терминах. Иногда с одним термином соединяют разные другие термины, и это соединение образует в нашем уме целостную идею, о которой часто можно утверждать или отрицать то, чего нельзя утверждать или отрицать о каждом из этих терминов в отдельности Самое замечательное в этих сложных терминах заключается в том, что добавление к основному термину может быть двоякое экспликация и детерминация Это добавление называется просто только экспликацией (разьяснением), когда оно лишь развивает то, что уже заключалось в понятии идеи первого термина, или по меньшей мере то, что ему присуще как один из его случайных признаков (например, человек, который есть животное разумное; или человек смертный, или человек, который по природе своей желает быть счастливым) Эти добавления суть только объяснения, так как они нисколько не изменяют идеи, выражаемой словом «человек». Все добавления, которые при соединяются к именам, обозначающим индивиды, принадлежат к этому виду, так как индивидуальные термины берутся всегда во всем своем объеме, включая все, чем они могут быть.
Другого рода добавления, называемые детерминацией, характеризуются тем, что прибавляются к общему слову, ограничивают его значение (например, «ученые люди»). И эти добавления иногда таковы, что они превращают общее слово в индивидуальное.
Далее, можно различать два вида сложных терминов— те сложные термины, в которых их сложность выражена, и те, сложность которых подразумевается Когда во Франции в данное время (т. е. во время написания «Логики Пор-Рояля») говорят «король», то термин этот по смыслу сложный, ибо под этим подразумевается царствующий король Франции Людовик XIV. Одни и те же слова в одной связи могут являться по своему смыслу сложными терминами, а в другом контексте — простыми.
В качестве особого вида терминов «Логика Пор-Рояля» выделяет термины «ошибочно двусмысленные», для которых приводится следующий пример' термин «истинная религия» по своему смыслу означает только одну единственную религию, но католики так называют свою религию, магометане — свою и т. д Сравнительные термины тоже могут быть «ошибочно двусмысленными», как, например, такие «Величайший геометр Франции» или «самый ученый человек» и т. д. Хотя такой человек только один, но этот термин относят к нескольким, так как мнения об этом расходятся, хотя по истине такой термин может быть приложен только к одному лицу. Равным образом «ошибочно двусмысленным» термином являются слова. «Учение такого-то автора о таком-то предмете», ибо хотя на самом деле, например, учение Аристотеля о природе души должно иметь один определенный смысл, однако разные ученые понимают его различно. Так, Пом-понаций считает, что, по учению Аристотеля, душа человека смертна, а другие понимают это учение в данном вопросе иначе. Отсюда получается, что слова этого рода часто могут означать не то, что следует. Например, предположим, чго Филипп на самом деле не был отцом Александра Македонского, когда термин «сын Филиппа», будучи приложен ошибочно к Александру, будет обозначать лицо, которое на самом деле не было сыном Филиппа, хотя и считалось таковым.
В «Логике Пор-Рояля» центральное место занимает вопрос о ясности и раздельности идей в противоположность их неясности и случайности. Этот вопрос «Логика Пор-Рояля» трактует идеалистически Идея ясна, когда она производит на нас живое впечатление, но ясная идея может не быть раздельной. Тем не менее можно сказать, что всякая идея раздельна постольку, поскольку она ясна, и что спутанность идеи проистекает от ее неясности. Например, мы испытываем боль. Само чувство боли испытывается живо, и постольку оно является и раздельным. Но смутным при этом может быть локализация боли, и это же является неясным.