{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T08:39:39Z","timestamp":1771490379263,"version":"3.50.1"},"reference-count":47,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2015,2,11]],"date-time":"2015-02-11T00:00:00Z","timestamp":1423612800000},"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":[[2015,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>What is the logical strength of theories of truth? That is: If you take a theory<jats:inline-formula><jats:alternatives><jats:graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" orientation=\"portrait\" mime-subtype=\"gif\" mimetype=\"image\" position=\"float\" xlink:type=\"simple\" xlink:href=\"S1755020314000549_inline1\"\/><jats:tex-math>${\\cal T}$<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula>and add a theory of truth to it, how strong is the resulting theory, as compared to<jats:inline-formula><jats:alternatives><jats:graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" orientation=\"portrait\" mime-subtype=\"gif\" mimetype=\"image\" position=\"float\" xlink:type=\"simple\" xlink:href=\"S1755020314000549_inline2\"\/><jats:tex-math>${\\cal T}$<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula>? Once the question has been properly formulated, the answer turns out to be about as elegant as one could want: At least when<jats:inline-formula><jats:alternatives><jats:graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" orientation=\"portrait\" mime-subtype=\"gif\" mimetype=\"image\" position=\"float\" xlink:type=\"simple\" xlink:href=\"S1755020314000549_inline3\"\/><jats:tex-math>${\\cal T}$<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula>is finitely axiomatized theory, theories of truth act more or less as a kind of abstract consistency statement. To prove this result, however, we have to formulate truth-theories somewhat differently from how they have been and instead follow Tarski in \u2018disentangling\u2019 syntactic theories from object theories.<\/jats:p>","DOI":"10.1017\/s1755020314000549","type":"journal-article","created":{"date-parts":[[2015,2,11]],"date-time":"2015-02-11T04:28:26Z","timestamp":1423628906000},"page":"424-466","source":"Crossref","is-referenced-by-count":10,"title":["CONSISTENCY AND THE THEORY OF TRUTH"],"prefix":"10.1017","volume":"8","author":[{"suffix":"JR.","given":"RICHARD G.","family":"HECK","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2015,2,11]]},"reference":[{"key":"S1755020314000549_ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-005-2976-1"},{"key":"S1755020314000549_ref36","first-page":"152","volume-title":"Logic, Semantics, and Metamathematics","author":"Tarski","year":"1958"},{"key":"S1755020314000549_ref22","doi-asserted-by":"publisher","DOI":"10.4153\/CMB-1981-045-3"},{"key":"S1755020314000549_ref26","doi-asserted-by":"publisher","DOI":"10.4064\/fm-39-1-133-158"},{"key":"S1755020314000549_ref23","article-title":"Conservativity for theories of compositional truth via cut elimination","author":"Leigh","year":"2013","journal-title":"Journal of Symbolic Logic"},{"key":"S1755020314000549_ref17","unstructured":"Heck R. G . (2009). The strength of truth-theories. Manuscript available at http:\/\/rgheck.frege.org\/pdf\/unpublished\/StrengthOfTruthTheories.pdf."},{"key":"S1755020314000549_ref2","doi-asserted-by":"crossref","DOI":"10.1515\/9780691187068","volume-title":"Fixing Frege","author":"Burgess","year":"2005"},{"key":"S1755020314000549_ref15","first-page":"22","volume-title":"McDowell and His Critics","author":"Heck","year":"2005"},{"key":"S1755020314000549_ref33","doi-asserted-by":"publisher","DOI":"10.2307\/2268308"},{"key":"S1755020314000549_ref28","article-title":"A note on typed truth and consistency assertions","author":"Nicolai","year":"2014","journal-title":"Journal of Philosophical Logic"},{"key":"S1755020314000549_ref4","doi-asserted-by":"publisher","DOI":"10.2307\/2272846"},{"key":"S1755020314000549_ref39","unstructured":"Visser A . (2006). Categories of theories and interpretations. In Enayat A. and Kalantari I. editor. Logic in Tehran: Proceedings of the Workshop and Conference on Logic, Algebra and Arithmetic, Held October 18\u201322, 2003. Wellesley, MA: A. K. Peters, pp. 284\u2013341."},{"key":"S1755020314000549_ref47","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(87)90066-2"},{"key":"S1755020314000549_ref3","volume-title":"Bounded Arithmetic","author":"Buss","year":"1986"},{"key":"S1755020314000549_ref10","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020314000070"},{"key":"S1755020314000549_ref46","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1952-0049136-2"},{"key":"S1755020314000549_ref5","doi-asserted-by":"publisher","DOI":"10.2307\/2964289"},{"key":"S1755020314000549_ref34","first-page":"347","article-title":"An interpretation of Robinson arithmetic in Grzegorczyk\u2019s weaker variant","volume":"81","author":"\u0160vejdar","year":"2007","journal-title":"Fundamenta Informaticae"},{"key":"S1755020314000549_ref45","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2009.02.001"},{"key":"S1755020314000549_ref20","first-page":"27","article-title":"Finite axiomatizability of theories in the predicate calculus using additional predicate symbols","volume":"10","author":"Kleene","year":"1952","journal-title":"Memoirs of the American Mathematical Society"},{"key":"S1755020314000549_ref43","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exp048"},{"key":"S1755020314000549_ref6","unstructured":"Enayat A. , & Visser A . (2012). New constructions of full satisfaction classes. Manuscript available at http:\/\/dspace.library.uu.nl\/bitstream\/handle\/1874\/266885\/preprint303.pdf."},{"key":"S1755020314000549_ref27","doi-asserted-by":"publisher","DOI":"10.1515\/9781400858927"},{"key":"S1755020314000549_ref38","first-page":"245","article-title":"Satisfaction relations for proper classes: Applications in logic and set theory","volume":"78","author":"Van Wesep","year":"2013","journal-title":"Journal of Symbolic Logic"},{"key":"S1755020314000549_ref37","volume-title":"Undecidable Theories","author":"Tarski","year":"1953"},{"key":"S1755020314000549_ref1","doi-asserted-by":"publisher","DOI":"10.1070\/RM2005v060n02ABEH000823"},{"key":"S1755020314000549_ref7","unstructured":"Enayat A. , & Visser A . (2014). Full satisfaction classes in a general setting (Part I). Unpublished manuscript."},{"key":"S1755020314000549_ref8","doi-asserted-by":"publisher","DOI":"10.4064\/fm-49-1-35-92"},{"key":"S1755020314000549_ref9","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020309990232"},{"key":"S1755020314000549_ref12","first-page":"155","article-title":"Mathematical fuzzy logic and natural numbers","volume":"81","author":"H\u00e1jek","year":"2007","journal-title":"Fundamenta Informaticae"},{"key":"S1755020314000549_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-22156-3"},{"key":"S1755020314000549_ref14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511921049"},{"key":"S1755020314000549_ref16","first-page":"349","volume-title":"Truth and Speech Acts: Studies in the Philosophy of Language","author":"Heck","year":"2007"},{"key":"S1755020314000549_ref18","doi-asserted-by":"publisher","DOI":"10.1093\/philmat\/nkt045"},{"key":"S1755020314000549_ref19","unstructured":"Heck R. G . (2014b). The logical strength of compositional principles. Manuscript."},{"key":"S1755020314000549_ref21","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19860323107"},{"key":"S1755020314000549_ref24","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020313000233"},{"key":"S1755020314000549_ref25","doi-asserted-by":"publisher","DOI":"10.4064\/fm-37-1-111-124"},{"key":"S1755020314000549_ref29","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19610070710"},{"key":"S1755020314000549_ref30","doi-asserted-by":"publisher","DOI":"10.2307\/2214641"},{"key":"S1755020314000549_ref31","doi-asserted-by":"publisher","DOI":"10.2307\/1999613"},{"key":"S1755020314000549_ref32","doi-asserted-by":"publisher","DOI":"10.2307\/2274231"},{"key":"S1755020314000549_ref35","doi-asserted-by":"publisher","DOI":"10.2307\/2102968"},{"key":"S1755020314000549_ref40","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370389"},{"key":"S1755020314000549_ref41","doi-asserted-by":"publisher","DOI":"10.2307\/2275181"},{"key":"S1755020314000549_ref42","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-008-0087-1"},{"key":"S1755020314000549_ref44","doi-asserted-by":"publisher","DOI":"10.1215\/00294527-2008-028"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020314000549","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,20]],"date-time":"2019-08-20T17:01:19Z","timestamp":1566320479000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020314000549\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,2,11]]},"references-count":47,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,9]]}},"alternative-id":["S1755020314000549"],"URL":"https:\/\/doi.org\/10.1017\/s1755020314000549","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,2,11]]}}}