中国逻辑史研究若干问题

中国逻辑史研究 ,是近百年来兴起的新事物。经几代学者努力 ,已获得丰硕成果 ,今天的中国逻辑史学科和研究方向 ,在中国学术和教育领域占有一定地位 ,引起海内外学者关注。持续百年的中国逻辑史研究 ,近年涌现以更新、转换方法为标记的回顾、反思和再认识潮流 ,并伴生诸多尖锐问题。正确反思过去 ,分析当前问题 ,有助于研究的开展和深入。一、中国古代逻辑是否存在。崔清田主编《名学与辩学》 (山西教育出版社 ,1 997年版 )“后记”说 :“《名学与辩学》是国家教委‘八五’人文社科规划项目的研究成果。”“《名学与辩学》被作为中国逻辑史…     

论栾调甫中国逻辑研究范式

栾调甫提出读《墨子》书必有八法,即考版本、正文字、明训诂、离章句、辨真伪、定篇什、辑遗佚、辨异同,此八法为“实证”之一端。栾调甫基于此八法以“虚会”之另一端建构墨家辩学知识体系,内容包括《墨子》的考版本、正文字、明训诂等内容;还有对同时代学者相关研究的批判;又有自己义理分析,如其认为墨子之辩学亦为名学,为中国逻辑代名词,其他诸子无辩学,中国逻辑特征为别同异、明是非。栾调甫的墨子辩学思想包括知识论和理论体系,其中知识论是墨子辩学形成的思想基础,墨子辩学之理论体系包括名的特征、种类,辞的特征、种类,辩说的特征、结构、应用和种类,狂举的定义和种类等,墨子辩学与因明、亚氏三段论之异大于同。不过栾调甫也把《墨子》中的“逻辑”应用视作逻辑理论,并与三段论、三支论式作比较,但栾调甫的中国逻辑研究“虚会实证”范式为我们重建中国逻辑思想体系提供方法论意义。     

中国当代归纳逻辑研究概况

我国归纳逻辑的研究始于20世纪初,但直到20世纪80年代初西方现代归纳逻辑传入国内之后,才开启了我国当代归纳逻辑研究的新时代。在这近三十年的研究中,广大归纳逻辑学者围绕着形式与非形式、概率与因果、巴斯卡概率与非巴斯卡概率这些核心问题进行了广泛而深入的探讨,取得了丰硕的成果;此外,在应用研究和逻辑哲学问题研究方面也取得了重要的进展;与此同时,我国学者还积极开展了国际交流与合作,并取得了一定的成绩。     

基于信息元的隐喻逻辑初探

隐喻理解是涉及非字面义理解的特殊的认知形式,一个字面义为假的隐喻表达同样具有有效传达信息的能力。若将隐喻理解过程视为信息的传递和解读,而非简单的真值判定,则它与非隐喻表达并没有本质差别。因此,信息流理论的基本观点在描述隐喻理解上具有优势。本文基于情境理论和模态逻辑对隐喻进行形式化,通过描述源域、目标域内部的信息联系和两个概念域之间的跨域联系,定义一个语句作为隐喻被理解的条件,并通过构造一个隐喻逻辑,得到一些隐喻理解的特有性质,以更好地对一个静态的隐喻理解过程作出解释。     

论证实践与中国逻辑史研究

百余年来,中国逻辑史研究重在构建类似于西方逻辑的中国古代逻辑理论的发生发展史,往往将中国古代论证实践视作西方逻辑理论的例证,从而忽视了中国古代论证实践的研究价值。与之相对,以中国古代论证实践为出发点,并基于文化背景与文本语境等相关因素予以如实的描述与分析,不仅有助于理解中国古代有关论证的理论学说,而且有助于中国古代的哲学、文学等相关领域研究。因此,中国古文献中颇为丰富的论证实践值得重视。     

中国创业者的创业决策逻辑研究

本研究以Sarasvathy提出的效果决策逻辑理论为理论基础,对中国创业者的创业决策逻辑特点进行研究。研究共访谈28名成功创业者,并借助扎根理论对访谈资料进行分析。结果表明中国创业者的创业决策效果逻辑是一个5维结构,包含资源导向、变通性、利用偶然因素、战略联盟、可承受损失。成功的创业者和新兴领域的初创业者都更倾向于效果逻辑;在相对确定的创业领域,初创业者更倾向于因果逻辑。本研究启示是创业教育应该注重培养潜在创业者的效果逻辑思维。     

梁启超范式与中国逻辑史研究

逻辑学东渐,启发了梁启超的中国传统学术研究;用西方传统逻辑研究墨家逻辑形成了梁启超研究范式,并影响着中国逻辑史的百年研究。在对其研究范式的肯定与否定的争论中,形成了三种主要立场：中国形式逻辑史、中国名学与辩学史、中国符号学史。我们认为,逻辑观的问题是解决中国逻辑史界论争的关键。     

《资本论》逻辑方法的中国运用——侯外庐的中国逻辑思想史研究

中国逻辑思想史研究是侯外庐中国思想史研究的有机组成部分。侯外庐坚持马克思主义的逻辑观,运用文献学、社会史与中西比较的研究方法,在对中国逻辑思想史的发展脉络进行梳理的基础上,从逻辑思想的载体、主题与发展动力方面发掘了中国逻辑思想史的特点,对于二十世纪的中国逻辑思想史研究产生了深刻影响。     

世界逻辑元研究的进展--评《逻辑学思想史》

张家龙主编的<逻辑学思想史>(张家龙、刘培育、郑伟宏、邵强进合著)已由湖南教育出版社出版.我是该书审稿人和热心读者,多次阅读,反复体味,深感其多有堪向广大读者推介的特色和优点.     

中国技术哲学元研究30年

##正##技术哲学是人们对技术的哲学反思,是运用哲学的视角和方法研究技术所建立起来的一门学科。1984年出版的《中国哲学年鉴》,在研究状况和进展栏目中首次刊出文献综述《技术哲学研究简况》,将技术哲学列为哲学的一个分支学科或领域。学术界通常认为,陈昌曙于1982年10月在《光明日报》上发表的《科学与技术的差异和统一》一文是中     

General information in relevant logic

This paper sets out a philosophical interpretation of the model theory of Mares and Goldblatt (The Journal of Symbolic Logic 71, 2006). This interpretation distinguishes between truth conditions and information conditions. Whereas the usual Tarskian truth condition holds for universally quantified statements, their information condition is quite different. The information condition utilizes general propositions. The present paper gives a philosophical explanation of general propositions and argues that these are needed to give an adequate theory of general information.     

Reasoning about actions and obligations in first-order logic

We describe a new way in which theories about the deontic status of actions can be represented in terms of the standard two-sorted first-order extensional predicate calculus. Some of the resulting formal theories are easy to implement in Prolog; one prototype implementation—R. M. Lee's deontic expert shell DX—is briefly described.This research was partially supported by the Esprit III Basic Research Working Group No. 8319 ModelAge.     

Capturing equilibrium models in modal logic

Here-and-there models and equilibrium models were investigated as a semantical framework for answer-set programming by Pearce, Valverde, Cabalar, Lifschitz, Ferraris and others. The semantics of equilibrium logic is given in an indirect way: the notion of an equilibrium model is defined in terms of quantification over here-and-there models. We here give a direct semantics of equilibrium logic, stated for a modal language embedding the language of equilibrium logic.     

Interpretations of intuitionist logic in non-normal modal logics

Historically, it was the interpretations of intuitionist logic in the modal logic S4 that inspired the standard Kripke semantics for intuitionist logic. The inspiration of this paper is the interpretation of intuitionist logic in the non-normal modal logic S3: an S3 model structure can be 'looked at' as an intuitionist model structure and the semantics for S3 can be 'cashed in' to obtain a non-normal semantics for intuitionist propositional logic. This non-normal semantics is then extended to intuitionist quantificational logic.     

Dynamic epistemic logic with branching temporal structures

van Bentham et al. (Merging frameworks for interaction: DEL and ETL, 2007) provides a framework for generating the models of Epistemic Temporal Logic (ETL: Fagin et al., Reasoning about knowledge, 1995; Parikh and Ramanujam, Journal of Logic, Language, and Information, 2003) from the models of Dynamic Epistemic Logic (DEL: Baltag et al., in: Gilboa (ed.) Tark 1998, 1998; Gerbrandy, Bisimulations on Planet Kripke, 1999). We consider the logic TDEL on the merged semantic framework, and its extension with the labeled past-operator “P _ϵ” (“The event ϵ has happened before which. . .”). To axiomatize the extension, we introduce a method for transforming a given model into a normal form in a suitable sense. These logics suggest further applications of DEL in the theory of agency, the theory of learning, etc.     

中国逻辑史视野下的先秦易学与名辩学

19世纪以来的中国逻辑史研究,比照西方逻辑,仅仅将先秦的名辩学看成是中国逻辑史的主要部分。其间虽有对《周易》的涉及,但也是浅尝辄止。本文从《周易》经、传产生的年代,特别是《周易》经、传所蕴涵的逻辑内容与先秦名辩逻辑的代表人物孔子、惠施、邓析等人的思想对比,说明先秦易学逻辑对名辩逻辑产生了深刻的影响。得出《周易》的经、传发轫了中国古代逻辑中的推类理论,而名辩学尤其是墨家辩学的推类理论则是对自《周易》以来的推类逻辑传统的总结和提高的结论。