Основания экономики (Мельников) - страница 37

Доказательство непротиворечивости аксиом заключается в том, чтобы с помощью логических умозаключений из них нельзя было вывести положения, которое противоречило бы какой-либо одной из них. Для естественных наук данное правило справедливо. Аксиомы не зависят от времени действия. В экономике время играет роль независимой переменной. Время изменяет функциональную роль индивидуума, цели индивидуумов, средства достижения целей. Например, аксиомы I_>1 и IV_>1 отражают действия индивидуумов по производству благ. Аксиома I_>1 характеризует индивидуума как источника жизнеобеспечения своего потомства и обязывает его производить блага индивидуально или в сообществе с другими индивидуумами в борьбе за жизнеобеспечение с природой и себе подобных. Действие аксиомы относилось к времени зарождения человека. Для данной аксиомы не продуцируется структурная экономическая информация от характеризующих ее индивидуумов. Данная аксиома имеет исторический характер и не является работающей в настоящем времени. Аксиома IV_>1 относится к настоящему времени, ей соответствует структурная экономическая информация, данная аксиома определяет «человеческий капитал», возможные инвестиции в кадровую политику индивидуумов, является движущей силой экономики. Индивидуум работает в среде объектов экономического действия, в среде индивидуумов, не наедине с природой.

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

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

Кроме аксиомы причинности все аксиомы выражены уравнениями, среди которых нет противоречивых. Аксиома причинности одна не может сама себе противоречить.

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

Рассмотрим пример.

Аксиома II_>4. Если две группы индивидуумов производят блага, то они обязательно вступят в отношения по обмену произведенных ими благ в эквивалентных количествах для обеспечения своей жизнедеятельности.

Это записывалось ранее уравнением отношения в виде

Аксиома IV_>1. Движущей силой экономики является индивидуум с деяниями, которые он производит в процессе работы на объектах экономического взаимодействия во времени.