Chinese Research on Mathematical Logic and the Foundations of Mathematics
DOI:
https://doi.org/10.4312/as.2022.10.2.243-266Keywords:
Chinese logical research, mathematical logic, medium logic, lattice implication algebras, Chinese notationAbstract
This paper outlines the Chinese research on mathematical logic and the foundations of mathematics. Firstly, it presents the introduction and spread of mathematical logic in China, especially the teaching and translation of mathematical logic initiated by Bertrand Russell’s lectures in the country. Secondly, it outlines the Chinese research on mathematical logic after the founding of the People’s Republic of China. The research in this period experienced a short revival under the criticism of the Soviet Union, explorations under the heavy influence of the Cultural Revolution, and the vigorous development of mathematical logic teaching and research after the period of “Reform and Opening Up” that started in the late 1970s, and the full integration of Chinese mathematical logic research into the international academic circle in the new century after 2000. In the third part, it focuses on the unique and original results of the Chinese mathematical logic research teams from the following three aspects: medium logic, lattice implication algebras and their lattice-valued systems of logic, and Chinese notation of logical constants, which can be used as a substantive supplement to the relevant literature on the history of mathematical logic in China. The last part is a reflection on the shortcomings of contemporary Chinese research on mathematical logic and the foundations of mathematics.
Downloads
References
Chen, Bo 陈波. 2019. “Gaige Kaifang yilai de Zhongguo luojixue 改革开放以来的中国逻辑学 (Chinese Logic Since the Reform and Opening-up).” Chongqing Ligong Daxue Xuebao (Shehui Kexue) 重庆理工大学学报(社会科学) 33 (5): 7–19.
Deng, Guocai 邓国彩. 1994. “Zhongjie luoji lilun ji jiyu zhongjie luoji de buwanquan xinxi tuili xitong ISML 中介逻辑理论及基于中介逻辑的不完全信息推理系统ISML (Medium Logical Theory and A System of Reasoning with Incomplete Information ISML Based on Medium Logic ).” MA Thesis, Nanjing University of Aeronautics and Astronautics.
Du, Guoping 杜国平. 2019a. “Guanyu ‘buyong lianjiexi de luoji xitong’ de zhuji 关于 ‘不用联结词的逻辑系统’ 的注记 (Annotations on ‘Logical Systems without Connectives’).” Chongqing ligong daxue xuebao (shehui kexue) 重庆理工大学学报(社会科学) 4: 7–12.
———. 2019b. “Buyong lianjieci de ‘she… qu…’ xing ziran tuiyan xitong 不用联结词的 ‘舍……取……’ 型自然推演系统 (A “not…but…”-Type Natural Deduction System Without Connectives).” Hunan keji daxue xuebao (Shehui kexue ban) 湖南科技大学学报 (社会科学版) 3: 21–24.
———. 2019c. “Jiyu kuohao biaoshifa de yijie luoji xitong 基于括号表示法的一阶逻辑系统 (First-order Logic System Based on Parenthesis Notation).” Anhui daxue xuebao (zhexue shehui kexue ban) 安徽大学学报(哲学社会科学版) 3: 35–41.
———. 2020. “Jiyu kuohao biaoshifa de 4-jia luoji ziran yanyi xitong 基于括号表示法的4 值逻辑自然演绎系统 (Study of Four-valued Logic-driven Natural Inference System Based on Parenthesis Notation).” Hubei daxue xuebao (zhexue shehui kexue ban) 湖北大学学报 (哲学社会科学版) 2: 36–49+167.
———. 2021a. “Heshe xitong jiqi dingli de nengxing zhengming 合舍系统及其定理的能行证明 (The Effective Proof of the System of Joint Denial and Its Theorems).” Chongqing ligong daxue xuebao (shehui kexue) 重庆理工大学学报 (社会科学) 6: 53–61.
———. 2021b. “‘Buke dejian’-xing mingti luoji ziran yanyi xitong ‘不可得兼’型命题逻辑自然推演系统 (The Natural Deduction System of Propositional Logic).” Guangxi daxue xuebao (zhexue shehui kexue ban) 广西大学学报 (哲学社会科学版) 3: 52–56+78.
———. 2022. “Parenthesis Notation.” Journal of Research in Philosophy and History, 5(1): 44–51.
Du, Guoping, and Wang Hongguang. 2020. “Logic Studies in Mainland China.” In Dao Companion to Chinese Philosophy of Logic, edited by Fung Y. M., 511–24. Springer.
Feng, Qi. 1990. “A Hierarchy of Ramsey Cardinals.” Ann. Pure Appl. Logic 49 (3): 257–77.
Hong, Jiawei. 1982a. “On Similarity and Duality of Computation.” Inform. and Control 62 (2–3): 109–28.
———. 1982b. “On some deterministic space complexity problems.” SIAM J. Comput 11 (3): 591–601.
———. 1984. “A Trade-off Theorem for Space and Reversal.” Theoret. Comput Sci 32 (1–2): 221–24.
Hong, Long, Xiao Xian, and Zhu Wujia. 2006. “Measure of Truth Scale and its Application (Ⅰ).” Chinese Journal of Computers 29 (12): 2186–94.
Hong, Long, Xiao Xian, and Zhu Wujia. 2007. “Measure of Truth Scale and its Application (Ⅱ).” Chinese Journal of Computers 30 (9): 1551–58.
Hu, Shihua 胡世华. 1960a. “Digui suanfa—digui suanfalun I 递归算法-递归算法论I (Recursive Algorithm—Theory of Recursive Algorithm (I).” Shuxue xuebao 数学学报 10 (1): 66–88.
———. 1960b. “Digui hanshu de fanshi—digui suanfalun III 递归函数的范式-递归算法论III (Normal Form of Recursive Algorithm—Theory of Recursive Algorithm (III).” Shuxue Xuebao 数学学报 10 (1): 89–97.
Hu, Shihua 胡世华, and Lu Zhongwan 陆中万. 1960. “Hehanshu—digui suanfalun II 核函数-递归算法论II (Kernel Functions—Theory of Recursive Algorithm (II).” Shuxue Xuebao 数学学报 10 (1): 98–103.
Jin, Yuelin 金岳霖. 1935. Luoji 逻辑 (Logic). Beijing: Guoli Qinghua daxue.
Jun, Y. B. 2001. “Fuzzy Positive Implicative and Fuzzy Associative Filters of Lattice Implication Algebras.” Fuzzy Sets and Systems 121: 353–57.
Li, Wei. 1993. “An Open Logic System.” Sci. China Ser. A 36 (3): 362–75.
Li, Zhizao 李之藻, and Francisco Furtado [Fu Fanji 傅汎際]. 1965 (1631/1639). Mingli tan 名理探 (De Logica), 2 vols. Reprint. Taipei.
Lin, Xiashui 林夏水, and Zhang Shangshui 张尚水. 1983. “Shuliluoji zai Zhongguo 数理逻辑在中国 (Mathematical Logic in China).” Ziran kexueshi yanjiu 自然科学史研究 2 (2): 175–82.
Liu, Y. L., Liu S. Y., XuY., and Qin K. Y. 2003. “ILI-ideals and Prime LI-ideals in Lattice Implication Algebras.” Information Sciences 155: 157–75.
Lo, Libo. 1983a. “On the Number of Countable Homogeneous Models.” The Journal of Symbolic Logic 48 (3): 539–41.
———. 1983b. “The T-theory for Free Groups is Undecidable.” The Journal of Symbolic Logic 48 (3): 700–3.
Łukasiewicz, Jan. 1966. Elements of Mathematical Logic. Oxford: Pergamon Press.
Mendelson, Elliott. 2015. Introduction to Mathematical Logic. Boca Raton: CRC Press.
Moh, Shaw-kwei. 1950. “The Deduction Theorems of Two New Logical Systems.” Methodos 2: 56–75.
———. 1954. “Logical Paradoxes for Many-Valued Systems.” The Journal of Symbolic Logic 19: 37–40.
Qin, K. Y., and Xu Y. 1994. “Lattice-valued Proposition Logic (II).” Journal of Southwest Jiaotong University 1: 22–27.
Russell, Bertrand [Luosu 罗素]. 1921. Luosu wu da yanjiang 罗素五大演讲 (Five Great Lectures by Bertrand Russell). Beijing: Beijing daxue Xinzhi shushe.
———. 1922. Luosu shuli zhexue 罗素数理哲学 (Russell’s Mathematical Philosophy). Translated by Fu Zhongsun 傅種孙, and Zhang Bangming 张邦铭. Shanghai: Shangwu yinshuguan.
Shen, Yuding. 1953. “Paradox of the Class of All Grounded Classes.” The Journal of Symbolic Logic 18 (2): 114.
Shen, Yuding. 1955. “Two Semantical Paradox.” The Journal of Symbolic Logic 20 (2): 119–20.
Song, Wenjian 宋文坚. 2000. “Zhongguo shuli luoji bashinian 中国数理逻辑八十年 (Mathematical Logic in China Eighty Years).” Beijing Hangkong Hangtian Daxue Xuebao (Shehui Kexueban) 北京航空航天大学学报(社会科学版) 13 (1): 12–17.
Song, Yunbo 宋云波, and Zhu Wujia 朱梧槚. 1994. “Zhongjie luoji chengxu sheji yuyan MILL jiqi jieshi xitong 中介逻辑程序设计语言MILL及其解释系统 (Medium Programming Language MILL and its Interpretation System).” In Chengxu sheji yuyan yanjiu yu fazhan huiyi lunwenji 程序设计语言研究与发展会议论文集 (Proceedings of the Conference on Research and Development of Computer Languages), Nanjing, February 1994, 80–81.
Su, Rina 苏日娜. 2020. “Shuli luoji zai Zhongguo de fazhanshi yanjiu (1920–1966) 数理逻辑在中国的发展史研究(1920–1966) (History of Mathematical Logic in China (1920–1966)).” PhD diss., Inner Mongolia Normal University.
Vrhovski, Jan. 2021a. “‘Qinghua School of Logic’: Mathematical Logic at Qinghua University in Peking, 1926–1945.” History and Philosophy of Logic 42 (3): 247–61.
———. 2021b. “Shadowlands of Objectivism and Comprehensiveness: An Introduction to Key Concepts in Zhang Shenfu’s Philosophical Thought (1919–1948).” Asian Studies 9 (1): 227–62. https://doi.org/10.4312/as.2021.9.1.227-262.
Wang, Dianji 汪奠基. 1927. Luoji yu shuxue luoji lun 逻辑与数学逻辑论 (Logic and Mathematical Logic). Shanghai: Shangwu yinshuguan.
Wang, Hao 王浩. 1981. Shuli luoji tongsu jianghua 数理逻辑通俗讲话 (Popular Lectures on Mathematical Logic). Beijing: Kexue chubanshe.
Wang, Shiqiang. 1986. “Some Studies on Lattice-Valued Model Theory.” In Advances in Science of China. Mathematics 2 edited by Chaohao Gu, and Yuan Wang, 73–78. New York: John Wiley & Sons.
Wu, Wangming 吴望名, and Pan Yin 潘吟. 1990. “Zhongjie daishu 中介代数 (Medium Algebras).” Shuxue Yanjiu yu Pinglun: Yingwenban 数学研究与评论：英文版 2: 265–70.
Xiao, Xi’an 肖奚安, and Zhu Wujia 朱梧槚. 1985a. “Zhongjie luoji de mingti yansuan xitong 中介逻辑的命题演算系统（Ⅰ）(A System of Propositional Calculus for Medium Logic I).” Ziran zazhi 自然杂志 4: 315–16.
———. 1985b. “Zhongjie luoji de mingti yansuan xitong 中介逻辑的命题演算系统（Ⅱ）(A System of Propositional Calculus for Medium Logic II).” Ziran zazhi 自然杂志 5: 394–95.
———. 1985c. “Zhongjie luoji de mingti yansuan xitong 中介逻辑的命题演算系统（Ⅲ）(A System of Propositional Calculus for Medium Logic III).” Ziran zazhi 自然杂志 6: 473.
———. 1985d. “Zhongjie luoji mingti yansuan de kuozhang 中介逻辑命题演算的扩张（Ⅱ）(The Expansion of Propositional Calculus of Medium Logic II).” Ziran zazhi 自然杂志 10: 761.
———. 1985e. “Zhongjie luoji de daidengci de weici yansuan xitong 中介逻辑的谓词演算系统（II）(Medium Logical System of Predicate Calculus II).” Ziran zazhi 自然杂志 8: 601.
Xiao, Wencan 肖文灿. 1939. Jihelun chubu 集合论初步 (A Primer in Set Theory). Shanghai: Shangwu yinshuguan.
Xu, Yang 徐扬. 1993. “Ge-yunhan daishu 格蕴涵代数 (Lattice Implication Algebra).” Xinan jiaotong daxue xuebao 西南交通大学学报 1: 20–27.
Xu, Y., and Qin K. Y. 1993. “Lattice-Valued Propositional Logic (I).” Xinan jiaotong daxue xuebao 西南交通大学学报 2: 123–28.
Xu, Y., Qin K. Y., and Song Z. M. 1997. “Syntax of Lattice-Valued First-Order Logic FM.” Chinese Science Bulletin 42 (16): 1337–40.
Xu, Y., Qin K. Y., Liu J., and Song Z. M. 1999. “L-Valued Propositional Logic Lvpl.” Information Sciences 114: 205–35.
Xu, Y., Ruan D., Kerre E. E., and Liu J. 2000. “Resolution Principle Based on Lattice-Valued Propositional Logic LP(X).” Information Sciences 130: 195–223.
Xu, Y., Liu J., Song Z. M., and Qin K. Y. 2000. “On Semantics of L-Valued First-Order Logic Lvfl.” International Journal of General System 29 (1): 53–79.
Xu, Y., Ruan D., and Liu J. 2000. “Approximate Reasoning Based on Lattice-Valued Propositional Logic. Fuzzy If-Then Rules in Computational Intelligence.” In Fuzzy Sets Theory and Applications, edited by Ruan D., Kerre E. E., 81–105. Kluwer Academic Publishers.
Xu, Y., Ruan D., Kerre E. E., and Liu J. 2001. “Resolution Principle Based on First-Order Lattice-Valued Logic LF(X).” Information Sciences 132: 221–39.
Xu, Y., Ruan D., Qin K. Y., and Liu J. 2003. Lattice-Valued Logic. Springer.
Yi, Bo 伊波, and Xu Jiafu 徐家福. 1993. “Analogy Calculus.” Theoret. Comput. Sci 113 (2): 211–30.
Ying, Mingsheng. 1994. “A Logic for Approximate Reasoning.” The Journal of Symbolic Logic 59 (3): 830–37.
———. 2001. Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs. New York: Springer.
Zhang, Dongmo 张东摩, and Zhu Wujia 朱梧槚. 1994a. “Zhongjie zidong tuili de lilun yu shixian (I) – zhongjie mingti luoji de biaotuiyan xitong 中介自动推理的理论与实现 (Ⅰ）——中介命题逻辑的表推演系统 (The Theory and Practice of Mendium Automatic Reasoning (I) – Tableau Inference of Medium System of Propositional Logic).” Moshi shibie yu rengong zhineng 模式识别与人工智能 7 (2): 87–93.
———. 1994b. “Zhongjie zidong tuili de lilun yu shixian (II) – zhongjie weici luoji de biaotuiyan xitong 中介自动推理的理论与实现（ⅠI）——中介谓词逻辑的表推演系统 (The Theory and Practice of Mendium Automatic Reasoning (II)—Tableau Inference of Medium System of Predicate Logic).” Moshi shibie yu rengong zhineng 模式识别与人工智能 7 (2): 175–80.
———. 1994c. “Zhongjie zidong tuili de lilun yu shixian (III) – zhongjie luoji dingli zhengmingqi 中介自动推理的理论与实现 (ⅠII)——中介逻辑定理证明器 (The Theory and Practice of Mendium Automatic Reasoning (III)—A Theorem Proover for Medium Logic).” Moshi shibie yu rengong zhineng 模式识别与人工智能 7 (4): 263–68.
Zhang, Dongmo 张东摩, and Gong Ningsheng 宫宁生. 1995. “Zhongjie zidong tuili de lilun yu shixian (IV) – yilei jiyu zhongjie luoji de motai luoji xitong 中介自动推理的理论与实现(ⅠV)——一类基于中介逻辑的模态逻辑系统 (The Theory and Practice of Mendium Automatic Reasoning (IV)—A Type of System of Modal Logic Based on Medium Logic).” Moshi shibie yu rengong zhineng 模式识别与人工智能 8 (1): 6–13.
Zhang, Dongmo 张东摩, and Zhu Wujia 朱梧槚. 1995. “Zhongjie zidong tuili de lilun yu shixian (V) – Zhongjie motai luoji MK de biao-tuiyan xitong 中介自动推理的理论与实现（Ⅴ）——中介模态逻辑MK的表推演系统 (The Theory and Practice of Mendium Automatic Reasoning (V)—Medium System of Modal Logic MK’s System of Tableau Inference).” Moshi shibie yu rengong zhineng 模式识别与人工智能 8 (2): 114–20.
Zhang, Qingyu 张清宇. 1995. “Buyong lianjieci de jingdian mingti luoji xitong 不用联接词的经典命题逻辑系统 (A System of Classical Propositional Logic Without Connectives).” Zhexue yanjiu 哲学研究 5: 40–47.
———. 1996. “Buyong lianjieci ke liangci de yijie luoji xitong 不用联接词和量词的一阶逻辑系统 (System of First-order Logic Without Connectives and Quantifiers).” Zhexue yanjiu 哲学研究 5: 72–79.
———. 1997. Zhexue luoji yanjiu 哲学逻辑研究 (Studies in Philosophical Logic). Beijing: Shehui kexue wenxian chubanshe.
Zhu, Chaohui 朱朝晖, Shi Qingsheng 施庆生, and Zhu Wujia 朱梧槚. 1996. “Chengxu jiannaji: you libo miaoshu de zhongjie luoji chengxu yuyi 程序兼纳集：由力迫描述的中介逻辑程序语义 (Sequence-Ordered Generic Sets: Describing the Sequence-Semantics of Medium Logic by Means of Forcing).” Zhongguo kexue (E ji) 中国科学（E辑） 6: 567–73.
Zhu, Wujia 朱梧槚, and Xiao Xi’an 肖奚安. 1984. “Shuxue jichu yu mohu shuxue jichu 数学基础与模糊数学基础 (Foundations of Mathematics and Foundations of Fuzzy Mathematics).” Ziran zazhi 自然杂志 1: 723–800.
———. 1985a. “Zhongjie luoji mingti yansuan de kuozhang 中介逻辑命题演算的扩张 (Ⅰ) (The Expansion of Propositional Calculus of Medium Logic I).” Ziran zazhi 自然杂志 9: 681.
———. 1985b. “Zhongjie luoji de daidengci de weici yansuan xitong 中介逻辑的谓词演算系统（I） (Medium Logical System of Predicate Calculus I). Ziran zazhi 自然杂志 7: 540.
———. 1988. “Zhongjie gongli jihelun xitong MS 中介公理集合论系统MS (Medium System of Axiomatic Set Theory MS).” Science in China Series A-Mathematics, Physics, Astronomy & Technological Science (in Chinese) 18 (2): 113–23.
Zou, Jing 邹晶. 1988. “Daidengci de zhongjie weici luoji xitong ME* yuyi jieshi ji” kekaoxing, wanbeixing 带等词的中介谓词逻辑系统ME*语义解释及可靠性、完备性 (The Semantic Interpretation, Reliability and Completeness of Medium Predicate Logic System with Identity ME* ).” Kexue tongbao 科学通报 33 (13): 961–63.
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2022 WANG Hongguang, DU Guoping
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
Authors who publish with this journal agree to the following terms:
- Authors are confirming that they are the authors of the submitting article, which will be published (print and online) in journal Asian Studies by Znanstvena založba Filozofske fakultete Univerze v Ljubljani (University of Ljubljana, Faculty of Arts, Aškerčeva 2, 1000 Ljubljana, Slovenia). Author’s name will be evident in the article in journal. All decisions regarding layout and distribution of the work are in hands of the publisher.
- Authors guarantee that the work is their own original creation and does not infringe any statutory or common-law copyright or any proprietary right of any third party. In case of claims by third parties, authors commit their self to defend the interests of the publisher, and shall cover any potential costs.
- Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution-ShareAlike 4.0 International License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.
- Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
- Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work.
