五、关于逻辑的理论