抽象演算【英】

abstract calculus

译文来源

彭漪涟.逻辑学大辞典[Z].上海辞书出版社，2010.via:
http://gongjushu.cnki.net/refbook/BasicSearch.aspx

定义

抽象演算（abstract calculus）是美国内格尔的科学哲学用语。抽象演算在论述科学理论的结构时使用。抽象演算表示一个用于说明的科学理论体系的逻辑骨架，隐约地规定了这个理论体系的基本概念（金炳华，冯契，2001：175）。在《科学的结构》中，内格尔将科学理论划分为三个主要部分，一是作为解释系统逻辑骨架的抽象演算，二是一套对应规则，三是抽象演算的解释或模型。“抽象演算”也就是形式系统，其语义解释（简称“形式释义”）涉及为形式系统赋义、建立对应规则和语义模型。抽象演算关涉科学发现以及科学的概念框架的形成，因而是对经验进行系统的科学解释的重要步骤（曹志平，2003：40）。内格尔认为，如果不考虑理论中的那些通常与非逻辑的语汇相伴出现的概念或影像，而仅仅关注这些词汇相互之间的逻辑关系，并以这种方式对理论进行整理，使理论具有演绎系统的形式，那么理论中的基本假定所表述的就是一些抽象的关系结构，即理论中的基本假设构成一组抽象的、未加解释的、隐约地规定了理论的基本词汇的意义的公设。内格尔用数理逻辑中类的演算进行了相关说明，强调抽象演算构成科学理论的骨架结构，对任何科学理论而言，抽象演算都是一个重要成分（彭漪涟，2010：538）。

定义来源

[1] 金炳华，冯契.哲学大辞典[Z].上海辞书出版社，2001.
[2] 曹志平.形式系统语义解释的逻辑与限度[J].自然辩证法通讯，2003（4）.
[3] 彭漪涟.逻辑学大辞典[Z].上海辞书出版社，2010.

网络参考例句

例句 1：
他不仅提出了较为完整的关于建立新的逻辑的思想，而且还进行了整体性的富有创造的具体探索，即第一个创建了真正的抽象演算。——“从逻辑演算的角度看莱布尼茨的数理逻辑思想”，载于《兰州大学学报（社会科学版）》2009年第S1期
He not only put forward a more complete idea about the establishment of new logic, but also made a holistic and creative concrete exploration, that is, the first one created the real Abstract calculus.

例句 2：
尤其是对于小学生而言，其数学思维和学科表述还不能达到同步，如果仅通过机械的抽象演算“内化”知识，他们数学能力的提升将会难上加难。——“白板‘三味’探究悦动数学思维”，载于《中国现代教育装备》2014年第24期
Especially for primary school students, their mathematical thinking and academic expression can not be synchronized, and if only through mechanical Abstract calculus “internalized”knowledge, their mathematical ability will be difficult to improve.