{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,5]],"date-time":"2026-05-05T02:32:01Z","timestamp":1777948321483,"version":"3.51.4"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2020,9,3]],"date-time":"2020-09-03T00:00:00Z","timestamp":1599091200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,9,3]],"date-time":"2020-09-03T00:00:00Z","timestamp":1599091200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100005156","name":"Alexander von Humboldt-Stiftung","doi-asserted-by":"publisher","award":["Humboldt Fellowship for Experienced Researchers"],"award-info":[{"award-number":["Humboldt Fellowship for Experienced Researchers"]}],"id":[{"id":"10.13039\/100005156","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Ministerio de Ciencia, Innovaci\u00f3n y Universidades, Gobierno de Espa\u00f1a","award":["FFI2017-84805-P"],"award-info":[{"award-number":["FFI2017-84805-P"]}]},{"name":"Agence nationale de la recherche","award":["ANR-19-CE28-0004-01"],"award-info":[{"award-number":["ANR-19-CE28-0004-01"]}]},{"DOI":"10.13039\/501100003246","name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","award":["406.18.TW.007"],"award-info":[{"award-number":["406.18.TW.007"]}],"id":[{"id":"10.13039\/501100003246","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2020,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In a recent paper, Barrio, Tajer and Rosenblatt establish a correspondence between metainferences holding in the strict-tolerant logic of transparent truth <jats:italic>S<\/jats:italic><jats:italic>T<\/jats:italic><jats:sup>+<\/jats:sup> and inferences holding in the logic of paradox <jats:italic>L<\/jats:italic><jats:italic>P<\/jats:italic><jats:sup>+<\/jats:sup>. They argue that <jats:italic>L<\/jats:italic><jats:italic>P<\/jats:italic><jats:sup>+<\/jats:sup> is <jats:italic>S<\/jats:italic><jats:italic>T<\/jats:italic><jats:sup>+<\/jats:sup>\u2019s external logic and they question whether <jats:italic>S<\/jats:italic><jats:italic>T<\/jats:italic><jats:sup>+<\/jats:sup>\u2019s solution to the semantic paradoxes is fundamentally different from <jats:italic>L<\/jats:italic><jats:italic>P<\/jats:italic><jats:sup>+<\/jats:sup>\u2019s. Here we establish that by parity of reasoning, <jats:italic>S<\/jats:italic><jats:italic>T<\/jats:italic><jats:sup>+<\/jats:sup> can be related to <jats:italic>L<\/jats:italic><jats:italic>P<\/jats:italic><jats:sup>+<\/jats:sup>\u2019s dual logic <jats:italic>K<\/jats:italic><jats:sup>+<\/jats:sup>. We clarify the distinction between internal and external logic and argue that while <jats:italic>S<\/jats:italic><jats:italic>T<\/jats:italic><jats:sup>+<\/jats:sup>\u2019s nonclassicality can be granted, its self-dual character does not tie it to <jats:italic>L<\/jats:italic><jats:italic>P<\/jats:italic><jats:sup>+<\/jats:sup> more closely than to <jats:italic>K<\/jats:italic><jats:sup>+<\/jats:sup>.<\/jats:p>","DOI":"10.1007\/s10992-020-09560-x","type":"journal-article","created":{"date-parts":[[2020,9,3]],"date-time":"2020-09-03T06:03:56Z","timestamp":1599113036000},"page":"1057-1077","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Inferences and Metainferences in ST"],"prefix":"10.1007","volume":"49","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8239-5373","authenticated-orcid":false,"given":"Pablo","family":"Cobreros","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Egr\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Ripley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"van Rooij","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,9,3]]},"reference":[{"issue":"1","key":"9560_CR1","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s11225-010-9296-9","volume":"97","author":"O Arieli","year":"2011","unstructured":"Arieli, O., Avron, A., & Zamansky, A. (2011). Maximal and premaximal paraconsistency in the framework of three-valued semantics. Studia Logica, 97(1), 31\u201360.","journal-title":"Studia Logica"},{"issue":"2\u20133","key":"9560_CR2","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/0304-3975(88)90037-0","volume":"57","author":"A Avron","year":"1988","unstructured":"Avron, A. (1988). The semantics and proof theory of linear logic. Theoretical Computer Science, 57(2\u20133), 161\u2013184.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"9560_CR3","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(91)90023-U","volume":"92","author":"A Avron","year":"1991","unstructured":"Avron, A. (1991). Simple consequence relations. Information and Computation, 92(1), 105\u2013139.","journal-title":"Information and Computation"},{"issue":"5","key":"9560_CR4","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/s10992-014-9342-6","volume":"44","author":"E Barrio","year":"2015","unstructured":"Barrio, E., Rosenblatt, L., & Tajer, D. (2015). The logics of strict-tolerant logic. Journal of Philosophical Logic, 44(5), 551\u2013571.","journal-title":"Journal of Philosophical Logic"},{"key":"9560_CR5","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/s10992-019-09513-z","volume":"49","author":"EA Barrio","year":"2020","unstructured":"Barrio, E. A., Pailos, F., & Szmuc, D. (2020). A hierarchy of classical and paraconsistent logics. Journal of Philosophical Logic, 49, 93\u2013120.","journal-title":"Journal of Philosophical Logic"},{"key":"9560_CR6","volume-title":"Logical Pluralism","author":"J Beall","year":"2006","unstructured":"Beall, J., & Restall, G. (2006). Logical Pluralism. Oxford: Oxford University Press."},{"key":"9560_CR7","doi-asserted-by":"crossref","unstructured":"Buss, S.R. (1998). Introduction to proof theory. In Buss, S.R. (Ed.) Handbook of proof theory (pp. 1\u201378). Amsterdam: Elsevier.","DOI":"10.1016\/S0049-237X(98)80016-5"},{"issue":"2","key":"9560_CR8","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/s10992-010-9165-z","volume":"41","author":"P Cobreros","year":"2012","unstructured":"Cobreros, P., Egr\u00e9, P., Ripley, D., & van Rooij, R. (2012). Tolerant, classical, strict. Journal of Philosophical Logic, 41(2), 347\u2013385.","journal-title":"Journal of Philosophical Logic"},{"issue":"488","key":"9560_CR9","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1093\/mind\/fzt110","volume":"122","author":"P Cobreros","year":"2013","unstructured":"Cobreros, P., Egr\u00e9, P., Ripley, D., & van Rooij, R. (2013). Reaching transparent truth. Mind, 122(488), 841\u2013866.","journal-title":"Mind"},{"key":"9560_CR10","doi-asserted-by":"crossref","unstructured":"Cobreros, P., Egr\u00e9, P., Ripley, D., & van Rooij, R. (2015). Vagueness, truth and permissive consequence. In Achouriotti, D., Galinon, H., & Martinez, J. (Eds.) Unifying the philosophy of truth (pp. 409\u2013430): Springer.","DOI":"10.1007\/978-94-017-9673-6_21"},{"key":"9560_CR11","doi-asserted-by":"publisher","unstructured":"Cobreros, P., Tranchini, L., & La Rosa, E. (2020). (I can\u2019t get no) antisatisfaction. Synthese. https:\/\/doi.org\/10.1007\/s11229-020-02570-x.","DOI":"10.1007\/s11229-020-02570-x"},{"key":"9560_CR12","doi-asserted-by":"publisher","first-page":"667","DOI":"10.1007\/s11098-018-1199-z","volume":"177","author":"B Dicher","year":"2020","unstructured":"Dicher, B. (2020). Variations on intra-theoretical logical pluralism: internal versus external consequence. Philosophical Studies, 177, 667\u2013686.","journal-title":"Philosophical Studies"},{"key":"9560_CR13","doi-asserted-by":"crossref","unstructured":"Dicher, B., & Paoli, F. (2019). ST, LP, and tolerant metainferences. In Baskent, C., & Ferguson, T.M. (Eds.) Graham Priest on dialetheism and paraconsistency (pp. 383\u2013407). Outstanding Contributions to Logic, vol 18. Cham: Springer.","DOI":"10.1007\/978-3-030-25365-3_18"},{"key":"9560_CR14","doi-asserted-by":"crossref","unstructured":"French, R. (2016). Structural reflexivity and the paradoxes of self-reference. Ergo, an Open Access Journal of Philosophy, 3(5).","DOI":"10.3998\/ergo.12405314.0003.005"},{"key":"9560_CR15","doi-asserted-by":"crossref","unstructured":"Gentzen, G. (1969). Investigations into logical deduction. In Szabo, M.E. (Ed.) The collected papers of Gerhard Gentzen (pp. 68\u2013131). Amsterdam: North-Holland Publishing Company.","DOI":"10.1016\/S0049-237X(08)70822-X"},{"issue":"3","key":"9560_CR16","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1080\/00048402.2017.1399151","volume":"96","author":"T Kouri Kissel","year":"2018","unstructured":"Kouri Kissel, T. (2018). Logical pluralism from a pragmatic perspective. Australasian Journal of Philosophy, 96(3), 578\u2013591.","journal-title":"Australasian Journal of Philosophy"},{"issue":"19","key":"9560_CR17","doi-asserted-by":"publisher","first-page":"690","DOI":"10.2307\/2024634","volume":"72","author":"S Kripke","year":"1975","unstructured":"Kripke, S. (1975). Outline of a theory of truth. The Journal of Philosophy, 72(19), 690\u2013716.","journal-title":"The Journal of Philosophy"},{"issue":"2","key":"9560_CR18","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1111\/j.1747-9991.2007.00070.x","volume":"2","author":"H Leitgeb","year":"2007","unstructured":"Leitgeb, H. (2007). What theories of truth should be like (but cannot be). Philosophy Compass, 2(2), 276\u2013290.","journal-title":"Philosophy Compass"},{"issue":"2-3","key":"9560_CR19","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1007\/s10992-013-9268-4","volume":"43","author":"E Mares","year":"2014","unstructured":"Mares, E., & Paoli, F. (2014). Logical consequence and the paradoxes. Journal of Philosophical Logic, 43(2-3), 439\u2013469.","journal-title":"Journal of Philosophical Logic"},{"key":"9560_CR20","unstructured":"Nicolai, C., & Rossi, L. (2016). Principles for object-linguistic consequence: from logical to irreflexive. Journal of Philosophical Logic, 1\u201329."},{"issue":"6","key":"9560_CR21","doi-asserted-by":"publisher","first-page":"1255","DOI":"10.1007\/s11225-017-9746-8","volume":"105","author":"A P\u0159enosil","year":"2017","unstructured":"P\u0159enosil, A. (2017). Cut elimination, identity elimination, and interpolation in super-Belnap logics. Studia Logica, 105(6), 1255\u20131289.","journal-title":"Studia Logica"},{"key":"9560_CR22","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"G Priest","year":"1979","unstructured":"Priest, G. (1979). Logic of paradox. Journal of Philosophical Logic, 8, 219\u2013241.","journal-title":"Journal of Philosophical Logic"},{"issue":"02","key":"9560_CR23","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1017\/S1755020312000056","volume":"5","author":"D Ripley","year":"2012","unstructured":"Ripley, D. (2012). Conservatively extending classical logic with transparent truth. The Review of Symbolic Logic, 5(02), 354\u2013378.","journal-title":"The Review of Symbolic Logic"},{"key":"9560_CR24","unstructured":"Russell, G. (2019). Logical pluralism. In Zalta, E.N. (Ed.) The Stanford Encyclopedia of Philosophy. Metaphysics research lab, Stanford University, summer 2019 edition."},{"key":"9560_CR25","doi-asserted-by":"publisher","unstructured":"Scambler, C. (2019). Classical logic and the strict tolerant hierarchy. Journal of Philosophical Logic, https:\/\/doi.org\/10.1007\/s10992-019-09520-0.","DOI":"10.1007\/s10992-019-09520-0"},{"key":"9560_CR26","unstructured":"Teijeiro, P. (2019). Strength and stability. An\u00e1lisis Filos\u00f3fico. To appear."},{"key":"9560_CR27","doi-asserted-by":"crossref","unstructured":"Tye, M. (1994). Sorites paradoxes and the semantics of vagueness. Philosophical Perspectives, 189\u2013206.","DOI":"10.2307\/2214170"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-020-09560-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10992-020-09560-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-020-09560-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,3]],"date-time":"2021-09-03T16:38:41Z","timestamp":1630687121000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10992-020-09560-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,3]]},"references-count":27,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2020,12]]}},"alternative-id":["9560"],"URL":"https:\/\/doi.org\/10.1007\/s10992-020-09560-x","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,9,3]]},"assertion":[{"value":"6 February 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 January 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 September 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}