66、断言图与存在图的比较分析

断言图与存在图的比较分析

1. 直觉主义条件句解读

直觉主义认为，条件句的解释应涉及构建方法的断言。也就是说，当一种方法应用于条件句的前件时，必须有一个方法（如证明、转换、验证等）也能应用于该条件句的后件。用“墙”从外部束缚外部闭合区域的隐喻，体现了这样一种思想：根据某种方法，一个图在外部闭合区域有资格被断言时，也将立即保证在内部闭合区域断言该图的方法。一旦进入前件区域，就能够进入后件区域。信息的流动是从允许在前件区域断言的图，到允许在后件区域断言的图。

对图形逻辑常量的解读并非只是比喻，也不是基于排版细节。这其中体现了早期的数学观念，即数学是对心理创造的精确研究。心理和想象的创造与构造被视为可通过图表形式进行最佳分析的对象，而非抽象对象。一旦图表能得到精确的逻辑解释以及相关的转换规则计算，就可以用这些系统来分析数学构造的本质，最终分析数学推理的本质。

2. 极性比较

• 条件句的不同特性 ：条件句的断言性和直觉性特征明显不同。通过深入研究两种图形表示的本质，可以区分它们。存在多个交点，内部盒子的其余边界分隔了前件和后件的区域。这意味着从条件句外部区域到前件区域的信息（例如通过迭代规则的应用）可以穿过重叠或非重叠的边界，即可以经过或不经过前件区域。
• 不同图形的极性差异
  • 经典存在图（EGs） ：在经典存在图中，跨越切割边界时，总是会发生极性切换，从负区域到正区域或反之。
  • 断言图（AGs） ：在断言图的盒子表示法中，矩