{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,10,24]],"date-time":"2022-10-24T12:27:17Z","timestamp":1666614437117},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"12","license":[{"start":{"date-parts":[[2015,4,24]],"date-time":"2015-04-24T00:00:00Z","timestamp":1429833600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1007\/s11229-015-0729-x","type":"journal-article","created":{"date-parts":[[2015,4,23]],"date-time":"2015-04-23T17:36:05Z","timestamp":1429810565000},"page":"4031-4055","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Deflationary truth and the ontology of expressions"],"prefix":"10.1007","volume":"192","author":[{"given":"Carlo","family":"Nicolai","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,4,24]]},"reference":[{"key":"729_CR1","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1002\/malq.19890350202","volume":"35","author":"A Cantini","year":"1989","unstructured":"Cantini, A. (1989). Notes on formal theories of truth. Zeitschrift f\u00fcr mathematische Logik un Grundlagen der Mathematik, 35, 97\u2013130.","journal-title":"Zeitschrift f\u00fcr mathematische Logik un Grundlagen der Mathematik"},{"issue":"474","key":"729_CR2","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1093\/mind\/fzq034","volume":"119","author":"C Cie\u015bli\u0144ski","year":"2010","unstructured":"Cie\u015bli\u0144ski, C. (2010). Truth, conservativeness, provability. Mind, 119(474), 423\u2013436.","journal-title":"Mind"},{"issue":"4","key":"729_CR3","doi-asserted-by":"crossref","first-page":"625","DOI":"10.2307\/2272846","volume":"39","author":"J Corcoran","year":"1974","unstructured":"Corcoran, J., William, F., & Maloney, M. (1974). String theory. Journal of Symbolic Logic, 39(4), 625\u2013637.","journal-title":"Journal of Symbolic Logic"},{"key":"729_CR4","doi-asserted-by":"crossref","first-page":"289","DOI":"10.2307\/2964289","volume":"23","author":"W Craig","year":"1958","unstructured":"Craig, W., & Vaught, W. (1958). Finite axiomatizability using additional predicates. The Journal of Symbolic Logic, 23, 289\u2013308.","journal-title":"The Journal of Symbolic Logic"},{"key":"729_CR5","unstructured":"Enayat, A., & Visser, A. (2013). New constructions of satisfaction classes. Logic Preprints Series. Utrecht: University of Utrecht."},{"key":"729_CR6","doi-asserted-by":"crossref","first-page":"75","DOI":"10.2307\/2274093","volume":"45","author":"S Feferman","year":"1984","unstructured":"Feferman, S. (1984). Towards useful type-free theories. Journal of Symbolic Logic, 45, 75\u2013111.","journal-title":"Journal of Symbolic Logic"},{"key":"729_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2274902","volume":"56","author":"S Feferman","year":"1991","unstructured":"Feferman, S. (1991). Reflecting on incompleteness. Journal of Symbolic Logic, 56, 1\u201349.","journal-title":"Journal of Symbolic Logic"},{"key":"729_CR8","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1093\/mind\/103.411.249","volume":"103","author":"H Field","year":"1994","unstructured":"Field, H. (1994). Deflationist views of meaning and content. Mind, 103, 249\u2013285.","journal-title":"Mind"},{"issue":"10","key":"729_CR9","doi-asserted-by":"crossref","first-page":"533","DOI":"10.2307\/2564613","volume":"96","author":"H Field","year":"1999","unstructured":"Field, H. (1999). Deflating the conservativeness argument. Journal of Philosophy, 96(10), 533\u2013540.","journal-title":"Journal of Philosophy"},{"issue":"1","key":"729_CR10","doi-asserted-by":"crossref","first-page":"9","DOI":"10.5840\/monist200689131","volume":"89","author":"H Field","year":"2005","unstructured":"Field, H. (2005). Compositional principles vs. schematic reasoning. The Monist, 89(1), 9\u201327.","journal-title":"The Monist"},{"key":"729_CR11","doi-asserted-by":"crossref","first-page":"799","DOI":"10.1017\/S1755020309990232","volume":"2","author":"M Fischer","year":"2010","unstructured":"Fischer, M. (2010). Minimal truth and interpretability. The Review of Symbolic Logic, 2, 799\u2013815.","journal-title":"The Review of Symbolic Logic"},{"key":"729_CR12","doi-asserted-by":"crossref","unstructured":"Fischer, M., & Horsten, L. (2015). The expressive power of truth. The Review of Symbolic Logic. doi: 10.1017\/S1755020314000392 .","DOI":"10.1017\/S1755020314000392"},{"key":"729_CR13","doi-asserted-by":"crossref","first-page":"135","DOI":"10.2307\/2271594","volume":"28","author":"R Fitch","year":"1963","unstructured":"Fitch, R. (1963). A logical analysis of some value concept. Journal of Symbolic Logic, 28, 135\u2013142.","journal-title":"Journal of Symbolic Logic"},{"key":"729_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(87)90073-X","volume":"33","author":"H Friedman","year":"1987","unstructured":"Friedman, H., & Sheard, M. (1987). An axiomatic approach to self-referential truth. Annals of Pure and Applied Logic, 33, 1\u201321.","journal-title":"Annals of Pure and Applied Logic"},{"key":"729_CR15","doi-asserted-by":"crossref","first-page":"57","DOI":"10.5840\/philtopics199321218","volume":"21","author":"A Gupta","year":"1993","unstructured":"Gupta, A. (1993). A critique of deflationism. Philosophical Topics, 21, 57\u201381.","journal-title":"Philosophical Topics"},{"key":"729_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-22156-3","volume-title":"Metamathematics of first-order arithmetic","author":"P H\u00e1jek","year":"1993","unstructured":"H\u00e1jek, P., & Pudl\u00e1k, P. (1993). Metamathematics of first-order arithmetic. Berlin: Springer."},{"issue":"429","key":"729_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/mind\/108.429.1","volume":"108","author":"V Halbach","year":"1999","unstructured":"Halbach, V. (1999). Disquotationalism and infinite conjunctions. Mind, 108(429), 1\u201322.","journal-title":"Mind"},{"key":"729_CR18","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1023\/A:1005275222332","volume":"126","author":"V Halbach","year":"2001","unstructured":"Halbach, V. (2001a). How innocent is deflationism? Synthese, 126, 167\u2013194.","journal-title":"Synthese"},{"key":"729_CR19","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511921049","volume-title":"Axiomatic theories of truth","author":"V Halbach","year":"2011","unstructured":"Halbach, V. (2011). Axiomatic theories of truth. Cambridge: Cambridge University Press."},{"key":"729_CR20","unstructured":"Halbach, V., & Horsten, L. (2005). The deflationist\u2019s axioms for truth. In J. C. Beall & B. Armour-Garb (Eds.), Deflationism and paradox (pp. 203\u2013217). Oxford: Oxford University Press."},{"key":"729_CR21","doi-asserted-by":"crossref","unstructured":"Heck, R. (2004). Truth and disquotation. Synthese, 142, 317\u2013352.","DOI":"10.1007\/s11229-005-3719-6"},{"key":"729_CR22","doi-asserted-by":"crossref","unstructured":"Heck, R. (2015). Consistency and the theory of truth. The Review of Symbolic Logic. doi: 10.1017\/S1755020314000549 .","DOI":"10.1017\/S1755020314000549"},{"key":"729_CR23","first-page":"173","volume-title":"The many problems of realism (Studies in the General Philosophy of Science: Vol. 3)","author":"L Horsten","year":"1995","unstructured":"Horsten, L. (1995). The semantical paradoxes, the neutrality of truth and the neutrality of the minimalist theory of truth. In P. Cortois (Ed.), The many problems of realism (Studies in the General Philosophy of Science: Vol. 3) (pp. 173\u2013187). Tilburg: Tilburg University Press."},{"key":"729_CR24","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1093\/mind\/fzp096","volume":"118.471","author":"L Horsten","year":"2009","unstructured":"Horsten, L. (2009). Levity. Mind, 118.471, 555\u2013581.","journal-title":"Mind"},{"key":"729_CR25","volume-title":"The Tarskian turn: Deflationism and axiomatic truth","author":"L Horsten","year":"2012","unstructured":"Horsten, L. (2012). The Tarskian turn: Deflationism and axiomatic truth. Cambridge: MIT Press."},{"key":"729_CR26","doi-asserted-by":"crossref","DOI":"10.1093\/0198752237.001.0001","volume-title":"Truth","author":"P Horwich","year":"1998","unstructured":"Horwich, P. (1998). Truth (2nd ed.). Oxford: Clarendon Press.","edition":"2"},{"issue":"429","key":"729_CR27","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1093\/mind\/108.429.69","volume":"108","author":"J Ketland","year":"1999","unstructured":"Ketland, J. (1999). Deflationism and Tarski\u2019s Paradise. Mind, 108(429), 69\u201394.","journal-title":"Mind"},{"key":"729_CR28","doi-asserted-by":"crossref","first-page":"283","DOI":"10.4153\/CMB-1981-045-3","volume":"24","author":"H Kotlarski","year":"1981","unstructured":"Kotlarski, H., Krajewski, S., & Lachlan, A. (1981). Construction of satisfaction classes for nonstandard models. Canadian Mathematical Bullettin, 24, 283\u2013293.","journal-title":"Canadian Mathematical Bullettin"},{"key":"729_CR29","doi-asserted-by":"crossref","unstructured":"Leigh, G., & Nicolai, C. (2013). Axiomatic truth, syntax and metatheoretic reasoning. The Review of Symbolic Logic, 4, 613\u2013626.","DOI":"10.1017\/S1755020313000233"},{"issue":"2","key":"729_CR30","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1111\/j.1747-9991.2007.00070.x","volume":"2","author":"H Leitgeb","year":"2007","unstructured":"Leitgeb, H. (2007). What theories of truth should be like (but cannot be). Philosophy Compass, 2(2), 276\u2013290.","journal-title":"Philosophy Compass"},{"key":"729_CR31","volume-title":"Self reference","author":"V McGee","year":"2006","unstructured":"McGee, V. (2006). In praise of a free lunch: Why disquotationalists should embrace compositional semantics. In T. Bolander, et al. (Eds.), Self reference. Stanford: CSL Publications."},{"key":"729_CR32","unstructured":"Nicolai, C. (2014). Truth, deflationism and the ontology of expressions. An axiomatic study. DPhil Thesis, Oxford."},{"key":"729_CR33","doi-asserted-by":"crossref","unstructured":"Nicolai, C. (2015). A note on typed truth and consistency assertions. Journal of Philosophical Logic. doi: 10.1007\/s10992-015-9366-6 .","DOI":"10.1007\/s10992-015-9366-6"},{"issue":"1985","key":"729_CR34","doi-asserted-by":"crossref","first-page":"423","DOI":"10.2307\/2274231","volume":"50","author":"P Pudl\u00e1k","year":"1985","unstructured":"Pudl\u00e1k, P. (1985). Cuts, consistency statements and interpretations. The Journal of Symbolic Logic, 50(1985), 423\u2013441.","journal-title":"The Journal of Symbolic Logic"},{"key":"729_CR35","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF00305492","volume":"15","author":"W Reinhardt","year":"1986","unstructured":"Reinhardt, W. (1986). Some Remarks on extending and interpreting theories with a partial predicate for truth. Journal of Philosophical Logic, 15, 219\u2013251.","journal-title":"Journal of Philosophical Logic"},{"key":"729_CR36","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/421139","volume":"5","author":"W Sieg","year":"1999","unstructured":"Sieg, W. (1999). Hilbert\u2019s Programs: 1917\u20131922. The Bulletin of Symbolic Logic, 5, 1\u201344.","journal-title":"The Bulletin of Symbolic Logic"},{"key":"729_CR37","doi-asserted-by":"crossref","unstructured":"Shapiro, S. (1998). Truth and proof: Through thick and thin. Journal of Philosophy, 95, 493\u2013521.","DOI":"10.2307\/2564719"},{"key":"729_CR38","volume-title":"Principles of Truth","author":"S Shapiro","year":"2002","unstructured":"Shapiro, S. (2002). Deflation and conservation. In V. Halbach & L. Horsten (Eds.), Principles of Truth. Frankfurt: Dr. H\u00e4nsel-Hohenhausen."},{"key":"729_CR39","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1093\/mind\/111.443.551","volume":"111","author":"N Tennant","year":"2002","unstructured":"Tennant, N. (2002). Deflationism and the G\u00f6del phenomena. Mind, 111, 551\u2013582.","journal-title":"Mind"},{"key":"729_CR40","unstructured":"Tarski, A. (1956a). The concept of truth in formalized languages. In H. J. Woodger (Trans., Ed.), Logic, semantic, metamathematics: Papers of Alfred Tarski from 1922\u20131938 (pp. 152\u2013278). Oxford: Clarendon Press."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0729-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-015-0729-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0729-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:37:04Z","timestamp":1559385424000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-015-0729-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,24]]},"references-count":40,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["729"],"URL":"https:\/\/doi.org\/10.1007\/s11229-015-0729-x","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,4,24]]}}}