Volume 4,Issue 6
基于逻辑坐标的中文证据论
本文把笔者发现的纯逻辑句 a R b + （- - ）p 作为归总逻辑学的全部内容的唯一语句，并从中推导出有层次结构的逻辑坐标的图形序列，再把那些图形序列作为逻辑演绎和逻辑推导的证据；于是从这些证据中推导出逻辑的语法，算法和表达的规则，并最终推导出构建中文核心逻辑系统的可行性。本文还将用逻辑坐标的图形序列演示基于逻辑坐标的中文证据论比基于代码的抽象语言证据论简洁，高效，明晰，可靠。
[1]Cora Diamond ed. Wittgenstein’s Lectures on the Foundations of Mathematics. Cambridge, 1939. 《维根斯坦1939 年在剑桥的论数学的基础的讲座》Chicago, the University of Chicago Press, 1976. 在本文中简称为《讲座》.
[2]Raymond M. Smullyan. A Beginner’s Guide to Mathematical Logic. 《数学逻辑入门指南》Dover Publications. Garden City, New York, 2014. 笔者用中文翻译并解读了这本书的正文的全部内容.
[3]Raymond M. Smullyan. A Beginner’s Further Guide to Mathematical Logic. 《数学逻辑高级入门指南》World Scientific Publishing Co. Garden City, New York, 2016. 笔者用中文翻译并解读了这本书的正文的全部内容.
[4]Alfred Tarski. Introduction to Logic and to the Methodology of Deductive Sciences. New York, Dover Publications, 1946. 塔斯基，《逻辑和演绎科学的方法论的引介》，纽约：多佛出版社， 1946.
[5]Ludwig Wittgenstein. Tractatus Logico-Philosophicus. Translated by C. K. Ogden. Barnes & Noble, Inc. New York, NY. 2003.
[6] 王爱学.《如何全面深入地译读维根斯坦：逻辑的语法算法和表达的规则》，北京：线装书局.2024.
[7] 王爱学.《初级逻辑学简介》，北京：线装书局，2024.