逻辑学划分的概念是什么