{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:26:40Z","timestamp":1748071600485},"reference-count":22,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,1,15]],"date-time":"2014-01-15T00:00:00Z","timestamp":1389744000000},"content-version":"unspecified","delay-in-days":5524,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Bull. symb. log."],"published-print":{"date-parts":[[1998,12]]},"abstract":"<jats:p>\u00a7<jats:bold>1. Introduction<\/jats:bold>. The problem raised by the liar paradox has long been an intriguing challenge for all those interested in the concept of truth. Many \u201csolutions\u201d have been proposed to solve or avoid the paradox, either prescribing some linguistical restriction, or giving up the classical true-false bivalence or assuming some kind of contextual dependence of truth, among other possibilities. We shall not discuss these different approaches to the subject in this paper, but we shall concentrate on a kind of formal construction which was originated by Kripke's paper \u201cOutline of a theory of truth\u201d [11] and which, in different forms, reappears in later papers by various authors.<\/jats:p><jats:p>The main idea can be presented as follows: assume a first order language \u2112 containing, among other unspecified symbols, a predicate symbol<jats:italic>T<\/jats:italic>intended to represent the truth predicate for \u2112. Assume, also, a fixed model<jats:bold>M<\/jats:bold>= \u3008<jats:italic>D, I<\/jats:italic>\u3009 (the<jats:italic>base model<\/jats:italic>)where<jats:italic>D<\/jats:italic>contains all sentences of \u2112 and<jats:italic>I<\/jats:italic>interprets all non-logical symbols of \u2112 except<jats:italic>T<\/jats:italic>in the usual way. In general,<jats:italic>D<\/jats:italic>might contain many objects other than sentences of \u2112 but as that would raise the problem of the meaning of sentences in which<jats:italic>T<\/jats:italic>is applied to one of these objects, we shall assume that this is not the case.<\/jats:p>","DOI":"10.2307\/420955","type":"journal-article","created":{"date-parts":[[2006,5,7]],"date-time":"2006-05-07T07:12:02Z","timestamp":1146985922000},"page":"399-417","source":"Crossref","is-referenced-by-count":2,"title":["Construction of Truth Predicates: Approximation Versus Revision"],"prefix":"10.1017","volume":"4","author":[{"given":"Juan","family":"Barba","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,1,15]]},"reference":[{"key":"S1079898600007137_ref001","volume-title":"The liar: An essay on truth and circularity","author":"Barwise","year":"1987"},{"key":"S1079898600007137_ref013","volume-title":"Recent essays on truth and the liar paradox","author":"Martin","year":"1984"},{"key":"S1079898600007137_ref008","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5938.001.0001","volume-title":"The revision theory of truth","author":"Gupta","year":"1993"},{"key":"S1079898600007137_ref002","doi-asserted-by":"publisher","DOI":"10.1007\/BF00302340"},{"key":"S1079898600007137_ref007","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-0681-5_4"},{"key":"S1079898600007137_ref018","first-page":"1032","article-title":"A guide to truth predicates in themodern era","volume":"59","author":"Sheard","year":"1994","journal-title":"Journal"},{"key":"S1079898600007137_ref011","doi-asserted-by":"publisher","DOI":"10.2307\/2024634"},{"key":"S1079898600007137_ref017","doi-asserted-by":"publisher","DOI":"10.1007\/BF00453020"},{"key":"S1079898600007137_ref015","first-page":"19","article-title":"Anti-foundation and self-reference","volume":"22","author":"McLarty","year":"1993","journal-title":"Journal"},{"key":"S1079898600007137_ref004","doi-asserted-by":"publisher","DOI":"10.1007\/BF00274066"},{"key":"S1079898600007137_ref005","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-1171-0"},{"key":"S1079898600007137_ref022","doi-asserted-by":"publisher","DOI":"10.1007\/BF00249368"},{"key":"S1079898600007137_ref014","volume-title":"Truth, vagueness and paradox: An essay on the logic of truth","author":"McGee","year":"1991"},{"key":"S1079898600007137_ref012","first-page":"252","article-title":"Review of Barwise and Etchemendy's \u2018the liar\u2019","volume":"57","author":"Martin","year":"1992","journal-title":"Journal"},{"key":"S1079898600007137_ref019","doi-asserted-by":"publisher","DOI":"10.1007\/BF00453021"},{"key":"S1079898600007137_ref003","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093636525"},{"key":"S1079898600007137_ref016","doi-asserted-by":"publisher","DOI":"10.1007\/BF00258428"},{"key":"S1079898600007137_ref010","doi-asserted-by":"publisher","DOI":"10.1007\/BF00247954"},{"key":"S1079898600007137_ref006","first-page":"175","volume-title":"Recent essays on truth and the liar paradox","author":"Gupta","year":"1984"},{"key":"S1079898600007137_ref009","doi-asserted-by":"publisher","DOI":"10.1007\/BF00302339"},{"key":"S1079898600007137_ref020","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-1171-0_10"},{"key":"S1079898600007137_ref021","doi-asserted-by":"publisher","DOI":"10.1007\/BF00453022"}],"container-title":["Bulletin of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1079898600007137","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,26]],"date-time":"2021-07-26T20:55:54Z","timestamp":1627332954000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1079898600007137\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,12]]},"references-count":22,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1998,12]]}},"alternative-id":["S1079898600007137"],"URL":"https:\/\/doi.org\/10.2307\/420955","relation":{},"ISSN":["1079-8986","1943-5894"],"issn-type":[{"value":"1079-8986","type":"print"},{"value":"1943-5894","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,12]]}}}