逻辑量化说