Changing a Semantics: Opportunism or Courage?
Changing a Semantics: Opportunism or Courage?
复制标题
改变语义：机会主义还是勇气？
DOI：
10.1007/978-3-319-09719-0_20
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
I. Németi
中科院分区：
文献类型：
--
作者：
H. Andréka;J. Benthem;N. Bezhanishvili;I. Németi
由Leon Henkin提出的高阶逻辑的广义模型及其多个后代多年来已经成为逻辑许多领域的标准工具。即便如此，关于它们的技术地位，甚至它们在概念上的合法性的讨论仍在继续。本文给出了一个系统的观点广义模型技术，讨论了它们在数学和哲学方面的意义，并提出了一些技术主题和结果，它们在代数表示，校准可证明性，降低复杂性，理解不动点逻辑，实现集理论的绝对性的作用。我们还展示了如何思考亨金的方法，语义的逻辑系统在这种普遍性可以产生新的结果，消除adjamness的印象。
The generalized models for higher-order logics introduced by Leon Henkin and their multiple offspring over the years have become a standard tool in many areas of logic. Even so, discussion has persisted about their technical status, and perhaps even their conceptual legitimacy. This paper gives a systematic view of generalized model techniques, discusses what they mean in mathematical and philosophical terms, and presents a few technical themes and results about their role in algebraic representation, calibrating provability, lowering complexity, understanding fixed-point logics, and achieving set-theoretic absoluteness. We also show how thinking about Henkin’s approach to semantics of logical systems in this generality can yield new results, dispelling the impression of adhocness.
用算子完成相对化定点布尔代数时 Sahlqvist 定点方程的保留
影响因子：
0.6
作者：
Bezhanishvili N
通讯作者：
Bezhanishvili N