本体逻辑学新探

AlexisBird

摘要：以新的数理逻辑为工具，从逻辑的角度，可以证明“最高神是无”和“无中生有”的命题，论述“有”、“空”和“无”（最高神）的性质及其在日常语言和哲学思辨中的表述。同时，逻辑分析的方法澄清了有关“有”、“空”和“无”的一些似是而非的成见，也将有助于人类在“世界的本质是什么”这一最根本的问题上最终达成共识。
关键词：本体逻辑学；“无中生有”；太极代数；“空”；“无”；“最高神”
中图分类号：B813文献标识码：A 文章编号：1672-4283（2015）02-0005-12
一、问题的提出：何为本体逻辑学
这是本体逻辑学的第一篇专论。那么，本体逻辑学是什么？这是必须回答的首要问题。学界有本体论，有逻辑学，但尚无本体逻辑学。因此，本体逻辑学是一门新的学问。本文提出本体逻辑学并不是毫无根据的，而是在比较扎实的基础上逐渐引出的。建立本体逻辑学的基础来自以下几方面认知：一是已有的本体论认知，二是已有的宗教哲学关于理则神的认知，三是关于逻辑学的认知，四是关于辩证法的认知，五是关于数理逻辑的认知，六是关于世界的逻辑结构的认知。本体逻辑学不是本体论和逻辑学两方面认知简单结合的产物，而是具有丰富内涵的一门新知。
一种新的知识门类总是伴随新的知识生长点而产生的，本体逻辑学的产生概莫能外。究其实，本体逻辑学源于发现太极代数，同时，也源于对数理逻辑（含形式逻辑）和辩证逻辑的新认知。太极代数是笔者发现的一种蕴含太极阴阳思想的新的逻辑代数。太极代数证明，任意一对逻辑矛盾的统一体为无（0）。太极代数不同于布尔代数，可称之为非布尔代数。太极代数是广义太极代数的子代数，前者是定义在集合|l，-1，0，-O∣上的逻辑代数，后者是建立在整个实数系R上的逻辑代数。广义太极代数证明，实数的整体为无（0）。太极代数和广义太极代数揭示了数学的逻辑结构，同时，对人们认知世界的整体是“无”提供了可操作的逻辑实例，也为形而上学研究提供了合适的逻辑工具。关于太极代数，笔者既探讨过太极代数的辩证内涵问题，也探讨过逻辑的整全性问题，还探讨过太极数理哲学的普适性问题，甚至探讨过围棋棋理中的逻辑问题。
广义太极代数（含太极代数）最大的特点是对O（无）的认知与现有的数理乃至科学认知具有巨大的差别。现有数学认为，O的数值比负数大但比正数小。而广义太极代数（含太极代数）却证明：0的数值不但比负数大同时也比正数大，0是最大数，甚至比无穷大还大。O是无，0的逻辑相反数为-0，-0为空。空是最小数，不但比正数小，而且比负数小。可见，广义太极代数（含太极代数）对O的认知是颠覆性的。这一颠覆性认知不只是对数学产生影响，对哲学（尤其是形而上学）、逻辑学（尤其是数理逻辑学）、科学（尤其是科学哲学）、语言学（尤其是逻辑分析语言学）都将产生影响。
合适的逻辑工具的引入使得形而上学研究摆脱了以往单纯依靠人类日常语言加以思辨和表述的局限性，有助于澄清形而上学中一些似是而非的问题。本文的形而上学研究就将采用语言思辨和逻辑分析相结合的方法。从某种意义上说，太极代数和广义太极代数的发现，也使形而上学的研究摆脱了对经典文本（比如《老子》）和形而上学大师（比如海德格尔）过分依赖的现状。形而上学的“有”、“空”和“无”都可以作为太极代数和广义太极代数中的逻辑变量参与逻辑运算和代数变换。同时，实数的整体是无（0），也为世界的整体是无（0）提供了一个实在的逻辑模型。形而上学中的“有”、“空”和“无”等概念可以成为逻辑研究的对象，意味着太极代数和广义太极代数介入了形而上学研究。这样就使得凡具备数理逻辑知识的人可以通过逻辑分析的方法探讨形而上学中的一些最为抽象的问题了。
“无中生有”是本体逻辑学得以成立的基本命题。围绕“无中生有”这一命题有一系列问题有待解决。比如，什么是“无”？“无”等同于“空”吗？“无”是非存在吗？“无”是无意义的吗？“无”和有（存在）是一对矛盾吗？“无”能成为逻辑研究的对象吗？“无中生有”的“无”与创世的最高神是同一的吗？“无”何以能生有？对于这样一些形而上学的难题本文将逐一予以解答。
围绕“无中生有”命题本文将做五方面的工作：一是通过枚举的方法对“无中生有”命题进行初步证明。二是从逻辑上解答最高神为什么是“无”。三是从最高神绝对的先在性、最大的包容性和存在的惟一性三方面进一步证明“无中生有”命题。四是从逻辑上辨析“有”、“空”和“无”（最高神）的区别及其相互关系，并列举一些它们在日常语言和哲学思辨中被误解、误用的表现。五是得出世界的本质是“无”的结论。
由于这是本体逻辑学的第一篇专论，而且，本文所要表达的本体逻辑学思想是全新的，但是又不可避免地将借用日常语言的语汇或已有的哲学概念来表述新的逻辑思想，所以，文中表达欠缺甚至错误难免，还望学界方家批评指正。
二、“无中生有”：“无”何以生有？
“无中生有”是中国人早在先秦时代就明确提出的命题。《老子》第40章日：“万物生于有，有生于无。”但在这里，“无中生有”几乎是作为一种先验的断言提出的，因此其真理性尚有待证明。证明“无中生有”不是一件简单的事情，这里的证明将分为两个部分：一是采用枚举法进行初步证明，这是归纳的方法；二是采用逻辑证明的方法，这是演绎的方法。前者是具体的实例列举，后者是抽象的逻辑推演。换句话说，我们有两条论证的路径：一是由个别上升为一般的路径，二是由整体包含部分的路径。两相比较，前一种路径具有归纳不完全的缺陷，因此，我们将更多采用后一种路径。当然，后一种路径也有过于抽象而缺乏认知实在感的不足。在本文中这两条路径是结合在一起使用的。无论是哪一条路径，本文都以新的逻辑代数作为问题分析的工具。
（一）采用枚举法初步证明“无中生有”
若我们采用由个别推演、上升到一般的路径，如《易·系辞上》所说“其称名也小，其取类也大”，从数学的逻辑结构这样一个特殊现象出发；“引而伸之，触类而长之”，则可以将世界的结构也视为逻辑的结构，世界的逻辑结构亦建立在无（0）之内。