Higher-order Metaphysics

高阶形而上学

• 批准号: AH/P014070/1
• 负责人: Nicholas Jones
• 金额: $ 23.04万
• 依托单位: University of Birmingham
• 依托单位国家: 英国
• 项目类别: Fellowship
• 财政年份: 2017
• 资助国家: 英国
• 起止时间: 2017 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=AH%2FP014070%2F1
• 关键词: Higher; order; Metaphysics

A striking feature of the human condition is that we find ourselves surrounded by, and embedded within, a world largely independent of our experiences, desires, and behaviour. Attempts to understand this external world lie at the heart of human inquiry. What is the nature of this external reality, and what kinds of entity does it contain?The sciences supply some answers, e.g. biologists study organisms; psychologists study the mind; astronomers study celestial bodies; quantum physicists study the very small. Yet each science is essentially partial, concerned with only some aspects of reality. Metaphysics, by contrast, studies reality in maximally general and encompassing terms. It investigates questions that escape any individual science. Is there a fully general classification of what exists, within which each science's entities are found? How do the different sciences combine into a unified account of a single reality? And, perhaps most fundamentally of all, what is it to exist in the first place?Metaphysics had a turbulent 20th century. Under the influence of the positivists, it was rubbished as meaningless pseudo-science for many years. Under the influence of Quine, Kripke, Lewis, and others, however, it rose to become a thriving discipline in the 20th century's closing decades. Today, metaphysics is once again at the heart of philosophy.Contemporary metaphysics has been deeply shaped by two doctrines inherited from Quine, a key figure in metaphysics' resurgence. The first Quinean doctrine is about existence: questions about what exists should be formulated using quantifiers, i.e. words like "something" and "there is". The second Quinean doctrine concerns the acceptable forms of quantification. Ordinary English quantifiers are what logicians call first-order quantifiers. If you're told that Tibbles purrs, first-order quantifiers allow you to infer that something purrs. They don't allow you to infer that Tibbles "somethings"-that's just not meaningful English. Yet logical systems have been developed that permit that inference. The quantifiers in these systems are called higher-order quantifiers. The second Quinean doctrine says that these higher-order quantifiers are meaningless. These doctrines together constitute a background framework in which much contemporary metaphysics takes place. The framework transforms metaphysical questions about what exists into questions formulated with first-order quantifiers. Call this first-order metaphysics.An emerging consensus in philosophy of language and logic rejects the second Quinean doctrine. However, this highly technical and abstract field can appear isolated from more familiar philosophical concerns. As a result, its consequences have yet to be fully appreciated. This Fellowship aims to address that, by developing and applying a new framework of higher-order metaphysics.Higher-order metaphysics begins with an array of different higher-order quantifiers. The first Quinean doctrine converts them into an array of different notions of existence. That replaces our ordinary conception of reality-i.e. what exists-with a new and fragmented one, different fragments corresponding to different higher-order quantifiers. This Fellowship will first explore the view's foundations, and exactly what this fragmentation involves, then apply it to some traditional metaphysical debates. In the metaphysics of truth, for example, an account of truth that uses higher-order quantifiers dates back to Ramsey-a founding figure of the analytic philosophical tradition-and Prior. When viewed from the perspective of higher-order metaphysics, this Ramsey-Prior theory of truth can be seen to combine the core ideas of the two leading contemporary views of truth: correspondence and deflationism. Higher-order metaphysics thus provides a conciliatory new solution to the debate about these two views: it reveals that the two leading views about the metaphysics of truth are not really in competition

人类状况的一个显著特征是，我们发现自己被一个在很大程度上独立于我们的经验、欲望和行为的世界所包围和嵌入。试图理解这个外部世界是人类探索的核心。这个外在现实的本质是什么？它包含什么样的实体？科学提供了一些答案，例如生物学家研究有机体;心理学家研究心灵;天文学家研究天体;量子物理学家研究非常小的东西。然而，每一门科学本质上都是局部的，只涉及现实的某些方面。相比之下，形而上学以最广泛和最广泛的术语研究现实。它研究的是任何一门科学都无法解决的问题。有没有一个完全通用的分类存在，其中每一个科学的实体被发现？不同的科学如何联合收割机结合成一个单一的现实统一的帐户？而且，也许最根本的是，首先存在是什么？形而上学经历了一个动荡的世纪。在实证主义者的影响下，它被认为是毫无意义的伪科学，多年来一直被唾弃。然而，在奎因、克里普克、刘易斯和其他人的影响下，它在20世纪的最后几十年里成为一门蓬勃发展的学科。今天，形而上学再次成为哲学的核心，而形而上学复兴的关键人物蒯因所继承的两种学说对当代形而上学产生了深刻的影响。第一个奎因主义是关于存在的：关于存在的问题应该用量词来表述，即像“某物”和“有”这样的词。第二个奎因学说涉及可接受的量化形式。普通英语量词是逻辑学家所说的一阶量词。如果你被告知Tibbles会发出呼噜声，一阶量词可以让你推断出有什么东西会发出呼噜声。他们不允许你推断Tibbles“somethings”--那不是有意义的英语。然而，逻辑系统已经发展到允许这种推论。这些系统中的量词称为高阶量词。第二个奎因学说说，这些高阶量词是无意义的。这些学说共同构成了当代形而上学发生的背景框架。该框架将关于存在什么的形而上学问题转化为用一阶量词表述的问题。语言哲学和逻辑哲学中正在形成的共识拒绝了第二个奎因学说。然而，这个高度技术性和抽象的领域可能会与更熟悉的哲学问题相隔离。因此，其后果尚未得到充分认识。本奖学金旨在通过发展和应用高阶形而上学的新框架来解决这个问题。高阶形而上学从一系列不同的高阶量词开始。第一个奎因学说将它们转化为一系列不同的存在概念。这就用一个新的、支离破碎的概念取代了我们对现实的普通概念，即存在什么，不同的碎片对应着不同的高阶量词。本奖学金将首先探讨这一观点的基础，以及这种分裂究竟涉及什么，然后将其应用于一些传统的形而上学辩论。例如，在真理的形而上学中，使用高阶量词的真理解释可以追溯到拉姆齐（分析哲学传统的创始人物）和普赖尔。从高阶形而上学的角度来看，拉姆齐-普赖尔的真理理论可以被看作是联合收割机结合了当代两种主要真理观的核心思想：对应论和紧缩论。因此，高阶形而上学为关于这两种观点的争论提供了一个和解的新解决方案：它揭示了关于真理形而上学的两种主导观点并不真正处于竞争之中

项目成果

How to Unify

如何统一

• DOI: 10.3998/ergo.12405314.0005.031
• 发表时间: 2018
• 期刊: Ergo, an Open Access Journal of Philosophy
• 作者: Jones N

Two conceptions of absolute generality

绝对普遍性的两种概念

• DOI: 10.1007/s11098-022-01908-0
• 发表时间: 2023
• 期刊: Philosophical Studies
• 影响因子: 1.3
• 作者: Florio S

Properties and Propositions: The Metaphysics of Higher-Order Logic , by Robert Trueman

属性和命题：高阶逻辑的形而上学，作者：罗伯特·特鲁曼

• DOI: 10.1093/mind/fzad056
• 发表时间: 2023
• 期刊: Mind
• 影响因子: 1.8
• 作者: Jones N

Against Representational Levels

反对代表性水平

• DOI: 10.1111/phpe.12176
• 发表时间: 2023
• 期刊: Philosophical Perspectives
• 影响因子: 2
• 作者: Jones N

Unrestricted Quantification and the Structure of Type Theory

无限制量化和类型理论的结构

• DOI: 10.1111/phpr.12621
• 发表时间: 2019
• 期刊: Philosophy and Phenomenological Research
• 影响因子: 1.5
• 作者: Florio S