| 法律规范的逻辑演算Q_s系统 |
| |
| 引用本文： | 陶景侃.法律规范的逻辑演算Q_s系统[J].兰州大学学报(社会科学版),1997(2). |
| |
| 作者姓名： | 陶景侃 |
| |
| 作者单位： | 兰州大学哲学与社会学系 |
| |
| 摘 要： | 本文是《法律规范逻辑》系列论文的第４篇。它以狭义谓词演算为基础，在其形式语言中添加专指“制裁”行为的谓词常项，添加专指“国家机关”这种法人的个体常项，添加规范词的定义，但不添加推演工具，就可次生出关于法律规范的逻辑。它能满足法律提出的种种逻辑要求，远多于任何一个传统的规范逻辑系统。
|
| 关 键 词： | 应用谓词逻辑 规范逻辑 法律 逻辑 |
The Logical Calculus Qs of Legal Norms |
| |
| Tao Jingkan.The Logical Calculus Qs of Legal Norms[J].Journal of Lanzhor University(Social Sciences),1997(2). |
| |
| Authors: | Tao Jingkan |
| |
| Abstract: | The logical system Qs is obtained from the pure predicate calculus by adding a binary predicate constant S which denotes the sanctions, an individual constant c denoting the state institutions, and some definitions of deontic modal words but not adding axioms or deducible means. Such a system may satisfy legal issues better than any traditional deontic logic systems. |
| |
| Keywords: | applied predicate logic deontic logic |
| 本文献已被 CNKI 等数据库收录！ |
