a system of logic whose formal properties resemble certain moral and epistemological concepts

• 其形式性质类似道义与知识概念的一种逻辑