《论语》宾语前置结构“O之V”及相关问题探析

宾语前置结构"O之V"和"O是V"是孔子常用的倒装结构,据此可为16.12章的阙文及说话人身份问题提供一种较为合情合理的解释。通过对这两种倒装结构用例进行全面而深入的语法分析、比较,可以证明以下问题:16.1章的"无乃尔是过与""是谁之过与"都是倒装结构;1.15和16.12章的"其斯之谓与"是偏正结构而非主谓结构,"其"是作状语的副词。

论麦金森定理及其等价命题

麦金森定理在模态逻辑中扮演了举足轻重的作用。利用把Abs和Triv中的模态公式变为无模态公式的语法运算a与t我们可以给出麦金森定理的一个很简单的语法证明。一方面,通过这个语法证明所建立的加强的麦金森定理与波斯特完全性研究以及模态逻辑语义学中的几条基本原理等价。另一方面,麦金森定理本身清晰地提示了分裂对的两个最典型的实例,这在不完全性度的研究中是不可忽视的。