Читать онлайн «Я нашел смысл жизни: Автореферат мировоззрения с эпизодами автобиографии». Страница 56

– Информационные технологии (естественные программы, программы в человеческой деятельности, философия программирования, виртуальные миры, управление человеком).

Наука – это сфера интеллектуальной деятельности человека, основная цель которой – познание Вселенной и построение общей теории ее существования.

Содержание главы:

1. Необходимость науки (адекватность механизма мышления человека окружающему миру).

2. Основные принципы науки (формальный язык, модель, теория, механизм вывода, интерпретация).

3. Истина (истинность, вероятность и достоверность).

4. Структура научной деятельности (логика, философия, математика).

5. Финансирование науки (мораль и деньги).

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

Механизм мышления человека формируется в процессе наблюдения им и его ближайшими предками окружающего мира. Постепенно он начинает замечать, что за днем следует ночь, появление туч предвещает дождь, цветы заменяются плодами и т. д. – между явлениями окружающего мира есть причинно-следственная связь «если факт 1, то факт 2». Эта связь в совокупности с «факт 1» позволяет вывести «факт 2». Очевидно, такая совокупность со временем преобразуется в логическое правило вывода, известное под названием modus ponens. Таким образом, природный принцип следования, обусловленный реальным механизмом вывода, отображается в интеллекте человека в логическое правило вывода, которое и составляет основу мышления. Вторичность логического правила вывода человека позволяет ему строить адекватное представление об окружающем мире, поэтому человек может на основании происходящего делать выводы о том, что будет происходить в следующую секунду, минуту, час и т. д. Поскольку все люди наблюдают один и тот же мир, в основе их мышления лежит одно и то же правило вывода, а это, в свою очередь, дает возможность им понимать друг друга независимо от естественного языка.

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

Для разрешения противоречий необходимо основание, используя которое большинство людей может прийти к консенсусу. Таким основанием является наука.

Главная особенность науки как сферы деятельности заключается в том, что сначала ученые приходят к соглашению относительно формы представления знаний и логики, после чего формальный логический вывод принимается всеми как доказательство.

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

Под фактом будем понимать элементарное утверждение об окружающем мире, выражаемое простым предложением, например «Иванов – человек», «Казахстан – государство» и т. д. Под конкретным знанием будем понимать утверждение, связывающее два факта в причинно-следственное отношение и выражаемое сложноподчиненным предложением типа: «Если Некто – человек, то Некто смертен».

Если заменить конкретные слова естественного языка символами, то факты можно представить в форме «X – c», а знания – в форме «(X – c) —> (X – d)». Назовем эти формы, соответственно, формальными фактом и знанием.

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

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

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

Логический механизм вывода позволяет формально из известных фактов и знаний выводить новые факты. Используя введенные выше обозначения, простейший механизм вывода можно представить следующим образом: из известных факта «X – c» и знания «(X – c) —> (X – d)» следует (выводится) факт «X – d».

Работу правила вывода на конкретных фактах и знаниях демонстрирует следующий пример. Человек знает, что все люди смертны, или, другими словами, есть знание «Если Некто – человек, то этот Некто смертен». У него есть знакомый по фамилии Иванов, то есть имеет место факт «Иванов – человек». Если подставить в первое предложение «Иванов» вместо «Некто», получим «Если Иванов – человек, то Иванов смертен». Работа правила вывода заключается в том, что оно позволяет констатировать, что «Иванов смертен».