前言
辩证法三大规律，对立统一规律、质量互变规律、否定之否定规律的数学形式化是辩证法的科学性决定的。
数学的思想、关系、语言、形式及符号从来就是逻辑的一种发展。
辩证逻辑数学形式的产生，取决于三大规律与数学的关联，这应当是客观实在。
发现、确定、实践检验三大规律与数学的关联，叫做辩证逻辑的数学形式化，是 “运动论”的核心任务。
１９７９年已经发现它，哲学名称叫做“否定之否定的数学形式”，在物理学中的实践叫做“时间、空间、物质、能量大循环”，它的数学函数形式叫做“超超越函数”。
１９８３年，有关论文首次披露于《潜科学》２期，并于同年底获中国自然辩证法研究会颁发的优秀论文奖。转年经吉林省自然辩证法研究会推荐，中共吉林省委，吉林省政府确立“运动论”研究课题。
早年，哲学界已经觉悟到存在“非程式化逻辑“问题，但尚未意识辩证逻辑与它的关系。国外对“数学基础”尚有分争，罗素的逻辑主义也有悖论。他的数学思想、形式、符号的发展未能用历史唯物主义观加以分析概括，使数学的出处问题增加了唯心成份。这些均使研究辩证法—逻辑—数学的内在有机关联更加渺茫。
更有学界对待哲学、逻辑学、数学、物理学的“分家”现象，习以为常，给学人以当然处之的态度，都是难度和障碍。
“运动论”形成的前期，是从探讨“零”与“壹”两个数的辩证存在开始的。哪儿都可以定为零点，但哪儿也不是绝对零点；整数“壹”最小，但概率“壹 ”又最大。为什么？显然，问题已经超出数学。
幸运的是笔者一开始已经接受辩证唯物主义与历史唯物主义教育，走了捷径，进入哲学领域。对称概念把问题推向“数轴”概念来历与物理学“惯性”概念来历内容、形式、时代背景、代表人物间的比较。发觉“数轴”与“惯性”两概念逻辑根源并无差异。于是诱导出，相对论的“加速体系”也一定对应一个 “数旋”。
恩格斯在他的《自然辩证法》里引述一句意大利经济学家加里昂尼的话，“事物在前进过程中所没有的无限，在循环过程中必定有”。（“辩证法·关于耐格里之没有能力认识无限”［４９］）是将“加速体系”与“数旋”联系起的思想根源。“数旋”一旦建立，在辩证法三大规律中，只要把社会科学述语“斗争是绝对的”，引伸到自然科学中并转换为“运动是绝对的”，“运动论”的 “肯定否定数学形式”很快形成为辩证逻辑的表达式。经过物理学实践的应用验证，方被确认下来。
笔者把时间花在它的数学函数形式上最多，大约５年。信念是寻求和认定必然在数学领域里有一种函数形式的动力，经过数学自身的实践应用验证，认定“ 超超越函数”。它与一种单独命名的“Ｍ数”（源于鲁卡斯Ｌｕｃａｓ数）属同一个数系，从而求知一种“素数与合数的判别”。
尽管叫做“否定之否定的数学形式”，其实，由于它具有的辩证逻辑内涵，已经介于哲学与数学之间，表现成“纯”辩证逻辑的质量互变规律的绝对形式，这个形式可以简化为一个今日数学的等式，又是一个“系统”的模型。可替代数学等式，反之数学等式不能替代它。仅就这一意义，足以使人了解数学是逻辑的一种形式。
有人将数理逻辑称为“符号逻辑”，就“符号”而言，文字也是符号，每个字，每个词都有规定的特定概念，与文字同时诞生的符号概念中就包括着“加、减、乘、除”，虽然很初级，未达到“微分、积分”的符号，概念的萌发期是存在的。数学的特定符号有限，但数量能够代表的事物、物质是无限的，将数学的特定符号与数量代表的事物有机地联结在一起，组成
ｙ＝ｆ（ｘ）
就是逻辑关系。与符号逻辑比较是雅俗之别，与语言文字符号组成的文章比较是范畴宽窄之别，罗素的逻辑主义有应给予肯定的方面。
以“运动是绝对的”自然观代替“斗争是绝对的”社会观，表现自然事物更为贴切、准确，这是辩证逻辑表现矛盾对立统一规律在自然科学的新意，并取得 “否定之否定数学式”。因而得名“运动论”。
这本书是时代的反映、产物，是“自然辩证法”、“辩证逻辑”的必然延伸。
我国哲学学术思想发展奠定了“运动论”的思想与理论基础；世界科学的发现与理论发展是“运动论”的实践基础。“运动论”是辩证法对自然的自然观。
“运动论”研究课题，于１９８４年列入吉林省科技发展计划。在研究工作中受到吉林省热能研究所刘裕所长、吉林省工交干部管理学院王居奎院长、吉林省科委李凤鸣副主任、吉林省石油化工设计研究院党委及吉林省社会科学院的全力支持。
给予“运动论”作出评审、评价意见学者有吉林大学舒炜光教授、张守刚教授；中国社会科学院研究员茅于轼；哈尔滨工业大学秦玉琨、杨励丹、杨明新教授；北京师范学院申先甲教授；东北师范大学教授、吉林省自然辩证法研究会秘书长解恩泽，以及韦澍一副教授；东北电力学院孙键副教授等。
舒炜光教授数次给予该项研究工作以学术指导。
光明日报社王德嘉、王耀云、彭庆生同志；长春市和顺锅炉厂给予经费支援。
作者一并表示谢忱和深切敬意。
由于作者学业浅薄，课题所及十分广泛，疏漏与错误在所难免，恳请各界不吝指正，以为后效之佐。