现代汉语句子中逻辑量词的识别

从计算机处理的角度讨论了,探讨了现代汉语句子中表示逻辑量词的语法手段,并给出了表达全称量词和存在量词的基本模式及其量词的辖域。

所谓“逻辑量词”

数理逻辑一阶谓词演算中F作为一种逻辑词采用的量词,不是传统逻辑中的量词,更不是语言中的量词。F中的全称量词x的语义为"对于论域中的每一个个体",存在量词x的语义为"论域中至少有一个个体"。人类在求取关于不可逐一列举(有限的或无限的)个体域的作为一般性原理的真知的过程中,事实上从来也不曾在逻辑上使用过这样的量词。这样的量词对人类提出要去逐一确定不可逐一列举的个体域的每一个个体具有什么性质。这样的指令,人类是无法执行的。这样的对外延的无限要求是超乎人类的有限能力和生命的。难怪,A.Church证明了关于F的不可判定定理。

属性逻辑的近似推理模式研究

近似推理是进行知识推理的有效工具。将计量逻辑中全蕴含三I推理、基于真度的近似推理模式应用到基于形式背景的属性逻辑中,给出基于属性逻辑的全蕴含三I推理的广义MP规则和广义MT规则的解,并提出若干基于广义MP规则和广义MT规则的近似推理方法。引入属性逻辑公式的真度、属性逻辑公式间的伪距离,提出基于属性逻辑伪距离的近似推理方法,讨论基于广义MP规则、广义MT规则的近似推理和基于属性逻辑伪距离的近似推理之间的联系。

广义量词理论述评

广义量词理论述评张维真（天津市委党校）通常，现代逻辑只研究和运用两类量词：全称量词和存在量词，广义量词理论则对逻辑量词进行了充分的推广，从而极大地提高了逻辑的表达能力。广义量词理论始于五十年代末期，但它发展很快，已成为数理逻辑中一个相对独立的研究领域...

管理工作中的逻辑

逻辑管理是一种高层次的科学管理方法;而管理工作中的逻辑则是以管理为研究对象的应用逻辑科学。本文作者论述了逻辑与管理工作结合,发挥逻辑在管理活动中的效用的重要性,结合管理工作实际,运用事例就管理的量化法、预测中的逻辑、决策中的逻辑、管理实施中的逻辑,进行了介绍.

沈有鼎的“纯逻辑演算”思想源流——纪念沈有鼎先生逝世30周年

在概述沈有鼎先生的《个体与真值的演算》与《“纯逻辑演算”中不依赖量词的部分》两篇论文的主要内容和思想的基础上,找到沈有鼎不带量词的“纯逻辑演算”的直接思想来源;确立张清宇在20世纪90年代为经典逻辑提出的“括号记法”的直接思想来源;沿着这一传统为经典命题逻辑建立一个三元联结词“条件析取”的后承演算。

逻辑演算方法在点集问题中的应用

利用一阶量词逻辑演算方法处理度量空间中关于点集的问题.给出了聚点、内点、界点、外点等概念的等价一阶量词逻辑公式,以及等价转化和推演的常用方法与路径.用一阶量词逻辑演算方法证明了关于导集运算的5个重要公式.通过研究,使得度量空间中点集问题的处理变得清晰而简便,从而也减少了学习相关知识的难度.

内涵命题和外延命题理论对解决直言命题问题的贡献

传统形式逻辑直言命题理论存在着许多的弊端。一些现行的形式逻辑读本尽管做了些改进,但是仍然没有从根本上解决问题,而且还增加了新的麻烦。内涵命题与外延命题理论是当代形式逻辑的重要特色理论之一,它在解决直言命题理论中存在的问题作出了重要贡献。深刻剖析直言命题中存在的弊病对传统形式逻辑的发展与完善有着重要的意义。

《数学教学》引领、帮助、见证了我的成长

《数学教学》诞生60年了,因为她既有正确的理念,又结合实际,为广大教师和学者所欢迎,在同类杂志中出类拔萃,对我国数学教育做出了极大的贡献.我在1962年参加工作,至今有50多个年头了.当年,作为初出茅庐的青年教师,就把这本杂志作为重要的学习资料.上世纪80年代,文革结束,百废待兴,我们终于等到了科学的春天。

数列极限的否命题教学设计

本文旨在给出如何给出数列极限的否命题改写的教学步骤,通过衔接紧密的设问,使得学生能够容易理解逻辑量词,并掌握否命题的改写.

直觉主义量词模态逻辑的一个强完全性定理

在Thomason讨论到的直觉主义一阶谓词演算的基础上引进Prior工作中揭示的模态直觉主义系统MIPC的模态机制 ,从而得到一个直觉主义量词模态逻辑系统MIPC ,并给予它一个语义解释 ,证明其关于该语义的强 (因而弱 )完全性定理 .多次实质性地用到Zorn引理 ,因而在方法论上较Thomason的结果更加远离直觉主义观点 .

量词模态逻辑的代数语义学（Ⅲ）──关于不含Barcan公式的正规模态系统的情形

本文首先讨论嵌套论域语义的相应代数语义并由Ｈｕｇｈｅｓ和Ｃｒｅｓｓｗｅｌｌ在［５］中建立的关于具有嵌套论域的正规量词模态系统的关系语义完全性定理推出其相应的代数语义完全性定理：然后对于具有任意可变论域语义的正规系统，我们用Ｈｅｎｋｉｎ方法给出其关于狭义Ｋｒｉｐｋｅ语义的关系语义完全性定理，由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。

直觉主义量词模态逻辑系统MIPC~*的可靠性定理

设WMμ为系统MIPC*全部公式的集,再设г∪{A} WMμ,则гMIPC* A意义明显.而 M A指гM-蕴涵A.以前已证明гM A гMIPC*A,即MIPC*为强完全的.本文证明其逆定理成立,即гMIPC*A гM A.是为MIPC*的可靠性定理.

广义量词理论及其对模糊量词的应用

本文讨论的是Ｂａｒｗｉｓｅ和Ｃｏｏｐｅｒ（１９８１）的广义量词理论（ＧｅｎｅｒａｌｉｚｅｄＱｕａｎｔｉｆｉｅｒＴｈｅｏｒｙ）。这一理论将量词的语义和推理方面的研究推向一个新阶段。文章的重点是广义量词理论对模糊（ｆｕｚｙ）量词（例如：“大约两百学生”，“两百多学生”）的应用。结论是广义量词理论的四大语义普遍特征和单调性对模糊量词也很适用。

罗素的形式蕴涵思想辨析——三论从形式蕴涵看“实质蕴涵怪论”

罗素的形式蕴涵思想,经历了一个从不成熟到成熟的过程。在首次提出基于命题函数的"形式蕴涵"概念的《数学的原则》中,由于罗素尚不具有清晰的逻辑量词观念,其使用"变元蕴涵"和"两个断定间的关系"对形式蕴涵的解释,存在多重混淆与失误之处。在深入研究弗雷格的著作并掌握逻辑量词理论之后,罗素的形式蕴涵思想实现了"完型转换",形成了成熟期的清晰认识。把握罗素的思想历程及其对基本的"实质蕴涵怪论"问题的解决,对于理解"从形式蕴涵看实质蕴涵怪论"的研究进路,具有重要启发价值。

再论从形式蕴涵看“实质蕴涵怪论”——兼复程仲棠先生

"形式蕴涵"理论是弗雷格"命题函数"和"逻辑量词"两大发现的结晶,而"实质蕴涵怪论"之"严峻反例"疑难的出现,源自由"命题函数"与"命题"的混淆所造成的对于"反例"的不适当逻辑刻画。逻辑分析应当充分尊重"合理直觉",把握自然语言的深层逻辑结构。解决蕴涵怪论问题的根本出路,在于厘清蕴涵的"层级"。

Everything That Linguists Have Always Wanted to Know About Logic But Were Ashamed to Ask

当代的语言研究与哲学、逻辑学联系十分紧密。当代语言学一方面要研究解决自然语言中的哲学、逻辑学问题,比如语义的性质与语义表达,自然语言量词的域(Scope)关系等,另一方面,要大量使用数理逻辑作为研究工具,以使研究精确化。因此,一个语言研究者,了解有关语言的哲学、逻辑知识,掌握数理逻辑是十分必要的。