Владимир Живетин - Научный риск (введение в анализ) Страница 3

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

– среда жизнедеятельности, включая мир вещественных объектов;

– мир искусственных объектов;

– мир чувственных объектов;

– мир абстрактных объектов, включающий мир ноосферных (духовных) объектов.

Кратко охарактеризуем каждый из этих объектов.

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

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

Мир чувственных объектов представляет собой мир, созданный человеком в процессе чувственного восприятия физического и искусственного миров, в том числе с помощью информационных моделей, их описывающих [22, 24].

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

При этом мы должны констатировать тот факт, что ноосферные объекты создавались, создаются и, по-видимому, будут создаваться без непосредственного участия, управления со стороны человека. Можно сказать, что процесс создания новых идей, мыслей целиком и полностью подвластен, с точки зрения атеиста, Природе, верующего – Богу. Здесь рождается слово, истоком которого являются мысль, идея. Часто эти слова, следовательно, идеи, мысли нами неконтролируемы, не осознаны аналитическим умом в виде моделей, в том числе концептуальных [7, 24].

1.1.2. О погрешностях знаний

Абстрактные объекты, как правило, связаны с конкретной наукой, и в этом смысле они являются каноническими. Как указано в работе [85], «…разные типы объектов могут являться предметом исследования для, соответственно, разных типов наук и теорий. Каждому типу абстрактных объектов, в принципе, однозначно соответствует, по крайней мере, потенциальный тип науки или же научной теории; каждый тип науки имеет в качестве предмета исследования определенный, однозначно соответствующий ему тип абстрактных объектов».

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

Приведем различные способы деления на классы абстрактных объектов, связанных с конкретными науками.

Абстрактные объекты естественных и гуманитарных наук (макрообъекты).

Абстрактные объекты науки (микрообъекты).

Наиболее значимыми являются абстрактные объекты, созданные с помощью математики и математических теорий, которые включают:

а) содержательно-теоретические, созданные:

– классической математикой;

– интуиционистской математикой;

– конструктивной математикой;

б) формульные объекты.

Рассмотрим некоторые особенности абстрактных объектов.

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

Последовательности выбора в зависимости от степени информированности (относительно последовательности выбора) разделяют на следующие виды: 1) полностью известен закон образования последовательности выбора, например, в виде алгоритма, тогда такую последовательность выбора называют заданной законом (одна крайность); 2) если в каждый момент времени исследователю известен лишь некоторый начальный отрезок последовательности выбора и нет никакой информации относительно ее дальнейшего поведения, то такие последовательности выбора называются беззаконными (вторая крайность).

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

III. Классическая математика.

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

Логический аппарат, допустимый для данной математической теории, зависит от исходных понятий и включает вид математической абстракции, положенной в основу понятий математической теории: классическая, интуиционистская и конструктивная математика.

Абстрактные объекты, в том числе математические модели, охватывают класс абстрактных (символических) математических объектов. Изучению подлежат:

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

2. Структуры: класс неопределяемых объектов (абстрактных, символических, математических), например, числа или векторы и отношения между этими объектами в виде гипотетических правил. Многие отношения могут быть описаны при помощи математических операций (структур), связывающих абстрактные объекты с другими объектами или множеством объектов. Абстрактная модель с ее объектами произвольной природы задается с помощью аксиом, вводящих разрешенные операции, которые задают общие отношения между их результатами. Таким образом, сюда входят объекты и их структуры, созданные в теории множеств, алгебре, теоретической арифметике, теории чисел, математическом анализе.

Конструктивное определение вводит новую математическую модель: непротиворечивость аксиоматического определения должна быть доказана конструктивным построением примера, удовлетворяющего определяющим независимым аксиомам.

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

Объекты и операции более общих математических моделей связываются с множеством действительных чисел, которым можно поставить в соответствие результаты физических измерений. Полученные таким образом математические модели с помощью числовых операций включают: линейные векторные пространства и линейные операторы; тензорное исчисление.

Векторы и линейные операторы представляют физические объекты и операции во многих приложениях. Ряд физических объектов представляется математическими моделями с помощью упорядоченных множеств. Сюда относятся гомоморфизм и изоморфизм, когда математические модели «представляют» соответствующими классами матриц так, что абстрактным математическим операциям соответствуют числовые операции над элементами матриц.