排序方式: 共有7条查询结果,搜索用时 15 毫秒
1
1.
在通常的动态认知逻辑的基础上,引进对动作的认知。给出对动作认知的语义和特征公理,建立这种新类型逻辑的极小系统,并证明其框架可靠性和框架完全性。 相似文献
2.
邻域语义学和模型完全性 总被引:2,自引:0,他引:2
刘壮虎 《北京大学学报(哲学社会科学版)》1995,(3)
作者从将所有命题算子都看作内涵到内涵的算子的观点出发,提出了一般命题逻辑的概念,建立了统一的语义──邻域语义学。讨论了邻域语义学的模型完全性,给出了逻辑系统具有模型完全性的充分必要条件。模型完全性的哲学背景是逻辑系统必须遵守组合原则和唯一性原则。模型完全性仅是逻辑系统的必要条件,要刻画逻辑系统需要更强的完全性─框架完全性。邻域语义学开辟了逻辑研究的新领域,对各种不同的逻辑系统间的比较提供了有效的方法。 相似文献
3.
4.
刘壮虎 《北京大学学报(哲学社会科学版)》1998,(2)
传播现代逻辑建立哲学体系——金岳霖学术生涯记略刘壮虎在今天,形式逻辑是大学中的一门普通的基础课程,但在20年代的中国,逻辑学被视为畏途,没几人懂得这门学问,北京大学哲学系初建时,竟聘不到能讲授逻辑学的教师。有一位勇敢的开拓者,几经艰辛,终于将畏途化为... 相似文献
5.
哲学逻辑概论 总被引:5,自引:0,他引:5
刘壮虎 《北京航空航天大学学报(社会科学版)》2000,13(1):22-25,,39,
哲学逻辑包括模态逻辑、时态逻辑、多值逻辑、道义逻辑、直觉主义逻辑等。哲学逻辑是从扩充古典逻辑或修改古曲逻辑而来的一个逻辑分类。本文分别对这类逻辑进行了简要介绍。 相似文献
6.
D.M.Gabbay在“超模态逻辑理论:模态逻辑中的模转换”一文中建立了基于任意框架上的超模态逻辑语义学以及第一个超模态逻辑si。该文旨在于扩充语义学,将任意框架上的超模态逻辑语义学扩充到传递框架上,并尝试构建一个K4以上的超模态逻辑K4[T·,K·],主要研究K4、S4超模态算子性质,特别是关于它叠置的归约问题。 相似文献
7.
刘壮虎 《湖南科技大学学报(社会科学版)》2009,12(3):31-34
笔者根据 Montague、Scott等人的想法,在 Segerber、Gabby和毛翊[1] [2]等人在模态逻辑邻域语义学研究的基础上,提出了适合一般命题逻辑的邻域语义学[3] [4].邻域语义学可运用于无穷算子,无穷算子也能刻画一般的量词(包括通常的全称和存在量词). 相似文献
1