動態(tài)認(rèn)知邏輯專題研究

前言

Dynamic Epistemic Logic is the logic of knowledge, actions and the interrelation of them.This is not about one logic, but about a whole family of logics that allows us to specify staticand dynamic aspects of rational agent systems. The book provides various logics to supportsuch formal specifications.Knowledge here is understood in a broad sense, that is, we see also doxastic logic as asort of epistemic logic.Knowledge is defined as a set of propositions that an agent knows in the classicaldynamic epistemic logic. In other words, cognitive objects of the agent are propositions forsuch logic. But, in my opinion, cognitive objects of an agent can also be actions, agents,individuals and so on.Hence, in this book, we will study such cognitive objects by logical methods.In the book, except classical logical methods, we mostly use four methods: Semi-infinitary Method, Bounded-valuation Method, Self-substitution Method and Fixed-pointMethod. By Semi-infinitary Method we mean a method presented by de Lavalette, Kooi andVerbrugge [2004], where they used such a method to prove strong completeness of PDL.But it seems to me that Bounded-valuation Method, Self-substitution Method and Fixed-pointMethod are new ones.

內(nèi)容概要

　　Dynamic Epistemic Logic is the logic of knowledge， actions and the interrelation of them.This is not about one logic, but about a whole family of logics that allows us to specify staticand dynamic aspects of rational agent systems. The book provides various logics to supportsuch formal specifications.

書籍目錄

Chapter 1 Foundations 1 Epistemic Logic 2 Dynamic Logic PDL3 Dynamic Logic PDL~0 and One Generalization of It4 Dynamic Epistemic LogicChapter 2 Do an Action1 Logics for Having Done an Action ( 1 )2 Logics for Having Done an Action ( 2 )3 Logics for Intending to Do an Action4 Logics for Being Doing an ActionAppendix 1 A Logic for Transferring a State by Resultant ForceAppendix 2 A Logic for Achieving an Intention by Doing an Action..Chapter 3 Know an Action1 Self-substitution Systems .2 Some Versions of Self-substitution Systems3 Minimal Systems and Bounded-valuation Method4 Semi-infinitary Proof Systems5 Fixed Point Systems6 Systems Containing Dot or Dga  Appendix What Is an Epistemic ActionChapter 4 Cognize an Agent1 Dynamic Epistemic Logics for Knowing an Agent2 Epistemic Logics for Knowing an Agent3 An Auto-epistemic Logic for Knowing an Agent  4 A Dynamic Doxastic Logic for Believing an AgentChapter 5 Cognize a Concept1 Know a Modality Concept2 Cognize a Cognitive Concept3 Cognize a General Modal ConceptChapter 6 Know an Individual and Know a Relation1 Know an Individual2 Know a RelationAppendix A First-order Epistemic LogicChapter 7 Dynamic Negation1 Characterization by Abbreviations2 Characterization by Binary Relations3 Characterization by Ternary RelationAppendix A Action is Negated by Another ActionChapter 8 Dynamic Conditional Logies1 Conditional Logics for 2 Conditional Logics for 3 Conditional Logics for Chapter 9 Update Semantics for Epistemic Systems1 General Update Semantics2 Degenerate Frame Semantics3 Point Relation Frame Semantics4 Set Relation Frame Semantics5 Transformation Function Frame Semantics6 Selection-class Function Frame Semantics7 Neighborhood Function Frame Semantics8 Dynamic Frame SemanticsBibliography后記

章節(jié)摘錄

插圖：As far as we know, PDL and PDL do not characterize directly the logical properties of "anagent has done an action" from the aspect of syntax （with respect to an axiomatizationsystem）. For example, they do not characterize directly the sentences of the form "He hasgone". In other words, they just characterize the sentences of the form [a] w.r.t, action ~,but such sentences just characterize t indirectly. As for the sentences of the form "He hasgone" from which we can generalize the sentences of the form "an agent has done action tx",denoted by D, the logics do not reveal what are logical properties of them. But in myopinion, such sentences are very important in the way of investigating agent having done anaction. How to use logical methods to characterize directly phrases of the form "an agent doesan action"？ In Li Xiaowu [2005c], [2005b], [2005d], [2005e], [2006a], [2006b], [2007-1],[2007-2] and [2007-3], we have presented several classes of dynamic systems characterizingdirectly "an agent has done an action", "an agent intends to do an action" and "an agent isdoing an action", respectively, and then present the corresponding semantics, and thus provethat the systems are sound and complete with respect to the corresponding semantics,respectively. In this chapter, we will continue that research.

后記

此后記當(dāng)用中文寫，用英語寫作對我來說是一件苦差事，雖然為了與國際接軌，正文不得不用英文寫。我想我的英文一定很爛，懇請讀者原諒。不是我想賣弄，形勢所迫也。清代詩人袁枚有這樣兩句詩：苔花如米小，也學(xué)牡丹開。敢問袁先生：苔花何時學(xué)牡丹？為何學(xué)牡丹？在我看來，開自己的就是了！所以我想斗膽改動其中的一個字：苔花如米小，也似牡丹開。古今中外，邏輯學(xué)的成就似百花齊放，不乏有名貴的牡丹。我的成果，若還算得上成果的話，充其量如苔花。若開得還能讓別人感到哪怕有一點別致，則萬幸。此書稿在未出版前，一些邏輯專業(yè)的研究生看過其中的部分章節(jié)。對他們指出其中的一些筆誤和錯誤，我在此表示衷心感謝。我特別要感謝的是中山大學(xué)邏輯與認(rèn)知研究所邏輯專業(yè)博士生郭向陽，碩士生王景周、徐秋華和唐麗萍，廈門大學(xué)哲學(xué)系邏輯專業(yè)博士生劉佳秋。尤其是劉佳秋，她閱讀了第一章，指出其中一些筆誤。我要再次感謝她。此書稿第九章曾經(jīng)在2009年第一學(xué)期作為中山大學(xué)邏輯與認(rèn)知研究所研究生課程“更新語義與動態(tài)認(rèn)知邏輯”的教材。參加此課程的學(xué)生有郭向陽、陳廣明、鐘盛陽和董惠敏，旁聽的老師有文學(xué)鋒。感謝參加此課程的學(xué)生和老師在課上參與討論，提出問題和修改意見。董惠敏還幫助我校對了第九章，指出其中一些錯誤和英語上的不妥。我也要再次感謝她。這里還要指出的是，本書稿的撰寫，特別是第9章的撰寫，得到2008年度國家社科基金項目《更新語義與動態(tài)認(rèn)知邏輯研究》（項目批準(zhǔn)號：08BZX050）的資助。最后我要感謝中山大學(xué)出版社，由于她的資助，此書才得以出版。在此我特別要感謝中l(wèi)lJ大學(xué)出版社的李文先生，他為此書的編輯和出版付出了辛勤的勞動。

編輯推薦

《動態(tài)認(rèn)知邏輯專題研究(英文版)》由中山大學(xué)出版社出版。

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    動態(tài)認(rèn)知邏輯專題研究 PDF格式下載

---