Наконец, если мы делим -количество на -количество, в зависимости от того, что мы берем в качестве делителя, то и здесь, как в случае с +количеством, делитель должен быть 4-количеством, чтобы, по тому же правилу умножения, при умножении на -делитель он был равен -делителю.
Все это, я полагаю, не более чем явное подчеркивание того, что имеется в виду, когда в оправдание правила знака при алгебраическом делении коротко говорят: «Это правило следует из того, что произведение делимого и делителя должно быть равно делителю».13
Обоснование правила знака при умножении – действительно важный момент.
Именно в силу необходимой гармонии с этим высшим обобщением отрицательных величин та форма высказывания, которую алгебра выбирает в качестве той, в которую она переводит все общие результаты, из которых можно вывести решение конкретных случаев, а также все выкладки, которые к ним приводят, – я имею в виду форму уравнения, – сама является высшим примером обобщения процессов, или операций с числами или величинами. Демонстрация равенств является суммой и содержанием всех точных измерений. В конкретном объекте вычислений, которым является число или количество, утверждение равенства, выражением которого является знак =, занимает место копулы в утвердительных суждениях логического мышления в целом. Оно говорит гораздо больше, чем простая копула is, а именно то, что два числа или количества, между которыми оно стоит или которые оно уравнивает, являются в количественном отношении конвертируемыми. Отсюда следует, что уравнение – это логически обратимое суждение, или два простых логических суждения, A есть B и B есть A, в одном; это стало возможным благодаря ограничению предмета уравнения только количеством или числом. Отрицание равенства, если таковое имеется между рассматриваемыми величинами или числами, затем отбрасывается, не как в просто отрицательных логических суждениях, в копулу is-not, как в A не B, а в один или оба термина уравнения, как в
a + x = b, где x обозначает разницу, какой бы она ни была, между b и a; это уравнение можно также выразить как x = b – a, или снова как a – b + x = 0.
Алгебра, таким образом, может быть названа, по аналогии, логикой чистого числа или количества, причем знак = принимается в качестве копулы всех ее суждений или выкладок.