What Is Paraconsistent Logic
-
摘要: 20世纪60年代,经典逻辑发展相对停滞,非经典逻辑蓬勃兴起。在对逻辑学、自然科学及社会科学等领域中许多不协调命题进行思索后,人们对经典逻辑发起挑战,认为矛盾律并不是普遍有效的。在这一背景下达·科斯塔创立了弗协调逻辑。当将弗协调逻辑运用于真值模态逻辑时,可得到一避免了善良的撒玛利亚人悖论的道义逻辑系统,于是我们可得出结论:道义逻辑可归约为弗协调真值模态逻辑。Abstract: Various kinds of non-classical logic sprang up vigorously while classical logic came to a standstill relatively in the 1960's.After reflecting on many inconsistent propositions in the fields of logic,natural science and social science people began challenging classical logic and believed that the law of contradiction was not valid universally.In the background da Costa founded paraconsistent logic.When appling paraconsistent logic to alethic modal logic,we get a deontic logic system which avoids the Good Samaritan Paradox.Therefore we can conclude that deontic logic can be reduced to paraconsistent alethic modal logic.
-
Key words:
- classical logic /
- paraconsistent logic /
- paraconsistent modal logic /
- valuation /
- frame
点击查看大图
计量
- 文章访问数: 345
- HTML全文浏览量: 57
- PDF下载量: 13
- 被引次数: 0