符号逻辑（数理逻辑）【英】

symbolic logic

译文来源

[1] 金炳华，冯契.哲学大辞典（修订本）[Z].上海辞书出版社，2001：392.
[2] Mathematical logic. via: https://en.wikipedia.org/wiki/Mathematical_logic#Symbolic_logic

定义

狭义指用数学方法研究数学思维、数学性质以及数学基础问题的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。它既是数学的一个分支，又是逻辑学的一个分支，是近代科学技术的一门重要基础科学。在逻辑学上，它在深度和广度上把传统逻辑推向前进，并使它更加精确严密。著名的数理逻辑学家有弗雷泽、罗素等（黄勇等，2005：77）。符号逻辑的特征：（1）它只从形式结构方面研究推理的有效性；（2）它是形式化的。使用人工符号语言，简化推理和论证的形式，以克服自然语言中可能出现的歧义；（3）符号逻辑是公理化的。既是由一整套的表意符号构成的形式语言，又是具有初始公式的公理系统。这个系统包括：初始符号、形成规则、变形规则等。这个系统要满足无矛盾性、独立性和完整性的要求。符号逻辑除了研究一般公理系统之外，还要着重研究数学的公理系统。数理逻辑既渊源于传统逻辑，研究思维形式及其规律，又来源于数学的建构，是数学推理的基础。所以，数理逻辑研究者可以从与数学不同的侧面，着重从思维规律上将它作为一门思维科学加以研究、应用（张惠民，1995：336-337）。

定义来源

[1] 黄勇，张景丽，金昌海.新编中国大百科全书A卷（图文版）哲学宗教[M].延边大学出版社，2005.
[2] 张惠民.语言逻辑辞典[Z].世界图书出版公司，1995.

网络参考例句

例句 1：
通过对“分析”方法的历史性反思，他们认为自韦达开始，“分析”方法成为形式化的必要条件，而形式化构成了现代数学和现代符号逻辑的基础。——“分析哲学与欧陆哲学鸿沟的先天不可贯通性”，载于《山西大学学报（哲学社会科学版）》2014年第6期
Through the historical reflection of “analytic” art, they think that this foundation of modern mathematics “art” has functioned as the sine qua non for the formalization that composes the foundation and modern mathematics and modern symbolic logic since Vieta.

例句 2：
本文认为胡塞尔所谓的纯粹逻辑学的三重任务分别对应于符号逻辑的研究、元逻辑的研究以及逻辑的哲学研究。——《论胡塞尔的逻辑现象学》，西南民族大学硕士学位论文，2011
This paper argues that Husserl's pure logic of the three tasks correspond to the study of symbolic logic, the metalogic and the philosophy of logic.

例句 3：
鲍德里亚有关当代资本主义空间批判的思想，表明三重意象性悖结的形成缘于空间消费的权力逻辑、资本逻辑和符号逻辑的多重布展。——“城市意象中的空间消费——基于早期鲍德里亚‘消费社会’的视角”，载于《华中科技大学学报（社会科学版）》2015年第5期
Baudrillard’s critical thought about contemporary capitalist’s space shows that the formation of the triple contradiction of image was due to power logic, capital logic and symbolic logic of space consumption.