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.
国家科技期刊平台
NSTL
万方数据
