Unrestricted Quantification and the Structure of Type Theory
Unrestricted Quantification and the Structure of Type Theory
复制标题
无限制量化和类型理论的结构
DOI：
10.1111/phpr.12621
复制
发表时间：
2019
影响因子：
1.5
通讯作者：
Florio S
中科院分区：
文献类型：
--
作者：
Florio S
基于类型层次的语义理论已经被显著地用于为不受限制的量化的可能性辩护。然而，它们也为它提出了一个表面问题：每个量词最多只在一个层次上变化，因此不是不受限制的。如果没有一个原则性的说明什么是量词不受限制，就很难评价这个问题。根据罗素关于数量化与述谓结构之间关系的见解，我们提供了这样一个解释。我们使用这个帐户来检查在三个不同的类型理论的设置，这是越来越宽容的谓词方面的问题。我们的结论是，无限制量化是在所有，但最宽容的类型理论。
Semantic theories based on a hierarchy of types have prominently been used to defend the possibility of unrestricted quantification. However, they also pose aprima facieproblem for it: each quantifier ranges over at most one level of the hierarchy and is therefore not unrestricted. It is difficult to evaluate this problem without a principled account of what it is for a quantifier to be unrestricted. Drawing on an insight of Russell's about the relationship between quantification and the structure of predication, we offer such an account. We use this account to examine the problem in three different type‐theoretic settings, which are increasingly permissive with respect to predication. We conclude that unrestricted quantification is available in all but the most permissive kind of type theory.
登录
查看更多内容
影响因子：
1.7
作者：
B. Russell
通讯作者：
B. Russell
DOI：
10.3998/ergo.12405314.0003.006
发表时间：
2016
期刊：
Open Access Journal
影响因子：
--
作者：
Nicholas K. Jones
通讯作者：
Nicholas K. Jones
命题的统一性
影响因子：
0.7
作者：
L. Linsky
通讯作者：
L. Linsky
DOI：
10.2178/bsl.1804010
发表时间：
2012
期刊：
Bull. Symb. Log.
影响因子：
--
作者：
P. Maddy
通讯作者：
P. Maddy
世界、时间和自我
DOI：
--
发表时间：
1977
期刊：
影响因子：
--
作者：
A. Prior;K. Fine
通讯作者：
K. Fine