逻辑系统是什么?跟一般逻辑的概念有不同点吗? 跟法律体系有什么关系?
逻辑系统本身就是一个逻辑概念,它指的是逻辑演算的模型,一个逻辑系统往往包括初始符号、形成规则、公理和演算规则四个部分,一个逻辑系统必须首先给出初始符号,初始符号是构成合式公式的基本要素;一个逻辑系统必须要有形成规则,它规定由初始符号构成的符号串,哪些是合式公式,哪些不是合式公式;有些逻辑系统(公理系统)还必须有公理,公理是不证自明的,系统内的一切定理的证明必须以公理为出发点;公理系统还必须有演算规则,它规定由公理出发,怎样变形才能得到结论。法律体系往往是非形式化的理论体系,没有逻辑系统那样严密。