logicist