Прокопович считает, что понятие, будучи операцией разума, содержит в себе общее и к нему относится, ибо «единичное не поддается определению или доказательству и нет наук об единичных вещах». Но то общее, что содержится в понятии, имеет основание в природе, ибо «отличным друг от друга вещам действительно присуще реальное тождество» (61, 32 л.). Науки и изучают то общее, повторяющееся, тождественное в вещах, что воспроизводится в понятиях. «Науки имеют дело, — продолжает Прокопович, — с природными универсалиями как таковыми, а не с теми, которые познаются…», т. е. «с многочисленными вещами с учетом того, что они подобны между собой» (там же, 33 об.). Поэтому, утверждая, что «универсальное есть объект разума, следовательно, предшествует деятельности разума» (там же), Прокопович прежде всего имеет в виду то, что общее существует в вещах и если на него направляется деятельность разума, оно воспроизводится в понятиях. Таким образом, вопрос о том, что здесь первично и что вторично, решается Прокоповичем ясно и недвусмысленно.
В «Логике» Прокопович уделяет значительное внимание проблеме истинности. «Суждение, которое соответствует своему объекту, — пишет он, — является определенно истинным, то же, которое не соответствует объекту, определенно ошибочным» (61, 44 об.). Это — аристотелевское определение истинности, которое было общепринятым не только в период средневековья, но и в логике Нового времени. Оно содержало в себе двойственную возможность, т. е. могло выражать и материалистическое и идеалистическое решение проблемы истинности в зависимости от того, как понимался объект, действительность, которой должно соответствовать суждение. В случае признания первичности материального мира, отражаемого в соответствующей логической форме, оно давало материалистическое понимание истинности. В противном случае — идеалистическое. Но, как уже отмечалось, большинство лекционных курсов, прочитанных в России в конце XVII и начале XVIII в., предлагало своим слушателям такое понимание действительности, которое включало значительные элементы деизма, было внутренне противоречиво, совмещало идеалистические и материалистические утверждения. Эта противоречивость отразилась и на самом понимании истинности, и прежде всего в делении истинности на логическую и метафизическую, или трансцендентальную.
Под логической истинностью понималось соответствие логических операций объектам, миру материальных вещей, природе. Бог при этом рассматривался либо как природа, либо элиминировался в той или другой степени, переносился за пределы философии в область теологии. Сами же логические операции трактовались как такие, которые не только соответствуют, но и совпадают с объективными операциями и отношениями. В понятии логической истинности отразились преимущественно материалистические тенденции понимания истинности.
