搜索筛选:
搜索耗时2.1980秒,为你在为你在102,285,761篇论文里面共找到 19 篇相符的论文内容
发布年度:
[会议论文] 作者：刘壮虎,,
来源： 年份：2000
有两类不同的谓词:性质谓词和类谓词。一阶逻辑把两者都作为类谓词来处理,有时是不合适的。本文在一阶逻辑的基础上,区别性质谓词与类谓词, 构造更为精细的逻辑系统。并...
[期刊论文] 作者：刘壮虎,,
来源：北京航空航天大学学报(社会科学版) 年份：2000
哲学逻辑包括模态逻辑、时态逻辑、多值逻辑、道义逻辑、直觉主义逻辑等。哲学逻辑是从扩充古典逻辑或修改古曲逻辑而来的一个逻辑分类。本文分别对这类逻辑进行了简要介绍。...
[期刊论文] 作者：刘壮虎,
来源：逻辑学研究 年份：2008
本文将二值逻辑中刻画实质蕴涵的保真性推广至有限全序中,用这推广的＂保真性＂给出蕴涵在有限全序中的语义条件,从而给出了完整的有限全序语义;建立了刻画有限全序的逻辑系统FO,......
[期刊论文] 作者：刘壮虎,
来源：逻辑学研究 年份：2017
本文不从概念的外延和内涵出发,而是将概念作为初始出发点,按照概念结构整体论的观点,在思想–概念–语言三者统一的基础上,建立概念结构的形式理论,讨论其基本性质及其意义,...
[期刊论文] 作者：刘壮虎,
来源：数学季刊：英文版 年份：1989
ξ0.引言 P=NP?是计算复杂性中的主要问题。自从Cook和Karp引进P-T归约和P-T度的概念后,人们在这方面作了大量研究。另外,Baker,Gill和Solovay证明了存在集合A和B,使得P(A)=N...
[期刊论文] 作者：刘壮虎,
来源：自然辩证法研究 年份：1993
带有“好”、“坏”和“不好不坏”等评价词的命题称为评价性命题,如“有香烟是好的”、“家里养猫是坏的”和“没有火柴是不好的”等。评价性命题是由评价主体(可以是个...
[期刊论文] 作者：刘壮虎,
来源：湖南科技大学学报：社会科学版 年份：2009
笔者根据Montague、Scott等人的想法，在Segerber、Gabby和毛翊等人在模态逻辑邻域语义学研究的基础上，提出了适合一般命题逻辑的邻域语义学。邻域语义学可运用于无穷算子，无穷算...
[会议论文] 作者：刘壮虎,
来源：2017年全国现代逻辑学术研讨会 年份：2017
本文在[1]的基础上,讨论具体的三类概念,类概念、个体概念和性质概念.不在最一般的语义框架讨论它们的结构,而是在满足标准规则的前提下进行讨论.在概念结构的基础...
[期刊论文] 作者：刘壮虎,
来源：北京大学学报：哲学社会科学版 年份：1995
作者从将所有命题算子都看作内涵到内涵的算子的观点出发，提出了一般命题逻辑的概念，建立了统一的语义──邻域语义学。讨论了邻域语义学的模型完全性，给出了逻辑系统具有模型完全性的充分必要条件。模型完全性的哲学背景是逻辑系统必须遵守组合原则和唯一性原则。......
[会议论文] 作者：刘壮虎,
来源：年逻辑研究专辑 年份：1993
...
[期刊论文] 作者：刘壮虎,
来源：哲学研究 年份：2000
推演系统并不一定是逻辑系统，在讨论一个推演系统是不是逻辑系统时，完全性是一个重要的标准。然而，完全性是相对于语义解释的，如果允许任意的语义解释，则完全性标准可能是无用的。设想这样的情况，有一种语义解释，使得所有的推演系统对于它都是完全的。实际上，确实有这样......
[期刊论文] 作者：刘壮虎,
来源：哲学研究 年份：2002
必然性是命题的一种性质。在本文中，我们依据现在逻辑处理命题性质的一般方法，讨论必然性这种命题性质。首先讨论现在逻辑是如何处理命题和命题性质的，然后分析关系语义学如何处理必然性，并指出其不足之处，最后用更一般的方法对其进行分析，给出刻画必然性......
[期刊论文] 作者：刘壮虎,
来源：北京大学学报：哲学社会科学版 年份：1998
传播现代逻辑建立哲学体系——金岳霖学术生涯记略刘壮虎在今天，形式逻辑是大学中的一门普通的基础课程，但在２０年代的中国，逻辑学被视为畏途，没几人懂得这门学问，北京大学哲学系初建时，竟聘不到能讲授逻辑学的教师。有一位勇敢的开拓者，几经艰辛，终于将畏途化为.........
[期刊论文] 作者：刘壮虎,
来源：哲学动态 年份：1990
由中国逻辑学会符号逻辑研究会、中国社会科学院哲学研究所、上海社会科学院哲学研究所和苏州市逻辑学会联合主办的全国哥德尔不完全性定理研讨会于10月9日至10月12日在苏州大学召开,共三十多位专家、教授、学者出席了会议。哥德尔不完全性定理是现代逻辑发展史......
[期刊论文] 作者：刘壮虎,
来源：哲学研究 年份：1989
乔纳森·科恩(L.Jonathen Cohen)提出了新的概率观点,他称之为归纳概率。归纳概率不同于以往的各种概率。以往的各种概率观点都不过是对数学概率的不同解释而已,而归纳概率根本不同于数学概率,它是可证性的一种分级,不具有数量性质,并且一般地来说是不可比较的......
[期刊论文] 作者：刘壮虎, 李小五,
来源：湖南科技大学学报：社会科学版 年份：2005
在通常的动态认知逻辑的基础上,引进对动作的认知.给出对动作认知的语义和特征公理,建立这种新类型逻辑的极小系统,并证明其框架可靠性和框架完全性....
[期刊论文] 作者：冯艳;刘壮虎,
来源：哲学研究 年份：2007
用自由逻辑来处理限定摹状词，已形成多种自由摹状词理论。这些理论以自由逻辑为基础，是自由逻辑在摹状词领域的重要应用。但是，对自然语言中如“当今的法国国王是当今的法国国王，这是必然的”、“唐僧的大徒弟会七十二变是必然的”这样的既包含“空限定摹状词”又包......
[期刊论文] 作者：宋文坚, 刘壮虎,,
来源：哲学动态 年份：1996
评《逻辑百科辞典》宋文坚刘壮虎（北大哲学系）一部好的专业辞书相当于一套完整的专业教材，中国社会科学院周礼全先生主编的《逻辑百科辞典》（四川教育出版社１９９４年出版，以下简称《辞典......
[期刊论文] 作者：许春梅,刘壮虎,
来源：湖南科技大学学报：社会科学版 年份：2014
D.M.Gabbay在"超模态逻辑理论:模态逻辑中的模转换"一文中建立了基于任意框架上的超模态逻辑语义学以及第一个超模态逻辑Hs i。该文旨在于扩充语义学,将任意框架上的超模态逻...
相关搜索：
