{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T08:46:14Z","timestamp":1771490774409,"version":"3.50.1"},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2015,4,2]],"date-time":"2015-04-02T00:00:00Z","timestamp":1427932800000},"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":["J Philos Logic"],"published-print":{"date-parts":[[2016,2]]},"DOI":"10.1007\/s10992-015-9366-6","type":"journal-article","created":{"date-parts":[[2015,4,3]],"date-time":"2015-04-03T05:16:59Z","timestamp":1428038219000},"page":"89-119","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["A Note on Typed Truth and Consistency Assertions"],"prefix":"10.1007","volume":"45","author":[{"given":"Carlo","family":"Nicolai","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,4,2]]},"reference":[{"key":"9366_CR1","first-page":"61","volume-title":"Truth and Speech Acts: Studies in the Philosophy of Language","author":"D Bar-On","year":"2007","unstructured":"Bar-On, D., & Simmons, K. (2007). The use of force against deflationism: Assertion and truth\u2019. In Greimann, D., & Siegwart, G. (Eds.), Truth and Speech Acts: Studies in the Philosophy of Language. (pp. 61\u201389). New York: Routledge."},{"key":"9366_CR2","unstructured":"Bennet, J.H. (1962). On Spectra. PhD Thesis, Princeton."},{"key":"9366_CR3","volume-title":"Bounded Arithmetic","author":"S Buss","year":"1986","unstructured":"Buss, S. (1986). Bounded Arithmetic. Naples: Bibliopolis."},{"key":"9366_CR4","unstructured":"Buss, S. (ed.) (1998). Handbook of Proof Theory. Elsevier."},{"key":"9366_CR5","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. Archives for Mathematical Logic, 35, 97\u2013139.","journal-title":"Archives for Mathematical Logic"},{"key":"9366_CR6","doi-asserted-by":"crossref","unstructured":"Cie\u015bli\u0144ski, C. (2010). Truth, Conservativeness, Provability. Mind, 119(474).","DOI":"10.1093\/mind\/fzq034"},{"key":"9366_CR7","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":"9366_CR8","volume-title":"New constructions of satisfaction classes","author":"A Enayat","year":"2013","unstructured":"Enayat, A., & Visser, A. (2013). New constructions of satisfaction classes. Logic Preprints Series: University of Utrecht."},{"key":"9366_CR9","doi-asserted-by":"crossref","unstructured":"Enderton, H. (2001). A mathematical introduction to logic Harcourt Press.","DOI":"10.1016\/B978-0-08-049646-7.50005-9"},{"key":"9366_CR10","doi-asserted-by":"crossref","first-page":"35","DOI":"10.4064\/fm-49-1-35-92","volume":"49","author":"S Feferman","year":"1960","unstructured":"Feferman, S. (1960). Arithmetization of metamathematics in a general setting. Fundamenta Mathematicae, 49, 35\u201391.","journal-title":"Fundamenta Mathematicae"},{"key":"9366_CR11","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":"9366_CR12","unstructured":"Ferreira, F. (1988). Polynomial Time Computable Arithmetic and Conservative Extensions. Ph.D.thesis, The Pennsylvania State University, State College."},{"issue":"10","key":"9366_CR13","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"},{"key":"9366_CR14","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, 9\u201327.","journal-title":"The Monist"},{"key":"9366_CR15","doi-asserted-by":"crossref","first-page":"799","DOI":"10.1017\/S1755020309990232","volume":"2","author":"M Fischer","year":"2009","unstructured":"Fischer, M. (2009). Minimal Truth and Interpretability. The Review of symbolic logic, 2, 799\u2013815.","journal-title":"The Review of symbolic logic"},{"key":"9366_CR16","unstructured":"Fischer, M., Halbach, V., Speck, J., & Stern, J. Axiomatizing Semantic Theories of Truth?. Unpublished Manuscript."},{"issue":"11","key":"9366_CR17","doi-asserted-by":"crossref","first-page":"1484","DOI":"10.1016\/j.apal.2011.12.006","volume":"164","author":"K Fujimoto","year":"2012","unstructured":"Fujimoto, K. (2012). Classes and truths in set theory. Annals of Pure and Applied Logic, 164(11), 1484\u20131523.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9366_CR18","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF01700692","volume":"38","author":"K G\u00f6del","year":"1931","unstructured":"G\u00f6del, K. (1931). \u00dcber formal unentscheidbare s\u00e4tze der principia mathematica und verwandter systeme, I. Monatshefte f\u00fcr Mathematik und Physik, 38, 173\u201398.","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"},{"key":"9366_CR19","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."},{"key":"9366_CR20","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1305\/ndjfl\/1040511340","volume":"35","author":"V Halbach","year":"1994","unstructured":"Halbach, V. (1994). A system of complete and consistent truth. Notre Dame Journal of Formal Logic, 35, 311\u2013327.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9366_CR21","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1023\/A:1005662017962","volume":"53","author":"V Halbach","year":"2000","unstructured":"Halbach, V. (2000). Truth and reduction. Erkenntnis, 53, 197\u2013126.","journal-title":"Erkenntnis"},{"key":"9366_CR22","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":"9366_CR23","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139696586","volume-title":"Axiomatic theories of truth","author":"V Halbach","year":"2014","unstructured":"Halbach, V. (2014). Axiomatic theories of truth. Revised Edition: Cambridge University Press."},{"key":"9366_CR24","unstructured":"Heck, R. Consistency and the Theory of Truth. forthcoming in The Review of Symbolic Logic."},{"key":"9366_CR25","doi-asserted-by":"crossref","unstructured":"Horwich, P. (1998). Truth, 2nd ed. Blackwell.","DOI":"10.1093\/0198752237.001.0001"},{"key":"9366_CR26","doi-asserted-by":"crossref","unstructured":"Horsten, L. (2011). The Tarskian Turn. Deflationism and Axiomatic Truth. Princeton University Press.","DOI":"10.7551\/mitpress\/9780262015868.001.0001"},{"key":"9366_CR27","unstructured":"Joosten, J., & Visser, A. (2004). Visser (2004), \u2018Characterizations of Interpretability\u2019, in Logic Preprint Group Series Utrecht."},{"key":"9366_CR28","doi-asserted-by":"crossref","unstructured":"Kaye, R. (1991). Models of peano arithmetic. Oxford University Press, 1991.","DOI":"10.1093\/oso\/9780198532132.001.0001"},{"issue":"429","key":"9366_CR29","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"},{"issue":"3","key":"9366_CR30","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1305\/ndjfl\/1040511346","volume":"35","author":"M Kikuchi","year":"1994","unstructured":"Kikuchi, M., & Tanaka, K. (1994). On formalizations of model-theoretic proofs of G\u00f6del\u2019s theorems\u2019. Notre Dame Journal of Formal Logic, 35(3), 403\u2013412.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9366_CR31","doi-asserted-by":"crossref","unstructured":"Lachlan, A. (1981). Full satisfaction classes and recursive saturation. Canadian Mathematical Bulletin, 24, 295\u2013297.","DOI":"10.4153\/CMB-1981-046-0"},{"key":"9366_CR32","unstructured":"Lavine, S. (1999). Skolem was wrong, unpublished manuscript."},{"issue":"4","key":"9366_CR33","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1017\/S1755020313000233","volume":"6","author":"G Leigh","year":"2013","unstructured":"Leigh, G., & Nicolai, C. (2013). Axiomatic truth, syntax and metatheoretic reasoning. The Review of Symbolic Logic, 6(4), 613\u2013636.","journal-title":"The Review of Symbolic Logic"},{"key":"9366_CR34","unstructured":"McGee, V. (2006). In praise of a free lunch: why disquotationalists should embrace compositional semantics In: Bolander et alii (eds.), Self Reference, CSL Publications."},{"key":"9366_CR35","volume-title":"Truth, deflationism and the ontology of expressions An Axiomatic Study","author":"C Nicolai","year":"2014","unstructured":"Nicolai, C. (2014). Truth, deflationism and the ontology of expressions An Axiomatic Study. Oxford: DPhil Thesis."},{"key":"9366_CR36","unstructured":"Nicolai, C. (2014). Deflationary truth and the ontology of expressions. To appear in Synthese."},{"key":"9366_CR37","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/0168-0072(87)90066-2","volume":"35","author":"JB Paris","year":"1987","unstructured":"Paris, J.B., & Wilkie, A. (1987). On the scheme of induction for bounded formulas. Annals of Pure and Applied Logic, 35, 261\u2013302.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9366_CR38","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, 423\u2013441.","journal-title":"The Journal of Symbolic Logic"},{"key":"9366_CR39","doi-asserted-by":"crossref","unstructured":"Shapiro, S. (1998). Truth and Proof: through thick and thin. Journal of Philosophy.","DOI":"10.5840\/jphil199895102"},{"key":"9366_CR40","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511581007","volume-title":"Subsystems of Second-Order Arithmetic","author":"S Simpson","year":"2009","unstructured":"Simpson, S. (2009). Subsystems of Second-Order Arithmetic. Second edition: Cambridge University press\u2013ASL."},{"key":"9366_CR41","first-page":"152","volume-title":"Logic, Semantic, Metamathematics: papers of Alfred Tarski from, 1922-1938","author":"A Tarski","year":"1956","unstructured":"Tarski, A. (1956a). The concept of truth in formalized languages. In Woodger, H.J. (Ed.), Logic, Semantic, Metamathematics: papers of Alfred Tarski from, 1922-1938. (pp. 152\u2013278). Oxford: Clarendon Press."},{"key":"9366_CR42","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\u201382.","journal-title":"Mind"},{"key":"9366_CR43","doi-asserted-by":"crossref","first-page":"473","DOI":"10.2307\/2270175","volume":"32","author":"RA Vaught","year":"1967","unstructured":"Vaught, R.A. (1967). Axiomatizability by a schema. The Journal of Symbolic Logic, 32, 473\u2013479.","journal-title":"The Journal of Symbolic Logic"},{"issue":"1","key":"9366_CR44","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/BF00370389","volume":"50","author":"A Visser","year":"1991","unstructured":"Visser, A. (1991). The formalization of interpretability. Studia Logica, 50(1), 81\u2013106.","journal-title":"Studia Logica"},{"issue":"4","key":"9366_CR45","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1093\/logcom\/exp048","volume":"21","author":"A Visser","year":"2009","unstructured":"Visser, A. (2009). Can we make the second incompleteness theorem coordinate free?. Journal of Logic and Computation, 21(4), 543\u2013560.","journal-title":"Journal of Logic and Computation"},{"key":"9366_CR46","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/j.apal.2009.02.001","volume":"160","author":"A Visser","year":"2009","unstructured":"Visser, A. (2009). The predicative frege hierarchy. Annals of Pure and Applied Logic 3c, 160, 129\u2013153.","journal-title":"Annals of Pure and Applied Logic 3c"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-015-9366-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-015-9366-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-015-9366-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,8]],"date-time":"2024-06-08T05:03:31Z","timestamp":1717823011000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-015-9366-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,2]]},"references-count":46,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,2]]}},"alternative-id":["9366"],"URL":"https:\/\/doi.org\/10.1007\/s10992-015-9366-6","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,4,2]]}}}