Logical analysis and logical construction