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