Метафизика опыта. Книга II. Позитивная наука - страница 23

Такие процессы от общих понятий к частным случаям плодотворны в чистой математической мысли, потому что ex hypothesi она имеет дело только с чистым количеством, дискретным или непрерывным, а не с какими бы то ни было общими понятиями, которые могут быть порождены воображением intellectus sibi permissus. Ее методы, ограниченные этим объектом-материей, позволяют отличить истинное от ложного, мыслимое от немыслимого. Чистая математика, как и все точные науки, необходимой основой которых она является, имеет дело с объектами (используя этот термин в самом широком смысле) лишь постольку, поскольку они либо поддаются измерению, либо могут быть проверены с точки зрения измеримости. Мы уже видели, что арифметика рассматривает числа как целостные и независимые объекты, имеющие различные значения по отношению друг к другу, как если бы они были множеством атомов, молекул или масс материи, принадлежащих к различным видам химических веществ. Хотя они являются продуктами мысли вне восприятия, но, как мы видели, мысль немедленно возвращает их в перцептивный порядок, представляя каждое число как логически единичное и индивидуальное существо. Более сложные или сложные законы их комбинаций должны быть открыты, как и в случае с реальной материей, путем дальнейших упражнений мысли, то есть концепции и рассуждения. И этим дальнейшим упражнением в случае арифметических чисел, которые являются Реальностями вычисления, является Алгебра, метод, который является обобщением арифметического метода, выводящим явно все то, что в арифметике подразумевается, но не развивается.

Ибо если алгебра обобщает числа или величины арифметики так, как мы только что видели, то она неизбежно приводит к обобщению, или, скорее, расширению применения своих процессов, аналогичным образом. Так, например, он делает, когда использует скобки или vincula для обозначения того, что сложная величина, которую он мог создать для себя из условий какой-либо задачи и значение которой он оставил численно неопределенным, должна рассматриваться как составная, хотя и единая величина; то есть величина, при алгебраическом решении которой, до решения уравнения, в котором она стоит, должен быть учтен каждый отдельный компонент. Например, в выражении (a + b)^{> 2} заключение a + b в скобки со знаком возведения во вторую (или квадратную) степень указывает на то, что каждый из его компонентов, взятый отдельно, должен быть умножен один раз на себя и один раз на другой компонент; таким образом, мы получаем эквивалентность,

(a + b)^{> 2} = a^>2 +2ab + b^>2, что облегчает устранение одного или нескольких коэффициентов с помощью их уравновешивающих эквивалентов на противоположной стороне уравнения.

И снова обычные процессы арифметики обобщаются в алгебре, используя (1) знаки «+» и «-» как знаки процессов, способствующих некоторому конечному результату, независимо от того, существуют ли реальные величины, которые нужно сложить в одном случае, или из которых можно вычесть в другом, и (2) используя знаки «x» и «÷», знаки умножения и деления, таким же образом. Кроме того, изложены правила использования обеих пар знаков, сначала + и -, а затем x и ÷, в применении к + и – величинам. Последние правила вкратце гласят, что + величины, умноженные или деленные на + величины, и – величины, умноженные или деленные на – величины, одинаково дают + величины; и что + величины, умноженные или деленные на – величины (или наоборот), одинаково дают – величины. Причина этих последних правил станет очевидной, если мы рассмотрим необходимость при вычислениях с помощью переменных и неопределенных величин оставлять неопределенными результаты процессов, обозначаемых этими и подобными знаками (например, для потенцирования и ротоэкстракции), пока они не будут рассматриваться как части, которые вместе составляют все данные вычисления. Ибо эта необходимость ведет непосредственно к тому, что является, возможно, самым фундаментальным обобщением во всей алгебре, которое подразумевается во всех ее процессах и в форме, которую принимают все ее суждения, а именно к форме уравнения. Я имею в виду общую концепцию отрицательных величин, то есть величин, которые меньше, чем ничто, и именно настолько меньше, чем ничто, насколько выше фигуры, которые их выражают. Символ 0, или ноль, мыслится как стоящий посередине между двумя бесконечно большими классами чисел, один из которых содержит все положительные числа, или числа больше нуля, выраженные цифрой 4-, а другой – все отрицательные числа, или числа меньше нуля, выраженные цифрой – И к тому или другому из этих противоположных классов должно принадлежать каждое количество, отличное от нуля. Таким образом, в одном смысле нулевое значение 0, стоящее между положительными величинами с одной стороны и отрицательными с другой, занимает положение, аналогичное и подразумеваемое тем, которое занимает знак равенства = между любыми двумя величинами, отличными от 0, независимо от их места в этих классах; так как такие величины равны только тогда, когда при вычитании одной из них из другой получается 0, то есть когда между ними нет количественной разницы.