论Russellian definite descriptions的二阶版本
计算机科学中的逻辑
2025-08-20 v1
摘要
definite descriptions是指称唯一对象的一阶表达式。本文提出一种二阶对等物，旨在指称对象之间的唯一关系。在本文中，我们在Russellian theory of definite descriptions的框架内研究这一概念。虽然完全二阶逻辑不完备，但其由Henkin通用模型定义的片段是完备的。我们在该片段中发展我们的理论，并使用无归谈的序列演算法进行形式化。
引用
@article{arxiv.2508.13928,
title = {On a Second-Order Version of Russellian Theory of Definite Descriptions},
author = {Yaroslav Petrukhin},
journal= {arXiv preprint arXiv:2508.13928},
year = {2025}
}