DRS是DRT的灵魂部分，DRT对自然语言语义的刻画正是通过DRS来实现的。每个DRS都是由话语所指集和DRS-条件集构成的有序对。从DRS的模样可以看出，它和一阶谓词逻辑的公式是十分相象的，如果我们分别给出二者的严格定义，并在此基础上对二者间的翻译也进行定...[详细]
本文通过论述类型-逻辑语法与逻辑形式系统的深刻联系，揭示了该理论以逻辑推理为基础的主要特色。这主要体现在两个方面：其一是类型-逻辑语法与相干逻辑、线形逻辑等逻辑系统同属于所谓的子结构逻辑；其二是依据柯里―霍华德同构定理，类型-逻辑语法中的两...[详细]
本文以科斯塔弗协调逻辑系统的技术处理为依据来分析命题 与其弗协调否定 之间的逻辑关系、弗协调矛盾和不矛盾律与经典逻辑矛盾和不矛盾律的差别；指出科斯塔弗协调逻辑不是真正意义上的弗协调逻辑，但是科斯塔弗协调逻辑作为非经典逻辑其理论意义是重大的...[详细]
我们提出三类知道活动的系统，分别证明它们相对匹配的语义有框架可靠性和框架完全性。 [详细]
近几十年来，逻辑学家们的兴趣发生了较大的变化，他们已经把认知动作和过程作为中心问题来研究，即所谓的“动态转向”。其中主要的流派有动态认知逻辑、更新逻辑、信念修正和分支时间等。van Benthem等[vBen01]，[vBen03]研究了“公共宣称”的转换模式；B...[详细]
北京市逻辑学会、中央财经大学现代逻辑研究所、中国逻辑学会经济逻辑专业委员会今天在这里举行“逻辑•理性与构建和谐社会”学术研讨会，这是逻辑界的一件大事。这次会议的主题很好，体现了时代精神。我代表中国逻辑学会向大会表示热烈的祝贺！预祝大...[详细]