道义逻辑、人工智能与法律——霍菲尔德法律关系形式理论的应用.docx

目录 一、冯·赖特与道义逻辑 二、霍菲尔德法律关系形式理论与道义逻辑 三、法律逻辑的符号化：从莱布尼茨到霍菲尔德 四、人工智能的法律本体论：从概念到符号 五、人工智能时代道义逻辑的发展：艾伦和萨克松的A -?霍菲尔德语言 一、冯·赖特与道义逻辑 逻辑学自古希腊思想家亚里士多德之后，在漫长的时间里一直停滞不前，仿佛诞生之日就是终结之时。19世纪和20世纪，逻辑学发生了巨大变化，开疆拓土，迎来辉煌，成果之一就是模态逻辑（modal logic）的出现。 “模态”（modality）的概念来自德国哲学家康德的著作《纯粹理性批判》。康德将知性分为四类先验范畴：量、质、关系、模态。模态就是时间的包容性，