非指称描述下的两种演绎情形
计算机科学中的逻辑
2025-01-03 v1 计算与语言
摘要
关于无指称项（尤其是非指称描述，如“法国国王”）的形式推理仍是一个研究不足的领域。最近的例外是Indrzejczak、Zawidzki和Kürbis等人发表的一系列论文。本文提供了他们方法的另一种选择：不是基于自由逻辑和矢列演算，而是采用部分类型论和矢列风格的自然演绎。利用Montague和Tichý风格的自然语言形式化，本文成功处理了补语为非指称描述的内涵及物动词的演绎，并推导出含有此类描述的句子的存在预设的Strawson规则。
引用
@article{arxiv.2501.00485,
title = {Two Cases of Deduction with Non-referring Descriptions},
author = {Jiří Raclavský},
journal= {arXiv preprint arXiv:2501.00485},
year = {2025}
}
备注
In Proceedings NCL'24, arXiv:2412.20053