摘要
The background of Multi-modal Categorical Logics is Categorical Grammar which regards the concatenation of natural language as a calculus or deduction. We are capable of getting an implement on computer processing for this kind of deduction and constructing a multi-modal system based on it. According to the proof theory, the presentation for its axiomatization fits for discussing metalogical problems, moreover the one for its Gentzen sequent benefits dealing with the decision procedure. In terms of model theory, we regard the factor-category as a formula with a binary modal-operator, introduce the unary modal-operator“◇”describing structural properties about categorical resources, and establish this system’s semantics on the frame concerning possible worlds. In the opinion of Multi-modal Categorical Logics, the problem of flexible word order in Chinese involves structural properties of categorical resources. Based on two structure postulates with the unary modal operator, we have constructed a multi-modal system depicting these phenomena and proved its completeness.
The background of Multi-modal Categorical Logics is Categorical Grammar which regards the concatenation of natural language as a calculus or deduction. We are capable of getting an implement on computer processing for this kind of deduction and constructing a multi-modal system based on it. According to the proof theory, the presentation for its axiomatization fits for discussing metalogical problems, moreover the one for its Gentzen sequent benefits dealing with the decision procedure. In terms of model theory, we regard the factor-category as a formula with a binary modal-operator, introduce the unary modal-operator“◇”describing structural properties about categorical resources, and establish this system’s semantics on the frame concerning possible worlds. In the opinion of Multi-modal Categorical Logics, the problem of flexible word order in Chinese involves structural properties of categorical resources. Based on two structure postulates with the unary modal operator, we have constructed a multi-modal system depicting these phenomena and proved its completeness.
出处
《哲学研究》
CSSCI
北大核心
2006年第9期115-121,124,共8页
Philosophical Research
基金
教育部哲学社会科学研究重大课题攻关项目的资助
课题编号为04JZD0006。
