逻辑图：从古典到形式化的发展

古典的逻辑图主要包括欧拉图和文恩图（一般也把经过皮尔士改造过的文恩图“皮尔士-文恩图”包括在内）。由于可靠（且完全）的逻辑推演规则的提出，在逻辑图从古典形式走向形式化的发展历程中，具有转折性的是皮尔士-文恩图以及皮尔士的存在图系统，现代形式的图式逻辑就是在这两者的基础上建立起来的。     

简论二维记法的概念文字

图形及其逻辑的研究正在吸引越来越多的注意,而现代逻辑自诞生起就以一种二维记法——弗雷格的概念文字出现.同时代的皮尔士也以二维方式建立了一套逻辑图形系统——存在图.为了探讨弗雷格的概念文字和皮尔士的存在图之间的联系,在阐述弗雷格的概念文字的相关内容的基础上,根据已有的研究进展,利用《形式的规律》以及皮尔士存在图的一些思想把弗雷格逻辑图形看成是一种信息处理网络,由此我们可以看到弗雷格蕴涵图与皮尔士推演指号及其内部结构之间的类似之处.     

逻辑函数功能的语言描述

逻辑电路的功能就是电路所代表的逻辑函数的功能,通常用函数表达式、真值表、卡诺图、逻辑图来表示,作者在此文中提出了逻辑函数一种新的表示方法——语言描述。     

皮尔士逻辑语义学思想

模型论肇始于20世纪30年代初期，一般追溯到塔尔斯基、马尔捷夫以及罗宾逊等，“成名”于20世纪50年代。皮尔士19世纪的工作已经开始了命题逻辑的可能世界语义学分析，也开始了多模态和量化模态逻辑的可能世界语义学分析。本文将从量词、模态词、逻辑联结词以及存在图等方面来整理C·S·皮尔士的博弈论语义学和可能世界语义学等模型论思想。     

浅析侦察回溯推理

十九世纪,美国哲学家和逻辑学家C·S·皮尔士曾提出过“溯源推理”(abduction)这一概念,以后又由N·R·汉森作了进一步的发挥,并改称其为“溯因推理”(retrodction)。随着逻辑科学的不断发展,人们根据思维进程方向的不同,又把其称为“回溯推理”。作为一种独特的思维形式,它既区别于手演绎推理,又有别于归纳推理和类     

皮尔士真理观的实践意义

C.S.皮尔士是实用主义的鼻祖,其真理观在思想史上别具一格、意义深远,但通常遭遇不少误解。皮尔士的真理观直接源自其作为指号学一部分的逻辑学,皮尔士从实用主义的认知原则出发,得出了真理是信念的确定这一判断,进而将真理视为一种逻辑探究的过程。这种观点启发了波普的证伪论,而皮氏采用的指号学三维分析法突显了社会实践的重要性,也只有在人类实践的历史发展过程中,真理本身存在着的逻辑性、过程性与社会性才会统一起来。     

有限自动机的状态—反应转移图与准正规算法

找出以状态-反应转移图给定的有限自动机的准正规算法,以此把有限自动机作为准正规算法的一个特殊类。在准正规算法的基础上,形象地比较有限自动机,正规算法及算法逻辑图式。     

哲学逻辑概论

哲学逻辑包括模态逻辑、时态逻辑、多值逻辑、道义逻辑、直觉主义逻辑等。哲学逻辑是从扩充古典逻辑或修改古曲逻辑而来的一个逻辑分类。本文分别对这类逻辑进行了简要介绍。     

论修辞逻辑的构建

古典的修辞理论的逻辑内容 ,为修辞逻辑的建构提供了基础和前提。我们认为 ,修辞逻辑是现代自然语言逻辑研究的重要内容 ,它应该以研究修辞的逻辑功能和论证形式 ,以及修辞语句的涵义为基本内容     

皮尔士的逻辑人生

皮尔士早年曾受严格的逻辑训练,坚持以逻辑学为学术目标,一生热情地追求逻辑学的改进和应用。他的逻辑思想具有广阔的视野,对于逻辑学的发展作出了杰出贡献。然而,他作为一位伟大逻辑学家,长期不被人理解,只是在近几年才重新得到发现和重视。     

浅析演绎与归纳的关系

从传统逻辑与现代逻辑的发生点,浅析演绎逻辑与归纳逻辑的关系:两者并不是截然对立的,而是统一在一个逻辑体系内,互相补充、互相不可替代,构成了一个完整的逻辑体系。     

《墨经》的“援”式类推

“援”式类推体现了《墨经》的逻辑类型, 《墨经》的逻辑类型是不同于演绎逻辑和归纳逻辑的类推逻辑。从《墨经》所讨论的主要推论形式出发来了解古代逻辑初创时期的逻辑类型, 不仅对研究中国逻辑史有重要的方法论意义, 而且对于丰富和发展普通逻辑也有很大的现实意义。     

西方逻辑的输入与明末文化思潮

明末西方逻辑的输入是中西文化第一次碰撞的产物.西方传教士在传播宗教的过程中也把西方的逻辑学介绍到中国.对于传教士来说,译介西方逻辑是为传播宗教服务的.而具有科学思想的中国士大夫显然有别于传教士,如果说徐光启翻译西方的演绎逻辑是翻译西方科学的副产品的话,那么李之藻翻译<名理探>则是为了矫正明末空疏的学风.     

汉语的句法语义特征和语言逻辑研究

汉语句子具有灵活的语序 ,主语、宾语和状语可出现在不同的位置上而使得句义大致保持不变。从范畴类型逻辑角度看 ,需要提供说明汉语灵活语序的工具。因此 ,给出关于范畴位置移动的结构公设 ,构成特定的范畴类型逻辑系统 ,即多样模态逻辑 ,并给该系统的可能世界语义学的可通达关系确立相应的限制条件。其次 ,为说明汉语语义异常句的合理性 ,提出一种多体的范畴类型逻辑 ,构建有关的结构公设 ,通过相关正常语义句的推导来证明异常句的成立。此外 ,为强调句子生成过程中各种词类的搭配限制 ,从而生成合符直观和认知的句子 ,设想用类型 -逻辑语义加特征结构的并行推演来解决这个问题 ,为汉语句法和语义生成的计算机实现提供理论依据     

不应忘却的逻辑应用史——与《逻辑学百年》的作者们商榷

逻辑在中国走过了百年的历史,取得了丰硕的成果。《逻辑学百年》作为中国逻辑百年里程碑式的著作,对中国逻辑百年的发展脉络作了较详细地探讨并对逻辑理论的重要成果作了概述,把中国逻辑百年历史比较清晰地呈现出来。但是,它却忽视了我国逻辑学的应用和发展。在我国逻辑学百年的历史发展中,逻辑理论的引入、完善和发展一刻都离不开逻辑的应用。人们是始终把逻辑学作为思维工具,使其在思维实际的运用中,得以不断地完善与发展的。逻辑应用是逻辑发展的动力之一。如果不谈逻辑应用,轻视逻辑应用的理论,逻辑学就失去了存在的价值。逻辑应用仍将是我国逻辑学研究与教学的中心。     

论西方经济学的教学与形式逻辑思维方法的培养训练

由于缺乏形式逻辑的培养训练，必然导致大学生思维和方法上的障碍。而单一的辩证逻辑思维定势和泛化倾向，则表明大学生们并没有真正把握辩证逻辑的方法。这两个问题在很大程度上制约了大学生分析和解决问题技能的提高。因此，在西方经济学教学中，加强大学生的形式逻辑思维培养训练实属必要。此外，教师必须对西方经济学的“内部争论”和“外部批判”进行正确的分析和评判，以免大学生产生思想上的困惑和学习上的障碍。     

演绎证成的认知解读

演绎也是需要证成的,这如同把所有以逻辑推理为基础的科学大厦放置在一个火山口上,随时有崩溃的危险。论文在对各种演绎证成进行评判的基础上,从认知主体的角度分析,认为演绎证成其实也是一个逻辑全能问题,演绎证成在认知主体层面上才需要辩护,从而维护科学大厦的基础。     

归纳问题与休谟的心理主义解决路径

归纳问题是归纳逻辑中的根基性问题,其内涵通常被分析为心理学、逻辑学和哲学三个方面。面对归纳疑难,休谟通过排除归纳论证和演绎论证,提出了心理主义解决路径。对该路径应从肯定和否定两方面客观评价。归纳问题依然存在,对它的深入研究推动着归纳逻辑的进一步发展。     

演绎归纳的二分与结合--略论西方逻辑与印度因明之差异

逻辑与因明有着诸多差异.在逻辑中演绎与归纳是二分的,而演绎体系所要求的普遍必然性的第一原理,归纳并不能提供,这终令西学走入穷途.因明中演绎与归纳完美地于每一论式之中,而佛教认为并不存在普遍必然的因果规律,故因明并不存在西学的尴尬局面.此外逻辑与因明在各自认识方法中的地位及为自为他上亦不同.     

逻辑学人的哲学思索--读《逻辑哲学研究》

陈波教授从《逻辑哲学引论》(1990)到《逻辑哲学导论》(2000)再到新作《逻辑哲学研究》(2004)的系列专著,以哲学思考逻辑,以逻辑思考哲学,是一位真正逻辑学人的哲学思索,对中国逻辑哲学作出了历史性贡献。其著作具有信息量大、论述明晰、思想性强、态度客观、见解独到等特点,很有学术份量,值得反复阅读;还希望拓展某些内容。