改变语义：机会主义还是勇气？
逻辑
2018-03-30 v1
摘要
由 Leon Henkin 引入的高阶逻辑广义模型及其多年来的多种衍生形式，已成为逻辑学许多领域的标准工具。尽管如此，关于其技术地位乃至概念合法性的讨论一直存在。本文系统阐述了广义模型技术，讨论了其在数学和哲学层面的含义，并提出了关于其在代数表示、校准可证性、降低复杂性、理解不动点逻辑以及实现集合论绝对性方面作用的若干技术主题和结果。我们还展示了如何以这种广义视角思考 Henkin 的逻辑系统语义方法从而产生新结果，消除其随意性的印象。本文献给 Leon Henkin，他是一位深刻的逻辑学家，改变了我们所有人的工作方式，同时也是一位始终开放、谦逊且鼓舞人心的同事和朋友。
引用
@article{arxiv.1411.7636,
title = {Changing a semantics: opportunism or courage?},
author = {H. Andréka and J. F. A. K. van Benthem and N. Bezhanishvili and I. Németi},
journal= {arXiv preprint arXiv:1411.7636},
year = {2018}
}
备注
27 pages. To appear in: The life and work of Leon Henkin: Essays on his contributions (Studies in Universal Logic) eds: Manzano, M., Sain, I. and Alonso, E., 2014