中国哲学30年:1978～2008
正版保障 假一赔十 可开发票
￥ 21.4 4.3折 ￥ 50 全新
库存299件
广东广州
认证卖家担保交易快速发货售后保障
作者李景源，王伟光
出版社中国社会科学出版社
ISBN9787500472162
出版时间2008-09
装帧平装
开本其他
定价50元
货号4018584
上书时间2024-09-13
商品详情
- 品相描述：全新
- 商品描述
-
内容摘要
第八章
逻辑学
改革开放以来的30年，是我国逻辑学研究取得长足发展的30年。
若从新中国成立算起，我国逻辑学研究与教学大致可分为3个阶段：第一阶段从20世纪40年代末至60年代中期，这一阶段的逻辑学界的主要工作是从事大学文科逻辑学教材的编写和翻译，研究方向主要集中在传统形式逻辑、辩证逻辑以及中国逻辑史，从事现代逻辑研究的队伍很小，研究成果不多。50年代中期至60年代中期，在毛泽东主席的推动下，逻辑学界曾就形式逻辑和辩证逻辑的一些理论问题进行了广泛的讨论，这场“大讨论”延续十多年，讨论的核心问题是形式逻辑的性质。这场讨论基本局限在逻辑哲学领域，由于大多数参与者缺乏现代逻辑的背景知识，使讨论的水平受到很大限制。但值得肯定的是，经过激烈的争论，广大逻辑学工作者初步明确了形式逻辑是在纯粹状态下研究思维的逻辑形式的一门科学，这正是由弗雷格奠定始基的现代逻辑的精髓，也正因如此，逻辑学才能广泛应用在哲学、数学、计算机科学、语言学、心理学、法学、经济学等领域，为现代逻辑在我国的发展打下了初步的基础。但从总体上说，我国逻辑学研究被国际逻辑发展的潮流抛在了后头。
第二阶段是十年“文革”时期，逻辑教学与研究工作进入停滞状态，逻辑学的队伍几乎被解散。
第三阶段即“文革”结束以后，特别是1978年改革开放以来，我国逻辑学研究步人大发展时期。逻辑学研究的队伍被重新组织起来，并有一批又一批新生力量逐步加入进来。1978年、1979年由中国社会科学院哲学研究所等单位先后发起并召开了第一、二次全国逻辑讨论会，成立了中国逻辑学会。在这两次大会上，针对我国逻辑教学和研究水平远远落后于国际水平的实际状况，有些学者提出了逻辑教学与研究现代化的主张。此后进一步发展为中国逻辑学会关于“实现逻辑教学和研究的现代化，与国际逻辑教学和研究的水平接轨”的发展目标。围绕这个目标，我国广大逻辑工作者进行了不懈的努力。作为我国逻辑事业发展的主要组织者，中国逻辑学会及其下属的十余个专业委员会坚持“理论与应用相结合”、“提高与普及相结合”两个方针，开展了丰富多彩的学术活动，有力推动了多层次逻辑教学与研究的发展。正如现任中国逻辑学会会长张家龙所指出的那样，经过近30年的发展，我国逻辑教学和研究的现代化、与国际逻辑教学和研究水平接轨的发展目标已经初步实现，正在向全面实现迈进。其主要标志是：中国逻辑学界已经有一批达到国际逻辑研究水平的成果；有一批具有丰硕成果的中青年学术带头人和骨干；有一批具有现代逻辑素养的逻辑学博士和硕士；有一批出国深造留学归国的逻辑学者；有一批能进行国际逻辑学术交流的学者。这为我国逻辑事业今后的发展奠定了坚实的基础。
第一节基础研究
20世纪是西方逻辑发展史上的第三大高峰期，逻辑学发展成为与数学、物理学、化学、天文学以及地球科学、空问科学、生命科学等相并列的基础学科?这是20世纪科学系统演化的重大进展。联合国教科文组织早在20世纪70年代已对此予以确认。后来在该组织发布的“科技领域国际标准命名法”中，更把逻辑学列为一级学科之首。但这种学科进化并未体现在我国的学科建制上。在我国通行的学科划分上，“逻辑学”被列为哲学一级学科之下的二级学科，而“数理逻辑”被列为数学一级学科之下的三级学科。这在一定程度上限制了我国逻辑事业的发展。但是通过在改革开放的大潮中对国际逻辑发展状况的了解与研究，我国逻辑学界在如下问题上逐步达成了共识：20世纪逻辑学的重大发展首推演绎逻辑的长足进步，传统演绎逻辑与现代演绎逻辑是同一门学科的不同发展阶段，而不是以往许多学者理解的不同学科；由弗雷格奠定基础并由罗素、希尔伯特和哥德尔等人所完善的一阶逻辑，是整个当代逻辑大厦的基石；形式系统方法是现代逻辑研究的基本方法，四论（集合论、证明论、模型论、递归论）为现代逻辑的发展提供了基本工具；尽管四论的尖端研究属于狭义数理逻辑的范畴，属于数学家的研究领域，但其基本思想与方法是任何从事当代逻辑研究的学者所应当掌握的。我国哲学学科的逻辑学博士点与硕士点已普遍把“打好数理逻辑基础”作为人才培养的基本要求。以往曾出现的哲学专业逻辑学教授反对自己的学生学习数理逻辑的现象已经成为历史陈迹。
我国数学界与计算机学界活跃着一支数理逻辑基础研究队伍，他们在老一代数理逻辑学家莫绍揆、胡世华、王世强、吴允增等人的带领下，在逻辑演算与四论研究中取得了丰硕成果，有些成果获得了国家自然科学奖和何梁何利科学与技术进步奖。另有一批数学出身的学者加入到哲学界逻辑学研究队伍中来，也在逻辑基础研究上做出了许多独特贡献，例如沈有鼎的“初基演算”、“所有有根类的类的悖论”，胡世华的“递归算法——递归算法论I”、“核函数——递归算法论II”（与陆钟万合作），莫绍揆的“有穷模态系统的基本系统”、“模态系统与蕴涵系统”，王世强的“命题演算的一系公理”、“一种逻辑电路演算的构作”等。张清宇创制了不用联结词和量词的一阶逻辑系统，对括号作了独到处理，使得括号能兼具联结词的作用也有替代量词的作用，这是继卢卡西维茨以后又一新的逻辑符号和记法系统。在逻辑语义学方面，有学者首创一种“嫁接”方法，建立了一种新型模态逻辑语义框架即“嫁接框架”。嫁接框架由通常的克里普克关系语义框架作接本和相干逻辑的语义框架作接穗组合而成。在嫁接框架的基础上构造了嫁接模型。进而又给出典范的嫁接框架和模型及其一些性质的证明，从而得到刘易斯的sl系统的完全性。对S1完全性的证明，解决了现代模态逻辑自创立以来一直未能解决的国际公认的逻辑难题。嫁接框架的建立也是一项具有国际水平的研究成果。有学者在总结逻辑系统的各种语义学的一般特征的基础上，建立了适合绝大多数命题逻辑的邻域语义学，开辟了一个新的研究领域，将各种逻辑中许多类型的问题、结果和方法，在邻域语义学中作统一处理，得出更多的一般性结果。又将这些结果应用到具体逻辑系统（直觉主义逻辑、相干逻辑、模态谓词逻辑等）中，建立它们的框架和讨论它们的完全性问题等。有学者主持了国家自然科学基金资助项目“Chang氏模型c研究”，并且和德国H．Klein Btining教授合作研究极小不可满足公式，已经取得了重要成果。对可数无穷长语言的可构成模型c进行了较为系统深人的研究。
— 没有更多了 —
以下为对购买帮助不大的评价