论莱布尼茨本体论的二阶性

罗素于1900年发表了《对莱布尼茨哲学的批判性解释》,尝试把莱布尼茨哲学当作一个完整的系统来解释。这种解释是逻辑主义的,声称莱布尼茨的整个形而上学都建立在其逻辑学的基础上。尽管这种观点在近几十年受到了一些挑战,但至今仍是英美学界对莱布尼茨的主流解释之一。本文试图     

“思”与思维着的“我”——笛卡尔和康德自我观的异同

现代哲学的逻辑起点不是独断的外在实体,而是无需前提设定而直接自明给予的自我意识。自我主体问题成为连接笛卡尔和康德的一个核心问题。笛卡尔哲学的起点是我思故我在,康德哲学的核心是先验主体的知性为自然立法。康德通过对笛卡尔自我实体性的批判而把自我逻辑功能化,     

慢性心房颤动的导管消融治疗：依然任重道远

心房颤动,作为心律失常领域皇冠上的明珠,一直以来成为研究的热点。自从1998年Haissaguerre教授率先发现肺静脉与心房颤动的密切关系之后,心房颤动的导管消融治疗取得了突飞猛进的发展。进而,这一重要的临床进展反向地助推了心房颤动发生机制的研究进展。目前,导管消融治疗房颤领域许多难题被攻克,许多认识极大地得到了提高...     

“审美共鸣”理论的“误读”与还原

作为格式塔心理美学的代表人物,阿恩海姆将格式塔理论应用于美学从而为美学发展提供了新的视角。与此同时,也引起了人们对于其诸如审美共鸣等理论的误读。故有必要还原阿恩海姆的理论初衷与审美共鸣的发生机制,并指出其中本就包含而为人所忽视的情感因素,而这也正是造成审美差异的重要因素。     

中国企业社会责任的差异化格局——基于资本逻辑的视角

改革开放后的中国,资本以一种强劲的姿态在社会各个领域进行总体性扩张,成为当代社会不可忽视的支配性力量。资本为实现其价值增殖的本质,通过空间的扩张(即全球化进程)和领域的渗透(即市场化推进)确立自身。因资本构成、运营主体及约束机制的不同,中国企业社会责任的存在形态和发展方式呈现出差异化特征。当代中国企业社会责任的建设,应帮助企业超越资本逻辑的宰制,针对中国企业社会责任的差异化现状,依据经济、社会、文化三元生态模式进行建构。     

非形式逻辑与演绎主义

非形式逻辑出现于上个世纪70年代,它首先是一种寻求更好的大学逻辑教学方式的努力。进而,非形式逻辑学者们逐渐开始触及和探讨越来越多的理论议题,即发展不依赖于形式逻辑的关于论证以及好论证的理解方式。在1998年世界哲学大会上,布莱尔和我阐释了非形式逻辑为哲学所带来的理论后果,其中一点我们称之为“演绎主义的终结”。那时我们并未给出演绎主义的定义,而只是把它等同于麦金泰尔的那个精炼的说法：“任何推理,不是演绎的,就是有缺陷的。”但现在看来,我们在当时就作出“演绎主义的终结”这一论断,显然是有点为时过早了。因为演绎主义似乎至今都还很有生命力,甚至在那些倾向于非形式逻辑的学者那里它也能得到支持：恩尼斯长期以来都辩护演绎主义是一种论证重构策略,格罗尔克更是致力于辩护它是一种论证评价理论。在本文中我将论证,非形式逻辑最好被理解为一种不诉诸于演绎技巧和演绎规范的逻辑研究。当我们意识到演绎和演绎主义已经如何深深地扎根于我们的哲学发展史中,并且牢牢地控制了我们关于逻辑研究的理解,我们就能明白非形式逻辑这一理论努力是多么的困难和重要。我将首先澄清“演绎主义”的意思,然后再分别考察那些赞成和反对演绎主义的论证,最后,我将表明非形式逻辑是从演绎主义中挽救逻辑的理论尝试。     

哥德尔的一阶逻辑完全性证明的原始版本

哥德尔的一阶逻辑完全性定理（1929）是数理逻辑的基石。当代的逻辑学学生学习数理逻辑时大都直接接触Henkin（1949）的改良证法,该法简明扼要,并将原证法的“关于可数语言的限制”扩展至“任意基数的语言”。本文用改进的当代逻辑学术语简要重述了哥德尔的一阶逻辑完全性定理的原始证明,这一证明在很大程度上已经为人所遗忘。作者并择要指出原证明中未声明地使用了Konig引理（1926）。     

第3届逻辑、理性与互动国际研讨会综述

逻辑、理性与互动国际研讨会（The International Workshop on Logic,Rationalityand Interaction,LORI）旨在集合逻辑学家和他们在哲学、语言学、计算机科学、认知科学,尤其是知识互动话题方面,如信念和行动等领域的工作。LORI-3于2011年10月10日到13日,在中国广州举办。主办方是中山大学逻辑与认知研究所。下面是一份LORI-3的简要的会议综述,根据内容进行了分类。完整的会议论文集收录在了Logic,Rationality,and Interaction,LNAI 6953号,     

从现代逻辑观点看中国古代的有效推理

中国古代逻辑也是研究推理和论证的。推理和论证的主要目的是揭示一个命题为真的原因或理由。推理关系是一种 ＂必然地得出＂ 的关系。墨子提出了四种推理模式：＂辟＂、＂侔＂、＂援＂、＂推＂,而且把 ＂推＂ 又分为两种 ＂止＂,即归纳＂止＂ 式推论和演绎 ＂止＂ 式推论。特别地,墨家提出了 ＂效＂ 作为判定推理是否有效的标准。     

内涵逻辑发展的新趋势——应用逻辑系列《内涵逻辑的进展》一书简介

从哲学和数学的传统主题到认知科学、计算机科学、人工智能和语言学等更加新近的学科,当代逻辑科学正日益广泛地应用于众多的学科之中,这一结果的产生使逻辑这门古老的学科充满了生机和活力。1997年荷兰克鲁尔出版公司出版的《应用逻辑系列丛书》,便是对上述观点的一个极好的佐证。