| 因果型连动结构的逻辑刻画 |
| |
| 引用本文： | 贾青. 因果型连动结构的逻辑刻画[J]. 逻辑学研究, 2014, 0(3): 30-44 |
| |
| 作者姓名： | 贾青 |
| |
| 作者单位： | 中国社会科学院哲学所 |
| |
| 基金项目： | 国家社科基金重大项目“自然语言信息处理的逻辑语义学研究”（10＆ZD073）. |
| |
| 摘 要： | 逻辑学以及形式语义学对汉语连动结构的研究一般都停留在一阶逻辑的层面上,即通过一阶逻辑中的形式化方法给出连动结构的形式化构造。但是在对不同类型连动结构进行更为深入的研究时,一阶逻辑这一工具就显的不够了。本文中,作者将以因果型连动结构为研究对象,利用一阶模态逻辑为其构建形式系统并尝试给出因果型连动结构和途径–目的型连动结构之间的区别和联系。
|
| 关 键 词： | 连动结构 一阶模态逻辑 因果型连动结构 |
A Logical Characterization for SVC with Causation |
| |
| Qing Jia. A Logical Characterization for SVC with Causation[J]. Studies in Logic, 2014, 0(3): 30-44 |
| |
| Authors: | Qing Jia |
| |
| Affiliation: | Qing Jia( Institute of Philosophy, Chinese Academy of Social Sciences v 100jq@ 163.com) |
| |
| Abstract: | Most scholars use formal semantics and first order predicate logic to give a formal characterization for SVC. However, if you want to distinguish or even describe differ- ent kinds of SVC, the expressive power of first order predicate logic is not enough. In this paper, I will use first order modal logic to describe SVC with causation. Further, a logical system for SVC with causation and a semantical interpretation for the transfor- mation from SVC with causation to SVC with approach-objective will be constructed respectively. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
