您好,欢迎来到聚文网。 登录 免费注册
独立友好逻辑研究

独立友好逻辑研究

  • 字数: 295000
  • 装帧: 平装
  • 出版社: 上海交通大学出版社
  • 作者: 颜中军 著
  • 出版日期: 2024-09-01
  • 商品条码: 9787313312877
  • 版次: 1
  • 开本: 16开
  • 页数: 248
  • 出版年份: 2024
定价:¥88 销售价:登录后查看价格  ¥{{selectedSku?.salePrice}} 
库存: {{selectedSku?.stock}} 库存充足
{{item.title}}:
{{its.name}}
精选
内容简介
独立友好逻辑(independence-friendly logic,IF逻辑)是当今逻辑学研究炙手可热的前沿领域,旨在比经典逻辑更加充分地刻画逻辑表达式之间的依赖与独立关系,极大地拓展了逻辑学研究的范围,具有十分重要的理论价值和现实意义。
本书对IF逻辑做了系统深入的研究,详细阐述了IF逻辑产生的思想渊源与现实动机,进一步完善了 逻辑的句法和语义,讨论了IF逻辑的基本性质和方法论特征,考察了IF逻辑若干重要扩展和应用,回应了IF逻辑引发的哲学论争,评估了IF逻辑的得与失,澄清了一些对IF逻辑的误解。本书不仅为逻辑学专业教学与研究提供参考,亦适合形式语言学、数学基础问题、自然语言理解和计算机并行处理等相关领域的学者阅读。
目录
《独立友好逻辑研究》无目录

蜀ICP备2024047804号

Copyright 版权所有 © jvwen.com 聚文网