| 祈使句和逻辑(英文) |
| |
| 引用本文： | 琚凤魁. 祈使句和逻辑(英文)[J]. 逻辑学研究, 2010, 0(2): 26-52 |
| |
| 作者姓名： | 琚凤魁 |
| |
| 作者单位： | [1]北京大学哲学系 [2]阿姆斯特丹大学逻辑、语言与计算研究所 |
| |
| 基金项目： | This paper was supported by Chinese Scholarship Council and the National Social Science Foundation of China, grant No. 07BZX047. This research was under the supervision by Dr. Maria Aloni and Prof. Frank Veltman. I＇m indebted to them very much. I would also like to express my gratitude to my supervisor at Peking University, Prof. Beihai Zhou, who gave me much support to this research. I＇m profoundly grateful to Prof. Johan van Benthem, who kindly offered me the opportunity to study at ILLC. I also want to thank the anonymous reviewer for giving me many helpful comments and suggestions. This paper also benefitted tremendously from Dr. Xirong Li and Dr. Yanjing Wang. Of course, all errors are my own. |
| |
| 摘 要： | 本文基于更新框架定义了一种动态的祈使句语义,并在此基础之上讨论了关于祈使句的逻辑。这个语义对于祈使句的一致性问题和Ross悖论提供了一种直接的解决方案。我们的工作在祈使句和祈使力结构之间的对应之上展开。首先,根据处理祈使句相容性的不同方式,我们给出了几种不同的祈使句一致性定义。然后,祈使句的意义被处理为祈使力机构上的依赖相容性的更新函项。最后,祈使句之间的蕴涵关系被归约为祈使力结构之间的某种关系。基于不同的相容性定义,我们给出了几种不同的蕴涵关系。
|
| 关 键 词： | 祈使句 逻辑 一致性问题 相容性 定义 语义 更新 结构 |
Imperatives and Logic |
| |
| Fengkui Ju. Imperatives and Logic[J]. Studies in Logic, 2010, 0(2): 26-52 |
| |
| Authors: | Fengkui Ju |
| |
| Affiliation: | Fengkui Ju ( Department of Philosophy, Peking University Institute for Logic, Language and Computation, University of Amsterdam) |
| |
| Abstract: | In this paper we present a series of dynamic semantics for imperatives in the framework of update semantics, and specify several alternative logics for imperatives. In these semantics the consistency problem and Ross＇s paradox have straightforward solutions. All the work is carded out based on the correspondence between imperatives and force structures. According to different ways of dealing with compatibility between imperatives, we give a few choices of defining the notion of consistency for imperatives. Meaning of imperatives is an update function on force structures, which is also dependent on compatibility. Entailment for imperatives is reduced to some relation between force structures. We also give some choices of the notion of entailment, each of which is coincident with a certain kind of compatibility. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
