2009 年出版295 页ISBN:9787502363185
本专著详细论述了作者在亚里士多德三段论形式化研究和自动推理研究上取得的重大进展和创新性成果。
2015 年出版176 页ISBN:9787511874085
论述题如何通关?本书作者通过对十一年真题的研究、解读,以及长期的一线司法讲授经验,总结论述题、简答题的高分关键:唯“熟”能胜:熟视、熟记、熟习。本书就从三个方面入手,熟视命题规律,熟记命题要点,熟习“三段论...
2011 年出版307 页ISBN:9787100077859
本书从现代形式逻辑,主要是符号逻辑的观点出发,对古希腊亚里士多德所创的三段论的形式逻辑进行了解释。
1981 年出版279 页ISBN:7100011051
本书从现代形式逻辑,主要是符号逻辑的观点出发,对古希腊亚里士多德所创的三段论的形式逻辑进行了解释。
2010 年出版186 页ISBN:9787301173428
本书从法学方法论、哲学和逻辑学等角度对传统司法三段论的模式进行了系统分析和理论检讨,指出了存在的问题,提出了结构重建,以期对中国的司法实践产生积极的作用。...
2009 年出版307 页ISBN:9787100061179
本书从现代形式逻辑,主要是符号逻辑的观点出发,对古希腊亚里士多德所创的三段论的形式逻辑进行了解释。