逻辑学的性质是什么