动态道义逻辑相关论文
冯·赖特区分了两种允许,即弱允许和强允许。弱允许就是不禁止,强允许则是独立于义务或禁止的明确声明。一些法学理论家认为在实际......
冯?赖特区分了两种允许,即弱允许和强允许.弱允许就是不禁止,强允许则是独立于义务或禁止的明确声明.一些法学理论家认为在实际的......
自1951年冯赖特创立第一个被人们认可的道义逻辑系统以来,道义逻辑理论本身得到了极大的发展。不仅有一元道义逻辑,还有二元道义逻辑......
在解析道义悖论的过程中,逻辑学家们给出了很多不同的方法,也各自面临着不同的问题。梅耶尔将道义逻辑归约为动态逻辑,并认为这种方法......
1988年梅耶给出一个动态道义逻辑(DDL)系统,谊系统不是处理一般的词项和命题,而是把行动和断言作为逻辑的处理对象。梅耶之后,这一系统......