{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T10:44:50Z","timestamp":1774953890562,"version":"3.50.1"},"reference-count":31,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2015,1,26]],"date-time":"2015-01-26T00:00:00Z","timestamp":1422230400000},"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,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We discuss the interplay between the axiomatic and the semantic approach to truth. Often, semantic constructions have guided the development of axiomatic theories and certain axiomatic theories have been claimed to capture a semantic construction. We ask under which conditions an axiomatic theory captures a semantic construction. After discussing some potential criteria, we focus on the criterion of \u2115-categoricity and discuss its usefulness and limits.<\/jats:p>","DOI":"10.1017\/s1755020314000379","type":"journal-article","created":{"date-parts":[[2015,1,26]],"date-time":"2015-01-26T09:34:41Z","timestamp":1422264881000},"page":"257-278","source":"Crossref","is-referenced-by-count":25,"title":["AXIOMATIZING SEMANTIC THEORIES OF TRUTH?"],"prefix":"10.1017","volume":"8","author":[{"given":"MARTIN","family":"FISCHER","sequence":"first","affiliation":[]},{"given":"VOLKER","family":"HALBACH","sequence":"additional","affiliation":[]},{"given":"J\u00d6NNE","family":"KRIENER","sequence":"additional","affiliation":[]},{"given":"JOHANNES","family":"STERN","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2015,1,26]]},"reference":[{"key":"S1755020314000379_ref30","volume-title":"Truth and Modality","author":"Turner","year":"1990b"},{"key":"S1755020314000379_ref19","doi-asserted-by":"publisher","DOI":"10.1017\/S175502031100030X"},{"key":"S1755020314000379_ref8","doi-asserted-by":"publisher","DOI":"10.2307\/2941075"},{"key":"S1755020314000379_ref15","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1305\/ndjfl\/1040511340","article-title":"A system of complete and consistent truth","volume":"35","author":"Halbach","year":"1994","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"S1755020314000379_ref29","volume-title":"Logic, Semantics, Metamathematics","author":"Tarski","year":"1956"},{"key":"S1755020314000379_ref11","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199230747.001.0001"},{"key":"S1755020314000379_ref2","unstructured":"Burgess J. P . (2009). Friedman and the axiomatization of Kripke\u2019s theory of truth. Unpublished manuscript, delivered at a conference in honour of the 60th birthday of Harvey Friedman at the Ohio State University, 14\u201317 May 2009."},{"key":"S1755020314000379_ref1","doi-asserted-by":"publisher","DOI":"10.2307\/2274021"},{"key":"S1755020314000379_ref14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5938.001.0001","volume-title":"The Revision Theory of Truth","author":"Gupta","year":"1993"},{"key":"S1755020314000379_ref27","volume-title":"Theory of Recursive Functions and Effective Computability","author":"Rogers","year":"1967"},{"key":"S1755020314000379_ref20","doi-asserted-by":"publisher","DOI":"10.1007\/BF00247954"},{"key":"S1755020314000379_ref16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139696586"},{"key":"S1755020314000379_ref12","doi-asserted-by":"publisher","DOI":"10.2178\/bsl\/1286284556"},{"key":"S1755020314000379_ref9","doi-asserted-by":"publisher","DOI":"10.2307\/2274902"},{"key":"S1755020314000379_ref3","doi-asserted-by":"publisher","DOI":"10.2307\/2275486"},{"key":"S1755020314000379_ref4","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19890350202"},{"key":"S1755020314000379_ref6","volume-title":"Logical Frameworks for Truth and Abstraction","author":"Cantini","year":"1996"},{"key":"S1755020314000379_ref24","volume-title":"Truth, Vagueness, and Paradox: An Essay on the Logic of Truth","author":"McGee","year":"1991"},{"key":"S1755020314000379_ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0091895"},{"key":"S1755020314000379_ref23","doi-asserted-by":"publisher","DOI":"10.1111\/j.1747-9991.2007.00070.x"},{"key":"S1755020314000379_ref5","doi-asserted-by":"publisher","DOI":"10.2307\/2274965"},{"key":"S1755020314000379_ref26","volume-title":"Proof Theory: The First Step into Impredicativity","author":"Pohlers","year":"2009"},{"key":"S1755020314000379_ref7","doi-asserted-by":"publisher","DOI":"10.2307\/2026863"},{"key":"S1755020314000379_ref31","article-title":"The complexity of the dependence operator","author":"Welch","year":"2014","journal-title":"Journal of Philosophical Logic"},{"key":"S1755020314000379_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BF00302338"},{"key":"S1755020314000379_ref28","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511581007"},{"key":"S1755020314000379_ref21","doi-asserted-by":"publisher","DOI":"10.2307\/2024634"},{"key":"S1755020314000379_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/BF00302339"},{"key":"S1755020314000379_ref17","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1146620166"},{"key":"S1755020314000379_ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-004-3758-3"},{"key":"S1755020314000379_ref25","doi-asserted-by":"publisher","DOI":"10.1057\/9780230367227"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020314000379","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,29]],"date-time":"2020-08-29T09:55:49Z","timestamp":1598694949000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020314000379\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1,26]]},"references-count":31,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["S1755020314000379"],"URL":"https:\/\/doi.org\/10.1017\/s1755020314000379","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,1,26]]}}}