{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,31]],"date-time":"2024-01-31T00:12:06Z","timestamp":1706659926081},"reference-count":35,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2018,1,1]]},"DOI":"10.1215\/00294527-2017-0011","type":"journal-article","created":{"date-parts":[[2017,7,5]],"date-time":"2017-07-05T09:46:57Z","timestamp":1499248017000},"source":"Crossref","is-referenced-by-count":0,"title":["The Logical Strength of Compositional Principles"],"prefix":"10.1215","volume":"59","author":[{"given":"Richard G.","family":"Heck Jr.","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"5","unstructured":"[5] Enayat, A., and A. Visser, \u201cFull satisfaction classes in a general setting (Part I),\u201d preprint, <a href=\"https:\/\/pdfs.semanticscholar.org\/730d\/be402772e16926179b92bfa1416f636ce340.pdf\">https:\/\/pdfs.semanticscholar.org\/730d\/be402772e16926179b92bfa1416f636ce340.pdf<\/a> (accessed 21 May 2017)."},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Enayat, A., and A. Visser, \u201cNew constructions of satisfaction classes,\u201d pp. 321\u201335 in <i>Unifying the Philosophy of Truth<\/i>, edited by T. Achourioti, H. Galinon, J. M. Fern\u00e1ndez, and K. Fujimoto, Springer, New York, 2015. DOI <a href=\"10.1007\/978-94-017-9673-6\">10.1007\/978-94-017-9673-6<\/a>.","DOI":"10.1007\/978-94-017-9673-6_16"},{"key":"19","unstructured":"[19] Heck, R. G., Jr., \u201cThe strength of truth-theories,\u201d preprint, <a href=\"http:\/\/rgheck.frege.org\/pdf\/unpublished\/StrengthOfTruthTheories.pdf\">http:\/\/rgheck.frege.org\/pdf\/unpublished\/StrengthOfTruthTheories.pdf<\/a> (accessed 21 May 2017)."},{"key":"20","unstructured":"[20] Heck, R. G., \u201cDisquotationalism and the compositional principles,\u201d preprint, <a href=\"http:\/\/rgheck.frege.org\/pdf\/unpublished\/CompositionalPrinciples.pdf\">http:\/\/rgheck.frege.org\/pdf\/unpublished\/CompositionalPrinciples.pdf<\/a>, 2013(accessed 21 May 2017)."},{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Beklemishev, L. D., \u201cReflection schemes and provability algebras in formal arithmetic,\u201d <i>Russian Mathematical Surveys<\/i>, vol. 60 (2005), pp. 197\u2013268.","DOI":"10.1070\/RM2005v060n02ABEH000823"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Burgess, J. P., <i>Fixing Frege<\/i>, Princeton University Press, Princeton, 2005.","DOI":"10.1515\/9780691187068"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Corcoran, J., W. Frank, and M. Maloney, \u201cString theory,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 39 (1974), pp. 625\u201337.","DOI":"10.2307\/2272846"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Craig, W., and R. L. Vaught, \u201cFinite axiomatizability using additional predicates,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 23 (1958), pp. 289\u2013308.","DOI":"10.2307\/2964289"},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] Feferman, S., \u201cArithmetization of metamathematics in a general setting,\u201d <i>Fundamenta Mathematicae<\/i>, vol. 49 (1960\/1961), pp. 35\u201392.","DOI":"10.4064\/fm-49-1-35-92"},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] Field, H., \u201cDeflationist views of meaning and content,\u201d <i>Mind<\/i>, vol. 103 (1994), pp. 249\u201385.","DOI":"10.1093\/mind\/103.411.249"},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] Field, H., \u201cDeflating the conservativeness requirement,\u201d <i>Journal of Philosophy<\/i>, vol. 96 (1999), pp. 533\u201340.","DOI":"10.2307\/2564613"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] Field, H., \u201cCompositional principles vs. schematic reasoning,\u201d <i>The Monist<\/i>, vol. 89 (2006), pp. 9\u201327.","DOI":"10.5840\/monist200689131"},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] Grzegorczyk, A., \u201cUndecidability without arithmetization,\u201d <i>Studia Logica<\/i>, vol. 79 (2005), pp. 163\u2013230.","DOI":"10.1007\/s11225-005-2976-1"},{"key":"12","doi-asserted-by":"crossref","unstructured":"[12] Gupta, A., \u201cA critique of deflationism,\u201d <i>Philosophical Topics<\/i>, vol. 21 (1993), pp. 57\u201381.","DOI":"10.5840\/philtopics199321218"},{"key":"13","doi-asserted-by":"crossref","unstructured":"[13] H\u00e1jek, P., and P. Pudl\u00e1k, <i>Metamathematics of First-order Arithmetic<\/i>, Springer, New York, 1993.","DOI":"10.1007\/978-3-662-22156-3"},{"key":"14","doi-asserted-by":"publisher","unstructured":"[14] Halbach, V., \u201cDisquotationalism and infinite conjunction,\u201d <i>Mind<\/i>, vol. 108 (1999), pp. 1\u201322.","DOI":"10.1093\/mind\/108.429.1"},{"key":"15","doi-asserted-by":"publisher","unstructured":"[15] Halbach, V., \u201cDisquotational truth and analyticity,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 66 (2001), pp. 1959\u201373.","DOI":"10.2307\/2694987"},{"key":"16","doi-asserted-by":"crossref","unstructured":"[16] Halbach, V., \u201cHow innocent is deflationism?,\u201d <i>Synthese<\/i>, vol. 126 (2001), pp. 167\u201394.","DOI":"10.1023\/A:1005275222332"},{"key":"17","doi-asserted-by":"crossref","unstructured":"[17] Heck, R. G., Jr., \u201cTruth and disquotation,\u201d <i>Synthese<\/i>, vol. 142 (2004), pp. 317\u201352.","DOI":"10.1007\/s11229-005-3719-6"},{"key":"18","doi-asserted-by":"publisher","unstructured":"[18] Heck, R. G., Jr., \u201cConsistency and the theory of truth,\u201d <i>Review of Symbolic Logic<\/i>, vol. 8 (2015), pp. 424\u201366.","DOI":"10.1017\/S1755020314000549"},{"key":"21","unstructured":"[21] Horwich, P., <i>Truth<\/i>, Blackwell, Oxford, 1990."},{"key":"22","doi-asserted-by":"crossref","unstructured":"[22] Ketland, J., \u201cDeflationism and Tarski\u2019s paradise,\u201d <i>Mind<\/i>, vol. 108 (1999), pp. 69\u201394.","DOI":"10.1093\/mind\/108.429.69"},{"key":"23","doi-asserted-by":"crossref","unstructured":"[23] Leigh, G. E., and C. Nicolai, \u201cAxiomatic truth, syntax and metatheoretic reasoning,\u201d <i>Review of Symbolic Logic<\/i>, vol. 6 (2013), pp. 613\u201336.","DOI":"10.1017\/S1755020313000233"},{"key":"24","doi-asserted-by":"crossref","unstructured":"[24] Mostowski, A., \u201cOn models of axiomatic systems,\u201d <i>Fundamenta Mathematicae<\/i>, vol. 39 (1952), pp. 133\u201358.","DOI":"10.4064\/fm-39-1-133-158"},{"key":"25","doi-asserted-by":"crossref","unstructured":"[25] Nelson, E., <i>Predicative Arithmetic<\/i>, vol. 32 of <i>Mathematical Notes<\/i>, Princeton University Press, Princeton, 1986.","DOI":"10.1515\/9781400858927"},{"key":"26","doi-asserted-by":"crossref","unstructured":"[26] Parsons, C., \u201cSets and classes,\u201d <i>No\u00fbs<\/i>, vol. 8 (1974), pp. 1\u201312.","DOI":"10.2307\/2214641"},{"key":"27","doi-asserted-by":"crossref","unstructured":"[27] Pudl\u00e1k, P., \u201cCuts, consistency statements and interpretations,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 50 (1985), pp. 423\u201341.","DOI":"10.2307\/2274231"},{"key":"28","doi-asserted-by":"crossref","unstructured":"[28] Quine, W. V. O., \u201cConcatenation as a basis for arithmetic,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 11 (1946), pp. 105\u201314.","DOI":"10.2307\/2268308"},{"key":"29","doi-asserted-by":"crossref","unstructured":"[29] Shapiro, S., \u201cProof and truth: Through thick and thin,\u201d <i>Journal of Philosophy<\/i>, vol. 95 (1998), pp. 493\u2013521.","DOI":"10.5840\/jphil199895102"},{"key":"30","doi-asserted-by":"crossref","unstructured":"[30] Tarski, A., \u201cA general method in proofs of undecidability,\u201d pp. 1\u201335 in <i>Undecidable Theories<\/i>, edited by A. Tarski, A. Mostowski, and A. Robinson, vol. 13 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1953.","DOI":"10.1016\/S0049-237X(09)70292-7"},{"key":"31","unstructured":"[31] Tarski, A., \u201cThe concept of truth in formalized languages,\u201d pp. 152\u2013278 in <i>Logic, Semantics, and Metamathematics<\/i>, edited by J. Corcoran, Hackett, Indianapolis, 1958."},{"key":"32","unstructured":"[32] Tarski, A., A. Mostowski, and A. Robinson, <i>Undecidable Theories<\/i>, vol. 13 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1953."},{"key":"33","doi-asserted-by":"publisher","unstructured":"[33] Visser, A., \u201cGrowing commas: A study of sequentiality and concatenation,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 50 (2009), pp. 61\u201385.","DOI":"10.1215\/00294527-2008-028"},{"key":"34","doi-asserted-by":"crossref","unstructured":"[34] Wang, H., \u201cTruth definitions and consistency proofs,\u201d <i>Transactions of the American Mathematical Society<\/i>, vol. 73 (1952), pp. 243\u201375.","DOI":"10.1090\/S0002-9947-1952-0049136-2"},{"key":"35","doi-asserted-by":"crossref","unstructured":"[35] Wilkie, A. J., and J. B. Paris, \u201cOn the scheme of induction for bounded arithmetic formulas,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 35 (1987), pp. 261\u2013302.","DOI":"10.1016\/0168-0072(87)90066-2"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2017-0011","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:59:16Z","timestamp":1706648356000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-59\/issue-1\/The-Logical-Strength-of-Compositional-Principles\/10.1215\/00294527-2017-0011.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1,1]]},"references-count":35,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2018,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2017-0011","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2018,1,1]]}}}