这算逻辑学范畴？