Если мы доберемся до того, к чему мы как философы должны прийти: через все знаки, определения и правила пробьемся к самим вещам, то очень многое предстанет перед нами иначе, чем думают сегодня. Позвольте мне привести один простой и довольно легко обозримый пример. Деление чисел на порядковые и количественные является сейчас общепринятым – не могут только согласиться в том, какие из них являются изначальными: порядковые или количественные, или же мы вообще не должны принимать ни одно из них в качестве изначального. Если в качестве изначальных принимают порядковые числа, то обычно ссылаются на Гельмгольца и Кронекера, и для наших целей весьма поучительно выяснить, что же собственно говорят эти математики. Кронекер говорит, что он считает естественным исходным пунктом развития понятия числа порядковые числа, представляющие собой запас упорядоченных обозначений, которые мы можем произвольным образом присваивать определенному множеству объектов. Предположим, что дан ряд букв a, b, c, d, e; теперь мы приписываем им друг за другом обозначения как первой, второй, третьей, четвертой и, наконец, пятой. Если мы захотим обозначить совокупность употребленных порядковых чисел или число букв, то для этого нам потребуется последнее из употребленных порядковых чисел. Должно быть ясно, что Кронекер вводит здесь знаки, а не числа. А именно, он вводит сначала порядковые обозначения, так как он затем может использовать последний из этих знаков для обозначения количества. Для философа проблемы здесь только возникают. Как можно понять, что последнее порядковое обозначение может дать одновременно количество всего того, что было обозначено, что такое вообще порядковое и что такое количественное число? Сделаем несколько дальнейших шагов по пути, который ведет к прояснению этих понятий. Был поставлен вопрос о смысле числового выражения – точнее, была поднята проблема, чему может быть предицировано количество. На это может быть дано много и при этом очень разных ответов – рассмотрим некоторые из них поближе. Один из них не требует долгих размышлений – это взгляд, высказанный Миллем: количество сказывает об исчисляемых вещах. Если бы количество три действительно относилось к исчисляемым вещам так, как, например, к ним относится красный цвет, то каждая из них была бы три, как каждая из них есть красная. Поэтому утверждалось, что количество сказывает не об исчисляемых вещах, а о совокупности, множестве, которое состоит из исчисляемых вещей. Но и это мы должны оспорить. Множества могут обладать различными свойствами, в зависимости от предметов, из которых они состоят: множество деревьев может быть расположено по соседству с другим множеством, множество может обладать большей или меньшей мощностью, но множество не может быть четыре или пять. Конечно, множество может содержать четыре или пять предметов, но в таком случае ему предицируется именно это содержание четырех предметов, а не четыре. Множество, которое содержит четыре предмета, так же не есть четыре, как и множество, которое содержит в себе только красные предметы, само не является красным. Даже если множеству можно приписать четыре, если оно содержит четыре элемента, – ему нельзя предицировать четыре;; и поскольку четыре нельзя предицировать, как было показано, и тем предметам, которые содержит множество, мы попадаем в затруднительное положение. Эти трудности побудили Фреге понимать количество как выражение, которое относится к