排序方式: 共有24条查询结果,搜索用时 421 毫秒
11.
刘新文 《湖南科技大学学报(社会科学版)》2006,9(4):25-29
古典的逻辑图主要包括欧拉图和文恩图(一般也把经过皮尔士改造过的文恩图“皮尔士-文恩图”包括在内)。由于可靠(且完全)的逻辑推演规则的提出,在逻辑图从古典形式走向形式化的发展历程中,具有转折性的是皮尔士-文恩图以及皮尔士的存在图系统,现代形式的图式逻辑就是在这两者的基础上建立起来的。 相似文献
12.
认识与掌握目录学理论研究的轨迹,科学、公正、客观地评说目录学理论研究中的利弊得失,是事关目录学学科建设和发展的一个重要问题.文中通对过目录学理论研究轨迹、路向的阐述辩析,提出目录学的理论研究必须建立在科学研究的基础上方才符合本学科发展规律的命题. 相似文献
13.
14.
系统Z是文[7]构造的经典命题逻辑系统,这一系统的初始联结词是一类广义的谢夫竖函数,并且采用括号记法。作者在系统Z中加入存在量词,把存在量词和广义谢夫竖函数统一作括号记法,并且把系统Z的规则作相应的处理,最后证明了所得系统Z′的完全性。 相似文献
15.
皮尔士逻辑语义学思想 总被引:1,自引:1,他引:0
刘新文 《燕山大学学报(哲学社会科学版)》2008,9(2):38-43
模型论肇始于20世纪30年代初期,一般追溯到塔尔斯基、马尔捷夫以及罗宾逊等,“成名”于20世纪50年代。皮尔士19世纪的工作已经开始了命题逻辑的可能世界语义学分析,也开始了多模态和量化模态逻辑的可能世界语义学分析。本文将从量词、模态词、逻辑联结词以及存在图等方面来整理C·S·皮尔士的博弈论语义学和可能世界语义学等模型论思想。 相似文献
16.
17.
文学史上称秦观为“苏门四学士”之一,但他的词风却大异于苏轼,而以婉约著称。黄升《花庵词选》记载,苏轼言秦少游学柳永作词,并戏之曰:“‘山抹微云,秦学士,“露花倒影”柳屯田”。可见秦柳词风很相近。下边我们从《满庭芳》、《雨霖铃》来管窥同属婉约派的秦柳词风之异同(词作略)。 秦观的《满庭芳》写的是与情人离别之绪。开篇三句写别时所见所闻,点出了时 相似文献
18.
刘新文 《西南大学学报(社会科学版)》2011,37(5)
刘奋荣的《动态偏好逻辑》虽然也以冯·莱特的《偏好逻辑》为逻辑起点,然而却表现出了自己的独特优势:在方法论上采用了最新的动态认知逻辑的研究方法;在模态的偏好逻辑的基础上给出了偏好逻辑的动态形式——动态偏好逻辑;利用优先序列对偏好的原因进行了刻画;对偏好和信念的关系进行了系统的探讨;等等。 相似文献
19.
刘新文 《湖南科技大学学报(社会科学版)》2011,14(3):23-25
一个证伪系统是由证伪公理和证伪规则组成的推演系统。证伪公理都是非有效的公式,而证伪规则保持非有效性。张清宇在1996年(基于他在1986年的工作)提出了证伪系统的概念并为古典命题逻辑建立了自然推理型证伪系统N珚和希尔伯特型证伪系统H珚,本文在此基础上做进一步的推广以包括直觉主义命题逻辑、模态命题逻辑的证伪系统并做一般性讨论。 相似文献
20.
以罗伯特·范·罗伊的工作为基础,展示如何通过形式化的方法把三段论逻辑扩充到全部命题逻辑.文中将依次给出按现代逻辑标准形式化的三个逻辑:亚里士多德的三段论逻辑SYL,引入否定词项等之后的扩充系统SYL+,最终得到从三段论逻辑扩充而来的命题逻辑SYL-PL. 相似文献