{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T13:12:58Z","timestamp":1778764378259,"version":"3.51.4"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2018,2,1]],"date-time":"2018-02-01T00:00:00Z","timestamp":1517443200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2019,11]]},"DOI":"10.1007\/s11229-018-1687-x","type":"journal-article","created":{"date-parts":[[2018,2,1]],"date-time":"2018-02-01T09:17:09Z","timestamp":1517476629000},"page":"4759-4774","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["Faithfulness for naive validity"],"prefix":"10.1007","volume":"196","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5072-9380","authenticated-orcid":false,"given":"Ulf","family":"Hlobil","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,2,1]]},"reference":[{"key":"1687_CR1","doi-asserted-by":"publisher","unstructured":"Barrio, E., Rosenblatt, L., & Tajer, D. (2016). Capturing naive validity in the cut-free approach. Synthese. https:\/\/doi.org\/10.1007\/s11229-016-1199-5 .","DOI":"10.1007\/s11229-016-1199-5"},{"issue":"3","key":"1687_CR2","doi-asserted-by":"publisher","first-page":"143","DOI":"10.5840\/jphil2013110336","volume":"110","author":"J Beall","year":"2013","unstructured":"Beall, J., & Murzi, J. (2013). Two flavors of Curry\u2019s paradox. Journal of Philosophy, 110(3), 143\u2013165.","journal-title":"Journal of Philosophy"},{"issue":"2","key":"1687_CR3","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":"1687_CR4","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1093\/mind\/fzt110","volume":"122","author":"P Cobreros","year":"2013","unstructured":"Cobreros, P., \u00c9gr\u00e9, P., Ripley, D., & van Rooij, R. (2013). Reaching transparent truth. Mind, 122(488), 841\u2013866.","journal-title":"Mind"},{"issue":"3","key":"1687_CR5","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s11787-014-0094-4","volume":"8","author":"RT Cook","year":"2014","unstructured":"Cook, R. T. (2014). There is no paradox of logical validity. Logica Universalis, 8(3), 447\u2013467.","journal-title":"Logica Universalis"},{"issue":"1","key":"1687_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1215\/00294527-3699865","volume":"58","author":"H Field","year":"2017","unstructured":"Field, H. (2017). Disarming a paradox of validity. Notre Dame Journal of Formal Logic, 58(1), 1\u201319.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"1687_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/philmat\/nkl028","volume":"15","author":"RG Heck","year":"2007","unstructured":"Heck, R. G. (2007). Self-reference and the languages of arithmetic. Philosophia Mathematica, 15(1), 1\u201329.","journal-title":"Philosophia Mathematica"},{"key":"1687_CR8","unstructured":"Hlobil, U. (2018). The cut-free approach and the admissibility-Curry. Thought: A Journal of Philosophy (forthcoming)."},{"issue":"3","key":"1687_CR9","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1093\/analys\/ans064","volume":"72","author":"J Ketland","year":"2012","unstructured":"Ketland, J. (2012). Validity as a primitive. Analysis, 72(3), 421\u2013430.","journal-title":"Analysis"},{"issue":"4","key":"1687_CR10","doi-asserted-by":"publisher","first-page":"418","DOI":"10.2307\/420956","volume":"4","author":"S Negri","year":"1998","unstructured":"Negri, S., & von Plato, J. (1998). Cut elimination in the presence of axioms. Bulletin of Symbolic Logic, 4(4), 418\u2013435.","journal-title":"Bulletin of Symbolic Logic"},{"issue":"2","key":"1687_CR11","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. Review of Symbolic Logic, 5(2), 354\u2013378.","journal-title":"Review of Symbolic Logic"},{"issue":"1","key":"1687_CR12","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1080\/00048402.2011.630010","volume":"91","author":"D Ripley","year":"2013","unstructured":"Ripley, D. (2013). Paradoxes and failures of cut. Australasian Journal of Philosophy, 91(1), 139\u2013164.","journal-title":"Australasian Journal of Philosophy"},{"issue":"1","key":"1687_CR13","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s11245-014-9261-8","volume":"34","author":"D Ripley","year":"2015","unstructured":"Ripley, D. (2015). Anything goes. Topoi, 34(1), 25\u201336.","journal-title":"Topoi"},{"key":"1687_CR14","unstructured":"Ripley, D. (2017). Bilateralism, coherence, warrant. In F. Moltmann & M. Textor (Eds.), Act-Based Conceptions of Propositional Content (pp. 307\u2013324). Oxford University Press."},{"issue":"4","key":"1687_CR15","first-page":"93","volume":"4","author":"L Rosenblatt","year":"2017","unstructured":"Rosenblatt, L. (2017). Naive validity, internalization and substructural approaches to paradox. Ergo, 4(4), 93\u2013120.","journal-title":"Ergo"},{"issue":"1","key":"1687_CR16","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1163\/18756735-90000844","volume":"77","author":"I Rumfitt","year":"2008","unstructured":"Rumfitt, I. (2008). Knowledge by deduction. Grazer Philosophische Studien, 77(1), 61\u201384.","journal-title":"Grazer Philosophische Studien"},{"issue":"2","key":"1687_CR17","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1002\/tht3.80","volume":"2","author":"L Shapiro","year":"2013","unstructured":"Shapiro, L. (2013). Validity Curry strengthened. Thought: A Journal of Philosophy, 2(2), 100\u2013107.","journal-title":"Thought: A Journal of Philosophy"},{"issue":"1","key":"1687_CR18","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BF01973339","volume":"11","author":"F Kutschera von","year":"1968","unstructured":"von Kutschera, F. (1968). Die Vollst\u00e4ndigkeit des Operatorensystems $$\\{\\lnot,\\vee,\\supset \\}$$ { \u00ac , \u2228 , \u2283 } f\u00fcr die intuitionistische Aussagenlogik im Rahmen der Gentzensematik. Archive for Mathematical Logic, 11(1), 3\u201316.","journal-title":"Archive for Mathematical Logic"},{"issue":"4","key":"1687_CR19","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/s10992-014-9336-4","volume":"44","author":"H Wansing","year":"2015","unstructured":"Wansing, H., & Priest, G. (2015). External Curries. Journal of Philosophical Logic, 44(4), 453\u2013471.","journal-title":"Journal of Philosophical Logic"},{"issue":"4","key":"1687_CR20","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1007\/s10992-012-9239-1","volume":"42","author":"E Zardini","year":"2013","unstructured":"Zardini, E. (2013). Naive modus ponens. Journal of Philosophical Logic, 42(4), 575\u2013593.","journal-title":"Journal of Philosophical Logic"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-018-1687-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-018-1687-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-018-1687-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,13]],"date-time":"2022-08-13T18:42:47Z","timestamp":1660416167000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-018-1687-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,2,1]]},"references-count":20,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2019,11]]}},"alternative-id":["1687"],"URL":"https:\/\/doi.org\/10.1007\/s11229-018-1687-x","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,2,1]]},"assertion":[{"value":"21 July 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 January 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 February 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}