关于必然命题种类的探讨

The discussion of the kinds of necessary proposition

必然命题是逻辑学中一类重要命题,自从有了可能世界的理论,关于必然命题种类的探讨越来越深入、具体。本文初步探讨了关于必然命题的一些主要种类。

Necessary proposition is a kind of the important propositions in logic. Since we have a theory of the kinds of possible worlds, the discussion of the kinds of necessary proposition is more and more profound and concrete. This paper discusses the major kinds of necessary proposition preliminarily.