论一阶量词及其语义解释

  • 打印
  • 收藏
收藏成功
微博 QQ空间 微信


打开文本图片集

提 要：一阶量词具有极大的普遍性，可以统一地处理由于论域变化造成的无限多日常量词。基于一阶语言公式的严格递归构造，重叠量化式归根结底可诉诸原子句和逻辑常项（特别是量词）的意义，得到准确的理解。代入解释挑战标准的量词解释，将量化语句的真还原为相应去量化语句的代入实例的真，而代入实例被规定或设定为真未必是在存在论意义上，从而既能刻画一阶推理的有效性，又可确保量词作为逻辑常项的本体论中立性。（剩余6804字）

试读结束

目录
monitor