基于 Prawitz 理论的认知 grounding 语言的语义
逻辑
2025-01-22 v1
摘要
我们概述了一类受 Prawitz 理论中的 grounds 启发的术语语言。我们展示了如何在这些语言上定义语义函数，将术语关联到由构造函数构建的证明对象。我们讨论了这些语言可能同时享有的某些属性，包括规范闭合性和普遍语义，以及相对于它们的扩张（原始/非原始和保守/非保守扩张）。最后，我们提供了 Prawitz 完备性猜想的 ground-theoretic 版本，并将 Piecha 和 Schroeder-Heister 所作的反证适用于我们的框架。
引用
@article{arxiv.2501.10491,
title = {Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds},
author = {Antonio Piccolomini d'Aragona},
journal= {arXiv preprint arXiv:2501.10491},
year = {2025}
}