— Здесь речь должна идти о полноте системы.

Пока нет никакой полноты системы. И Галилей, и Гюйгенс имеют перед собой одно и то же явление, они пользуются одинаковыми процедурами и методиками измерения, и один, и другой должны построить определенные рассуждения, или процессы мысли. Они должны что-то делать с соударяющимися шариками и при этом как-то рассуждать. Значит, исходный пункт у них один и тот же, но они либо по-разному берут объекты, либо по-разному движутся в рассуждениях.

И то, и другое – их работа. Все допущения, которые они принимают, все то, что называется "загляну в область смысла" – все это лишь разные элементы их работы. А раз они работают, каким-то образом движутся, то я могу поставить вопрос: в чем различие этой работы или движения? Я могу стремиться получить такие описания этих движений, чтобы в них это было видно. И я хочу в конце концов получить ответ на вопрос, в чем или почему движение одного было правильным, а движение другого неправильным.

И если теперь кто-то попытается мне ответить, что Гюйгенс правильно заглянул в область смысла, а Галилей неправильно, что можно и нужно найти описания этого "заглядывания", но что это не дело логики, так как логика занимается только формальной правильностью, то я тотчас спрошу: а разве построение схем силлогизма не было описанием того, как люди заглядывают в плоскость смысла, – причем одни правильно, а другие неправильно? Я спрошу далее: а в чем разница между одним планом смысла, формально выраженным Аристотелем, и другим планом смысла, который надо выразить в данном случае, анализируя разницу между рассуждениями Галилея и Гюйгенса? Почему в этом, втором случае мы не можем проделать то же самое, что для других случаев сделал Аристотель?

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