{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T10:48:06Z","timestamp":1779101286475,"version":"3.51.4"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2015,7,10]],"date-time":"2015-07-10T00:00:00Z","timestamp":1436486400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"NWO","award":["276-20-014"],"award-info":[{"award-number":["276-20-014"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1007\/s11229-015-0816-z","type":"journal-article","created":{"date-parts":[[2015,7,9]],"date-time":"2015-07-09T21:02:01Z","timestamp":1436475721000},"page":"195-215","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":57,"title":["Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization"],"prefix":"10.1007","volume":"194","author":[{"given":"Catarina","family":"Dutilh Novaes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erich","family":"Reck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,10]]},"reference":[{"key":"816_CR1","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1080\/09332480.1995.10542468","volume":"8","author":"O Ashenfelter","year":"1995","unstructured":"Ashenfelter, O., Ashmore, D., & Lalonde, R. (1995). Bordeaux wine vintage quality and the weather. Chance, 8, 7\u201314.","journal-title":"Chance"},{"key":"816_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/01445340210146889","volume":"23","author":"S Awodey","year":"2002","unstructured":"Awodey, S., & Reck, E. H. (2002). Completeness and categoricity, part I: 19th century axiomatics to 20th century metalogic. History and Philosophy of Logic, 23, 1\u201330.","journal-title":"History and Philosophy of Logic"},{"key":"816_CR3","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1093\/oxfordhb\/9780199238842.013.0029","volume-title":"The historical turn in analytic philosophy","author":"M Beaney","year":"2013","unstructured":"Beaney, M. (2013). Analytic philosophy and history of philosophy: The development of the idea of rational reconstruction. In E. H. Reck (Ed.), The historical turn in analytic philosophy (pp. 231\u2013260). Basingstoke: Palgrave Macmillan."},{"key":"816_CR4","unstructured":"Beaney, M. (2014). Analysis. In E. Zalta (Ed.), Stanford Encyclopedia of Philosophy. http:\/\/plato.stanford.edu\/entries\/analysis\/ ."},{"key":"816_CR5","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1086\/341846","volume":"69","author":"MA Bishop","year":"2002","unstructured":"Bishop, M. A., & Trout, J. D. (2002). 50 years of successful predictive modeling should be enough: Lessons for philosophy of science. Philosophy of Science, 69, 197\u2013208.","journal-title":"Philosophy of Science"},{"key":"816_CR6","doi-asserted-by":"crossref","DOI":"10.1093\/0195162293.001.0001","volume-title":"Epistemology and the psychology of human judgment","author":"MA Bishop","year":"2005","unstructured":"Bishop, M. A., & Trout, J. D. (2005). Epistemology and the psychology of human judgment. Oxford: Oxford University Press."},{"key":"816_CR7","volume-title":"Introduction to semantics","author":"R Carnap","year":"1942","unstructured":"Carnap, R. (1942). Introduction to semantics. Cambridge, MA: Harvard University Press."},{"key":"816_CR8","doi-asserted-by":"crossref","first-page":"513","DOI":"10.2307\/2102817","volume":"5","author":"R Carnap","year":"1945","unstructured":"Carnap, R. (1945). Two concepts of probability: The problem of probability. Philosophy and Phenomenological Research, 5, 513\u2013532.","journal-title":"Philosophy and Phenomenological Research"},{"key":"816_CR9","volume-title":"Meaning and necessity","author":"R Carnap","year":"1947","unstructured":"Carnap, R. (1947). Meaning and necessity. Chicago: University of Chicago Press."},{"key":"816_CR10","volume-title":"Logical foundations of probability","author":"R Carnap","year":"1950","unstructured":"Carnap, R. (1950). Logical foundations of probability. Chicago: University of Chicago Press."},{"key":"816_CR11","first-page":"859","volume-title":"The philosophy of Rudolf Carnap","author":"R Carnap","year":"1963","unstructured":"Carnap, R. (1963). Replies and systematic expositions. In P. A. Schilpp (Ed.), The philosophy of Rudolf Carnap (pp. 859\u20131013). Chicago: Open Court."},{"key":"816_CR12","volume-title":"Two essays on entropy","author":"R Carnap","year":"1978","unstructured":"Carnap, R. (1978). In A. Shimony (Ed.), Two essays on entropy. Berkeley: University of California Press."},{"key":"816_CR13","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511487132","volume-title":"Carnap and twentieth-century thought: Explication as enlightenment","author":"AW Carus","year":"2007","unstructured":"Carus, A. W. (2007). Carnap and twentieth-century thought: Explication as enlightenment. Cambridge: Cambridge University Press."},{"key":"816_CR14","doi-asserted-by":"crossref","first-page":"775","DOI":"10.1097\/00001888-200308000-00003","volume":"78","author":"P Croskerry","year":"2003","unstructured":"Croskerry, P. (2003). The importance of cognitive errors in diagnosis and strategies to minimize them. Academic Medicine, 78, 775\u2013780.","journal-title":"Academic Medicine"},{"key":"816_CR15","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139108010","volume-title":"Formal languages in logic","author":"C Dutilh Novaes","year":"2012","unstructured":"Dutilh Novaes, C. (2012a). Formal languages in logic. Cambridge: Cambridge University Press."},{"key":"816_CR16","unstructured":"Dutilh Novaes, C. (2012b). Medieval theories of consequence. In E. Zalta (Ed.), Stanford Encyclopedia of Philosophy. http:\/\/plato.stanford.edu\/entries\/consequence-medieval\/ ."},{"key":"816_CR17","unstructured":"Dutilh Novaes, C., & Geerdink, L. (forthcoming). The dissonant origins of analytic philosophy: Common sense in philosophical methodology. In S. Lapointe & C. Pincock (Eds.), Innovations in the history of analytical philosophy. Basingstoke: Palgrave Macmillan."},{"key":"816_CR18","volume-title":"The Frege reader","author":"G Frege","year":"1997","unstructured":"Frege, G. (1997). In M. Beaney (Ed.), The Frege reader. Oxford: Basil Blackwell."},{"key":"816_CR19","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1037\/1076-8971.2.2.293","volume":"2","author":"WM Grove","year":"1996","unstructured":"Grove, W. M., & Meehl, P. E. (1996). Comparative efficiency of informal (subjective, impressionistic) and formal (mechanical, algorithmic) prediction procedures: The clinical\u2013statistical controversy. Psychology, Public Policy, and Law, 2, 293\u2013323.","journal-title":"Psychology, Public Policy, and Law"},{"key":"816_CR20","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199892631.001.0001","volume-title":"Resisting reality","author":"S Haslanger","year":"2012","unstructured":"Haslanger, S. (2012). Resisting reality. Oxford: Oxford University Press."},{"key":"816_CR21","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/s13194-011-0027-5","volume":"2","author":"J Justus","year":"2012","unstructured":"Justus, J. (2012). Carnap on concept determination: Methodology for philosophy of science. European Journal for Philosophy of Science, 2, 161\u2013179.","journal-title":"European Journal for Philosophy of Science"},{"key":"816_CR22","volume-title":"Thinking, fast and slow","author":"D Kahneman","year":"2011","unstructured":"Kahneman, D. (2011). Thinking, fast and slow. New York: Strauss & Giroux."},{"key":"816_CR23","doi-asserted-by":"crossref","unstructured":"Kuipers, T. (2007). Introduction: Explication in philosophy of science. In T. Kuipers (Ed.), General philosophy of science: Focal issues (pp. vii\u2013xxiv). North Holland: Elsevier.","DOI":"10.1016\/B978-044451548-3\/50001-X"},{"key":"816_CR24","unstructured":"Langford, C. H. (1942). The notion of analysis in Moore\u2019s philosophy. In P. A. Schilpp (Ed.), The philosophy of G.E. Moore (pp. 319\u2013342). LaSalle, IL: Open Court."},{"key":"816_CR25","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/s11225-007-9063-8","volume":"86","author":"P Maher","year":"2007","unstructured":"Maher, P. (2007). Explication defended. Studia Logica, 86, 331\u2013341.","journal-title":"Studia Logica"},{"issue":"11","key":"816_CR26","doi-asserted-by":"crossref","first-page":"1198","DOI":"10.1001\/jama.2010.1276","volume":"304","author":"S Mamede","year":"2010","unstructured":"Mamede, S., van Gog, T., van den Berge, K., Rikers, R., van Saase, J., van Guldener, C., et al. (2010). Effect of availability bias and reflective reasoning on diagnostic accuracy among internal medicine residents. JAMA: The Journal of the American Medical Association, 304(11), 1198\u20131203.","journal-title":"JAMA: The Journal of the American Medical Association"},{"key":"816_CR27","doi-asserted-by":"crossref","DOI":"10.1037\/11281-000","volume-title":"Clinical versus statistical prediction: A theoretical analysis and a review of the evidence","author":"P Meehl","year":"1954","unstructured":"Meehl, P. (1954). Clinical versus statistical prediction: A theoretical analysis and a review of the evidence. Minneapolis: University of Minnesota Press."},{"key":"816_CR28","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1057\/9780230379749_8","volume-title":"Carnap\u2019s ideal of explication and naturalism","author":"EH Reck","year":"2012","unstructured":"Reck, E. H. (2012). Carnapian explication: A case study and critique. In P. Wagner (Ed.), Carnap\u2019s ideal of explication and naturalism (pp. 96\u2013116). London: Palgrave Macmillan."},{"key":"816_CR29","first-page":"60","volume-title":"The historical turn in analytic philosophy","author":"A Richardson","year":"2013","unstructured":"Richardson, A. (2013). Taking the measure of Carnap\u2019s philosophical engineering. In E. H. Reck (Ed.), The historical turn in analytic philosophy (pp. 60\u201377). Basingstoke: Palgrave Macmillan."},{"key":"816_CR30","volume-title":"The philosophy of G.E. Moore","year":"1942","unstructured":"Schilpp, P. A. (Ed.). (1942). The philosophy of G.E. Moore. Chicago: Open Court."},{"key":"816_CR31","volume-title":"The philosophy of Rudolf Carnap","year":"1963","unstructured":"Schilpp, P. A. (Ed.). (1963). The philosophy of Rudolf Carnap. Chicago: Open Court."},{"key":"816_CR32","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1093\/0195148770.003.0021","volume-title":"The Oxford handbook of the philosophy of mathematics and logic","author":"S Shapiro","year":"2005","unstructured":"Shapiro, S. (2005). Logical consequence, proof theory, and model theory. In S. Shapiro (Ed.), The Oxford handbook of the philosophy of mathematics and logic (pp. 651\u2013670). New York: Oxford University Press."},{"key":"816_CR33","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1093\/analys\/anq120","volume":"71","author":"P Smith","year":"2011","unstructured":"Smith, P. (2011). Squeezing arguments. Analysis, 71, 22\u201330.","journal-title":"Analysis"},{"key":"816_CR34","first-page":"503","volume-title":"The philosophy of Rudolf Carnap","author":"PF Strawson","year":"1963","unstructured":"Strawson, P. F. (1963). Carnap\u2019s views on constructed systems versus natural languages in analytic philosophy. In P. A. Schilpp (Ed.), The philosophy of Rudolf Carnap (pp. 503\u2013518). Chicago: Open Court."},{"key":"816_CR35","doi-asserted-by":"crossref","first-page":"427","DOI":"10.2307\/2216281","volume":"29","author":"J Tappenden","year":"1995","unstructured":"Tappenden, J. (1995). Extending knowledge and \u2018fruitful concepts\u2019: Fregean themes in the foundations of mathematics. No\u00fbs, 29, 427\u2013467.","journal-title":"No\u00fbs"},{"key":"816_CR36","unstructured":"Tarski, A. (1933). Der Wahrheitsbegriff in den formalisierten Sprachen. English translation, The concept of truth in formalized languages. In A. Tarski (Ed.). (1956). Logic, semantics: Metamathematics (pp. 152\u2013278). Oxford: Oxford University Press. Second edition, 1983."},{"key":"816_CR37","unstructured":"Tarski, A. (1936). \u00dcber den Begriff der logischen Folgerung. English translation, On the concept of logical consequence. In A. Tarski (Ed.). (1956). Logic, semantics: Metamathematics (pp. 409\u2013420). Oxford: Oxford University Press. Second edition, 1983."},{"issue":"3","key":"816_CR38","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1080\/0144534021000036683","volume":"23","author":"A Tarski","year":"2002","unstructured":"Tarski, A. (2002). On the concept of following logically. History and Philosophy of Logic, 23(3), 155\u2013196.","journal-title":"History and Philosophy of Logic"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-015-0816-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0816-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0816-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0816-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T23:15:06Z","timestamp":1553642106000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-015-0816-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,10]]},"references-count":38,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,1]]}},"alternative-id":["816"],"URL":"https:\/\/doi.org\/10.1007\/s11229-015-0816-z","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,7,10]]}}}