未读消息消息

店铺

我的订单收藏商品

拍卖

拍卖交易我的竞拍收藏拍品

我的好友资金账户

客服 |

帮助中心 9:00-20:30 在线留言

客服电话

010-89648155

服务时间

客服咨询 08:00-21:00

纠纷处理

09:00-12:30

13:30-18:00

图书审核 09:00-18:00

监督与建议

手机孔网

成功加入购物车

去购物车结算 X

茂森图书

商品分类

孔网分类

特色

外文古旧书(5)
图书

童书(1518) 文学(170) 教材教辅考试(141) 艺术(100) 体育(89) 自然科学(67) 社会文化(60) 工程技术(48) 生活(46) 经济(41) 综合性图书(41) 小说(35) 语言文字(32) 医药卫生(29) 哲学心理学(29) 历史(26) 教育(26) 法律(22) 政治(17) 管理(16) 国学古籍(10) 计算机与互联网(8) 军事(3) 地理(2) 宗教(2) 收藏与鉴赏(1)

店铺首页全部商品最新上架店主推荐珍本图书优惠特价动态

手机逛本店

微信扫码访问

图文详情

模态对应理论：逻辑之门—约翰·范本特姆经典著作卷III

举报

[荷兰]约翰·范本特姆著；张清宇、刘新文译 / 科学出版社 / 2010-07 / 精装

售价 60.00

品相九品

优惠

发货

承诺02月28日前发货

运费

本店暂时无法向该地区发货

延迟发货说明

时间：

说明：

上书时间2024-11-13

数量: 仅1件在售，欲购从速

立即购买加入购物车收藏

卖家超过10天未登录

五年老店

茂森图书

店铺等级

资质认证

90天平均

成功完成

94.72% (388笔)

好评率

发货时间

店主

联系

在线交谈离线留言

进店逛逛收藏店铺

商品详情
店铺评价

立即购买加入购物车收藏

手机购买

微信扫码访问

图书条目信息
图书 > 自然科学
模态对应理论：逻辑之门—约翰·范本特姆经典著作卷III
作者: [荷兰] 约翰·范本特姆著；张清宇译；刘新文译

出版社: 科学出版社

出版时间: 2010-07

版次: 1

ISBN: 9787030278654

定价: 56.00

装帧: 精装

开本: 16开

纸张: 胶版纸

页数: 249页

字数: 333千字

正文语种: 简体中文

丛书: 逻辑之门—约翰·范本特姆经典著作3
内容简介：

“逻辑之门”是当代世界著名的逻辑学家约翰·范本特姆经典著作的中文翻译。丛书收集了他的经典论文和主要专著，其涵盖的主题有：关于信息、进程和智能互动的模态逻辑；自然语言中范畴语法和量词语义的逻辑；逻辑与认识论、科学方法论和博弈论之间的相互影响，等等。丛书展现了现代逻辑作为数学、哲学、语言学、计算机科学、认知科学等学科之间媒介和催化剂的新视角。
20世纪70年代，范本特姆研究了模态公理与它们在一阶逻辑、高阶逻辑中的可定义性，提出了一个系统的、论述框架类的模态对应理论，主要结果包括初等模态公式的刻画、典范可定义模态框架类的刻画以及模态可定义性结果向二阶逻辑的推广。这一研究还引出模型之间的互模拟概念，表明模态语言是由对互模拟不变的一阶公式所组成；方法论上的主要特点在于强调模态观点和经典观点可以同时用于理论和实践的“并行观点”。《模态对应理论》收录了《模态逻辑和经典逻辑》以及作者近几年在这方面的三篇论文。
《模态对应理论》适合从事逻辑学、语言学、计算机科学和认知科学相关研究人员、教师和学生阅读，也适合其他逻辑相关学科的教师和学生参阅。

作者简介：

约翰·范本特姆，当代世界著名的逻辑学家，阿姆斯特丹大学逻辑学大学教授、斯坦福大学Henrywaldgravestuart哲学教授，兼任清华大学伟伦特聘教授，中山大学客座教授；荷兰皇家艺术与科学院、欧洲科学院和国际哲学院的院士，多个杂志的编辑。迄今为止，他撰写了约450篇论文和6部专著，主编了4部权威性的逻辑手册。由于他的卓越成就，荷兰政府于1996年授予他斯宾诺莎奖。

目录：

丛书序
作者序
译者序
前言
上篇模态逻辑和经典逻辑
引言
记号和术语
第一部分模态命题逻辑的简要概述
1历史背景
2可能世界语义
3可定义性
4模态代数
5公理化理论
6完全性

第二部分模态公式的一阶可定义性
7局部的和全局的一阶可定性
8一阶可定义性的模型论刻画
9代入方法
10否证一阶可定义性
11相对的一阶可定义性
12模态谓词逻辑
13模态公式的保持类

第三部分模态可定义性
14模态可定义的初等框架类
15一阶公式的保持结果
16模态可定义的框架类

第四部分高阶可定义性
17全称二阶语句
18二阶逻辑
19有穷类型论
参考文献

下篇模态对应理论新进展
1极小谓词、不动点和可定义性
2模态框架对应和不动点
3事情总要翻过来看

附录
附录一约翰·范本特姆小传
附录二英汉／汉英专业术语、人名对照表
致谢

展开全部
货号：

6-11
- 图2
- 图3
配送说明

...
相似商品
为你推荐

孔网分类

孔网特色

外文古旧书(5)

图书

孔网啦啦啦啦啦纺织女工火锅店第三课

开播时间：09月02日 10:30

即将开播，去预约

直播中，去观看