首页--哲学、宗教论文--逻辑学(论理学)论文--形式逻辑(名学、辩学)论文

试论话语表现理论与动态谓词逻辑

中文摘要第1-4页
ABSTRACT第4-8页
导言第8-10页
一、话语表现理论DRT第10-27页
 (一) DRT 的提出背景第10-14页
 (二) DRT 的理论框架第14-25页
  1. DRT 的句法部分第14-16页
  2. DRT 的语义表现框图第16-22页
  3. DRS 的语义模型第22-25页
 (三) DRT 与意义组合性第25-27页
二、动态谓词逻辑(DPL)第27-39页
 (一) DPL 的发展由来第27-29页
 (二) DPL 的结构第29-39页
  1. DPL 的非形式化细作第29-36页
  2. DPL 的形式化系统第36-39页
三、DRT 与DPL 的关系第39-52页
 (一) DRT 与DPL 的相同点第39-45页
  1. DRT 与DPL 的思想实质第39-41页
  2. DRT 与DPL 与经典谓词逻辑公式之间的关系第41-44页
  3. DRT 与DPL 中的静态成分第44-45页
 (二) DRT 与DPL 的差异第45-48页
  1. 语言第45-46页
  2. DRT 和DPL 处理自然语言句子序列的策略第46-48页
 (三) 问题与展望第48-52页
参考文献第52-54页

论文共54页,点击 下载论文
上一篇:动态认知逻辑发展初探
下一篇:先秦老学传播与接受述论