|
|||||
|
|
| 法律命题逻辑的元逻辑 | |
| 引用本文： | 陶景侃.法律命题逻辑的元逻辑[J].兰州大学学报(社会科学版),1988(3). |
| 作者姓名： | 陶景侃 |
| 摘 要： | 《法律命题逻辑系统及其实践意义》一文(载本刊1987年第四期),介绍了规范逻辑的K、KD和KDⅣⅤ三个系统,然后添加了“制裁”模态词S,改KDⅣⅤ系统为L系统,阐述了L系统在法律和法制领域的实践意义。由于专用于法律领域,所以称L系统为法律命题逻辑。 L系统虽能切合法律领域的实践要求,但从逻辑学的角度来看,是否有可靠性、一致性和完全性呢?能否判定任一L合式公式A是否有效,是否为L系统的定理呢?本文是说明这些问题的。 |
| 本文献已被 CNKI 等数据库收录！ | |