从一个“老掉牙”的争论问题看形式逻辑的改造与发展

恩格斯指出;“形式逻辑本身从亚里士多德直到今天都是一个激烈争论的场所。”的确,在形式逻辑这门科学中,从对象体系,研究方法,到每章具体内容,都存在着各种不同的看法,争论的问题之多,为其它学科所少见。我国逻辑学界在五、六十年代,对形式逻辑存在的问题,进行了热烈的讨论。在讨论中,对形式逻辑“管”与“不管”思维内容的问     

取消充足理由律的理由是不充足的

<正>在充足理由律是不是形式逻辑基本规律的讨论中，有些同志认为充足理由律的要求既超越了形式逻辑的范围，又无法用一个永真公式表述，主张把它排除于形式逻辑体系之外；有些同志则提出应对充足理由律加以“改造”，即取消“理由必须真实”的要求，只保留“理由与推断必须有逻辑联系”的要求。我认为充足理由律是一条重要的思维规律，应当在形式逻辑中占有一定的地位，以上两种主张都是不妥当的。     

关于“概念间的关系”的问题

“概念间的关系”是《普通逻辑》（或《形式逻辑》）中的一个不可忽视的重要问题，而现行各种版本的教科书都存在着对其种类划分不够科学严密和对此章节内容编写 环节存有缺陷的问题，本针对这些问题提出了建设性的弥补意见和措施。     

对充足理由律的思考

从莱布尼茨在《单子论》中提出“充足理由原则”以来,“充足理由律是不是形式逻辑（普通逻辑）的基本规律”这个问题在学术界一直存在着争论。争论的焦点集中在充足理由律的逻辑要求之一,即“理由是否真实”和“充足理由律能否形式化”。作者概述了多种具有代表性的观点,讨论了充足理由律是不是逻辑思维的基本规律．并且针对充足理由律的两点问题谈了自己的看法。从而,作者认为充足理由律是形式逻辑的基本规律。     

我国高校逻辑学教材改革的新尝试——彭漪涟先生主编《逻辑学导论》推介

在我国 ,高校逻辑学 (这里仅指“普通逻辑” ,或称“形式逻辑”)教材内容与体系的改革 ,尤其是现代化问题 ,一直是逻辑学界非常关注、并给予不断深入研究的问题。建国初期 ,我国高校使用的逻辑学教材主要是引进的苏联斯特罗果维契的《逻辑》和高尔斯基、塔瓦涅茨的《逻辑》等。针对这些教材中存在的诸多弊端 ,早在 2 0世纪 5 0年代末和 6 0年代初 ,我国逻辑学界就围绕着“形式逻辑的修正和改造”问题 ,开展过热烈的大讨论 ,并涌现出一批自编教材。特别是到了1978年 ,我国逻辑学界又开始了“形式逻辑现代化”问题的大讨论 ,继而更深入地开展…     

剖析怀疑主义学派对逻辑思维形式的否定

<正>形式逻辑（普通逻辑）自两千多年前古希腊哲学家亚里士多德创始之时，他就把它作为论证、探求真理的工具，至培根补充以归纳法之时乃视为科学发现的工具。至马列主义哲学诞生，经典作家将它视之为初级的但不失为“探寻新结果的方法，由已知进到未知的方法。”（恩格斯《反杜林论》第132页）形式逻辑一直被人们认为是有用的工具，它确也是人类认识史上不断完善起来的重要思想工具，是人类思维发展史上的重大成果，在人类文化科学发展上     

专家与新手在成本-收益结构条件推理上的差异比较

为考查专家和新手两类被试在条件推理上的差异,以及社会契约理论与“知识与试题双重结构模型”的差异,本研究以四卡任务为研究范式,采用自编的包含有成本-收益结构的社会契约和非社会契约条件推理问题为研究材料,结果发现：（1）在成本-收益结构的社会契约问题上,若以形式逻辑作为统计标准,专家成绩则显著地好于新手;若按社会契约作答标准进行统计,则专家与新手间差异不显著;（2）就非社会契约问题而言,专家的作业成绩显著地好于新手的作业成绩;（3）内容熟悉的比不熟悉的社会契约问题更有助于提高被试的作业成绩。（4）总体上,标准社会契约问题成绩显著好于转换社会契约问题成绩;“知识与试题双重结构模型”没有得到验证,在一定程度上,该模型遵循的是形式逻辑作答判定标准。     

试析19世纪上半期围绕“东方问题”所产生的大国关系模式

“东方问题”乃是19世纪上半期欧洲国际关系中的最重要的主题之一。围绕着这个问题，英、法、俄、奥等欧洲大国展开了激烈的政治军事争斗，形成了错综复杂的“关系网”。在国家（行为体）层面，大国关系模式体现为维持现状（英、法），改变现状（俄、奥）和承受（土耳其及其属国埃及）之间的利益冲突；而在国际（体系）层面则呈现为一种多极格局，其中的6个自变量加上15对关系函数，构成了一个“牵一发而动全身”的体系。     

生物学教学中应注意的若干形式逻辑问题

形式逻辑是研究思维形式及其规律的科学。“任何科学都是应用逻辑”（列宁《黑格尔 （逻辑学）一书摘要》第136页）,教学逻辑是应用逻辑的一个分支,在生物学教学中,无论是教师的教还是学生的学方面都容易出现一些逻辑错误。这里,笔者根据自己教学中的体会,谈一谈应注意的若干形式逻辑问题,请同行们指正。     

论前提的一致性

<正>一个正确的推理（严格说指演绎推理），应该具备两个必要条件，其一是前提必须真实；其二是推理形式正确、有效。即是说，只有前提真实，推理形式正确、有效，才能必然推出真实的结论。由于形式逻辑，包括现代形式逻辑只研究逻辑形式而不研究内容，目前许多学者认为：“逻辑学本身只能够提供关于前提与结论之间的逻辑规则，只能解决推理的逻辑问题，它不能具体解决前提的真实与否的问题。前提是否真实只有靠各门具体科学，靠实践来解决。”（见《普遍逻辑》修订本，上海人民出版社，第139页）而所谓推理的逻辑性也仅指推理形式正确。基于这种认识，目前就国内各种形式逻辑教科书（包括数理逻辑），都只研究前提与结论之间逻辑关系，而很少或基本没有涉及对理论前提的研究。     

关於形式邏輯和邏輯——形式邏輯內容和体系問題的質疑

由于形式逻辑的对象、性质等问题不明确、不确定,因而影响到形式逻辑这名称也不明确、不确定。我们指出两种情况:第一、书店出版的“逻辑”或者“逻辑学”,学校开的“逻辑课”,你以为真是关于逻辑的书籍和课程吗?它既不包含辩证逻辑,又不包含数理逻辑,实实在在它的主要内容是形式逻辑。第二、报刊上发表的讨论形式逻辑和辩证逻辑关系问题的文章,你以为它讨论的只是形式逻辑和辩证逻辑的关系吗?它往往是既讨论了形式逻辑和辩证逻辑,又讨论了归纳逻辑和辩证逻辑的关系。这就是说,形式逻辑既和逻辑纠缠不清,不知道逻辑是否就是形式逻辑;形式逻辑又     

从逻辑发生学看形式逻辑与辩证逻辑的关系

形式逻辑与辩证逻辑的关系是逻辑学界悬而未决的问题之一、我国逻辑学界对这一问题有如下几个观点：第一类观点是从形式逻辑与辩证逻辑的历史发展顺序探讨二者关系的。这类观点认为，形式逻辑是辩证逻辑产生的基础。至于辩证逻辑如何产生于形式逻辑，没有给出详细说明；①第二类观点是从形式逻辑与辩证逻辑的认识功能探讨二者关系的。这类观点又有两种不同的看法。第一种认为，辩证逻辑高于形式逻辑（辩证逻辑是高等逻辑，形式逻辑是初等逻辑），这一看法还有另一变式即主从论——辩证逻辑为主，形式逻辑为从严第二种观点为并列互补论，认为…     

狱政逻辑初探

狱政逻辑是法律逻辑体系中的一个重要组成部分，属于形式逻辑这个母逻辑下的“子逻辑”。狱政逻辑是研究思维的，但与形式逻辑研究思维有着很大的区别。它是研究罪犯的逻辑思维方式和思维内容，以及如何破斥和矫正罪犯思维的逻辑方法，因而狱政逻辑要结合思维的具体内容来研究其思维形式与规律。本文旨在原有的传统形式逻辑的基础上，探索和研究狱政逻辑学的对象、性质、内容、体系等，以创立新的逻辑分支学科。     

关于邏輯问题讨论中的两种互相对立的意见

自党中央提出“百花齐放,百家争鸣”的方针以后,逻辑学界展开了热烈的论争,论争的目的在于解决这一根本问题:如何用辩证唯物主义的世界观来修正形式逻辑,使形式逻辑能更好地为人们的思惟实际服务。早在1951年,苏联“哲学问题”上“逻辑问题讨论总结”一文中就曾经明确地指出,执行列宁关于把形式逻辑加以修正的指示所应当遵循的方向,“就是完全清除形式逻辑中的中世纪的经院哲学,就是消灭形式逻辑脱离生活、脱离实践的现象。应当驱除形式逻辑在解释思惟的规律和形式方面、特别是在解释三段论式、归纳的研究方法等等的本質方面的     

黑格尔怎样评论形式逻辑的作用与局限性

在辩证法的史册上,黑格尔的贡献卓著、声誉显赫。他所研究的领域是广泛的,正像恩格斯所指出的:“在所有这些不同的历史领域中,黑格尔都力求找出并指出贯穿这些领域的发展线索”。而在他的著作中,也有一部分篇幅谈到形式逻辑的各种问题,诸如:对亚里士多德创立古典形式逻辑的历史评价问题;形式逻辑在日常思维中的地位与作用;历史上改造形式逻辑所走过的弯路;形式逻辑的适用范围与局限性;改造旧逻辑建立辩证逻辑的必要     

空间平面方程在立体几何中的运用

立体几何的问题归根结底是解决点、线、面三个基本元素的位置关系．本文通过引进和运用平面方程，使空间几何的“定性”研究化归为代数的“定量”分析，将形式逻辑上的证明（探求）转化为数值上的计算，从而使目标的解决程序化、算法化，有利于学生克服空间想象能力的障碍，大大降低学习立体几何的难度．     

关于“核衰变”和“核反应”的进一步商榷

《物理教师》2005年第3期刊登了一篇题为《“核衰变”和“核反应”》的文章（以下简称“原文”），《原文》作者认为“衰变”和“核反应”是两个完全不同的概念，从形式逻辑上来看，这两个概念在外延上是“全异关系”，不能互换使用。笔者读后认为，“原文”作者的观点有待于进一步商榷。     

三段论推理的结构形式

一、形式逻辑中的结构形式三段论是一种重要的推理形式，应用很广泛，它是由两个分别叫做大前提和小前提的前提推出一个结论，由于一共涉及了三个命题，所以叫做三段论，例如推理1所有平行四边形的对角钱互相平分（大前提）正方形是平行四边形（小前提）所以，正方形对角线互相平分（结论）推理2负数没有对数（大前提）-1是负数则＼前提）所以，－1没有对数（结论）任何一个三段论推理中都有且只有三个项，如推理2中的“负数”、“对数”和“－1”。这三个项各有名称：作为结论中的主项叫做“小项”，用“S”表示，如推理2中的“一月’；作…     

千年逻辑之争终成合和之解——对形式逻辑和辩证逻辑之关系的解析

基于形式逻辑的“相同者必存在互蕴公理”（Logic）和辩证逻辑的“相反者必存在互蕴公理”（Logos）及其逻辑否定,从哲学对象论的所指“正者或反者”、“正者与反者”、断言“存在或非在”、“存在与非在”这四者的异质合取关系中,得出了涉及两种逻辑关系的断言矛盾方阵。进而分析出此方阵中两种逻辑的多重对立析取关系与统一合取关系,从而证明了此两种逻辑是相互蕴涵的。由此,也说明了形式逻辑的“断言对立性”和辩证逻辑的“所指统一性”正是这两种逻辑的最终合和之解。     

飞碟餐厅

晴朗的天空里，飞来一只特别特别大的烧饼（shāobing）！“飞碟（dié）！”大人们一边向四面八方逃跑一边叫，“外星人袭击（xījī）地球啦！”飞碟降落（jiàngluò），里面真的走出几个外星人。他们穿（chuān）着白衣服，戴（dài）着高高的白帽子，看起来就像地球上的胖厨（chú）师！那些胖厨师———噢不，那些外星人在飞碟的外边丁丁当当敲上去一块金属牌（pái），只见上面写着几个大字：飞碟餐（cān）厅。“欢迎地球人来品尝（cháng）外星食物（shíwù）！”外星人充满激情地说着。“别上当！”爸爸们说，“外星人也许会在食…