Валерий Савченко - Начала современного естествознания: концепции и принципы

• Название: Начала современного естествознания: концепции и принципы
• Автор: Валерий Савченко
• Издательство: «Феникс»
• Жанр: Философия
• Год: 2006
• ISBN: 5-222-09157-0

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

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

---

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

13.2. Математика, математическая истина и теория познания

Альберт Эйнштейн писал: «Весьма примечательно взаимоотношение теории познания и науки. Теория познания без тесного контакта с наукой становится пустой схемой; наука же без теории познания — если это вообще мыслимо — неизбежно становится примитивной и путаной».

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

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

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

В течение двух тысячелетий считалось, что геометрия Евклида является геометрией реального пространства. Поэтому мысль о какой-то другой геометрии не могла даже возникнуть. Камнем преткновения, как мы уже отмечали в главе 3, был только пятый постулат Евклида, который утверждал, что через точку, расположенную вне прямой, можно провести одну-единственную прямую, параллельную данной прямой.

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

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

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

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

Природа абстрактных идеальных предметов такова, что они непосредственно не могут быть сопоставлены с какими-либо материальными объектами. Поэтому вопрос о соответствии математического образа чему-то, что на самом деле имеет место, не может быть поставлен, а значит, теряет смысл и обычное понятие истинности. Понятие математической истины должно быть определено как-то по-другому. Это определение сделал в 1931 г. математик и логик Альфред Тарский (1901–1983). Он обобщил понятие истины следующим образом: если в естественном языке истина означает соответствие реальной действительности, то в искусственных логико-математических языках истину следует понимать как выполнимость в соответствующей модели.

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

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

К этим доводам относятся:

1. Интуитивная ясность, убедительность, простота и изящество математических построений.

2. Возможность эффективного использования теории в практических приложениях (как в естественных науках, так и в самой математике).

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

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

К пониманию того, что этот критерий фактически устанавливает не столько истинность математических теорий, сколько их полезность, как орудий познания, пришли многие математики. Хаскелл Карри, например, в 1963 году писал: «До какой степени абсолютная надежность присуща математике? Поиск абсолютной надежности был основной мотивировкой для концепции Брауэра (основатель в математике интуиционизма. — Авт.) и Гильберта. Но нужна ли математике для своего оправдания абсолютная надежность? Зачем, скажем, нам так уж нужно быть уверенным в непротиворечивости теорий? Ведь ни к какой другой науке мы не предъявляем таких требований. В физике, например, теории всегда гипотетичны; мы принимаем теорию, коль скоро на ее основе можно сделать полезные предсказания, и видоизменяем или опровергаем ее, коль скоро этого сделать нельзя. Именно так происходит и с математическими теориями. Мы принимаем теорию, коль скоро она нам полезна, удовлетворяет некоторым условиям естественности и простоты, разумным для своего времени, и коль скоро известно, что эта теория не введет нас в заблуждение. Мы должны держать наши теории под постоянным наблюдением, чтобы видеть, что эти условия выполнены. Поскольку же оценка полезности теории зависит от ее назначения, можно для различных целей принимать по-разному построенные теории, так что интуиционистская и классическая математики могут существовать».

Об этом же в 1970 году писал русский математик, академик Александр Александров (1912–1999), который указывал, что «…математика сама по себе не может быть ни истинной, ни ложной. Математические теории — это орудия познания, и спрашивать об их истинности бессмысленно, как об истинности трактора».