规范逻辑的产生和演进

规范逻辑的产生和演进陶景侃人类有许多行为规范，在其中，法律规范和道德规范都构成了体系。研究行为规范体系的逻辑工具，就是规范逻辑。一、规范逻辑的产生规范逻辑产生于十四世纪的欧洲。法律规范在西亚两河流域早就形成为体系，如公元前二十世纪的《苏美尔法典》，公...     

论健全法制的必要条件

建国以来,我国法制建设经历了曲折发展的道路。五七年以前,国家陆续颁布了一系列法律、法令、条例,建立和加强了法院和检察机关,初步形成了法治的社会风尚。但是,五七年以后出现了一种依靠“人治”,不靠法制,以政策代替法律的倾向,阻碍了法制的健全,这就给林彪、“四人帮”破坏法制建设以可乘之机。教训是极为深刻的。今天,我们重新走上健全法制的道路,但是,需要解决若干理论问题和实际问题,为健全我国法制创造必要的条件。     

符号逻辑概述

逻辑是古老而至今还十分兴旺发达的科学。它有许多类型。而其中,符号逻辑可称为传统逻辑的现代类型,它发展得最为成熟,并且硕果累累。 德国哲学家莱布尼兹(1646—1716)是符号逻辑的创始人,他提出要将推理化归于计算,要使逻辑成为通用的语言。他还做了许多尝试。但由于他精力分散,也     

法律规范的逻辑演算Q_s系统

本文是《法律规范逻辑》系列论文的第４篇。它以狭义谓词演算为基础，在其形式语言中添加专指“制裁”行为的谓词常项，添加专指“国家机关”这种法人的个体常项，添加规范词的定义，但不添加推演工具，就可次生出关于法律规范的逻辑。它能满足法律提出的种种逻辑要求，远多于任何一个传统的规范逻辑系统。     

我国法律中的外延定义

<正> 为了维护我国社会主义法制的统一,宪法和法律中广泛地应用了下定义的逻辑方法。定义是明确概念的逻辑方法。在明确概念的基础上,才能使宪法、法律、行政法规和地方法规中的同一概念保持同一,建立协调统一的法律体系;在明确概念的基础上,才能使行政和司法工作者的概念,与法律中的概念保持同一,协调一致地适用法律。所以,研究和阐述法律中的定义问题,有重要的意义。 许多逻辑著作一般地阐述了关于定义的理论,特别是关于属加种差定义的理论。当     

浅论抽象上升到具体的逻辑方法

恩格斯十分重视马克思制定的辩证的逻辑方法,他在介绍马克思《政治经济学批判》一书时指出:“这个方法的制定,在我们看来是一个其意义不亚于唯物主义基本观点的成果”(《马克思恩格斯选集》第二卷第122页)。这个辩证的逻辑方法,马克思本人称之为“抽象上升到具体的方法”(同上书第103页),有时又称为:从一定的社会经济时期出发的“分析方法”(《马克思恩格斯全集》第十九卷第415页)。这种逻辑方法是以宏大的历史观为基础、为“着手之点”的,恩格思说:“实际上,这个方法无非就     

法律命题逻辑的元逻辑

《法律命题逻辑系统及其实践意义》一文(载本刊1987年第四期),介绍了规范逻辑的K、KD和KDⅣⅤ三个系统,然后添加了“制裁”模态词S,改KDⅣⅤ系统为L系统,阐述了L系统在法律和法制领域的实践意义。由于专用于法律领域,所以称L系统为法律命题逻辑。 L系统虽能切合法律领域的实践要求,但从逻辑学的角度来看,是否有可靠性、一致性和完全性呢?能否判定任一L合式公式A是否有效,是否为L系统的定理呢?本文是说明这些问题的。     

标准模态逻辑的判定方法和完全性

本文首先说明标准模态逻辑的D、T、S_4、S_5系统和它们的〈W、R、V〉模型;然后根据其模型,制定通用规则和专用规则,作语义图以判定公式是否常真;最后借语义图,证明这四个系统的完全性。     

关于行政法的定义问题

本文首先对我国行政法学界所作的四类行政法定义作出评价,指出其不足之处;然后根据国际、国内行政法的历史事实和现实情况,确认行政法是行政组织法、行政行为法、行政诉讼法和对行政的监督法的统一整体;进而分析行政法各部分的共性和区别于其他法律部门的特性,认为:行政法是指导或控制国家行政机关的行为、目的在于调整行政关系的法律。     

法律命题逻辑系统及其实践意义

经典逻辑揭示了思维形式的最一般的规律,是十分抽象的科学。马克思主义认为,抽象要上升为具体,科学要应用于实践。所以,我们要把经典逻辑特殊化为应用逻辑,个别化为逻辑应用。本文属于应用逻辑范围,是现代模态逻辑的一个非标准系统。逻辑学家们早已发现,标准模态逻辑的D公理可应用于法律、道德领域,借D公理可形成(法律或道德规范的)规范逻辑。作者把规范逻辑的应用范围局限于法律领域,