А может, есть зерно истины в триалектике? Самое малюсенькое? Например, фотон устроен так, что представляет собой два взаимно ортогональных гармонических вектора магнитного H и электрического E полей, которые постоянно «противоречат» друг другу, а вследствие этого антагонизма частица света приобретает завидную скорость и летит в сторону, перпендикулярную H и E. Это ли не истина Природы? Пусть малюсенькая, но ведь она не просто так проявляет себя, и ее просто так адепт диалектического материализма отвергнуть не может. Людвиг Витгенштейн [24] тоже обратил внимание на «фундаментальные» основания математики. В них нет развития, нет времени. А зачем развиваться, если бог так замесил и так мозги устроил? Но вернемся к неразвивающейся формальной теории. Пример ее – формальная логика и ее отображение на плоскости в терминологии алгебры Буля. На этом конструкте базируются интуитивные, но нелестные утверждения Витгенштейна об окостенелости математики. По здравом размышлении это понятно, и не надо писать в формулах своих доказательств в качестве символов страшные укрючины и фирменные загогулины, как это делают металогики. А делают они это тоже формальными средствами. Нам же достаточно вспомнить, что математика – это отпочковавшаяся от физики в чем-то абстрактная дисциплина. Вспомнить, что мир вокруг течёт и изменяется. Вопреки налагаемому на него хомуту абстрактного мышления. Но не надо думать, что физики-теоретики недолюбливают абстрактный взгляд на Природу. Напротив, они фантазируют еще круче, чем математики, и в итоге оказываются в Великой пустыне еще более Великого объединения всех полей в единое эйнштейновское поле (16). Изобразим на плоскости с помощью интерпретации в рамках алгебры Буля некоторые утверждения формальной логики. Пусть дано семь высказываний a, b, c, d, e, g, r. Построим примеры утверждения, его отрицания, объединения (дизъюнкции), пересечения (конъюнкции) высказываний, их вычитания (\), следования (импликации). Истинность высказываний определяется таблицами в [25, cc. 10 – 15, 42, 45], законы алгебры Буля на стр. 21 – 22, интерпретация на электрических схемах на стр. 38 – 41, 195 – 201, интерпретация на плоскости на стр. 217, 222, о самой интерпретации на стр. 127 – 132. Не нужно говорить, что математическая логика широко используется в автоматике, вычислительной технике, в построении алгоритмов решения сложных научно-технических задач. Но это – формальная теория, в которой если ток течет, то это истина (I = 1), а если нет, то это ложь (I = 0). То есть эта логика двузначная, удобная для железа (есть еще и вероятностная логика, которой пользуются игроки в казино и нострадамусы в квантовой механике). — 59 —
|