{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T05:44:42Z","timestamp":1749707082643},"reference-count":34,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2013,8,28]],"date-time":"2013-08-28T00:00:00Z","timestamp":1377648000000},"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":[[2013,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Following recent developments in the literature on axiomatic theories of truth, we investigate an alternative to the widespread habit of formalizing the syntax of the object-language into the object-language itself. We first argue for the proposed revision, elaborating philosophical evidences in favor of it. Secondly, we present a general framework for axiomatic theories of truth with \u2018disentangled\u2019 theories of syntax. Different choices of the object theory <jats:italic>O<\/jats:italic> will be considered. Moreover, some strengthenings of these theories will be introduced: we will consider extending the theories by the addition of coding axioms or by extending the schemas of <jats:italic>O<\/jats:italic>, if present, to the entire vocabulary of our theory of truth. Finally, we touch on the philosophical consequences that the theories described can have on the debate about the metaphysical status of the truth predicate and on the formalization of our informal metatheoretic reasoning.<\/jats:p>","DOI":"10.1017\/s1755020313000233","type":"journal-article","created":{"date-parts":[[2013,8,28]],"date-time":"2013-08-28T13:45:27Z","timestamp":1377697527000},"page":"613-636","source":"Crossref","is-referenced-by-count":16,"title":["AXIOMATIC TRUTH, SYNTAX AND METATHEORETIC REASONING"],"prefix":"10.1017","volume":"6","author":[{"given":"GRAHAM E.","family":"LEIGH","sequence":"first","affiliation":[]},{"given":"CARLO","family":"NICOLAI","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2013,8,28]]},"reference":[{"key":"S1755020313000233_ref31","first-page":"152","volume-title":"Logic, Semantic, Metamathematics:Papers of Alfred Tarski From 1922-1938","author":"Tarski","year":"1936"},{"key":"S1755020313000233_ref29","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511581007"},{"key":"S1755020313000233_ref28","volume-title":"Principles of Truth","author":"Shapiro","year":"2002"},{"key":"S1755020313000233_ref26","doi-asserted-by":"publisher","DOI":"10.2307\/2268308"},{"key":"S1755020313000233_ref24","volume-title":"Axiomatic Truth, Syntax and Deflationism","author":"Nicolai"},{"key":"S1755020313000233_ref23","doi-asserted-by":"publisher","DOI":"10.2307\/2998341"},{"key":"S1755020313000233_ref21","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(91)90032-H"},{"key":"S1755020313000233_ref20","unstructured":"Lavine S . (1999). Skolem was wrong. Unpublished manuscript."},{"key":"S1755020313000233_ref17","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005670319780"},{"key":"S1755020313000233_ref16","author":"Heck","year":"2009","journal-title":"The Strength of Truth Theories"},{"key":"S1755020313000233_ref14","volume-title":"The Stanford Encyclopedia of Philosophy (Winter 2009 Edition)","author":"Halbach","year":"2009"},{"key":"S1755020313000233_ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-22156-3"},{"key":"S1755020313000233_ref7","first-page":"191","volume-title":"Logic Colloquium 1988","author":"Feferman","year":"1989"},{"key":"S1755020313000233_ref6","first-page":"95","volume-title":"Logic Colloquium \u201980","author":"Feferman","year":"1982"},{"key":"S1755020313000233_ref3","doi-asserted-by":"publisher","DOI":"10.2307\/2964289"},{"key":"S1755020313000233_ref9","doi-asserted-by":"publisher","DOI":"10.2307\/2564613"},{"key":"S1755020313000233_ref2","volume-title":"A Subject With No Object. Strategies for a Nominalistic Interpretation of Mathematics","author":"Burgess","year":"1997"},{"key":"S1755020313000233_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-11035-5"},{"key":"S1755020313000233_ref13","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005275222332"},{"key":"S1755020313000233_ref5","doi-asserted-by":"publisher","DOI":"10.4064\/fm-49-1-35-92"},{"key":"S1755020313000233_ref19","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9780262015868.001.0001"},{"key":"S1755020313000233_ref32","doi-asserted-by":"publisher","DOI":"10.2307\/2102968"},{"key":"S1755020313000233_ref4","volume-title":"A Mathematical Introduction to Logic","author":"Enderton","year":"2001"},{"key":"S1755020313000233_ref18","first-page":"173","volume-title":"The Many Problems of Realism (Studies in the General Philosophy of Science: Volume 3)","author":"Horsten","year":"1995"},{"key":"S1755020313000233_ref8","doi-asserted-by":"publisher","DOI":"10.2307\/2274902"},{"key":"S1755020313000233_ref33","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139168717"},{"key":"S1755020313000233_ref10","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/108.429.69"},{"key":"S1755020313000233_ref30","volume-title":"Handbook of Mathematical Logic","author":"Smory\u0144ski","year":"1977"},{"key":"S1755020313000233_ref25","volume-title":"Continuum Companion to Philosophical Logic","author":"Niebergall","year":"2011"},{"key":"S1755020313000233_ref22","volume-title":"Extensions of First-Order Logic","author":"Manzano","year":"1996"},{"key":"S1755020313000233_ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2011.12.006"},{"key":"S1755020313000233_ref34","doi-asserted-by":"publisher","DOI":"10.1215\/00294527-2008-028"},{"key":"S1755020313000233_ref15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511921049"},{"key":"S1755020313000233_ref27","first-page":"493","article-title":"Truth and proof: through thick and thin","volume":"95","author":"Shapiro","year":"1998","journal-title":"The Journal of Philosophy"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020313000233","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T02:37:24Z","timestamp":1555987044000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020313000233\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,28]]},"references-count":34,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["S1755020313000233"],"URL":"https:\/\/doi.org\/10.1017\/s1755020313000233","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,8,28]]}}}