关于传统逻辑的公理

传统逻辑的公理不是传统逻辑的三段论的公理,也不是同一律、矛盾律、排中律和充足理由律,还不是亚里士多德系统中第一格的两个全称式。传统逻辑的公理应具有自明性、不矛盾性和独立性。“并非p”、“p并且q”、“p或者q”、“如果p则q”、“当且仅当p才q”这5个基本命题形式是作为经典逻辑理论出发点的命题形式。它们之所以具有公理的性质,是因为人们在长期的经验中没有发现以它为前提衍生出假结论的事例。