{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T02:49:14Z","timestamp":1747190954761,"version":"3.37.3"},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2021,10,9]],"date-time":"2021-10-09T00:00:00Z","timestamp":1633737600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,10,9]],"date-time":"2021-10-09T00:00:00Z","timestamp":1633737600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2022,4]]},"DOI":"10.1007\/s11225-021-09969-8","type":"journal-article","created":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T18:57:10Z","timestamp":1633892230000},"page":"355-403","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz\u2019s Theory of Grounds"],"prefix":"10.1007","volume":"110","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2974-7197","authenticated-orcid":false,"given":"Antonio Piccolomini","family":"d\u2019Aragona","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,10,9]]},"reference":[{"key":"9969_CR1","unstructured":"Cozzo, C., Meaning and argument. A theory of meaning centred on immediate argumental role, Almqvist & Wiksell, 1994."},{"key":"9969_CR2","doi-asserted-by":"crossref","unstructured":"d\u2019Aragona, A. P., A partial calculus for Dag Prawitz\u2019s theory of grounds and a decidability issue, in A. Christian, D. Hommen, N. Retzlaff, and G. Schurz, (eds), Philosophy of Science. European Studies in Philosophy of Science, vol 9. Springer, Berlin, Heidelberg, New York, 2018, pp. 223\u2013244.","DOI":"10.1007\/978-3-319-72577-2_13"},{"key":"9969_CR3","doi-asserted-by":"crossref","unstructured":"d\u2019Aragona, A. P., Dag Prawitz on proofs, operations and grounding, Topoi 38(3):531\u2013550, 2019.","DOI":"10.1007\/s11245-017-9473-9"},{"key":"9969_CR4","unstructured":"d\u2019Aragona, A. P., Dag Prawitz\u2019s theory of grounds, Ph.D. thesis, Aix-Marseille University, \u201cLa Sapienza\u201d University of Rome, 2019."},{"key":"9969_CR5","doi-asserted-by":"crossref","unstructured":"d\u2019Aragona, A. P., Calculi of epistemic grounding based on Prawitz\u2019s theory of grounds, submitted, 2021.","DOI":"10.1007\/s11225-021-09969-8"},{"key":"9969_CR6","doi-asserted-by":"crossref","unstructured":"d\u2019Aragona, A. P., Proofs, grounds and empty functions: epistemic compulsion in Prawitz\u2019s semantics, Journal of Philosophical Logic, forthcoming, 2021.","DOI":"10.1007\/s10992-021-09621-9"},{"key":"9969_CR7","unstructured":"Dean, W., Recursive functions, in E. N. Zalta, (ed.), The Stanford Encyclopedia of Philosophy (Spring 2021 Edition), 2021."},{"key":"9969_CR8","doi-asserted-by":"crossref","unstructured":"D\u00edez, G. F., Five observation concerning the intended meaning of the intuitionistic logical constants, Journal of Philosophical Logic 29(4):409\u2013424, 2000.","DOI":"10.1023\/A:1004881914911"},{"key":"9969_CR9","doi-asserted-by":"crossref","unstructured":"Do\u0161en, K., Inferential semantics, in H. Wansing, (ed.), Dag Prawitz on proofs and meaning, Springer, Berlin, Heidelberg, New York, 2015, pp. 147\u2013162.","DOI":"10.1007\/978-3-319-11041-7_6"},{"key":"9969_CR10","volume-title":"The logical basis of metaphysics","author":"M Dummett","year":"1991","unstructured":"Dummett, M., The logical basis of metaphysics, Harvard University Press, Cambridge, 1991."},{"key":"9969_CR11","volume-title":"What is a theory of meaning (I), in M","author":"M Dummett","year":"1993","unstructured":"Dummett, M., What is a theory of meaning (I), in M. Dummett, The seas of language, Oxford University Press, Oxford, 1996, pp. 1\u201333."},{"key":"9969_CR12","doi-asserted-by":"crossref","unstructured":"Dummett, M., What is a theory of meaning (II), in M. Dummett, The seas of language, Oxford University Press, Oxford, 1996, pp. 34\u201393.","DOI":"10.1093\/0198236212.003.0002"},{"key":"9969_CR13","volume-title":"Proof-theoretic semantics","author":"N Francez","year":"2015","unstructured":"Francez, N., Proof-theoretic semantics, College Publications, London, 2015."},{"key":"9969_CR14","doi-asserted-by":"crossref","unstructured":"Gentzen, G., Untersuchungen \u00fcber das logische Schlie\u00dfen. I, Matematische Zeitschrift 39:176\u2013210, 1935.","DOI":"10.1007\/BF01201353"},{"key":"9969_CR15","volume-title":"Intuitionism. An introduction","author":"A Heyting","year":"1956","unstructured":"Heyting, A.,Intuitionism. An introduction, North-Holland Publishing Company, Amsterdam, 1956."},{"key":"9969_CR16","unstructured":"Howard, W., The formula-as-types notion of construction, in J. R. Hindley, and J. P. Seldin, (eds.), To H. B. Curry: essays on combinatory logic, lambda calculus and formalism, Academic Press, London, 1980, pp. 479\u2013490."},{"key":"9969_CR17","volume-title":"Intuitionistic type theory","author":"P Martin-L\u00f6f","year":"1984","unstructured":"Martin-L\u00f6f, P., Intuitionistic type theory, Bibliopolis, Napoli, 1984."},{"key":"9969_CR18","unstructured":"Peter, R., Rekursive Functionen, Budapest, Akademiai Kiado, 1959."},{"key":"9969_CR19","doi-asserted-by":"crossref","unstructured":"Piecha, T., Completeness in proof-theoretic semantics, in T. Piecha, and P. Schroeder-Heister, (eds.), Advances in proof-theoretic semantics, Springer, Berlin, Heidelberg, New York, 2016, pp. 231\u2013251.","DOI":"10.1007\/978-3-319-22686-6_15"},{"key":"9969_CR20","doi-asserted-by":"crossref","unstructured":"Piecha, T., W. de Campos Sanz, and P. Schroeder-Heister, Failure of completeness in proof-theoretic semantics, Journal of Philosophical Logic 44(3):321\u2013335, 2015.","DOI":"10.1007\/s10992-014-9322-x"},{"key":"9969_CR21","doi-asserted-by":"crossref","unstructured":"Piecha, T., and P. Schroeder-Heister, Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics, Studia Logica 107(1):233\u2013246, 2019.","DOI":"10.1007\/s11225-018-9823-7"},{"key":"9969_CR22","doi-asserted-by":"crossref","unstructured":"Poggiolesi, F., A critical overview of the most recent logics of grounding, in F. Boccuni, and A. Sereni, (eds.), Objectivity, realism and proof, vol. 318 of Boston Studies in the Philosophy and History of Science, Springer, 2016, pp. 291\u2013309.","DOI":"10.1007\/978-3-319-31644-4_15"},{"key":"9969_CR23","doi-asserted-by":"crossref","unstructured":"Poggiolesi, F., Logics of grounding, in M. Raven, (ed.), Routledge handbook for metaphysical grounding, Routledge, 2020, pp. 213\u2013227.","DOI":"10.4324\/9781351258845-21"},{"key":"9969_CR24","unstructured":"Prawitz, D., Constructive semantics, in Proceedings of the First Scandinavian Logic Symposium, \u00c5bo 1968, Filosofiska studier 8, Uppsala, 1970, pp. 96\u2013114."},{"key":"9969_CR25","doi-asserted-by":"crossref","unstructured":"Prawitz, D., Ideas and results in proof theory, in J. E. Fenstad, (ed.), Proceedings of the Second Scandinavian Logic Symposium, vol 63 of Studies in Logic and the Foundations of Mathematics, 1971, pp. 235\u2013307.","DOI":"10.1016\/S0049-237X(08)70849-8"},{"key":"9969_CR26","doi-asserted-by":"crossref","unstructured":"Prawitz, D., Towards a foundation of a general proof-theory, in P. Suppes, L. Henkin, A. Joja, and Gr C. Moisil, (eds.), Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, vol. 74 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam, 1973, pp. 225\u2013250.","DOI":"10.1016\/S0049-237X(09)70361-1"},{"key":"9969_CR27","doi-asserted-by":"crossref","unstructured":"Prawitz, D., Meaning and proofs: on the conflict between classical and intuitionistic logic, Theoria 43(1):2\u201340, 1977.","DOI":"10.1111\/j.1755-2567.1977.tb00776.x"},{"key":"9969_CR28","doi-asserted-by":"crossref","unstructured":"Prawitz, D., Proofs and the meaning and completeness of the logical constants, in J. Hintikka, I. Niiniluoto, and E. Saarinen, (eds.), Essays on mathematical and philosophical logic, Reidel, Dordrecht, 1979, pp. 25\u201340.","DOI":"10.1007\/978-94-009-9825-4_2"},{"key":"9969_CR29","volume-title":"Natural deduction","author":"D Prawitz","year":"2006","unstructured":"Prawitz, D., Natural deduction. A proof-theoretical study, Dover, New York, 2006."},{"key":"9969_CR30","unstructured":"Prawitz, D., Inference and knowledge, in M. Peli\u0161, (ed.), The Logica Yearbook 2008, College Publications, London, 2009, pp. 175\u2013192."},{"key":"9969_CR31","doi-asserted-by":"crossref","unstructured":"Prawitz, D., The epistemic significance of valid inference, Synthese 187(3): 887\u2013898, 2012.","DOI":"10.1007\/s11229-011-9907-7"},{"key":"9969_CR32","doi-asserted-by":"crossref","unstructured":"Prawitz, D., Truth and proof in intuitionism, in P. Dybier, S. Lindstr\u00f6m, E. Palmgren, and G. Sundholm, (eds.), Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-L\u00f6f, Springer, Berlin, Heidelberg, New York, 2012, pp. 45\u201367.","DOI":"10.1007\/978-94-007-4435-6_3"},{"key":"9969_CR33","doi-asserted-by":"crossref","unstructured":"Prawitz, D., Validity of inferences, in M. Frauchiger, (ed.), Reference, rationality, and phenomenology: themes from F\u00f8llesdal, Dordrecht, Ontos Verlag, 2013, pp. 179\u2013204.","DOI":"10.1515\/9783110323542.179"},{"key":"9969_CR34","doi-asserted-by":"crossref","unstructured":"Prawitz, D., An approach to general proof theory and a conjecture of a kind of completeness of intuitionistic logic revisited, in L. C. Pereira, E. H. Haeusler, and V. de Paiva, (eds.), Advances in natural deduction, vol. 39 of Trends in Logic, Springer, Dordrecht, 2014, pp. 269\u2013279.","DOI":"10.1007\/978-94-007-7548-0_12"},{"key":"9969_CR35","doi-asserted-by":"crossref","unstructured":"Prawitz, D., Explaining deductive inference, in H. Wansing, (ed.), Dag Prawitz on proofs and meaning, vol. 7 of Outstanding Contributions to Logic, Springer, Berlin, Heidelberg, New York, 2015, pp. 65\u2013100.","DOI":"10.1007\/978-3-319-11041-7_3"},{"key":"9969_CR36","doi-asserted-by":"crossref","unstructured":"Prawitz, D., The seeming interdependence between the concepts of valid inference and proof, Topoi 38(3):493\u2013503, 2019.","DOI":"10.1007\/s11245-017-9506-4"},{"key":"9969_CR37","unstructured":"Prawitz, D., Validity of inferences, forthcoming, 2020."},{"key":"9969_CR38","unstructured":"Prawitz, D., Validity of inferences reconsidered, forthcoming, 2020."},{"key":"9969_CR39","doi-asserted-by":"crossref","unstructured":"Schroeder-Heister, P., A natural extension for natural deduction, Journal of Symbolic Logic 49(4):1284\u20131300, 1984.","DOI":"10.2307\/2274279"},{"key":"9969_CR40","unstructured":"Schroeder-Heister, P., Generalized rules for quantifiers and the completeness of the intuitionistic operators&, $$\\vee $$, $$\\supset $$, $$\\curlywedge $$, $$\\forall $$, $$\\exists $$, in M. M. Richter, E. B\u00f6rger, W. Oberschelp, and B. Schinzel & W. Thomas, (eds.), Computation and proof theory. Proceedings of the Logic Colloquium held in Aachen, July 18\u201323, 1983, Part II, Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, 1984, pp. 399\u2013426."},{"key":"9969_CR41","unstructured":"Schroeder-Heister, P., Uniform proof-theoretic semantics for logical constants (Abstract), Journal of Symbolic Logic 56:1142, 1991."},{"key":"9969_CR42","doi-asserted-by":"crossref","unstructured":"Schroeder-Heister, P., Validity concepts in proof-theoretic semantics, Synthese 148(3):525\u2013571, 2006.","DOI":"10.1007\/s11229-004-6296-1"},{"key":"9969_CR43","unstructured":"Schroeder-Heister, P., Proof-theoretic versus model-theoretic consequence, in M. Peli\u0161, (ed), The Logica Yearbook 2007, Filosofia, Prague, 2008, pp. 187\u2013200."},{"key":"9969_CR44","doi-asserted-by":"crossref","unstructured":"Schroeder-Heister, P., The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics, Synthese 187(3):925\u2013942, 2012.","DOI":"10.1007\/s11229-011-9910-z"},{"key":"9969_CR45","unstructured":"Schroeder-Heister, P., Proof-theoretic semantics, in E. N. Zalta, (ed.), The Stanford Encyclopedia of Philosophy (Spring 2018 Edition), 2018."},{"key":"9969_CR46","doi-asserted-by":"crossref","unstructured":"Sundholm, G., Proofs as acts and proofs as objects, Theoria 64(2-3):187\u2013216, 1998.","DOI":"10.1111\/j.1755-2567.1998.tb00187.x"},{"key":"9969_CR47","unstructured":"Tranchini, L., Dag Prawitz, APhEx 9, 2014."},{"key":"9969_CR48","doi-asserted-by":"crossref","unstructured":"Tranchini, L., Proof-theoretic semantics, proofs and the distinction between sense and denotation, Journal of Logic and Computation 26(2):495\u2013512, 2016.","DOI":"10.1093\/logcom\/exu028"},{"key":"9969_CR49","doi-asserted-by":"crossref","unstructured":"Tranchini, L., Proof, meaning and paradox. Some remarks, Topoi 38(3):591\u2013603, 2019.","DOI":"10.1007\/s11245-018-9552-6"},{"key":"9969_CR50","volume-title":"Constructivism in mathematics","author":"AS Troelstra","year":"1988","unstructured":"Troelstra, A. S., and D. Van Dalen, Constructivism in mathematics, vol. I, North-Holland Publishing Company, Amsterdam, 1988."},{"key":"9969_CR51","doi-asserted-by":"crossref","unstructured":"Usberti, G., A notion of C-justification for empirical statements, in H. Wansing, (ed.), Dag Prawitz on proofs and meaning, vol. 7 of Outstanding Contributions to Logic, Springer, Berlin, Heidelberg, New York, 2015, pp. 415\u2013450.","DOI":"10.1007\/978-3-319-11041-7_18"},{"key":"9969_CR52","doi-asserted-by":"crossref","unstructured":"Usberti, G., Inference and epistemic transparency, Topoi 38(3):517\u2013530, 2019.","DOI":"10.1007\/s11245-017-9497-1"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09969-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-021-09969-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09969-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,10]],"date-time":"2023-11-10T19:52:28Z","timestamp":1699645948000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-021-09969-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,9]]},"references-count":52,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2022,4]]}},"alternative-id":["9969"],"URL":"https:\/\/doi.org\/10.1007\/s11225-021-09969-8","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2021,10,9]]},"assertion":[{"value":"13 February 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 August 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 October 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}