模态系统的推理规则的强弱虚实

发布时间：2018-03-28 19:34

  本文选题：模态系统　切入点：强推理规则　出处：《现代哲学》2004年04期

【摘要】：模态系统的推理规则可以用强弱虚实这四种性质进行分类。在一个系统中这几种性质无论在语形上还是语义上都有一定的联系和区别,有些性质在一个系统的变种或扩充中并不一定保持。
[Abstract]:The inference rule of modal system can be categorized by four properties: strong, weak, virtual and real. In a system, these properties are related and distinguished both in form and semantics, and some properties are not necessarily maintained in a variant or expansion of a system.

【作者单位】： 中山大学逻辑与认知研究所哲学系
【分类号】：B815.1

【相似文献】

相关期刊论文 前10条

1 杜岫石;SAP不能换位为PAS吗?[J];江汉论坛;1982年06期

2 张凤华;杨群;张庆林;汤永隆;;条件推理中的二元效应初探[J];心理科学;2008年06期

3 欧阳丹彤，刘叙华;关于strong形RUE－NRF归结的反倒[J];计算机学报;1994年05期

4 林尚垣;;谓词逻辑推理与机器证明[J];安庆师范学院学报(自然科学版);2005年04期

5 霍书全;;推理关系形式化产生的问题及哲学思考[J];广东广播电视大学学报;2006年04期

6 麻昌贵;;“在愚人节里”的故事不能说明联言判断原理——与彭涟漪、余式厚先生商榷[J];贵州教育学院学报;2008年08期

7 于西昌;谭桂梅;张兴芳;;连续值命题逻辑系统中公式的条件概率真度[J];计算机工程与应用;2009年28期

8 谭桂梅;于西昌;;G銉del命题逻辑中公式概率真度的相似度及伪距离[J];计算机工程与应用;2010年20期

9 于西昌;谭桂梅;;几种逻辑系统中的概率真度[J];计算机工程与应用;2011年12期

10 于西昌;张兴芳;;连续值命题逻辑中公式的概率真度及相似度[J];计算机工程与应用;2009年24期

相关会议论文 前10条

1 方毅;;牛顿的哲学推理规则之思考[A];第二届中国科技哲学及交叉学科研究生论坛论文集（博士卷）[C];2008年

2 李喜初;;试论《易经》符号系统的推理规则[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

3 彭展;;一阶谓词系统的独立性[A];2004年逻辑研究专辑[C];2004年

4 高欣;;基于条件不确定性的不确定推理研究[A];第三届中国智能计算大会论文集[C];2009年

5 姚旭晨;马建强;;几个汉语典型语言现象的范畴语法分析[A];中国计算机语言学研究前沿进展（2007-2009）[C];2009年

6 李娜;;认识论模态逻辑E-系统的布尔值模型[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年

7 赵岚;胡九川;;基于数据表的模糊推理规则生成法[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

8 赵新生;高善清;邢立新;许梅生;;炮兵军用文书智能处理的主要模型及推理规则[A];计算机模拟与信息技术会议论文集[C];2001年

9 荣凌燕;刘国华;沈兵红;李现伟;;基于树元组的XML多值依赖推理[A];2006年全国理论计算机科学学术年会论文集[C];2006年

10 石翌轶;;基于前向链策略的RDF闭包生成技术研究[A];2008'中国信息技术与应用学术论坛论文集（一）[C];2008年

相关重要报纸文章 前10条

1 丁柱杉;禄丰庙山小学尝试开设儿童哲学课[N];楚雄日报(汉);2007年

2 文/高君;网站流量缘何飚升？[N];计算机世界;2004年

3 刘达;GOOGLE百度联姻中国搜索坚持“智能化”革命[N];中国经营报;2004年

4 黄中;自控科技走向全面智能化[N];中国知识产权报;2001年

5 马振兵;加强党员违纪案件审理报告的说理性[N];镇江日报;2008年

6 郭韦钰 丁连红;语义Web和语义网格[N];中国计算机报;2004年

7 朱林源;判决书“本院认为”部分的写作探讨[N];江苏经济报;2000年

8 李建会;人工智能：挑战人类智慧的科学[N];科技日报;2000年

9 本报记者 曹腾;G长力部分限售股解禁[N];中国证券报;2006年

10 丁丽芳;女性管理者在企业中的作用[N];发展导报;2003年

相关博士学位论文 前10条

1 张忠平;基于约束的XML数据库模式规范化研究[D];复旦大学;2004年

2 谈子敬;XML的完整性约束[D];复旦大学;2003年

3 毛明毅;面向对象的广义空间逻辑运算模型与推理研究[D];西北工业大学;2006年

4 项森;基于逻辑的程序验证方法在高可信软件开发上的应用[D];中国科学技术大学;2006年

5 余延生;航天器贮箱液体非线性晃动动力学的多维模态分析方法[D];哈尔滨工业大学;2007年

6 华保健;一种用于指针程序安全性证明的指针逻辑[D];中国科学技术大学;2008年

7 李兆鹏;汇编指针程序安全性验证的研究[D];中国科学技术大学;2008年

8 赵华伟;两种安全协议形式化理论的研究[D];山东大学;2006年

9 周平;基于格蕴涵代数的格值逻辑中的近似推理研究[D];西南交通大学;2007年

10 王治纲;分布式环境中基于本体的RBAC策略研究[D];华中科技大学;2006年

相关硕士学位论文 前10条

1 苏召;XML弱函数依赖与单依赖集合的研究[D];燕山大学;2007年

2 左丽娟;基于多Agent技术的电子商务模拟系统的研究与实现[D];河海大学;2002年

3 孙丽娜;言语交际中的语用推理述评[D];燕山大学;2009年

4 黄金华;正规模态逻辑的自然演绎及其证明论性质探微[D];华南师范大学;2007年

5 李明洋;基于本体的教育资源知识点推理研究[D];重庆大学;2009年

6 林晖;专利信息检索实验系统的研究与实现[D];北京邮电大学;2009年

7 荣凌燕;XML多值依赖问题的研究[D];燕山大学;2006年

8 王其冰;本体查询和推理规则在学科概念建模中的应用[D];华东师范大学;2009年

9 陈莉;基于领域本体的智能搜索系统的研究和应用[D];南京航空航天大学;2008年

10 王梅娟;XML数据的规范化存储[D];南京师范大学;2007年

，

本文编号：1677783