{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T14:57:26Z","timestamp":1649170646355},"reference-count":13,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2018,12,7]],"date-time":"2018-12-07T00:00:00Z","timestamp":1544140800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2019,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Sorites is an ancient piece of paradoxical reasoning pertaining to sets with the following properties: (Supervenience) elements of the set are mapped into some set of \u201cattributes\u201d; (Tolerance) if an element has a given attribute then so are the elements in some vicinity of this element; and (Connectedness) such vicinities can be arranged into pairwise overlapping finite chains connecting two elements with different attributes. Obviously, if Superveneince is assumed, then (1) Tolerance implies lack of Connectedness, and (2) Connectedness implies lack of Tolerance. Using a very general but precise definition of \u201cvicinity\u201d, Dzhafarov &amp; Dzhafarov (2010) 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 (1) is provable in<jats:inline-formula><jats:alternatives><jats:graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" orientation=\"portrait\" mime-subtype=\"gif\" mimetype=\"image\" position=\"float\" xlink:type=\"simple\" xlink:href=\"S1755020318000461_inline1\" \/><jats:tex-math>$RC{A_0}$<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula>, while the formalization of (2) is equivalent to<jats:inline-formula><jats:alternatives><jats:graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" orientation=\"portrait\" mime-subtype=\"gif\" mimetype=\"image\" position=\"float\" xlink:type=\"simple\" xlink:href=\"S1755020318000461_inline2\" \/><jats:tex-math>$AC{A_0}$<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula>over<jats:inline-formula><jats:alternatives><jats:graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" orientation=\"portrait\" mime-subtype=\"gif\" mimetype=\"image\" position=\"float\" xlink:type=\"simple\" xlink:href=\"S1755020318000461_inline3\" \/><jats:tex-math>$RC{A_0}$<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula>. Thus, in a certain precise sense, the approach of (1) is more constructive than that of (2).<\/jats:p>","DOI":"10.1017\/s1755020318000461","type":"journal-article","created":{"date-parts":[[2018,12,7]],"date-time":"2018-12-07T08:39:43Z","timestamp":1544171983000},"page":"30-36","source":"Crossref","is-referenced-by-count":0,"title":["A NOTE ON THE REVERSE MATHEMATICS OF THE SORITES"],"prefix":"10.1017","volume":"12","author":[{"given":"DAMIR D.","family":"DZHAFAROV","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2018,12,7]]},"reference":[{"key":"S1755020318000461_ref11","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/7964.001.0001"},{"key":"S1755020318000461_ref5","volume-title":"Slicing the Truth: On the Computable and Reverse Mathematics of Combinatorial Principles","author":"Hirschfeldt","year":"2015"},{"key":"S1755020318000461_ref3","unstructured":"Dzhafarov D. D. & Dzhafarov E. N. Classificatory sorites, probabilistic supervenience, and rule-making. In Abasnezhad A. and Bueno O. , editors. On the Sorites Paradox. Springer, to appear."},{"key":"S1755020318000461_ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s11083-010-9160-6"},{"key":"S1755020318000461_ref8","doi-asserted-by":"crossref","DOI":"10.3138\/9781487584894","volume-title":"General Topology","author":"Sierpinski","year":"1952"},{"key":"S1755020318000461_ref13","volume-title":"Vagueness","author":"Williamson","year":"1994"},{"key":"S1755020318000461_ref12","doi-asserted-by":"publisher","DOI":"10.5840\/jphil2010107624"},{"key":"S1755020318000461_ref9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511581007"},{"key":"S1755020318000461_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00659-3_9"},{"key":"S1755020318000461_ref4","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.2009.01056.x"},{"key":"S1755020318000461_ref6","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1187031412"},{"key":"S1755020318000461_ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31933-4"},{"key":"S1755020318000461_ref7","doi-asserted-by":"publisher","DOI":"10.2178\/bsl\/1286284559"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020318000461","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T02:03:29Z","timestamp":1605578609000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020318000461\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12,7]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,3]]}},"alternative-id":["S1755020318000461"],"URL":"https:\/\/doi.org\/10.1017\/s1755020318000461","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,12,7]]}}}