Страница 4 из 8
Если говорить об операциях, то их в Булевой алгебре фактически три: помимо сложения и умножения применяется отрицание (дополнение). Кроме элемента X, единицы и нуля алгебра содержит элемент Сх в качестве дополнения к X. Естественно, имеется соответствующий набор аксиом, которым должны удовлетворять операции. Все это позволяет достичь весьма высокой степени абстрагирования, но тем не менее полной универсализации обеспечить не удалось. К тому же оказался достаточно сложным "выход" из Булевой алгебры в обычную, да и "вход" тоже.
Теория групп в этом отношении более универсальна, т. к. имеет в своем распоряжении, кроме единичного, обратный элемент, позволяющий любое выражение приводить к единице. Однако несмотря на свою универсальность и существенные успехи в прикладных науках эту теорию в ее обычном виде вряд ли можно будет использовать в данном случае по прямому назначению. Видимо потребуются некоторые усовершенствования формального характера.
Дело в том, что в прикладных науках так называемых непрестижных отраслей, в том числе в экономике, никто, пожалуй, кроме Л. В. Канторовича, всерьёз математику не применял. Задачи вычислительно- оптимизационного характера являются вторичными, поэтому они не в счет, ибо математика в них выполняет роль счетного инструмента, которому безразлично, что считать. Методологической нагрузки она не несёт практически никакой. И в этом смысле экономике не повезло еще со времён Маркса, который, судя по всему, только к концу своей научной карьеры осознал, что без солидной математической основы ни о какой политэкономии социализма, а тем более коммунизма, не может быть речи.
В частности, научный уровень "Математических рукописей", время проявленного интереса к разным областям математики и попытки использовать их при написании "Капитала", очевидно, могут служить; основанием для вывода о том, что затруднения с математикой у Маркса возникали не потому, что он не смог разобраться в существовавшем тогда математическом аппарате (такой проблемы не могло существовать для человека, изучавшего иностранные языки только для того, чтобы читать интересующие его источники в оригинале).
Почти наверняка можно утверждать, что эти затруднения носили методологический характер, причем не столько со стороны математики, сколько со стороны политэкономии. Эта математическая задача в ряду с предыдущими выделяется своими негативными последствиями.
Не будет преувеличением сказать, что ее решение, а точнее – нерешение, является причиной того, что до сих пор не разрешено главное противоречие социализма – распределение по труду. Для выяснения сути этого противоречия придется привлекать методы не только из философии, но и из физики, и даже из биологии.
Итак, суть этой задачи сводится к конструированию такого механизма, который позволял бы легко переходить, например, от функционального математического аппарата к множественному, комплексному или параметрическому, т. е. от любого к любому. Это жизненно необходимо, в принципе, для описания любой реальной системы, но особенно – экономической, где невозможно сбалансировать хозяйственный механизм, не имея соответствующих эквивалентов, подобных механическому эквиваленту теплоты в физике.
Почему речь идет о конструировании механизма, а допустим, не о разработке или создании? Дело в том, что при небольшой смысловой разнице в терминах все-таки есть особенность, которую любят подчеркивать математики: они ничего не должны изобретать, а должны конструировать, ибо изобретенный элемент может нарушить логическую строгость доказательства. Против этого нельзя возражать, но опять-таки, если это требование не распространить на исходные "кирпичики", из которых "строится" логика доказательств. Эти универсальные "кирпичики" можно и должно изобретать, т. е. получать путем максимально возможного абстрагирования используемых математических средств и понятий.
Математики в таких случаях говорят, что необходим набор неопределимых (исходных, первичных) понятий. Философы тем более не сомневаются в необходимости таких абсолютных абстракций. В этом вопросе нет никаких разногласий. Но они неизбежно возникают, когда требуется уточнить этот набор как по форме, так и по содержанию.
Одни считают, что это должны быть некоторые множества, другие ориентируются на логические операции, третьи убеждены, что надо брать за основу материалистические категории, а четвертые предпочитают опираться на свою интуицию. Нет единства не только в качественной, но и в количественной оценках этого набора понятий.
Представители школы Э. Маха, и особенно в этом преуспел его ученик А. Эйнштейн, считают, что чем меньше исходных предпосылок имеет теория, тем она совершеннее. И вообще, если бы удалось всю теорию вывести из одного понятия, то это был бы идеальный случай. По всей видимости именно из этих соображений автор теории относительности изобрел пространственно-временной континуум, оматеризовав при этом пространство и время. Приверженцами монизма являются, по сути дела, все ортодоксальные теоретики.
Плюралисты же, наоборот, считают, что нельзя ограничиться каким-то определенным набором несводимых к единому началу понятий. Рожденный Г. Лейбницем плюрализм до недавнего времени считался философией современных идеалистов, к которым причисляли прагматистов, неопозитивистов и других "-истов". Теперь же плюрализм возведен в ранг государственной политики. Своего рода умеренным плюрализмом можно считать конвенционализм А. Пуанкаре, согласно которому вопрос об исходных научных понятиях должен решаться посредством соглашения (конвенции) между учеными, исходя из соображений простоты, удобства и других признаков.
Большой популярностью до сих пор пользуется дуализм Декарта и Канта, которые пытались примирить материализм и идеализм. Заметный след в науке оставили триады Гегеля, которыми, по выражению Ленина, "кокетничал" Маркс в 1 главе "Капитала", в результате чего, по его мнению, никто из марксистов не понял Маркса полвека спустя. Но не поняли (можно утверждать, что и до сих пор не понимают) не только Маркса, но и Гегеля. Очевидно по этой причине, а может быть вследствие осознания их величия и гениальности, критики не осмелились "наклеить" хлесткий "ярлык" в виде какого-нибудь "-изма" на учение, основанное на триадах.
Не встречается в философской литературе такого же "-изма", в основе которого лежала бы четверка исходных понятий, хотя и гегелевские крути кругов, и квадратуры Маркса, и четырехэлементная теория отражения Ленина чем-то напоминают логические квадраты Пселлома, предложенные им еще в XI веке.
Тем не менее, именно Ленин беспощадно громил авторов четвертого измерения пространства. Но делал он это, как теперь выясняется совершенно напрасно, ибо как раз четвертого геометрического измерения не хватает для исчерпывающего представления, например, о форме (кроме трех габаритных размеров необходимо еще иметь структурный параметр, который в простейшем случае может быть представлен толщиной стенки или размером внутренней полости).
В защиту четвертого измерения свидетельствует тот факт, что замкнутые кривые, с внутренними петлями, представленные одним уравнением в одной системе координат могут быть получены сравнительно простыми средствами, если это уравнение имеет четвертую степень. Еще более убедителен этот факт, если таких замкнутых кривых, похожих друг на друга, надо иметь не одну, а несколько (в случае со строением атома это имеет принципиальное значение).
Для самых придирчивых математиков мы попытаемся соблюсти логическую строгость и показать, что всякая система, в т. ч. система исходных понятий, может быть названа системой, если она имеет четыре элемента (необходимое, но не достаточное условие). Пока мы ограничимся констатацией фактов и абстрагированием посредством аналогий.
Так математика всегда обходилась четырьмя простейшими арифметическими действиями: сложением, умножением, вычитанием и делением, но применяться эти действия надо именно в такой последовательности. В теории групп оказывается достаточным иметь исходное множество, операции над ее элементами, единичный и обратный элементы. Этот перечень можно продолжать, но из математики примеров уже достаточно.