摘要

本文的目的是通过证明非单调逻辑并不像第一眼看到的那样陌生,来揭开非单调逻辑的神秘面纱。事实上,任何有古典命题逻辑背景的人都很容易理解它,前提是要避免某些误解,并摒弃顽固的习惯。实际上,在经典推论和文献中发现的主要类型的非单调逻辑之间,有一些逻辑充当了天然的桥梁。像经典逻辑一样,它们是完全单调的,但它们已经显示了非单调系统的一些独特特征。除了为非单调情况提供简单的概念通道之外,这些逻辑(我们称之为准经典)也有自己的兴趣。

您当前没有访问此文章的权限。