Физика без камней в голове - страница 7

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

Влияние физического вакуума (эфира) также не учитывалось Эйнштейном при объяснении аномального смещения перигелия Меркурия. Несмотря на то, что в ОТО он вернул эфир, который отбросил в своей более ранней теории. Предсказание теории Эйнштейна для Марса противоречит данным наблюдений: теоретическое значение в 6 раз меньше наблюдаемого [10]. Тем не менее, большинство специалистов считает, что ОТО более точная теория, чем теория Ньютона. Однако, как показано в главе 3, этот эффект не имеет отношения к гравитации. Он обусловлен космическим ветром, возмущающей силой, образованной совместным влиянием возбуждённой компоненты космического вакуума как материальной среды и движением Солнца (вместе с планетами) в космическом пространстве.

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

Физика и формальная логика

В этом разделе были использованы основные понятия и процедуры логических умозаключений, приведенные в книге Фрейденталя (Freudenthal) «Язык логики» [12]. Формальная логика необходима для обоснования основных положений создаваемой теории, а также поиска противоречий в существующих теориях. Логические построения должны предшествовать математическому описанию изучаемого объекта или явления.

В статье «О методе теоретической физики» [11] Эйнштейн говорил о вечном противоречии между двумя нераздельными компонентами человеческого познания – опытом и мышлением. Он считал древнюю Грецию колыбелью западной науки. Там впервые было создано чудо мысли—логическая система, теоремы которой вытекали друг из друга с такой точностью, что каждое из доказанных ею предложений было абсолютно несомненным. Как считает Эйнштейн, геометрия Эвклида это замечательный триумф мышления, который придал человечеству уверенность в себе, необходимую для последующей деятельности.

В формальной логике используется процедура исчислениявысказываний. Под высказыванием понимают то, что выражается посредством осмысленного утвердительного предложения. Пусть p и q – простые высказывания. Для соединения предложения в более сложное предложение, используют связки. Их всего четыре:

конъюнкция – означает связку «и» (p и q),

дизъюнкция – означает связку «или» (p или q),

импликация – означает связку «если, то» (если p, то q),

эквиваленция – означает связку «тогда и только тогда»

(p тогда и только тогда, когда q).

Для того чтобы установить, является ли истинным сложное высказывание «p и q», нам нужно лишь знать, истинны ли обе его компоненты p и q. Если это так, то «