1) normative value modal logic
规范价值模态逻辑
2) logic of norms
规范逻辑
1.
Does Logic Apply to Norms:Hans Kelsen s theory of logic of norms in his later period;
逻辑适用于规范吗?——凯尔森后期规范逻辑思想初探
3) non-normal modal logic
非正规模态逻辑
4) alethic modal logic
真值模态逻辑
1.
Anderson holds that deontic logic can be reduced to alethic modal logic by the reduction formula Op(口(~p?S).
安德森认为依靠归约公式Op □ (～p→S)能把道义逻辑归约为真值模态逻辑。
5) value logic
价值逻辑
1.
First,it is shown in the transition of value logic from "be-ought" to "ought-be" in which an intermediary — moral beliefs — is needed.
这首先表现在价值逻辑上是从“是-应当”转变为“应当-是”。
6) logic value
逻辑价值
1.
This paper analyzes whether or not China s current urban registration system of real estate transference is a denial of the Real Right Behavior Theory, explores the system value and logic value of this Theory, and furthermore studies if it is justified to acknowledge the Theory in China s own law of property right.
文章以我国城市房地产转让登记制度是否承认了物权行为理论的分析为基础,探讨物权行为理论的制度价值和逻辑价值,并进而研究我国物权法应否承认物权行为理论。
补充资料：模态逻辑
| 模态逻辑 modal logic 研究必然、可能及其相关概念的逻辑性质。逻辑的一个分支。模态逻辑所研究的命题“必然A”和“可能A”与通常命题演算中的命题不同。后者是真值函项，前者不是。因为，当A真时 ，“必然A”既可以是真也可以是假 ；当A假时，“可能A ”既可以是真也可以是假。模态命题演算是现代模态逻辑的基本内容之一。它是应用数理逻辑的方法研究模态命题逻辑的结果。最先开始这方面研究的是19世纪末的H.麦克考尔。在他的影响下，美国哲学家、逻辑学家C.I.刘易斯于1914年构造了一个模态命题演算。40年代末，卡尔纳普开始从语义方面研究模态逻辑。50年代末～60年代初，S.坎格尔、J.欣梯卡与S.A.克里普克等人发展了卡尔纳普的理论，提出了比较完整的模态逻辑的模型理论。60年代以后模态逻辑有很大发展，出现了许多新的系统，特别出现了许多非标准的模态逻辑系统。如认知逻辑、道义逻辑、时态逻辑等。模态逻辑由于研究和阐明了必然、可能、应当、知道等本体论和认识论概念的逻辑性质，因而具有深刻的哲学意义。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条