"许诺"的三值逻辑研究
A study of three-valued logic for commitment
杜国平1
作者信息
- 1. 中国社会科学院大学 哲学院,北京 102401;中国社会科学院 哲学研究所,北京 100732
- 折叠
摘要
"许诺"是基本的伦理概念,其一指的是与道德规范相关的"道德承诺",这一方向关于"许诺"的逻辑研究基本采用的是模态逻辑的研究方法;其二是与诚实守信相关的"诺言许诺",具有比较典型的三值逻辑语义特征:守信、失信或待证.后者的基本推理特征是自洽性、诚实性、保守性和传递性.在给出严格的形式语言、语义描述的基础上,可以建立许诺的三值逻辑自然推演系统P3N,这一系统可以清晰、准确地刻画"许诺"的推理特征,具有可靠性和完全性.
Abstract
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.
关键词
许诺/诚信/三值逻辑/誓言Key words
commitment/honesty/three-valued logic/oath引用本文复制引用
出版年
2024
国家科技期刊平台
NSTL
万方数据