Таким образом,
Это не исключает, конечно, и общего познания множеств, так как здесь возможен тот же переход от единичности множества к общему его понятию, какой возможен по отношению ко всякому единичному понятию. Хладениус имеет это в виду, высказывая мысль, что понятие множества приводит к понятию вида его, обозначаемого тем же именем, что и множество. Но нужно тщательно различать суждения общие в собственном смысле от суждений о множестве, как единичном. Хладениус в другом месте[471]
устанавливает, что общие суждения могут быть двух родов. Это: 1, суждения, субъект и предикат которых суть понятия определенные (notiones determinatae), таковы, например, суждения геометрии; они могут быть просто выведены из определений, следовательно, это суть общие предложения, образованные из определений путем непосредственного вывода или путем демонстрации; 2, предложения, понятие субъекта в которых не определено (determinata non est), такие предложения называются loci communes. Теперь, на основании изложенной теории этих «общих мест» Хладениус приходит к более точному определению такого рода предложений:Дело в том, что составляя выводы, относящиеся к «общим местам»,
Corvi (
Таким образом, хотя «общее место» возникает из интуитивного суждения о множестве, но оно переходит своеобразным способом в дискурсивное суждение. Отличие этой «дискурсии» от настоящей демонстрации – вещь достаточно явная.
Мы имеем здесь не только два разных рода выводов и суждений, но мы должны признать: 1, что суждения типа «общих мест» присущи нам в большей мере, чем суждения «логические», «определенные», так как определения (defnitiones), из которых они получаются, являются только в результате искусственных приемов и требуют специальных философских навыков и знаний. Эти суждения прежде всего возникают в математике, теперь в подражание математике их вводит и философия. Но неправильно так ограничивать задачи логики и тем самым выбрасывать из нее вместе с учением об «общих местах» логические правила истории и повествования. А 2, мы должны признать, что перенесение методов математической логики в эту область было бы просто ее искажением, раз мы признаем, что понятие множества отличается от понятия общего вида или рода.