{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T07:33:20Z","timestamp":1768894400948,"version":"3.49.0"},"reference-count":45,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2018,11,6]],"date-time":"2018-11-06T00:00:00Z","timestamp":1541462400000},"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":[[2020,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In some recent articles, Cobreros, Egr\u00e9, Ripley, &amp; van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant approach, which leads them to entertain a nontransitive theory of truth, where the structural rule of Cut is not generally valid. However, that Cut fails in general in the target theory of truth does not mean that there are not certain safe instances of Cut involving semantic notions. In this article we intend to meet the challenge of answering how to regain all the safe instances of Cut, in the language of the theory, making essential use of a unary recovery operator. To fulfill this goal, we will work within the so-called Goodship Project, which suggests that in order to have nontrivial na\u00efve theories it is sufficient to formulate the corresponding self-referential sentences with suitable biconditionals. Nevertheless, a secondary aim of this article is to propose a novel way to carry this project out, showing that the biconditionals in question can be totally classical. In the context of this article, these biconditionals will be essentially used in expressing the self-referential sentences and, thus, as a collateral result of our work we will prove that none of the recoveries expected of the target theory can be nontrivially achieved if self-reference is expressed through identities.<\/jats:p>","DOI":"10.1017\/s1755020318000369","type":"journal-article","created":{"date-parts":[[2018,11,6]],"date-time":"2018-11-06T09:08:40Z","timestamp":1541495320000},"page":"80-104","source":"Crossref","is-referenced-by-count":11,"title":["A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES"],"prefix":"10.1017","volume":"13","author":[{"given":"EDUARDO ALEJANDRO","family":"BARRIO","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"FEDERICO","family":"PAILOS","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"DAMIAN","family":"SZMUC","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2018,11,6]]},"reference":[{"key":"S1755020318000369_ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47843-2_3"},{"key":"S1755020318000369_ref41","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/fzu179"},{"key":"S1755020318000369_ref40","doi-asserted-by":"publisher","DOI":"10.1111\/j.1746-8361.1982.tb00820.x"},{"key":"S1755020318000369_ref36","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020312000056"},{"key":"S1755020318000369_ref32","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199263301.001.0001"},{"key":"S1755020318000369_ref31","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020317000351"},{"key":"S1755020318000369_ref30","volume-title":"Substructural Logics: A Primer","author":"Paoli","year":"2013"},{"key":"S1755020318000369_ref28","doi-asserted-by":"publisher","DOI":"10.2307\/2024634"},{"key":"S1755020318000369_ref27","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/fzp096"},{"key":"S1755020318000369_ref25","doi-asserted-by":"publisher","DOI":"10.1080\/00048409612347131"},{"key":"S1755020318000369_ref38","doi-asserted-by":"publisher","DOI":"10.2307\/2024952"},{"key":"S1755020318000369_ref22","doi-asserted-by":"publisher","DOI":"10.26686\/ajl.v13i5.3900"},{"key":"S1755020318000369_ref21","volume-title":"Graham Priest on Dialetheism and Paraconsistency","author":"Dicher"},{"key":"S1755020318000369_ref19","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093891487"},{"key":"S1755020318000369_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-004-7805-x"},{"key":"S1755020318000369_ref17","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1096901765"},{"key":"S1755020318000369_ref16","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/fzt110"},{"key":"S1755020318000369_ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s12133-013-0125-2"},{"key":"S1755020318000369_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-010-9165-z"},{"key":"S1755020318000369_ref13","first-page":"2193","article-title":"Characterizing logical consequence in many-valued logics","volume":"27","author":"Chemla","year":"2017","journal-title":"Journal of Logic and Computation"},{"key":"S1755020318000369_ref43","doi-asserted-by":"publisher","DOI":"10.1093\/jos\/16.2.97"},{"key":"S1755020318000369_ref11","doi-asserted-by":"publisher","DOI":"10.1201\/9780203910139"},{"key":"S1755020318000369_ref10","first-page":"1","volume-title":"Handbook of Philosophical Logic","volume":"14","author":"Carnielli","year":"2007"},{"key":"S1755020318000369_ref9","volume-title":"Paraconsistent Logic: Consistency, Contradiction and Negation","author":"Carnielli","year":"2016"},{"key":"S1755020318000369_ref8","first-page":"233","article-title":"An inferentially many-valued two-dimensional notion of entailment","volume":"46","author":"Blasio","year":"2018","journal-title":"Bulletin of the Section of Logic"},{"key":"S1755020318000369_ref45","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-008-9156-z"},{"key":"S1755020318000369_ref39","doi-asserted-by":"publisher","DOI":"10.3765\/sp.10.1"},{"key":"S1755020318000369_ref23","first-page":"41","article-title":"Formalization of a plausible inference","volume":"33","author":"Frankowski","year":"2004","journal-title":"Bulletin of the Section of Logic"},{"key":"S1755020318000369_ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-017-1612-8"},{"key":"S1755020318000369_ref44","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1093\/oso\/9780199287116.003.0014","volume-title":"Deflationism and Paradox","author":"Weir","year":"2005"},{"key":"S1755020318000369_ref35","first-page":"35","article-title":"Gentzen\u2019s cut-free calculus versus the logic of paradox","volume":"39","author":"Pynko","year":"2010","journal-title":"Bulletin of the Section of Logic"},{"key":"S1755020318000369_ref24","first-page":"197","article-title":"p-Consequence versus q-Consequence operations","volume":"33","author":"Frankowski","year":"2004","journal-title":"Bulletin of the Section of Logic"},{"key":"S1755020318000369_ref12","doi-asserted-by":"publisher","DOI":"10.12775\/LLP.2000.008"},{"key":"S1755020318000369_ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-014-9342-6"},{"key":"S1755020318000369_ref33","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199688258.001.0001"},{"key":"S1755020318000369_ref37","doi-asserted-by":"publisher","DOI":"10.1080\/00048402.2011.630010"},{"key":"S1755020318000369_ref34","doi-asserted-by":"publisher","DOI":"10.26686\/ajl.v14i1.4028"},{"key":"S1755020318000369_ref1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzx009"},{"key":"S1755020318000369_ref5","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020311000074"},{"key":"S1755020318000369_ref20","volume-title":"Sistemas Formais Inconsistentes (Inconsistent Formal Systems, in Portuguese)","author":"Da Costa","year":"1993"},{"key":"S1755020318000369_ref29","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020314000525"},{"key":"S1755020318000369_ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-98797-2_5"},{"key":"S1755020318000369_ref4","doi-asserted-by":"crossref","first-page":"187","DOI":"10.2307\/j.ctv2x8v8c7.9","volume-title":"Paraconsistent Logic. Essays on the Inconsistent","author":"Batens","year":"1989"},{"key":"S1755020318000369_ref6","doi-asserted-by":"publisher","DOI":"10.1093\/analys\/ant057"},{"key":"S1755020318000369_ref7","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/fzu081"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020318000369","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T03:37:48Z","timestamp":1720755468000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020318000369\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,6]]},"references-count":45,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020,3]]}},"alternative-id":["S1755020318000369"],"URL":"https:\/\/doi.org\/10.1017\/s1755020318000369","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,11,6]]}}}