English Version
全部
卷期
作者
文章
首页
本刊介绍
关于本刊
现任主编及编辑
现任编辑委员会成员
历任主编
历任编辑委员会成员
历次编辑委员会会议
提前发表
往期浏览
作者检索
欢迎订阅
首页
本刊介绍
关于本刊
现任主编及编辑
现任编辑委员会成员
历任主编
历任编辑委员会成员
历次编辑委员会会议
往期浏览
作者检索
欢迎订阅
/
首页
/
作者检索
/
周祯祥
周祯祥
作者介绍
发表论文
模态算子与全称量词──蒙太古构造的一个模态逻辑公理系统
本文介绍和评估了美国逻辑学家蒙大古构造的一个模态逻辑语言S。S是一阶语言加上符号N所构成。N可分别看作为逻辑必然、物理必然、伦理必须和全称量词。蒙太古最早作出这种在一综合框架下处理模态算子与全称量词的系统。对模态算子与量词的混用所造成的困难提供了一个解决方法。在蒙太古的模态语言S中,模态算子与量词的联合使用并不会造成美国逻辑学家蒯因所指出的那种困难。<br/>
作者:
周祯祥
卷期: 1997
页码:15-21
关于我们
© 2021 中国科学院大学版权所有 地址:北京市石景山区玉泉路19号(甲) 邮编:100049
微信公众号