论文部分内容阅读
语力逻辑系统既包括本体层面，与真及成真条件有关，也包括认知层面，与以言行事的语力和行为有关。语力逻辑系统可以通过往标准的逻辑系统中添加施事性算子而得到。通过提供一个联系着以言行事的行为的理性承诺的解释，并且通过形成以旅事性行为为前提和结论的自然演绎的推理系统，这类算子标示了以言行事的语力。本文利用一个简单的处理了断言、否定、假设的语力逻辑系统，证明经过恰当的考虑，对以言行事的语力和理性承诺的研究属于语义学，而不属于语用学。这一论证依赖于这样的事实，即表达式的赋值函项可被同时用于处理语力逻辑系统的本体和认知