求索与拾遗:我的逻辑符号世界