摘要： “许诺”是基本的伦理概念，其一指的是与道德规范相关的“道德承诺”，这一方向关于“许诺”的逻辑研究基本采用的是模态逻辑的研究方法；其二是与诚实守信相关的“诺言许诺”，具有比较典型的三值逻辑语义特征：守信、失信或待证。后者的基本推理特征是自洽性、诚实性、保守性和传递性。在给出严格的形式语言、语义描述的基础上，可以建立许诺的三值逻辑自然推演系统 Ｐ３Ｎ，这一系统可以清晰、准确地刻画“许诺”的推理特征，具有可靠性和完全性。

关键词: 许诺；诚信；三值逻辑；誓言

中图分类号: 

• Ｂ８１