摘要
“许诺”是基本的伦理概念,其一指的是与道德规范相关的“道德承诺”,这一方向关于“许诺”的逻辑研究基本采用的是模态逻辑的研究方法;其二是与诚实守信相关的“诺言许诺”,具有比较典型的三值逻辑语义特征:守信、失信或待证。后者的基本推理特征是自洽性、诚实性、保守性和传递性。在给出严格的形式语言、语义描述的基础上,可以建立许诺的三值逻辑自然推演系统P3N,这一系统可以清晰、准确地刻画“许诺”的推理特征,具有可靠性和完全性。
Commitment is a fundamental ethical concept with two primary dimensions.The first dimension,moral commitment,relates to moral norms and is typically analyzed with modal logic methodologies.The second dimension,promissory commitment,pertains to the ethical obligations of honesty and trustworthiness,and is characterized by the semantic features of three-valued logic:promise-keeping,promise-breaking,or promise to be verified.The basic reasoning properties of promissory commitment include self-consistency,honesty,conservativeness,and transitivity.A three-valued logical natural deduction system(P3N)for commitments can be established by providing a strict formal language and semantic specifications.This system effectively and accurately captures the reasoning properties of commitment and demonstrates both soundness and completeness.
作者
杜国平
DU Guoping(School of Philosophy,University of Chinese Academy of Social Sciences,Beijing 102401,China;Institute of Philosophy,Chinese Academy of Social Sciences,Beijing 100732,China)
出处
《重庆理工大学学报（社会科学）》
2024年第12期143-152,共10页
Journal of Chongqing University of Technology（Social Science）
基金
中国社会科学院创新工程项目“人工智能的逻辑与哲学研究”(2023ZXSCXB03)
中国社会科学院实验室孵化专项“人工智能视域下逻辑推理形式复杂性研究”(2024SYFH002)。
关键词
许诺
诚信
三值逻辑
誓言
commitment
honesty
three-valued logic
oath
