《逻辑学导论:原书第三版》在介绍逻辑学三段论、推理的非形式化内容、归纳推理等传统知识框架的基础上,展示了部分前沿成果,如道义和祈使逻辑、信念逻辑、元逻辑、异常逻辑等。《逻辑学导论:原书第三版》对现代逻辑学中部分冗长、复杂的技术细节进行了简化,在证明体系中依次介绍若干符号逻辑系统,使各类读者能够较为直接地了解和掌握相关知
本书用公理化方法研究哲学的核心概念“真”,即将真视为一个不通过其他概念来定义的初始概念,通过一组公理与规则研究真的演绎系统,及其相关的结果。全书分为四个部分,第一部分是基础,简述了一些数学上预备性的记号约定,并概述了研究公理化真理论的某些动机。第二、三部分分别是类型化的真理和类型自由的真理,给出了公理化真理论及与之相关
本书按照预备知识、基础、进阶、一阶模态逻辑共分为四个部分。第一部分为读者准备了集合论、命题逻辑和一阶逻辑的基础知识。第二、三部分分别介绍了命题模态逻辑的形式语义、公理系统、表列系统和模态语义,以及模态逻辑的不变性理论、可定义性理论及有穷模型理论。第四部分介绍了简单一阶模态逻辑和复杂一阶模态逻辑。书中有大量的例子和练习,
本书旨在为所有愿意认真理性思考的青年学者系统性地解释确保思维和表达正确性的逻辑学。可以说逻辑学是每一位愿意认真理性思考者的必备工具。它的雏形是古希腊哲学家亚里士多德所锻造的形式逻辑。它是经过自十七世纪以来数百年演化以及融合了莱布尼茨、布尔、弗雷格、康托尔、哥德尔、塔尔斯基等杰出贡献的智慧产物。本书将向读者解释该系统工具
本书收集了张家龙研究员从1978年开始发表的部分论文和演讲报告,分上、下两篇。上篇主要涉及我国逻辑教学和研究的现代化问题,下篇是张家龙研究员在数理逻辑、模态逻辑、逻辑哲学领域中的重要研究成果。
本书在吸收先秦逻辑研究成果的基础上,提出了先秦逻辑是一种“正名-用名”论证类型。“正名”是确立名之所指,体现“名”的哲学功能;“用名”表现在具体论证中,反映论证者对于“名”的正确使用问题。“正名-用名”逻辑不似亚里士多德三段论在直言命题逻辑常项结构中确立逻辑变项外延关系,它是基于价值观的一种逻辑,而不同于印度信仰的逻辑
本书内容包括:点式归约初探;传递逻辑格中有穷深度濒表格逻辑的语义判据;传递逻辑格中无穷深度濒表格逻辑的语义判据;淑表格逻辑语义判据的应用等。
本书分为上下两篇。上篇从认知逻辑出发,主要考察以知识为载体的信息变化规律。具体涉及的内容有多主体认知逻辑、动态逻辑、动态认知逻辑以及一类程序性知识的哲学逻辑描述(知道行动的一种表述)。下篇主要从以信念为载体的信息变化出发,具体涉及的内容有经典信念修正理论、有穷依赖网络理论、逻辑博弈、博弈逻辑、联盟逻辑以及社会软件中的逻
2006年至2011年,清华大学刘奋荣教授主持并组织了范本特姆教授的著名论文和著作的翻译工作,以"逻辑之门"为题,分四卷由科学出版社出版。参加这一项目的国内老中青逻辑学者共有30多人。每一卷译著出版之后,著译者们都举办一次学术交流活动,然后以书面形式安排一次学术访谈。这些访谈广泛涉及了范本特姆教授在数理逻辑、哲学逻辑、
《山西大学分析与人文哲学丛书逻辑与哲学:真与意义融合与分离之争的探究》以真与意义基于逻辑与哲学对语句真的两种不同解读为主线,从逻辑的视角探究自然语言意义理论中真与意义融合、分离之争的焦点、实质及根源,指出逻辑与真是化解这场争论的关键所在,逻辑上对真的语义论达成共识之时,也就是自然语言意义理论中真与意义之争得以解决之时。