中山大学人文科学学院逻辑与认知研究所
- 作品数：368 被引量：1,078H指数：16
- 相关作者：熊明辉鞠实儿曹发生赵希顺任远更多>>
- 相关机构：南开大学哲学院华南师范大学政治与行政学院山东大学哲学与社会发展学院更多>>
- 发文基金：国家社会科学基金教育部人文社会科学重点研究基地度重大研究项目教育部人文社会科学研究重大课题攻关项目更多>>
- 相关领域：哲学宗教理学政治法律文化科学更多>>
- 基于时态数据库的极小子结构逻辑系统被引量：18
- 2013年
- 逻辑是知识表达的重要方法,但由于时序性知识与时间属性知识交叉应用的复杂性,其对时态数据库支撑一直不尽如人意.目前时态数据运算体系不完备,时态关系演算缺乏系统和有力的逻辑与代数理论支持.为此,文中从子结构逻辑出发,针对时态数据库及其信息处理中关键的知识推理、时态操作与函数依赖等内容,构建了一个极小的(最小的)子结构逻辑系统TDLmin,其恰好等价于传统的数据库函数依赖Armstrong规则.TDLmin系统能在逻辑语义模型中对时序性、时间属性进行表达,而在句法逻辑系统将时间剥离,从而既表达了时态知识,对时态操作进行处理,又降低了逻辑系统的复杂度,使得逻辑系统的时间复杂度为P-time(O(n2)).而该逻辑系统还可与传统的Allen方法进行对接,使得相关时态查询所需的时间代价为传统非时态查询的时间加上一个复杂度仅为O(n)的线性时间,从而使得系统具有更强的普适性和应用前景.
- 刘冬宁汤庸滕少华林哲
- 关键词：时态数据库时态查询函数依赖
- 说话者的意图被引量：3
- 2004年
- 意图是话语意义的重要方面。意图有很多类型,语效意图和语旨意图是分析话语意义的最重要的两种意图,它们的实现都离不开听者对它们的认识。意图的成功交流依赖于一定的条件。
- 王晓萍
- 关键词：说话者话语意义
- 适于认知系统和条件句系统的更新语义(英文)被引量：2
- 2008年
- 更新语义是一种刻画单个主体信息变化的语义。本文我们首先提出由Veltman[1]提出的更新语义的某些变种,从而证明某些认知系统和条件句系统相对这些变种有模型可靠性和模型完全性。其次,我们提出带两分定义的更新语义的某些变种,从而证明某些认知系统和条件句系统相对这些变种有框架可靠性。
- 李小五
- “全国逻辑与计算机科学学术研讨会”综述
- 2002年
- 熊明辉
- 关键词：逻辑学哲学逻辑逻辑哲学
- 浅论中国数理逻辑发展
- 现今关于中国数理逻辑的发展，多是历史事件的记录和论著的收集和介绍。报告人将基于他对数理逻辑的认识以及对国际数理逻辑发展的了解，尝试论述中国数理逻辑的发展。
- 赵希顺
- 策略操控:语用论辩学之修辞拓展被引量：35
- 2015年
- 如何通过批判性讨论合理解决正反双方意见分歧是语用论辩学的核心问题。但在现实论辩话语中,论辩者不仅要遵守合理性标准,还会努力通过修辞策略使论辩结果对自己最有效。鉴于此,语用论辩学近年来逐步尝试修辞维度的理论拓展,提出了"策略操控"概念及其分析方法。以策略操控概念为核心的语用论辩学拓展理论凸显了论辩者为实现论辩合理性和论辩有效性的微妙平衡而在潜在话题、受众需求和表达手段三方面的运筹帷幄,对法律、政治、医疗等交际领域的论辩话语实践均有较强的解释力和应用价值。后续研究应在哲学、理论、实证、分析和实践五个层面上深入探究策略操控现象,并进一步完善其语境分析、修辞分析和谬误识别标准。
- 吴鹏熊明辉
- 关键词：修辞学
- 交互主体性与他人——论胡塞尔交互主体性现象学的意义与界限被引量：10
- 2008年
- 朱刚
- 关键词：交互主体性胡塞尔现象学笛卡尔沉思
- 吐蕃时期古印度因明文献初析——以敦煌藏文残卷P.T.0123为例
- 2016年
- 对《法藏敦煌藏文文献》中发现的敦煌藏文残卷P.T.0123进行研究,可以发现以下三方面的特点:一是P.T.0123号写卷应由法称的《正理滴论》和《成他相续论》、律天所著《正理滴论疏》和《成他相续论疏》四部残卷组成。二是通过对P.T.0123号写卷与四部不同版本的《丹珠尔》中相关论典版本的比较,认为《成他相续论》是印度堪布扎拿牟扎和大译师完德叶西等翻译审定;《正理滴论疏》是印度堪布释达斯哈和大译师比丘巴泽翻译审定;《成他相续论疏》是大译师巴泽热切达翻译审定。三、敦煌本《正理滴论》产生年代晚于1312,是纳唐版或者是后期单行本的校勘版。
- 改玛本
- 关键词：敦煌藏文文献
- 什么是法律逻辑?
- 本文从法律与逻辑的历史关系入手,考察了法律逻辑产生的背景及发展过程。针对法律逻辑在当今时代发展的特点,提出综合性的法律逻辑观点,作者认为,法律逻辑应包括形式逻辑在法律的运用理论和法律中的特殊逻辑理论两个层次。形式逻辑在法...
- 梁庆寅张南宁
- 关键词：法律逻辑法律推理
- 文献传递
- 信息系统更新的自动机被引量：2
- 2015年
- 通过引入信息等价和信息范式这两个主要概念,给出了信息系统更新的自动机。用自动机理论给出信息系统更新的模型的刻画,证明了星动作算子在信息系统的动态更新的逻辑系统的引入的不必要性,并且得到了自动机的语言和信息更新的联系。最后利用自动机理论研究了信息系统及其更新逻辑系统的模型检测的时间复杂性。
- 曹发生
- 关键词：信息系统自动机
