关于“逻辑”译名的演变及论战

当前我国高校普遍开设的逻辑课,又称为形式逻辑、普通逻辑或曰传统逻辑。这门课的主要内容是由古希腊亚里士多德创立、并经后人发展了的演绎逻辑,以及十七世纪英国人培根,十九世纪弥尔(穆勒)等人奠基的归纳逻辑。可见,形式逻辑作为一门完整的科学,算是舶来品。随着这门科学的引进,它的名称“逻辑”一词在我国提出并流行开,从而得到社会的公认、确定为学科名     

刑事侦查假说初探

刑事侦查假说是传统逻辑（指“形式逻辑”或“普通逻辑”）所未论及的一个问题。在逻辑学的发展过程中,也很少有人系统地提到它。本文就图将这一问题提出一些粗浅的看法,以求教于逻辑学的研究者及广大读者。     

从中西语言的差异追溯中西哲学的差异

汉语与西方文字的差异,即象形文字或表意文字与拼音文字的差异。这种差异的根子,在于由对待判断系词“是”而导致的两种不同的思想制度。透过西方文字的“being”,可以追溯到亚里七多德形而上学的“本体”和附属于本体的属性或形式的学说。化为形式逻辑,则是以同一律为基础的三大逻辑规则。Being不但是哲学与逻辑统一的基础,也是宗教、科学的基础,又是以主体一客体或文化一自然为代表的各种范畴一一对立的基础,总之,being标志着一种“垂直的逻辑”思维模式。汉语中的“是”从传统使用中就没有严格的形式逻辑意义上的系词效果,而是一种横向的类比思维,也就是把不一样的事物说成是一样的。在传统上称之为“兴”,即所谓“象征”。在效果上,汉语思维传统属于一种“横向的逻辑”思维传统,它模糊西方意义上的学科界限。     

从《论持久战》看辩证逻辑的论证原则

论证(包括证明与反驳)是逻辑学研究的重要内容。无论传统逻辑还是目前国内高校广泛使用的各种形式逻辑(又称普通逻辑)、符号逻辑教本,都把它作为一个重要研究内容。先看形式逻辑。试从目前国内影响最大的《形式逻辑》(金岳霖主编)和《普通逻辑》(吴家国等编写)来说,都设专章研究论证。由于论证要综合运用各种思维形式和逻辑方法,要遵守思维的基本规律,所以它与形式逻辑的其它内容有着密切的关系。可以说,形式逻辑理论是把论证作为逻辑学的总结来论述的。     

检验教学真理性的唯一标准只能是社会实践

数学真理性的标准问题,数学界存在着不同的看法.有人认为,验证数学真理性的“最后标准”是形式逻辑.也有人认为,形式逻辑和社会实践二者都是验证数学真理性的客观标准.这些看法是值得商榷的.我认为,检验数学真理性的唯一标准只能是社会实践而不是形式逻辑.为什么呢?要回答这个问题,必须从分析实践验证(或称实践证明)和数学中的逻辑证明的特点、作用及其二者的关系入手.     

客观世界的n元关系——兼谈传统形式逻辑和数理逻辑

当代形式逻辑对客观世界n元关系的研究,其视野是传统形式逻辑和数理逻辑无法相比的。从主导思想上看,传统形式逻辑是真正的名副其实的逻辑科学,但它只研究1元关系,不研究多元关系和真正普遍有效的关系推理,因此,传统形式逻辑顶多只能算n分之1的逻辑。数理逻辑虽然把1元或多元关系作为自己的研究对象之一,但它没有从内涵的角度去区分关于同一外延的k个尽管相当然而并不相同的n元关系,从量上说至少是"挂1漏k-1"的,即只从外延的角度研究一种关系而漏掉(k-1)种关系,因此,纯外延的数理逻辑顶多只能算k分之1的逻辑。当代形式逻辑从研究论域上的n目组和n目组集入手,亦即通过确定论域上的个体的所有不同序列,对论域上n个个体(n≥1)之间的所有关系进行了逻辑科学应有的全方位研究。     

法律论证的逻辑——试论法律逻辑的定位

法律逻辑作为法律实践中极其重要的法学方法论,我国的理论与实务界对其定位与研究方法都存在一定的争论。回顾了西方近现代法哲学界对法律与逻辑关系的探讨,这些探讨,特别是20世纪70年代以来在西方法哲学界所兴起的法律论证理论,为中国法律逻辑的定位提供了新的视角与维度,中国的法律逻辑应定位为法律论证的逻辑;20世纪中后期在西方逻辑学界所兴起的非形式逻辑思想,为中国法律逻辑的理论研究与实践提供了新的方法与理论基础。     

浅议非形式逻辑在高等教育中的意义

非形式逻辑以自然语言论证为研究对象，弥补了传统逻辑和现代逻辑在实际运用中的不足。在高等教育在开展非形式逻辑教育，有助于大学生进行逻辑思维训练、弥补传统思维方式的不足、学习间接知识经验、形成良好的知识结构、准确地表达和交流思想、形成正确的人生观和世界观，从而提高高等教育的人才培养质量。     

充分条件关系及其两个特异性

充分条件关系的定义历来是逻辑学关注的焦点,传统形式逻辑的界说是“朦胧的正确”,而正统数理逻辑的规定实为“清晰的荒谬”。“事件A是B的充分条件”的逻辑含义是“可独于A、B的有无确定（这称为“第一独立性”）不会是有A而无B”。这便是非纯真值函数的复合事件——充分条件事件“若A则B”。其间的“前件A为有可独立于后件B的有无确定”称为“第二独立性”。包含在充分条件关系中的逻辑性质两个独立性是人类能以有限把握无限、从已知进入新知的逻辑依据,是逻辑科学这座大厦两块坚实的基石。     

逻辑固法:对法律逻辑作用的感悟

虽然在近百年的西方法学中,逻辑的功能受到了一些学者的批判,但必须看到,法律与逻辑有着不可分割的联系。从法律方法论的角度看,逻辑规则在解释法律、论证法律的时候有固定法律意义的功能。所以,法律学人必须认真地对待逻辑尤其是形式逻辑。这对法律思维方式的形成、法制建设、法学教育等有着重要的意义。     

《大学语文》古代散文教学中形式逻辑的应用问题

本文提出,形式逻辑的诸种思维形式结构,在古代散文中都可找出它们比较典型的样式或隐含形式。有的句子,单从训诂和语法方面是讲不清楚的,运用逻辑知识,则豁然开朗,使人明其底蕴。作为日常思维工具的形式逻辑离不开自然语言,应研究古今中外语言中的逻辑问题,以利于形式逻辑的改造与提高。     

本刊编委

张家龙中国社会科学院哲学研究所研究员、博士生导师,燕山大学文法学院首席教授。主要从事现代逻辑、西方逻辑史和逻辑哲学的研究。现任中国逻辑学会会长、国家社会科学基金哲学规划评审组成员。1965年到中国社会科学院哲学研究所工作,历任哲学研究所逻辑研究室主任、职称评审委员会副主任、学位委员会副主席、中国社会科学院正高级专业技术职务评委会委员。主要专著有:《数理逻辑发展史》、《艾耶尔》、《布拉德雷》、《模态逻辑与哲学》、《逻辑学思想史》;合著有:《形式逻辑原理》(1993年获中国社会科学院第一届优秀科研成果奖)、《西方…     

论周礼全的辩证逻辑思想——兼论逻揖研究中的极左思潮

周礼全先生倡导亚里士多德的大逻辑观,极富远见。并身体力行,在形式逻辑、模态逻辑、语言逻辑与辩证逻辑诸分支都有建树。他认为黑格尔的辩证逻辑是认识论逻辑,是将形式逻辑的精华按认识过程的编排,是一部完整的辨证认识论,一种新的逻辑类型     

论周礼全的辩证逻辑思想--兼论逻辑研究中的极左思潮

周礼全先生倡导亚里士多德的大逻辑观，极富远见，并身体力行，在菜式逻辑，模态逻辑，语言逻辑与辩证逻辑诸分支都有建树，他认为黑格尔的辩证逻辑是认识逻辑，是将形式逻辑的精华按认识过程的编排，是一部完整的辩证认识论，一种新的逻辑类型。     

从两种变项及其差异看两种逻辑的本质

从传统逻辑变项的特征看,传统逻辑语言是自然语言的语法语言,所以传统逻辑本质上是自然语言的形式逻辑。传统逻辑只注重对自然语言的语法分析,而忽视对自然语言的语义分析,这就不能不产生其所特有的缺陷:一是拘泥于自然语言命题的表层形式,二是命题形式的语义不清。从数理逻辑变项的特征看,数理逻辑语言只是表意符号语言,而不是自然语言的语法语言,所以数理逻辑本质上只是符号逻辑,而不是自然语言的形式逻辑:首先,数理逻辑最多只能用来解释自然语言的逻辑涵义,而不能用来解释自然语言的形式结构;其次,即使是对自然语言作语义解释,数理逻辑也是难以胜任的。     

康德的逻辑思想探赜

康德的一生都在致力于探寻知识的根源和可靠性保证,而逻辑作为被公认的具有必然性、普遍性和可靠性的知识,自然属于康德的研究视域。康德不但在他的三大批判中始终贯穿着逻辑思考,而且在其《纯粹理性批判》中专门探讨了形式逻辑问题和先验逻辑问题。康德对形式逻辑进行了批判,认为形式逻辑由于脱离了思维的具体内容,只做纯形式的思考,不是真理的逻辑,也不能获得新知识。他在批判形式逻辑的基础上建构起先验逻辑体系,主要包括先验分析论和先验辩证论。先验逻辑既接受先天的形式,又结合具体的思维内容,因此不但可以保证知识的真理性,还可以扩展知识的范围。当然,从逻辑自身发展来看,康德的先验逻辑已经"超越"了逻辑的范畴,包含了认识论及形而上学的内容。     

周易象数算法与象数逻辑——中国文化之根探源的新视角

中西方具有不同的思维方式.表达中国的"象思维"只能是"象语言","象语言"的逻辑不是形式逻辑,而是"象数逻辑"."象数逻辑"通过"取象去形",以"无形之象"追摹自然变化之序而创立推演体系,包括比类推理与太极推理两大推理法则,且深涵价值底蕴.中国"象数逻辑"较之西方形式逻辑与辩证法,更具本原性,内涵更丰富,包容性更大,其以"象数算法"为基础,但蕴涵其中,并未分化成为独立学科.而中国古代数学本为体用不二之完整体系,洛书、周易之"象数算法"与中国古代数学之"机械化算法体系"一脉相承.吴文俊对中国古代数学的继承创新,不仅对人类数学史,对当今数学发展意义重大,而且也为今天创建现代的中国语言学、逻辑学,为中国科学的自主创新提供了重要的思想与方法论启示.     

论“逻辑规约度”

熊学亮先生提出,在if条件句中,"形式逻辑仅与逻辑规约度为1的推理发生关系",而在"语用推理"中,逻辑规约度则小于1。逻辑规约度似乎是判断形式逻辑推理和语用推理的某种准则。分析该概念发现:当其等于1时,该概念是一个非常狭义的逻辑概念,并未涵盖形式逻辑的所有推理;当其小于1时,相关推理既可以是逻辑推理,又可以是语用推理。这只不过是从不同角度看待同一现象的问题。     

论黑格尔对传统形式逻辑的批评与超越

黑格尔通过批评传统形式逻辑的局限性 ,阐释了他的辩证逻辑观 ,在哲学史上第一次实现了对传统逻辑的超越。虽然他立足于唯心主义 ,但是其辩证逻辑却实现了辩证法、认识论与方法论的统一 ,为马克思唯物辩证法提供了理论前提     

田径运动文化刍议

本文采用文献资料法和逻辑分析法进行阐述：田径运动文化作为一种＂动态＂的文化,包括物质文化、行为文化、制度文化和精神文化;田径运动作为一项直观、公正的社会文化活动,其魅力在于外露,而不在含蓄;中、西方田径运动文化是异质同源的,应该用形式逻辑去审视这项运动。