English Version
全部
卷期
作者
文章
首页
本刊介绍
关于本刊
现任主编及编辑
现任编辑委员会成员
历任主编
历任编辑委员会成员
历次编辑委员会会议
提前发表
往期浏览
作者检索
欢迎订阅
首页
本刊介绍
关于本刊
现任主编及编辑
现任编辑委员会成员
历任主编
历任编辑委员会成员
历次编辑委员会会议
往期浏览
作者检索
欢迎订阅
/
首页
/
往期浏览
/
1997年3期
/
模态算子与全称量词──蒙太古构造的一个模态逻辑公理系统
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
1985
1984
1983
1982
1981
1980
1979
显示更多
1997
年
3
期
文章阅读
模态算子与全称量词──蒙太古构造的一个模态逻辑公理系统
作者:
周祯祥
创建于 1997-05-01
期刊:
1997
年
3
期
666
本文介绍和评估了美国逻辑学家蒙大古构造的一个模态逻辑语言S。S是一阶语言加上符号N所构成。N可分别看作为逻辑必然、物理必然、伦理必须和全称量词。蒙太古最早作出这种在一综合框架下处理模态算子与全称量词的系统。对模态算子与量词的混用所造成的困难提供了一个解决方法。在蒙太古的模态语言S中,模态算子与量词的联合使用并不会造成美国逻辑学家蒯因所指出的那种困难。
本文下载地址:
模态算子与全称量词──蒙太古构造的一个模态逻辑公理系统
上一条:构造性数学及其哲学意义
下一条:理解当代自然哲学的钥匙──量子/系统辩证法
关于我们
© 2021 中国科学院大学版权所有 地址:北京市石景山区玉泉路19号(甲) 邮编:100049
微信公众号