皮尔士存在图的线性记法

皮尔士存在图是现代逻辑诞生时期对量化理论和模态逻辑等领域的贡献。存在图二维记法的一个变种——线性记法——是自皮尔士本人以来的一个研究方向。本文介绍并研究这个传统中部分已有的结果,并在哈默工作的基础上,指出其中存在的一个关键问题,然后在此基础上提出一个新的看法以期修正这个问题。