前提与结论

本书所说的“符号逻辑”是与亚里士多德传统逻辑相比较的，由弗雷格、罗素、怀特海等人提出的现代逻辑(命题逻辑和谓词逻辑)。本书作者利用现代逻辑的技术手段，把自然语言表达的法律案例符号化，然后通过形式系统的推理规则，得到一个有效的结论。