在线期刊

逻辑与认知[2005年第3期]

  • 语言逻辑

    • (夏年喜)·DRS与一阶谓词逻辑公式

      DRS是DRT的灵魂部分,DRT对自然语言语义的刻画正是通过DRS来实现的。每个DRS都是由话语所指集和DRS-条件集构成的有序对。从DRS的模样可以看出,它和一阶谓词逻辑的公式是十分相象的,如果我们分别给出二者的严格定义,并在此基础上对二者间的翻译也进行定...[详细]

    • (张秋成)·类型-逻辑语法与逻辑形式系统的深刻联系

      本文通过论述类型-逻辑语法与逻辑形式系统的深刻联系,揭示了该理论以逻辑推理为基础的主要特色。这主要体现在两个方面:其一是类型-逻辑语法与相干逻辑、线形逻辑等逻辑系统同属于所谓的子结构逻辑;其二是依据柯里―霍华德同构定理,类型-逻辑语法中的两...[详细]

  • 哲学逻辑

    • (杜国平)·经典逻辑视野中的弗协调逻辑

      本文以科斯塔弗协调逻辑系统的技术处理为依据来分析命题 与其弗协调否定 之间的逻辑关系、弗协调矛盾和不矛盾律与经典逻辑矛盾和不矛盾律的差别;指出科斯塔弗协调逻辑不是真正意义上的弗协调逻辑,但是科斯塔弗协调逻辑作为非经典逻辑其理论意义是重大的...[详细]

    • (李小五)·三类知道活动的逻辑

      我们提出三类知道活动的系统,分别证明它们相对匹配的语义有框架可靠性和框架完全性。 [详细]

  • 人工智能逻辑

    • (郭佳宏)·更新模型下一类推理难题的形式化解释

      近几十年来,逻辑学家们的兴趣发生了较大的变化,他们已经把认知动作和过程作为中心问题来研究,即所谓的“动态转向”。其中主要的流派有动态认知逻辑、更新逻辑、信念修正和分支时间等。van Benthem等[vBen01],[vBen03]研究了“公共宣称”的转换模式;B...[详细]

  • 征稿通知

    • (编辑部)·征稿启事

      逻辑学正在经历它诞生以来的一次重要变化 :逻辑学的认知转向; 它在两个方向进行: (1)认识逻辑方向:所谓认识逻辑是指在对认识论概念分析和对认识过程直观理解基础上构造起来的逻辑系统; (2)心理逻辑方向:所谓心理逻辑主要是指在对人类高级思维的...[详细]

  • 会议发言

    • (张家龙)·构建和谐学会,为全面实现我国逻辑教学和研究的现代化而奋斗

      北京市逻辑学会、中央财经大学现代逻辑研究所、中国逻辑学会经济逻辑专业委员会今天在这里举行“逻辑•理性与构建和谐社会”学术研讨会,这是逻辑界的一件大事。这次会议的主题很好,体现了时代精神。我代表中国逻辑学会向大会表示热烈的祝贺!预祝大...[详细]

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