希尔伯特的ε算子作为不定承诺选择算子
人工智能
2013-09-17 v3 计算机科学中的逻辑
摘要
保罗·伯奈斯和大卫·希尔伯特谨慎地避免了希尔伯特ε算子的过度规定，仅对其证明论研究相关的部分进行了公理化。从语义上看，这导致ε算子规定不足。与此同时，已有若干将ε作为选择算子的语义学建议。在回顾了希尔伯特ε算子语义学的文献后，我们提出了一种具有以下特征的新语义学：我们避免了过度规定（如右唯一性），但允许不定选择、承诺选择和经典逻辑。此外，我们的ε语义学以最优方式支持证明搜索，并且是自然的，因为它不仅反映了自然语言中不定冠词指称解释的某些情况，还可能对语言哲学有所贡献。最后，我们提出一个问题：在我们的自由变量框架内，我们的ε是否可以作为在自然语言话语语义的规范与计算中有用的范式。
引用
@article{arxiv.0902.3749,
title = {Hilbert's epsilon as an Operator of Indefinite Committed Choice},
author = {Claus-Peter Wirth},
journal= {arXiv preprint arXiv:0902.3749},
year = {2013}
}
备注
ii + 73 pages. arXiv admin note: substantial text overlap with arXiv:1104.2444