{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,5]],"date-time":"2024-06-05T22:11:14Z","timestamp":1717625474657},"reference-count":29,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,12,15]],"date-time":"2014-12-15T00:00:00Z","timestamp":1418601600000},"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>There are two perspectives from which formal theories can be viewed. On the one hand, one can take a theory to be about some privileged models. On the other hand, one can take all models of a theory to be on a par. In contrast with what is usually done in philosophical debates, we adopt the latter viewpoint. Suppose that from this perspective we want to add an adequate truth predicate to a background theory. Then on the one hand the truth theory ought to be semantically conservative over the background theory. At the same time, it is generally recognised that the central function of a truth predicate is an expressive one. A truth predicate ought to allow us to express propositions that we could not express before. In this article we argue that there are indeed natural truth theories which satisfy both the demand of semantical conservativeness and the demand of adequately extending the expressive power of our language.<\/jats:p>","DOI":"10.1017\/s1755020314000392","type":"journal-article","created":{"date-parts":[[2014,12,15]],"date-time":"2014-12-15T11:28:25Z","timestamp":1418642905000},"page":"345-369","source":"Crossref","is-referenced-by-count":7,"title":["THE EXPRESSIVE POWER OF TRUTH"],"prefix":"10.1017","volume":"8","author":[{"given":"MARTIN","family":"FISCHER","sequence":"first","affiliation":[]},{"given":"LEON","family":"HORSTEN","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,12,15]]},"reference":[{"key":"S1755020314000392_ref20","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(98)80023-2"},{"key":"S1755020314000392_ref28","doi-asserted-by":"publisher","DOI":"10.2307\/2687796"},{"key":"S1755020314000392_ref21","volume-title":"Philosophy of Logic","author":"Quine","year":"1970"},{"key":"S1755020314000392_ref18","volume-title":"Truth, Vagueness and Paradox","author":"McGee","year":"1991"},{"key":"S1755020314000392_ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71525-8"},{"key":"S1755020314000392_ref16","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/108.429.69"},{"key":"S1755020314000392_ref27","first-page":"261","article-title":"Der Wahrheitsbegriff in den formalisierten Sprachen","volume":"1","author":"Tarski","year":"1935","journal-title":"Studia Philosophica Commentarii Societatis philosophicae Polonorum"},{"key":"S1755020314000392_ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59971-2"},{"key":"S1755020314000392_ref12","first-page":"173","volume-title":"The Many Problems of Realism","author":"Horsten","year":"1995"},{"key":"S1755020314000392_ref3","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19890350202"},{"key":"S1755020314000392_ref24","first-page":"493","article-title":"Proof and truth: Through thick and thin","volume":"95","author":"Shapiro","year":"1998","journal-title":"The Journal of Philosophy"},{"key":"S1755020314000392_ref19","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005692729370"},{"key":"S1755020314000392_ref5","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020309990232"},{"key":"S1755020314000392_ref29","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1201\/9781439865873-16","volume-title":"Logic in Tehran: Proceedings of the Workshop and Conference on Logic, Algebra, and Arithmetic, (October, 2003)","author":"Visser","year":"2006"},{"key":"S1755020314000392_ref6","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020314000070"},{"key":"S1755020314000392_ref1","volume-title":"Model-Theoretic Logics","author":"Barwise","year":"1985"},{"key":"S1755020314000392_ref13","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9780262015868.001.0001"},{"key":"S1755020314000392_ref15","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198532132.001.0001","volume-title":"Models of Peano Arithmetic","author":"Kaye","year":"1991"},{"key":"S1755020314000392_ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2011.12.006"},{"key":"S1755020314000392_ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-22156-3"},{"key":"S1755020314000392_ref2","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1122038914"},{"key":"S1755020314000392_ref22","unstructured":"Schindler R . (1994). ACA0, \u03a01-CA0, and the semantics of arithmetic, and BG, BG + \u03a31-Ind, and the semantics of set theory. Available from www.math.uni-muenster.de\/logik\/Personen\/rds\/."},{"key":"S1755020314000392_ref10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139696586"},{"key":"S1755020314000392_ref23","volume-title":"Philosophy of Mathematics. Structure and Ontology","author":"Shapiro","year":"1997"},{"key":"S1755020314000392_ref11","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199296309.003.0005"},{"key":"S1755020314000392_ref14","doi-asserted-by":"publisher","DOI":"10.1093\/0198752237.001.0001"},{"key":"S1755020314000392_ref8","first-page":"185","volume-title":"Arithmetic, Proof Theory, and Computational Complexity","author":"H\u00e1jek","year":"1993"},{"key":"S1755020314000392_ref26","volume-title":"The Structure of Scientific Theories","author":"Suppe","year":"1977"},{"key":"S1755020314000392_ref4","doi-asserted-by":"publisher","DOI":"10.2307\/2964289"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020314000392","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,5]],"date-time":"2024-06-05T21:55:48Z","timestamp":1717624548000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020314000392\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12,15]]},"references-count":29,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["S1755020314000392"],"URL":"https:\/\/doi.org\/10.1017\/s1755020314000392","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,12,15]]}}}