二元道义逻辑DDFS系统研究
内容摘要 | 第1-7页 |
Abstract | 第7-9页 |
第一章、引言:道义逻辑的研究现状及主要问题 | 第9-12页 |
·现代道义逻辑的产生 | 第9-11页 |
·经典道义逻辑的二难和悖论 | 第11页 |
·道义逻辑研究的必要性和可行性。 | 第11-12页 |
第二章、一元道义逻辑 | 第12-14页 |
·朴素道义逻辑系统OK和经典道义逻辑系统SDL | 第12-13页 |
·一元道义逻辑系统的特性及局限 | 第13-14页 |
第三章、道义逻辑发展史上某些二元道义逻辑系统 | 第14-16页 |
·冯·赖特的二元道义模态系统 | 第14页 |
·另一个二元道义模态系统系统 | 第14页 |
·弗兰岑的DF系统和非单调逻辑 | 第14-16页 |
·霍蒂的改进:怀疑算子O~S | 第16页 |
第四章、二元道义逻辑系统DDFS | 第16-27页 |
·DDFS初始符号 | 第16-17页 |
·DDFS形成规则 | 第17页 |
·DDFS公理模式 | 第17-18页 |
·DDFS推理规则 | 第18-19页 |
·DDFS的推导及定理 | 第19页 |
·关于基本置换定理 | 第19页 |
·DDFS的直观涵义 | 第19页 |
·DDFS中的若干定理 | 第19-20页 |
·DDFS的可靠性和完全性 | 第20-27页 |
第五章、进一步探讨 | 第27-35页 |
·DDFS对于道义逻辑的价值 | 第27-28页 |
·DDFS对哲学理论的贡献 | 第28-29页 |
·DDFS解决现实生活问题 | 第29-30页 |
·对尚存在的问题所作的思考 | 第30-35页 |
附录 | 第35-44页 |
后记 | 第44-45页 |
参考文献 | 第45页 |