模态对应理论 2024 pdf epub mobi 电子书


模态对应理论

简体网页||繁体网页

模态对应理论 2024 pdf epub mobi 电子书 著者简介

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


模态对应理论 电子书 图书目录




点击这里下载
    


想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-11-20

模态对应理论 2024 pdf epub mobi 电子书

模态对应理论 2024 pdf epub mobi 电子书

模态对应理论 2024 pdf epub mobi 电子书



喜欢 模态对应理论 电子书 的读者还喜欢


模态对应理论 电子书 读后感

评分

评分

评分

评分

评分

类似图书 点击查看全场最低价
出版者:科学出版社
作者:[荷]约翰·范本特姆
出品人:
页数:250
译者:张清宇
出版时间:2010-7
价格:56.00元
装帧:
isbn号码:9787030278654
丛书系列:逻辑之门

图书标签: 逻辑  逻辑学  哲学  方法   


模态对应理论 2024 pdf epub mobi 电子书 图书描述

《模态对应理论》内容简介:“逻辑之门”是当代世界著名的逻辑学家约翰·范本特姆经典著作的中文翻译。丛书收集了他的经典论文和主要专著,其涵盖的主题有:关于信息、进程和智能互动的模态逻辑;自然语言中范畴语法和量词语义的逻辑;逻辑与认识论、科学方法论和博弈论之间的相互影响,等等。丛书展现了现代逻辑作为数学、哲学、语言学、计算机科学、认知科学等学科之间媒介和催化剂的新视角。

20世纪70年代,范本特姆研究了模态公理与它们在一阶逻辑、高阶逻辑中的可定义性,提出了一个系统的、论述框架类的模态对应理论,主要结果包括初等模态公式的刻画、典范可定义模态框架类的刻画以及模态可定义性结果向二阶逻辑的推广。这一研究还引出模型之间的互模拟概念,表明模态语言是由对互模拟不变的一阶公式所组成;方法论上的主要特点在于强调模态观点和经典观点可以同时用于理论和实践的“并行观点”。《模态对应理论》收录了《模态逻辑和经典逻辑》以及作者近几年在这方面的三篇论文。

《模态对应理论》适合从事逻辑学、语言学、计算机科学和认知科学相关研究人员、教师和学生阅读,也适合其他逻辑相关学科的教师和学生参阅。

模态对应理论 2024 pdf epub mobi 电子书

模态对应理论 2024 pdf epub mobi 电子书
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

模态对应理论 2024 pdf epub mobi 用户评价

评分

对应理论又称互模拟,是沟通一阶逻辑和模态逻辑的桥梁,也是研究两种逻辑各自表达力的好方法。

评分

用一阶公式表达模态框架的性质。在模型层面的对应上,所有的模态公式都有对应的一阶公式,但反之不然。在框架对应层面上所有的模态公式以及一阶公式都无法彼此一一对应,但是每一个模态公式可以找到对应的二阶公式。

评分

对应理论又称互模拟,是沟通一阶逻辑和模态逻辑的桥梁,也是研究两种逻辑各自表达力的好方法。

评分

用一阶公式表达模态框架的性质。在模型层面的对应上,所有的模态公式都有对应的一阶公式,但反之不然。在框架对应层面上所有的模态公式以及一阶公式都无法彼此一一对应,但是每一个模态公式可以找到对应的二阶公式。

评分

对应理论又称互模拟,是沟通一阶逻辑和模态逻辑的桥梁,也是研究两种逻辑各自表达力的好方法。

模态对应理论 2024 pdf epub mobi 电子书


分享链接









相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有