-
Views
-
Cite
Cite
Stewart Shapiro, The Company Kept by Cut Abstraction (and its Relatives), Philosophia Mathematica, Volume 19, Issue 2, June 2011, Pages 107–138, https://doi.org/10.1093/philmat/nkq031
- Share Icon Share
Extract
1. Philosophical Background
This article concerns the ongoing (Scottish) neo-logicist program in the philosophy of mathematics. The enterprise began life, in something close to its present form, with Crispin Wright’s seminal [1983]. It was bolstered when Bob Hale [1987] joined the fray on Wright’s behalf and it continues through many extensions, objections, and replies to objections (see Hale and Wright, 2001). The overall plan is to develop branches of established mathematics using abstraction principles in the form:
...
where a and b are variables of a given type (typically first-order, ranging over individual objects, or second-order, ranging over concepts or properties), Σ is a higher-order operator denoting a function from items of the given type to objects in the range of the first-order variables, and E is an equivalence relation over items of the given type. In what follows, I will sometimes omit the initial quantifiers.Frege [1884, 1893] himself employed three abstraction principles. One of them, used for illustration, comes from geometry:
The direction of l1 is identical to the direction of l2 if and only if l1 is parallel to l2.