A note on the reverse mathematics of the sorites

Review of Symbolic Logic 12 (1):30-36 (2019)
  Copy   BIBTEX


Sorites is an ancient piece of paradoxical reasoning pertaining to sets with the following properties: elements of the set are mapped into some set of “attributes”; if an element has a given attribute then so are the elements in some vicinity of this element; and such vicinities can be arranged into pairwise overlapping finite chains connecting two elements with different attributes. Obviously, if Superveneince is assumed, then Tolerance implies lack of Connectedness, and Connectedness implies lack of Tolerance. Using a very general but precise definition of “vicinity”, Dzhafarov & Dzhafarov offered two formalizations of these mutual contrapositions. Mathematically, the formalizations are equally valid, but in this paper, we offer a different basis by which to compare them. Namely, we show that the formalizations have different proof-theoretic strengths when measured in the framework of reverse mathematics: the formalization of is provable in$RC{A_0}$, while the formalization of is equivalent to$AC{A_0}$over$RC{A_0}$. Thus, in a certain precise sense, the approach of is more constructive than that of.



    Upload a copy of this work     Papers currently archived: 74,310

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The Dirac Delta Function in Two Settings of Reverse Mathematics.Sam Sanders & Keita Yokoyama - 2012 - Archive for Mathematical Logic 51 (1-2):99-121.
Reverse Mathematics and Properties of Finite Character.Damir D. Dzhafarov & Carl Mummert - 2012 - Annals of Pure and Applied Logic 163 (9):1243-1251.
Questioning Constructive Reverse Mathematics.I. Loeb - 2012 - Constructivist Foundations 7 (2):131-140.
Reverse-Engineering Reverse Mathematics.Sam Sanders - 2013 - Annals of Pure and Applied Logic 164 (5):528-541.
Open Questions in Reverse Mathematics.Antonio Montalbán - 2011 - Bulletin of Symbolic Logic 17 (3):431-454.
Reverse Mathematics and Grundy Colorings of Graphs.James H. Schmerl - 2010 - Mathematical Logic Quarterly 56 (5):541-548.
A Note on the Sorites Paradox.Graham Priest - 1979 - Australasian Journal of Philosophy 57 (1):74 – 75.
Reverse Mathematics: The Playground of Logic.Richard A. Shore - 2010 - Bulletin of Symbolic Logic 16 (3):378-402.
Refining the Taming of the Reverse Mathematics Zoo.Sam Sanders - 2018 - Notre Dame Journal of Formal Logic 59 (4):579-597.
Strict Finitism and the Happy Sorites.Ofra Magidor - 2012 - Journal of Philosophical Logic 41 (2):471-491.
Reverse Mathematics of Separably Closed Sets.Jeffry L. Hirst - 2006 - Archive for Mathematical Logic 45 (1):1-2.


Added to PP

13 (#759,955)

6 months
1 (#415,900)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Vagueness.Loretta Torrago - 1998 - Philosophical Review 107 (4):637.
A Topological Sorites.Zach Weber & Mark Colyvan - 2010 - Journal of Philosophy 107 (6):311-325.
Reverse Mathematics: The Playground of Logic.Richard A. Shore - 2010 - Bulletin of Symbolic Logic 16 (3):378-402.
Interval Orders and Reverse Mathematics.Alberto Marcone - 2007 - Notre Dame Journal of Formal Logic 48 (3):425-448.

Add more references