Объективная диалектика - [52]

Опыт истории философии и математики дает достаточное основание для выделения величины и числа как важнейших моментов количества. В истории философии достаточно указать на Аристотеля, Декарта, Канта, Гегеля, которые рассматривали величину и число как понятия, характеризующие содержание категории количества. Что же касается истории математики, то известно, что вплоть до XX в. господствовало мнение, что математика — наука о количестве, причем под количеством понимались величина и число. К аналогичному выводу приводит и анализ истории естествознания. Изучение количественной определенности объекта в науке осуществляется в операциях счета, измерения и вычисления. Во всех этих операциях имеют дело с величинами и числами в их взаимных соотношениях. Понятие количества в научном исследовании не имеет никакого иного реального смысла, кроме как величин и чисел, характеризующих аспекты изучаемого объекта.

Обобщение материала истории философии, истории математики, практики научного исследования лежит в основе концепции, определяющей онтологическое содержание категории количества как единства числа и величины[226]. В основе понятия числа лежит практическая деятельность: счет, операции над числами (сложение, вычитание и т. д.). Хотя счет в современной форме представляет собой мысленную деятельность, связанную с оперированием последовательностью символов — цифр, однако он возник как вещественная операция (последовательное нанесение засечек на посохе пастуха, откладывание шариков на абаке, использование палочковых «моделей» и т. п.). Аналогичным образом обучение ребенка счету обычно начинается с оперирования палочками или какими-нибудь другими предметами, затем определенным предметным конфигурациям соотносят слова, обозначающие эти конфигурации, потом эти слова оформляются в последовательности цифр. Лишь освоив «материальный» счет, ребенок начинает считать «абстрактно», забывая впоследствии о том, как он научился считать.

На основе операции счета сначала возникли так называемые порядковые числа (первый, второй и т. д.), а затем — количественные числа (один, два и т. д.). Благодаря пересчету объектов, рассматриваемых как единицы, возникает понятие натурального ряда чисел. Это понятие является одним из фундаментальных понятий, на основе которых развивалась математика. В результате использования операций вычитания, деления и т. д. на основе чисел натурального ряда возникают новые виды чисел.

Натуральное число было исходным видом чисел. Затем было построено кольцо целых чисел, далее поле рациональных чисел, затем поле вещественных чисел, наконец, поле комплексных чисел. Характерно, что по мере обобщения понятия числа изменяются некоторые отношения между числами. Так, при переходе от вещественных к комплексным числам теряет силу отношение неравенства в той форме, в которой оно имеет силу в применении к вещественным числам, при переходе к гиперкомплексным числам не выполняется коммутативность умножения. В расширенной области чисел не выполняются некоторые основные свойства исходной области чисел.

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

Одним из наиболее развитых учений, представители которого приложили много усилий к решению проблемы сущности числа, является логицизм. Еще Кантор отстаивал идею о том, что понятие числа связано с понятием множества. При этом он считал, что множества не являются чисто мысленными построениями, а существуют как некоторые реальности. Выяснение связи понятия числа с понятием множества принадлежит Фреге и Расселу. Они определяли натуральное число путем отождествления его с некоторым свойством, присущим всем множествам (классам), между которыми можно установить одно-однозначное соответствие. Такое соответствие имеется, например, между множествами ног всех сороконожек. Это означает, что у них одинаковое число ног. Поскольку не между всеми классами можно установить одно-однозначное соответствие и поскольку существуют различные классы классов с одно-однозначным соответствием между их членами, постольку каждые различные классы классов имеют различные числа своих членов.

Гильберт и его последователи (так называемые формалисты) попытались в процессе обоснования понятия числа избежать тех трудностей, с которыми связана логика классов, считая, что это можно сделать при помощи аксиоматического определения числа. Они предложили следующую процедуру.

Принимается начальный знак «I» и процедура образования других знаков добавлением знака «I». Результатом ее применения будут знаки «II», «III» и т. д. Затем вводятся вспомогательные знаки-цифры (например, вместо «III» — «З»), знак «=», указывающий, что два знака имеют одинаковую структуру, знак «<», указывающий, что один знак предшествует другому (так «II»< <«III», т. е. если начать с «I», то сначала придем к «II», а затем к «III»), скобки. Далее вводится аксиоматика, задающая операции над знаками: аксиомы соединения, вычислительные аксиомы, аксиомы порядка, аксиомы непрерывности