具体描述
《模态对应理论》内容简介：“逻辑之门”是当代世界著名的逻辑学家约翰·范本特姆经典著作的中文翻译。丛书收集了他的经典论文和主要专著,其涵盖的主题有：关于信息、进程和智能互动的模态逻辑；自然语言中范畴语法和量词语义的逻辑；逻辑与认识论、科学方法论和博弈论之间的相互影响,等等。丛书展现了现代逻辑作为数学、哲学、语言学、计算机科学、认知科学等学科之间媒介和催化剂的新视角。
20世纪70年代,范本特姆研究了模态公理与它们在一阶逻辑、高阶逻辑中的可定义性，提出了一个系统的、论述框架类的模态对应理论，主要结果包括初等模态公式的刻画、典范可定义模态框架类的刻画以及模态可定义性结果向二阶逻辑的推广。这一研究还引出模型之间的互模拟概念,表明模态语言是由对互模拟不变的一阶公式所组成；方法论上的主要特点在于强调模态观点和经典观点可以同时用于理论和实践的“并行观点”。《模态对应理论》收录了《模态逻辑和经典逻辑》以及作者近几年在这方面的三篇论文。
《模态对应理论》适合从事逻辑学、语言学、计算机科学和认知科学相关研究人员、教师和学生阅读，也适合其他逻辑相关学科的教师和学生参阅。
作者简介
约翰·范本特姆，当代世界著名逻辑学家。阿姆斯特丹大学的大学教授、斯坦福大学哲学教授，兼任中山大学客座教授。荷兰皇家艺术与科学院、欧洲科学院和国际哲学院院士，多个杂志编辑。撰写了约300篇论文和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 事情总要翻过来看
附录
附录一 约翰·范本特姆小传
附录二 英汉／汉英专业术语、人名对照表
致谢
· · · · · · (收起)
读后感
评分
评分
评分
评分
用户评价
用一阶公式表达模态框架的性质。在模型层面的对应上，所有的模态公式都有对应的一阶公式，但反之不然。在框架对应层面上所有的模态公式以及一阶公式都无法彼此一一对应，但是每一个模态公式可以找到对应的二阶公式。
评分对应理论又称互模拟，是沟通一阶逻辑和模态逻辑的桥梁，也是研究两种逻辑各自表达力的好方法。
评分用一阶公式表达模态框架的性质。在模型层面的对应上，所有的模态公式都有对应的一阶公式，但反之不然。在框架对应层面上所有的模态公式以及一阶公式都无法彼此一一对应，但是每一个模态公式可以找到对应的二阶公式。
评分用一阶公式表达模态框架的性质。在模型层面的对应上，所有的模态公式都有对应的一阶公式，但反之不然。在框架对应层面上所有的模态公式以及一阶公式都无法彼此一一对应，但是每一个模态公式可以找到对应的二阶公式。
评分对应理论又称互模拟，是沟通一阶逻辑和模态逻辑的桥梁，也是研究两种逻辑各自表达力的好方法。
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有