模态算子与全称量词──蒙太古构造的一个模态逻辑公理系统 |
| |
引用本文: | 周祯祥.模态算子与全称量词──蒙太古构造的一个模态逻辑公理系统[J].自然辩证法通讯,1997(3). |
| |
作者姓名: | 周祯祥 |
| |
作者单位: | 广州社会科学院哲文所 |
| |
摘 要: | 本文介绍和评估了美国逻辑学家蒙大古构造的一个模态逻辑语言S。S是一阶语言加上符号N所构成。N可分别看作为逻辑必然、物理必然、伦理必须和全称量词。蒙太古最早作出这种在一综合框架下处理模态算子与全称量词的系统。对模态算子与量词的混用所造成的困难提供了一个解决方法。在蒙太古的模态语言S中,模态算子与量词的联合使用并不会造成美国逻辑学家蒯因所指出的那种困难。
|
关 键 词: | 模态逻辑 语言S 语义解释 |
本文献已被 CNKI 等数据库收录! |
|