一、逻辑学的性质