书馨卡帮你省薪 2024个人购书报告 2024中图网年度报告
欢迎光临中图网 请 | 注册
> >>
独立友好逻辑研究

独立友好逻辑研究

作者:颜中军 著
出版社:上海交通大学出版社出版时间:2024-09-01
开本: 16开 页数: 248
本类榜单:哲学/宗教销量榜
中 图 价:¥63.4(7.2折) 定价  ¥88.0 登录后可看到会员价
加入购物车 收藏
运费6元,满39元免运费
?新疆、西藏除外
本类五星书更多>

独立友好逻辑研究 版权信息

  • ISBN:9787313312877
  • 条形码:9787313312877 ; 978-7-313-31287-7
  • 装帧:一般胶版纸
  • 册数:暂无
  • 重量:暂无
  • 所属分类:>>

独立友好逻辑研究 内容简介

本书对IF逻辑(Independence-FriendlyLogic,简称IF逻辑)这一新兴领域进行系统深入的专题研究,揭示了IF逻辑的产生机理与演变脉络,构建了更加规范和简洁的IF逻辑的句法和语义,证明了IF逻辑的若干重要性质,比较了IF逻辑与经典逻辑、部分逻辑、构造主义逻辑之间的关联与区别,探讨了IF逻辑在模态逻辑、时态逻辑、认知逻辑、语言逻辑、问句逻辑等领域的扩展与应用,充分挖掘IF逻辑的表达力与适用性,澄清不必要的含混与误解,为IF逻辑的合理性提供哲学辩护。这不仅可以拓展IF逻辑研究的广度与深度,而且能够促进逻辑学、哲学、数学、语言学、计算机科学等相关领域的发展,为解决数学基础问题、自然语言理解、计算机并行处理、量子力学、概率推理等提供新的理论工具,引起国内学术界对IF逻辑以及数学基础问题等相关领域的关注。

独立友好逻辑研究 目录

绪论 **章 IF逻辑的历史与现状 **节 IF逻辑的研究缘起 第二节 IF逻辑的主要发展阶段 第三节 IF逻辑的研究现状及问题 第二章 IF逻辑的理论基础Ⅰ:分枝量词 **节 从传统量词到分枝量词 第二节 分枝量词与信息独立 第三节 分枝量词的语义解释 第四节 分枝量词的逻辑表达力 第三章 IF逻辑的理论基础Ⅱ:博弈论语义学 **节 博弈论语义学的思想渊源 第二节 形式语言层面的语义博弈 第三节 自然语言层面的语义博弈 第四节 博弈论语义学的方法论特征 第四章 IF逻辑及其基本性质 **节 IF一阶语言L' 第二节 IF逻辑的博弈解释 第三节 IF逻辑的基本性质 第四节 IF逻辑与其他逻辑之比较 第五章 IF逻辑的扩展与应用 **节 IF模态逻辑 第二节 IF时态逻辑 第三节 IF认知逻辑 第四节 IF语言逻辑 第五节 IF问句逻辑 第六章 IF逻辑的哲学论争及其回应 **节 分枝量词的本体论承诺问题 第二节 IF逻辑对组合原则的挑战 第三节 IF逻辑与“真”的可定义性 第四节 IF逻辑与说谎者悖论的消解 第五节 IF逻辑与数学基础的“重构” 参考文献
展开全部

独立友好逻辑研究 作者简介

颜中军,1982年生,湖南衡阳人,哲学博士,湖南科技大学马克思主义学院副教授、硕士生导师,主要研究兴趣:现代逻辑及其哲学问题。主持国家社科基金后期资助项目1项、教育部人文社科青年项目1项,其他省级科研项目多项。发表学术论文40余篇,被人大复印资料《逻辑》《高等学校文科学术文摘》等全文转载或摘编4篇。己出版专著1部(《苏珊·哈克逻辑哲学思想研究》,独著,2014),参编教材1部(《大学逻辑教程》,副主编,2014)。

商品评论(0条)
暂无评论……
书友推荐
本类畅销
编辑推荐
返回顶部
中图网
在线客服