(1) утверждения и системы утверждений, являющиеся трюизмами;
(2) утверждения, или "законы", истинные вообще.
В рубрику трюизмов я включил "вечные истины" математики, в которых истинность тавтологически ограничивается теми областями, где применяются созданные человеком множества аксиом и определений: "Если числа правильно определены, и если операция сложения правильно определена, тогда 5+7=12". Среди утверждений, которые я бы описал как истинные (научно или эмпирически и в общем), я привел "законы" сохранения массы и энергии, второе начало термодинамики и им подобные. Однако линию между тавтологическими истинами и эмпирическими обобщениями определить не так просто. Среди моих "фундаментальных понятий" оказалось много утверждений, в истинности которых не сможет усомниться ни один разумный человек, но которые, однако, нельзя легко классифицировать или как эмпирические, или как тавтологические.
"Законы" вероятности нельзя сформулировать так, чтобы их понимать, но при этом в них не верить. Однако непросто решить, эмпирические они или тавтологические. Это касается и теорем Шеннона из теории информации.
С помощью подобной таблицы можно многое сказать как об усилиях науки вообще, так и о месте и направлении некоторого частного раздела исследований внутри нее. "Объяснение" - это отображение (mapping) данных на фундаментальные понятия, однако конечная цель науки состоит в увеличении фундаментального знания.
Кажется, что многие исследователи (особенно в области наук о поведении) верят, что научный прогресс преимущественно индуктивен и должен быть индуктивным. Они верят, что прогресс совершается путем изучения "сырых данных", ведущим к новым эвристическим понятиям. Эвристические понятия затем следует рассматривать как "рабочие гипотезы" и проверять новыми "данными". Они надеются, что в ходе постепенных коррекций и улучшений эти эвристические понятия займут, наконец, достойное место в списке фундаментальных понятий. Около пятидесяти лет работы, в которой участвовали тысячи умных людей, фактически принесли богатый урожай из нескольких сотен эвристических понятий, однако, увы, едва ли произвели хоть один принцип, заслуживающий места в списке фундаментальных понятий.
Слишком ясно, что значительное большинство понятий современной психологии, психиатрии, антропологии, социологии и экономики полностью оторвано от сети фундаментальных понятий науки.
Давным-давно Мольер изобразил устный экзамен на степень доктора, на котором ученые доктора просят кандидата сформулировать "причину и основание" того, что опиум усыпляет людей. И кандидат, торжествуя, отвечает на специфической латыни: "Потому что в нем есть снотворный принцип (virtius dormitiva)!"
Характерно, что ученый сталкивается со сложной интерактивной системой в данном случае с взаимодействием человека и опиума. Он наблюдает изменение в системе: человек засыпает. Тогда ученый объясняет изменение, давая имя фиктивной "причине", локализованной в том или ином компоненте интерактивной системы. Либо опиум содержит овеществленный снотворный принцип, либо человек содержит овеществленную потребность в сне, "адормитоз", который "выражается" в его реакции на опиум.
Характерно, что все такие гипотезы сами "снотворны" в том смысле, что усыпляют "критическую способность" (еще одна овеществленная фиктивная причина) внутри самого ученого.
Состояние сознания и мыслительная привычка, ведущая от данных к "снотворной гипотезе" и от нее обратно к данным, является самоподдерживающейся. Все ученые придают высокую ценность предсказанию, и, разумеется, способность предсказывать феномены - прекрасная вещь. Однако предсказание - это весьма неудовлетворительный тест для гипотезы, и это особенно верно для "снотворной гипотезы". Если мы утверждаем, что опиум содержит снотворный принцип, мы можем затем посвятить всю исследовательскую жизнь изучению характеристик этого принципа. Устойчив ли он к нагреванию? В какой фракции или дистилляте он содержится? Какова его молекулярная формула? И так далее. На многие из этих вопросов можно получить "лабораторные" ответы, приводящие к производным гипотезам, не менее "снотворным", чем та, от которой мы стартовали.