{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T18:09:55Z","timestamp":1726250995119},"reference-count":42,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2017,1,19]],"date-time":"2017-01-19T00:00:00Z","timestamp":1484784000000},"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":[[2017,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>One way to study and understand the notion of truth is to examine principles that we are willing to associate with truth, often because they conform to a pre-theoretical or to a semi-formal characterization of this concept. In comparing different collections of such principles, one requires formally precise notions of inter-theoretic reduction that are also adequate to compare these conceptual aspects. In this work I study possible ways to make precise the relation of conceptual equivalence between notions of truth associated with collections of principles of truth. In doing so, I will consider refinements and strengthenings of the notion of relative truth-definability proposed by Fujimoto (2010): in particular I employ suitable variants of notions of equivalence of theories considered in Visser (2006) and Friedman &amp; Visser (2014) to show that there are better candidates than mutual truth-definability for the role of sufficient condition for conceptual equivalence between the semantic notions associated with the theories. In the concluding part of the paper, I extend the techniques introduced in the first and show that there is a precise sense in which ramified truth (either disquotational or compositional) does not correspond to iterations of comprehension.<\/jats:p>","DOI":"10.1017\/s1755020316000435","type":"journal-article","created":{"date-parts":[[2017,1,19]],"date-time":"2017-01-19T14:45:56Z","timestamp":1484837156000},"page":"322-356","source":"Crossref","is-referenced-by-count":4,"title":["EQUIVALENCES FOR TRUTH PREDICATES"],"prefix":"10.1017","volume":"10","author":[{"given":"CARLO","family":"NICOLAI","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2017,1,19]]},"reference":[{"key":"S1755020316000435_ref31","volume-title":"Philosophy of Mathematics: Objectivity, Cognition and Proof","author":"Nicolai","year":"2016b"},{"key":"S1755020316000435_ref14","unstructured":"Friedman H. & Visser A. (2014). When Bi-Interpretability Implies Synonymy. Logic Group Preprint Series. University of Utrecht."},{"key":"S1755020316000435_ref2","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/fzq034"},{"key":"S1755020316000435_ref40","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1201\/9781439865873-16","volume-title":"Logic in Tehran","volume":"26","author":"Visser","year":"2006"},{"key":"S1755020316000435_ref37","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370389"},{"key":"S1755020316000435_ref35","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71123-6"},{"key":"S1755020316000435_ref24","doi-asserted-by":"publisher","DOI":"10.2307\/2024634"},{"key":"S1755020316000435_ref38","doi-asserted-by":"publisher","DOI":"10.2307\/2275181"},{"key":"S1755020316000435_ref27","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020313000233"},{"key":"S1755020316000435_ref8","doi-asserted-by":"publisher","DOI":"10.2307\/2274902"},{"key":"S1755020316000435_ref29","article-title":"What was the syntax-semantics debate in the philosophy of science about?","author":"Lutz","year":"2016","journal-title":"Philosophy and Phenomenological Research"},{"key":"S1755020316000435_ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-9673-6_16"},{"key":"S1755020316000435_ref19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139696586"},{"key":"S1755020316000435_ref7","doi-asserted-by":"publisher","DOI":"10.2307\/2269764"},{"key":"S1755020316000435_ref11","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020309990232"},{"key":"S1755020316000435_ref32","volume-title":"Theory of Recursive Functions and Effective Computability","author":"Rogers","year":"1987"},{"key":"S1755020316000435_ref39","first-page":"307","volume-title":"Advances in Modal Logic \u201996","author":"Visser","year":"1997"},{"key":"S1755020316000435_ref22","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9780262015868.001.0001"},{"key":"S1755020316000435_ref15","doi-asserted-by":"publisher","DOI":"10.2178\/bsl\/1286284556"},{"key":"S1755020316000435_ref42","doi-asserted-by":"crossref","unstructured":"Woodfield A . (1991). Conceptions Mind , 100(4), 547\u2013572.","DOI":"10.1093\/mind\/C.400.547"},{"key":"S1755020316000435_ref25","volume-title":"Concepts: Core Readings","author":"Laurence","year":"1999"},{"key":"S1755020316000435_ref36","volume-title":"Proof Theory","author":"Takeuti","year":"1987"},{"key":"S1755020316000435_ref41","unstructured":"Visser A . (2015). The interpretability of inconsistency: Feferman\u2019s theorem and related results. Forthcoming in the Bulletin of Symbolic Logic."},{"key":"S1755020316000435_ref23","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1193667707"},{"key":"S1755020316000435_ref18","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020309990220"},{"key":"S1755020316000435_ref10","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199230747.001.0001"},{"key":"S1755020316000435_ref9","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1093\/oso\/9780195080308.003.0010","volume-title":"In the Light of Logic","author":"Feferman","year":"1998"},{"key":"S1755020316000435_ref3","volume-title":"Inquiries into Truth and Interpretation","author":"Davidson","year":"1984"},{"key":"S1755020316000435_ref17","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/108.429.1"},{"key":"S1755020316000435_ref30","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-015-9366-6"},{"key":"S1755020316000435_ref33","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139031905"},{"key":"S1755020316000435_ref26","doi-asserted-by":"publisher","DOI":"10.1017\/jsl.2015.27"},{"key":"S1755020316000435_ref28","doi-asserted-by":"publisher","DOI":"10.1111\/j.1747-9991.2007.00070.x"},{"key":"S1755020316000435_ref1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19890350202"},{"key":"S1755020316000435_ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-9673-6_12"},{"key":"S1755020316000435_ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(87)90073-X"},{"key":"S1755020316000435_ref6","doi-asserted-by":"crossref","first-page":"35","DOI":"10.4064\/fm-49-1-35-92","article-title":"Arithmetization of metamathematics in a general setting","volume":"49","author":"Feferman","year":"1960","journal-title":"Fundamenta Mathematicae"},{"key":"S1755020316000435_ref21","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020314000549"},{"key":"S1755020316000435_ref5","first-page":"43","volume-title":"Set theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies","volume":"36","author":"Enayat","year":"2010"},{"key":"S1755020316000435_ref12","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020314000379"},{"key":"S1755020316000435_ref16","volume-title":"Metamathematics of First-Order Arithmetic","author":"H\u00e1jek","year":"1998"},{"key":"S1755020316000435_ref34","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511581007"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020316000435","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,21]],"date-time":"2024-06-21T22:35:38Z","timestamp":1719009338000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020316000435\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,19]]},"references-count":42,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,6]]}},"alternative-id":["S1755020316000435"],"URL":"https:\/\/doi.org\/10.1017\/s1755020316000435","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,1,19]]}}}