{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T00:22:03Z","timestamp":1773447723208,"version":"3.50.1"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2006,2,1]],"date-time":"2006-02-01T00:00:00Z","timestamp":1138752000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2006,2]]},"DOI":"10.1007\/s11229-004-6295-2","type":"journal-article","created":{"date-parts":[[2006,4,20]],"date-time":"2006-04-20T08:36:49Z","timestamp":1145522209000},"page":"507-524","source":"Crossref","is-referenced-by-count":66,"title":["Meaning Approached Via Proofs"],"prefix":"10.1007","volume":"148","author":[{"given":"Dag","family":"Prawitz","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"6295_CR1","volume-title":"Introduction to Mathematical Logic","author":"A. Church","year":"1956"},{"key":"6295_CR2","volume-title":"Meaning and Argument","author":"C. Cozzo","year":"1994"},{"key":"6295_CR3","unstructured":"Dummett, M.: 1973, The Justification of Deduction, The British Academy, London (republished in M. Dummett, Truth and Other Enigmas, Duckworth, London 1978)."},{"key":"6295_CR4","doi-asserted-by":"crossref","unstructured":"Dummett, M.: 1976, \u2018What is a Theory of Meaning II\u2019, in G. Evans et al. (eds.), Truth and Meaning, Oxford, pp. 67\u2013137 (republished in M. Dummett, The Seas of Language, Clarendon Press, Oxford 1993).","DOI":"10.1093\/oso\/9780198250074.003.0004"},{"key":"6295_CR5","unstructured":"Dummett, M.: 1983, \u2018Language and Truth\u2019, in R. Harris (ed.), Approaches to Language, Oxford (republished in M. Dummett, The Seas of Language, Clarendon Press, Oxford 1993)."},{"key":"6295_CR6","volume-title":"The Logical Basis of Metaphysics","author":"M. Dummett","year":"1991"},{"key":"6295_CR7","doi-asserted-by":"crossref","unstructured":"Gentzen, G.: 1934, \u2018Untersuchungen \u00dcber das Logische Schlie\u00dfen\u2019, Mathematische Zeitschrift 39, 176\u2013210 and 405\u2013431.","DOI":"10.1007\/BF01201363"},{"key":"6295_CR8","first-page":"198","volume-title":"Logic, Methodology and Philosophy of Science","author":"G. Kreisel","year":"1962"},{"key":"6295_CR9","unstructured":"Martin-L\u00f6f, P.: 1985, \u2018On the Meanings of the Logical Constants and the Justification of the Logical Laws\u2019, in Atti degli Incontri di Logica Matematica, Siena, Vol. 2, pp. 203\u2013281 (reprinted in Nordic Journal of Philosophical Logic 1, 11\u201360)."},{"key":"6295_CR10","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/978-94-017-3327-4_14","volume-title":"The Foundational Debate: Complexity and Constructivity in Mathematics and Physics","author":"P. Martin-L\u00f6f","year":"1995"},{"key":"6295_CR11","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1093\/oso\/9780198514763.003.0005","volume-title":"Truth in Mathematics","author":"P. Martin-L\u00f6f","year":"1998"},{"key":"6295_CR12","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/S0049-237X(08)70849-8","volume-title":"Proceedings of the Second Scandinavian Logic Symposium","author":"D. Prawitz","year":"1971"},{"key":"6295_CR13","first-page":"225","volume-title":"Logic, Methodology, and Philosophy of Science IV","author":"D. Prawitz","year":"1973"},{"key":"6295_CR14","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/BF00660889","volume":"27","author":"D. Prawitz","year":"1974","journal-title":"Synthese."},{"key":"6295_CR15","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-94-009-3541-9_5","volume-title":"Michael Dummett, Contributions to Philosophy","author":"D. Prawitz","year":"1987"},{"key":"6295_CR16","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1080\/00201749408602369","volume":"37","author":"D. Prawitz","year":"1995","journal-title":"Inquiry."},{"key":"6295_CR17","doi-asserted-by":"crossref","unstructured":"Prior, A. N.: 1960, \u2018The Runabout Inference-Ticket\u2019, Analysis 24.","DOI":"10.1093\/analys\/21.2.38"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-004-6295-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-004-6295-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-004-6295-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,3]],"date-time":"2024-02-03T21:39:41Z","timestamp":1706996381000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-004-6295-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,2]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,2]]}},"alternative-id":["6295"],"URL":"https:\/\/doi.org\/10.1007\/s11229-004-6295-2","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,2]]}}}