真假值、蕴涵与基本规律

在罗素与怀特海的《数学原理》一书出版后,逻辑家开始把命题逻辑看作是数理逻辑的起始和基本部分。他们先研究论述这个部分,接着探讨谓词逻辑。因为“在类论内必须用命题论的原理进行演绎,而在命题论内……不必用类论的原理”。这样来构造整个现代的形式逻辑的内容体系,我认为是顺乎自然的,也是严密的。但是,有些人。

什么是逻辑概念?——建立所有逻辑规律的基因族谱(上篇)

逻辑概念是以命题为反映对象的。命题具有两方面的意义:一是存在意义,即陈述了对象情况;二是真值意义,即陈述了命题真值情况。抽象出存在意义形成综合命题及其所含的非逻辑概念,抽象出真值意义形成分析命题及其所含的逻辑概念。非逻辑概念是反映综合命题所涉及对象及其情况的。逻辑概念是反映命题真值性质或真值关系的。逻辑概念具有诸多特征:在内容上,是反映命题真值性质或真值关系的;在存在方式上,是分析命题有限、共同和稳定的成分;在语言上,既有相对固定的自然语词,又有单义的人工语词;在形成上,有能行性的方法,按给定的程序,在有限步骤内能够发现所有成对的基本逻辑概念;在作用上,都是真值函项,包含逻辑概念的分析命题,真值都由所含直接支命题的真值决定。在所含支命题相同的条件下,包含不同逻辑概念的分析命题因内容异同,发生全部逻辑关系,孕育所有逻辑规律。

回归自然语言逻辑的本体论承诺——从存在的外在矛盾和在者的内在矛盾说起

作者认为,自然语言逻辑的本体论承诺是范围最广泛、最具实用价值的关于“在者存在”的本体论承诺。回归这种本体论承诺,就是既承认存在的外在矛盾,又承认在者的内在矛盾,前者是形式逻辑“是非”矛盾命题之异真值规律的理论依据,后者是内容逻辑“正反”矛盾命题之同真值规律的理论依据。基于此,作者提出了集逻辑形式否定(!)与辩证内容否定(～)于一身的关于性质判断一切矛盾关系的“否定方阵,”由此从根本上拓展了现代逻辑核心理论的研究范围。