人格公理的计算机辅助发现与分类

我们提出了一种基于直觉主义逻辑的计算机代数与序理论框架，用于从人格测试数据中计算机辅助发现人格公理，并参照 F.~Klein 的几何理论 Erlanger Programm 精神，将其数学分类为形式化人格理论。结果是，形式化人格理论可以被自动生成、以图表形式可视化，并根据 Klein 思想和范畴论中保持不变的变换范畴进行数学刻画。我们的人格理论和范畴由蕴含不变量诱导，这些不变量是直觉主义蕴含的基础实例，我们将其假设为公理。在我们的理念中，人格的本质，乃至心理健康与疾病，在于其不变性。这些公理的真理性是从观测行为的部分有序符号数据历史中算法提取的。在我们的框架中，人格测试数据与人格理论通过 Galois 连接相关联。作为数据格式，我们采用了由 Szondi 测试生成的符号值格式，该测试基于 L.~Szondi 关于命运分析的统一深度心理学理论。