在线期刊

2005年第1期[哲学逻辑]

    • (李小五)·动态认知条件句逻辑DEC2

      首先,我们构造动态认知条件句系统DEC2,给出它的一些证明论结果。其次,我们引入有序邻域语义,给出描述DEC2的特征公理的框架条件,证明DEC2相对这些框架条件是框架可靠的。最后,我们证明DEC2相对这些框架条件也是框架完全的。 [详细]

    • (李小五)·欺骗与自我欺骗

      首先,我们讨论两个主体之间的弱欺骗与强欺骗。其次,我们讨论两群主体之间的弱欺骗与强欺骗。再次,我们讨论单个主体的弱自我欺骗与强自我欺骗。最后,我们给出一个非保守扩充系统DE2。 [详细]

    • (孙卫民)·表征理论

      表征理论是近期西方分析哲学研究的一个核心领域, 并对相关学科有着相当大的影响。 已经有不少的理论被提出来, 但目前仍没有一个为大家都能接受的理论。本文试图综述当前最有影响的几个表征理论, 并给出一定的历史背景和个人评论。 [详细]

    • (李小五)·更正

      本刊上期的文章《动态认知条件句逻辑DEC1》中的定义3.9(b)的N(a, w)表述有误[详细]

版权声明:社科网的所有在线期刊内容均由各期刊编辑部根据协议提供。 任何个人、机构、网站如未经本网书面授权,私自复制或转载本网中的图片、文字,均将被视为侵权行为。此类行为一经发现,本网将依据《中国人民共和国版权法》和《互联网管理条例》,追究侵权者的责任。