{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T14:47:44Z","timestamp":1781189264400,"version":"3.54.1"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,8,17]],"date-time":"2017-08-17T00:00:00Z","timestamp":1502928000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000883","name":"University of Bristol","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100000883","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.1007\/s11229-017-1495-8","type":"journal-article","created":{"date-parts":[[2017,8,17]],"date-time":"2017-08-17T08:31:21Z","timestamp":1502958681000},"page":"1045-1069","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Deflationism beyond arithmetic"],"prefix":"10.1007","volume":"196","author":[{"given":"Kentaro","family":"Fujimoto","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,8,17]]},"reference":[{"key":"1495_CR1","volume-title":"Unifying the philosophy of truth, volume 36 of logic, epistemology, and the unity of science","year":"2015","unstructured":"Achourioti, T., Galinon, H., Mart\u00ednez-Fern\u00e1ndez, J., & Fujimoto, K. (Eds.). (2015). Unifying the philosophy of truth, volume 36 of logic, epistemology, and the unity of science. Heidelberg: Springer."},{"key":"1495_CR2","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0049-237X(08)71252-7","volume-title":"The kleene symposium","author":"P Aczel","year":"1980","unstructured":"Aczel, P. (1980). Frege structures and the notion of proposition, truth and set. In J. Barwise, H. Keisler, & K. Kunen (Eds.), The kleene symposium (pp. 31\u201359). Amsterdam: North-Holland."},{"key":"1495_CR3","doi-asserted-by":"publisher","first-page":"541","DOI":"10.2307\/2564614","volume":"96","author":"J Azzouni","year":"1999","unstructured":"Azzouni, J. (1999). Comments on shapiro. Journal of Philosophy, 96, 541\u2013544.","journal-title":"Journal of Philosophy"},{"key":"1495_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-68952-9","volume-title":"Foundations of constructive mathematics","author":"M Beeson","year":"1985","unstructured":"Beeson, M. (1985). Foundations of constructive mathematics. Berlin: Springer."},{"key":"1495_CR5","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1093\/mind\/fzq034","volume":"119","author":"C Cie\u015bli\u0144ski","year":"2010","unstructured":"Cie\u015bli\u0144ski, C. (2010). Truth, conservativeness, and provability. Mind, 119, 409\u2013422.","journal-title":"Mind"},{"key":"1495_CR6","doi-asserted-by":"publisher","first-page":"625","DOI":"10.2307\/2272846","volume":"39","author":"J Corcoran","year":"1974","unstructured":"Corcoran, J., Frank, W., & Maloney, M. (1974). String theory. The Journal of Symbolic Logic, 39, 625\u2013637.","journal-title":"The Journal of Symbolic Logic"},{"key":"1495_CR7","first-page":"321","volume-title":"Unifying the philosophy of truth, volume 36 of logic, epistemology, and the unity of science","author":"A Enayat","year":"2015","unstructured":"Enayat, A., & Visser, A. (2015). New constructions of satisfaction classes. In T. Achourioti, H. Galinon, J. Mart\u00ednez-Fern\u00e1ndez, & K. Fujimoto (Eds.), Unifying the philosophy of truth, volume 36 of logic, epistemology, and the unity of science (pp. 321\u2013335). Heidelberg: Springer."},{"key":"1495_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2274902","volume":"56","author":"S Feferman","year":"1991","unstructured":"Feferman, S. (1991). Reflecting on incompleteness. The Journal of Symbolic Logic, 56, 1\u201349.","journal-title":"The Journal of Symbolic Logic"},{"key":"1495_CR9","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1093\/mind\/103.411.249","volume":"103","author":"H Field","year":"1994","unstructured":"Field, H. (1994). Deflationist views of meaning and content. Mind, 103, 247\u2013285.","journal-title":"Mind"},{"key":"1495_CR10","doi-asserted-by":"publisher","first-page":"533","DOI":"10.2307\/2564613","volume":"96","author":"H Field","year":"1999","unstructured":"Field, H. (1999). Deflating the conservativeness argument. The Journal of Philosophy, 96, 533\u2013540.","journal-title":"The Journal of Philosophy"},{"key":"1495_CR11","doi-asserted-by":"publisher","first-page":"1484","DOI":"10.1016\/j.apal.2011.12.006","volume":"163","author":"K Fujimoto","year":"2012","unstructured":"Fujimoto, K. (2012). Classes and truths in set theory. Annals of Pure and Applied Logic, 163, 1484\u20131523.","journal-title":"Annals of Pure and Applied Logic"},{"key":"1495_CR12","unstructured":"Fujimoto, K. (2017). Compositional truths can catch up with non-compositional Truths (submitted)."},{"key":"1495_CR13","doi-asserted-by":"publisher","first-page":"265","DOI":"10.2178\/jsl\/1231082312","volume":"74","author":"M Ganea","year":"2009","unstructured":"Ganea, M. (2009). Arithmetic on semigroups. The Journal of Symbolic Logic, 74, 265\u2013278.","journal-title":"The Journal of Symbolic Logic"},{"key":"1495_CR14","doi-asserted-by":"publisher","unstructured":"Hachtman, S. (2017). Determinacy in third order arithmetic. Ann Pure Appl Logic. doi: 10.1016\/j.apal.2017.05.004 .","DOI":"10.1016\/j.apal.2017.05.004"},{"key":"1495_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-22156-3","volume-title":"Metamathematics of first-order arithmetic","author":"P H\u00e1jek","year":"1993","unstructured":"H\u00e1jek, P., & Pudlak, P. (1993). Metamathematics of first-order arithmetic. Berlin: Springer."},{"key":"1495_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/108.429.1","volume":"108","author":"V Halbach","year":"1999","unstructured":"Halbach, V. (1999). Disquotationalism and infinite conjunctions. Mind, 108, 1\u201322.","journal-title":"Mind"},{"key":"1495_CR17","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1023\/A:1005275222332","volume":"126","author":"V Halbach","year":"2001","unstructured":"Halbach, V. (2001). How innocent is deflationism? Synthese, 126, 167\u2013194.","journal-title":"Synthese"},{"key":"1495_CR18","doi-asserted-by":"publisher","first-page":"786","DOI":"10.1017\/S1755020309990220","volume":"2","author":"V Halbach","year":"2009","unstructured":"Halbach, V. (2009). Reducing compositional to disquotational truth. The Review of Symbolic Logic, 2, 786\u2013798.","journal-title":"The Review of Symbolic Logic"},{"key":"1495_CR19","volume-title":"Axiomatic theories of truth","author":"V Halbach","year":"2010","unstructured":"Halbach, V. (2010). Axiomatic theories of truth. Cambridge: Cambridge University Press."},{"key":"1495_CR20","unstructured":"Heck, R. (2009). The strength of truth theories. (unpublished manusctipt)."},{"key":"1495_CR21","first-page":"173","volume-title":"The many problems of realism","author":"L Horsten","year":"1995","unstructured":"Horsten, L. (1995). The semantical paradoxes, the neutrality of truth, and the neutrality of the minimalist theory of truth. In P. Cortois (Ed.), The many problems of realism (pp. 173\u2013187). Oxford: Tilburg University Press."},{"key":"1495_CR22","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9780262015868.001.0001","volume-title":"The Tarskian turn","author":"L Horsten","year":"2011","unstructured":"Horsten, L. (2011). The Tarskian turn. Cambridge, Massachusetts: The MIT Press."},{"key":"1495_CR23","doi-asserted-by":"crossref","unstructured":"Isaacson, D (1987). Arithmetical truth and hidden higher-order concepts. In The Paris Logic Group (Eds.),Logic Colloquium \u201985: proceedings of the colloquium held in Orsay, France July 1985, (pp. 147\u2013169). Amsterdam: North Holland.","DOI":"10.1016\/S0049-237X(09)70552-X"},{"key":"1495_CR24","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1093\/mind\/108.429.69","volume":"108","author":"J Ketland","year":"1999","unstructured":"Ketland, J. (1999). Deflationism and tarski\u2019s paradise. Mind, 108, 69\u201394.","journal-title":"Mind"},{"key":"1495_CR25","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1093\/mind\/fzi075","volume":"114","author":"J Ketland","year":"2005","unstructured":"Ketland, J. (2005). Deflationism and g\u00f6del phenomena: Reply to tenannt. Mind, 114, 75\u201388.","journal-title":"Mind"},{"key":"1495_CR26","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1093\/mind\/fzq039","volume":"119","author":"J Ketland","year":"2010","unstructured":"Ketland, J. (2010). Truth, conservativeness, and provability: Reply to Cie\u015bli\u0144ski. Mind, 119, 423\u2013436.","journal-title":"Mind"},{"key":"1495_CR27","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1017\/S1755020313000233","volume":"6","author":"G Leigh","year":"2013","unstructured":"Leigh, G., & Nicolai, C. (2013). Axiomatic truth, syntax and metatheoretic reasoning. Review of Symbolic Logic, 6, 613\u2013636.","journal-title":"Review of Symbolic Logic"},{"key":"1495_CR28","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1305\/ndjfl\/1094061860","volume":"35","author":"F Montagna","year":"1994","unstructured":"Montagna, F., & Mancini, A. (1994). A minimal predicative set theory. Notre Dame Journal of Formal Logic, 35, 186\u2013203.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"1495_CR29","doi-asserted-by":"publisher","first-page":"4031","DOI":"10.1007\/s11229-015-0729-x","volume":"192","author":"C Nicolai","year":"2015","unstructured":"Nicolai, C. (2015). Deflationary truth and the ontology of expressions. Synthese, 192, 4031\u20134055.","journal-title":"Synthese"},{"key":"1495_CR30","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0168-0072(94)90074-4","volume":"68","author":"M Rathjen","year":"1994","unstructured":"Rathjen, M. (1994). Proof theory of reflection. Annals of Pure and Applied Logic, 68, 181\u2013224.","journal-title":"Annals of Pure and Applied Logic"},{"key":"1495_CR31","doi-asserted-by":"publisher","first-page":"712","DOI":"10.1017\/jsl.2014.28","volume":"79","author":"K Sato","year":"2014","unstructured":"Sato, K. (2014). Relative predicativity and dependent recursion in second-order set theory and higher-order theories. The Journal of Symbolic Logic, 79, 712\u2013732.","journal-title":"The Journal of Symbolic Logic"},{"key":"1495_CR32","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/s00153-014-0403-x","volume":"54","author":"K Sato","year":"2015","unstructured":"Sato, K. (2015). Full and hat inductive definitions are equivalent in $$\\mathit{NBG}$$ NBG . Archive for Mathematical Logic, 54, 75\u2013112.","journal-title":"Archive for Mathematical Logic"},{"key":"1495_CR33","doi-asserted-by":"publisher","first-page":"940","DOI":"10.1017\/jsl.2015.2","volume":"80","author":"N Schweber","year":"2015","unstructured":"Schweber, N. (2015). Transfinite recursion in higher reverse mathematics. The Journal of Symbolic Logic, 80, 940\u2013969.","journal-title":"The Journal of Symbolic Logic"},{"key":"1495_CR34","first-page":"493","volume":"95","author":"S Shapiro","year":"1998","unstructured":"Shapiro, S. (1998). Proof and truth: Through thick and thin. The Journal of Philosophy, 95, 493\u2013521.","journal-title":"The Journal of Philosophy"},{"key":"1495_CR35","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1515\/9783110332667.103","volume-title":"Principles of truth","author":"S Shapiro","year":"2004","unstructured":"Shapiro, S. (2004). Deflation and conservation. In V. Halbach & L. Horsten (Eds.), Principles of truth (2nd ed., pp. 103\u2013128). Frankfurt: Ontos Verlag.","edition":"2"},{"key":"1495_CR36","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/421139","volume":"5","author":"W Sieg","year":"1999","unstructured":"Sieg, W. (1999). Hilbert\u2019s programs: 1917\u20131922. The Bulletin of Symbolic Logic, 5, 1\u201344.","journal-title":"The Bulletin of Symbolic Logic"},{"key":"1495_CR37","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511581007","volume-title":"Subsystems of second order arithmetic","author":"SG Simpson","year":"2009","unstructured":"Simpson, S. G. (2009). Subsystems of second order arithmetic. Cambridge: Cambridge University Press."},{"key":"1495_CR38","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1215\/00294527-2008-029","volume":"50","author":"V \u0160vejdar","year":"2009","unstructured":"\u0160vejdar, V. (2009). On interpretability in the theory of concatenation. Notre Dame Journal of Formal Logic, 50, 87\u201395.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"1495_CR39","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1093\/mind\/111.443.551","volume":"111","author":"N Tennant","year":"2002","unstructured":"Tennant, N. (2002). Deflationism and the G\u00f6del\u2019s phenomena. Mind, 111, 551\u2013582.","journal-title":"Mind"},{"key":"1495_CR40","doi-asserted-by":"publisher","first-page":"504","DOI":"10.2307\/2687796","volume":"7","author":"J V\u00e4n\u00e4\u00e4nen","year":"2001","unstructured":"V\u00e4n\u00e4\u00e4nen, J. (2001). Second-order logic and foundation of mathematics. The Bulletin of Symbolic Logic, 7, 504\u2013520.","journal-title":"The Bulletin of Symbolic Logic"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-017-1495-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-017-1495-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-017-1495-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T23:12:26Z","timestamp":1750806746000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-017-1495-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,17]]},"references-count":40,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,3]]}},"alternative-id":["1495"],"URL":"https:\/\/doi.org\/10.1007\/s11229-017-1495-8","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,8,17]]},"assertion":[{"value":"7 December 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 July 2017","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 August 2017","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}