Э. Серга: Физика без камней в голове

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

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

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

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

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

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

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

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

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

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

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

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

Точно также мы можем сделать заключение об истинности высказывания « p или q », если мы знаем, что, по крайней мере, одно из высказываний истинно, причём смысловое содержание высказываний p и q не играет здесь никакой роли. Заметим, что « p и q » является истинным и тогда, когда p и q оба истинны. Высказывание «если p , то q » не является истинным только в том случае, когда p истинно, а q , тем не менее, не истинно. В дополнение к ранее указанным связкам, посредством которых из двух высказываний получается одно новое высказывание, используется связка «не», которая указана в третьем столбце ниже приведенной таблицы и читается как «не». Она обращает высказывание p в высказывание «не p».

Исчисление высказываний можно описать следующим образом. Из данных высказываний p , q , r , … можно с помощью связок строить новые высказывания. При этом необходимо соблюдать последовательность построения и, если необходимо, определить эту последовательность с использованием скобок. Относительно связки используется следующее правило: если за связкой непосредственно следует буква, то связка относится к этой букве; если же сразу после связки открываются скобки, то связка относится ко всему заключённому в скобки выражению.

В высказывании нас интересует, прежде всего, его истинностное значение , т.е. является оно истинным или ложным. Чтобы ответить на этот вопрос, нам ничего не надо знать о составляющих высказываниях, кроме их истинностных значений. Эта информация полностью определяет истинностное значение сложного высказывания. Для обозначения истины используется символ 1, а лжи – символ 0. Истинностное значение высказывания p обозначим через | p |. Тогда для любого p справедливо либо | p | = 0, либо | p | = 1. Для каждой связки можем составить истинностную таблицу, показывающую, когда высказывание, образованное посредством этой связки, истинно, а когда ложно: