PhilSci Archive

Grounding and Auto-abstraction

Zanetti, Luca (2020) Grounding and Auto-abstraction. Synthese. ISSN 0039-7857

This is the latest version of this item.


Download (458kB) | Preview


Abstraction principles and grounding can be combined in a natural way (Rosen 2010, 117; Schwartzkopff 2011, 362]). However, some ground-theoretic abstraction principles entail that there are circles of partial ground (Donaldson 17, 793). I call this problem auto-abstraction. In this paper I sketch a solution. Sections 1 and 2 are introductory. In section 3 I start comparing different solutions to the problem. In section 4 I contend that the thesis that the right-hand side of an abstraction principle is (metaphysically) prior to its left-hand side motivates an independence constraint, and that this constraint leads to predicative restrictions on the acceptable instances of ground-theoretic abstraction principles. In section 5 I argue that auto-abstraction is acceptable unless the left-hand side is essentially grounded by the right-hand side. In section 6 I highlight several parallelisms between auto-abstraction and the puzzles of ground. I finally compare my solution with the strategies listed in section 3.

Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Published Article or Volume
Zanetti, Lucaluca.zanetti@iusspavia.it0000-0002-3733-9193
Keywords: Abstraction Principles; Grounding; Auto-abstraction; Aristotelianism; Puzzles of Ground
Subjects: Specific Sciences > Mathematics > Foundations
Depositing User: Dr. Luca Zanetti
Date Deposited: 12 Oct 2020 03:43
Last Modified: 12 Oct 2020 03:43
Item ID: 18221
Journal or Publication Title: Synthese
Official URL:
DOI or Unique Handle:
Subjects: Specific Sciences > Mathematics > Foundations
Date: 4 June 2020
ISSN: 0039-7857

Available Versions of this Item

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item