{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,19]],"date-time":"2024-09-19T15:39:40Z","timestamp":1726760380395},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"10","license":[{"start":{"date-parts":[[2015,10,8]],"date-time":"2015-10-08T00:00:00Z","timestamp":1444262400000},"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":["Synthese"],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1007\/s11229-015-0923-x","type":"journal-article","created":{"date-parts":[[2015,10,8]],"date-time":"2015-10-08T06:20:52Z","timestamp":1444285252000},"page":"3147-3167","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":27,"title":["On defining the notion of complete and immediate formal grounding"],"prefix":"10.1007","volume":"193","author":[{"given":"Francesca","family":"Poggiolesi","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,10,8]]},"reference":[{"key":"923_CR1","volume-title":"Bolzano\u2019s logic","author":"J Berg","year":"1962","unstructured":"Berg, J. (1962). Bolzano\u2019s logic. Stockholm: Almqvist and Wiksell."},{"key":"923_CR2","first-page":"281","volume":"211","author":"A Betti","year":"2010","unstructured":"Betti, A. (2010). Explanation in metaphysics and Bolzano\u2019s theory of ground and consequence. Logique et analyse, 211, 281\u2013316.","journal-title":"Logique et analyse"},{"key":"923_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-2513-3","volume-title":"Theory of science: A selection, with an introduction","author":"B Bolzano","year":"1973","unstructured":"Bolzano, B. (1973). Theory of science: A selection, with an introduction. Dordrecht: D. Riedel."},{"key":"923_CR4","volume-title":"Theory of science","author":"B Bolzano","year":"2014","unstructured":"Bolzano, B. (2014). Theory of science. Oxoford: Oxford University Press."},{"key":"923_CR5","unstructured":"Bolzano, B. (1996). Contributions to a more well founded presentation of mathematics. In William Bragg Ewald (Ed.), From Kant to Hilbert : A source book in the foundations of mathematics (pp. 176\u2013224). Oxford: Oxford University Press."},{"key":"923_CR6","unstructured":"Buhl, G. (1958). Ableitbarkeit und Abfolge in der Wissenschaftstheorie Bolzanos. Koelner Universit\u00e4tsverlag [PhD Thesis, Mainz 1958]."},{"issue":"3","key":"923_CR7","first-page":"329","volume":"78","author":"E Casari","year":"1987","unstructured":"Casari, E. (1987). Matematica e verit\u00e0. Rivista di. Filosofia, 78(3), 329\u2013350.","journal-title":"Filosofia"},{"issue":"211","key":"923_CR8","first-page":"251","volume":"53","author":"F Correia","year":"2010","unstructured":"Correia, F. (2010). Grounding and truth-functions. Logique et Analyse, 53(211), 251\u2013279.","journal-title":"Logique et Analyse"},{"key":"923_CR9","unstructured":"Correia, F. (2014). The impure logic of conceptualistic grounding. In Recent work on the logic of grounding workshop, Oslo."},{"issue":"1","key":"923_CR10","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1017\/S1755020313000300","volume":"7","author":"F Correia","year":"2014","unstructured":"Correia, F. (2014). Logical grounds. Review of Symbolic Logic, 7(1), 31\u201359.","journal-title":"Review of Symbolic Logic"},{"key":"923_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/CBO9781139149136.001","volume-title":"Metaphysical grounding","author":"F Correia","year":"2012","unstructured":"Correia, F., & Schnieder, B. (2012). Grounding: an opinionated introduction. In F. Correia & B. Schnieder (Eds.), Metaphysical grounding (pp. 1\u201336). Cambridge: Cambridge University Press."},{"key":"923_CR12","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1017\/CBO9781139149136.003","volume-title":"Metaphysical grounding","author":"C Daily","year":"2012","unstructured":"Daily, C. (2012). Scepticism about grounding. In F. Correia & B. Schnieder (Eds.), Metaphysical grounding (pp. 81\u2013100). Cambridge: Cambridge University Press."},{"issue":"1","key":"923_CR13","doi-asserted-by":"crossref","first-page":"7","DOI":"10.7710\/1526-0569.1452","volume":"14","author":"L Rosset de","year":"2013","unstructured":"de Rosset, L. (2013). What is weak ground? Essays in Philosophy, 14(1), 7\u201318.","journal-title":"Essays in Philosophy"},{"issue":"1","key":"923_CR14","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1215\/00294527-2010-007","volume":"51","author":"K Fine","year":"2010","unstructured":"Fine, K. (2010). Some puzzles of ground. Notre Dame Journal of Formal Logic, 51(1), 97\u2013118.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"923_CR15","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1017\/CBO9781139149136.002","volume-title":"Metaphysical grounding","author":"K Fine","year":"2012","unstructured":"Fine, K. (2012). Guide to ground. In F. Correia & B. Schnieder (Eds.), Metaphysical grounding (pp. 37\u201380). Cambridge: Cambridge University Press."},{"issue":"1","key":"923_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S1755020311000086","volume":"25","author":"K Fine","year":"2012","unstructured":"Fine, K. (2012). The pure logic of ground. Review of Symbolic Logic, 25(1), 1\u201325.","journal-title":"Review of Symbolic Logic"},{"issue":"3","key":"923_CR17","doi-asserted-by":"crossref","first-page":"556","DOI":"10.2307\/2025310","volume":"70","author":"D Lewis","year":"1973","unstructured":"Lewis, D. (1973). Causation. Journal of Philosophy, 70(3), 556\u2013567.","journal-title":"Journal of Philosophy"},{"issue":"1","key":"923_CR18","doi-asserted-by":"crossref","first-page":"19","DOI":"10.7710\/1526-0569.1453","volume":"14","author":"JE Litland","year":"2013","unstructured":"Litland, J. E. (2013). On some counterexamples to the transitivity of grounding. Essays in Philosophy, 14(1), 19\u201332.","journal-title":"Essays in Philosophy"},{"key":"923_CR19","volume-title":"Philosophical explanations","author":"R Nozick","year":"1981","unstructured":"Nozick, R. (1981). Philosophical explanations. Cambridge, MA: Harvard University Press."},{"key":"923_CR20","first-page":"221","volume":"LXXXIII","author":"F Paoli","year":"1991","unstructured":"Paoli, F. (1991). Bolzano e le dimostrazioni matematiche. Rivista di Filosofia, LXXXIII, 221\u2013242.","journal-title":"Rivista di Filosofia"},{"issue":"3","key":"923_CR21","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1017\/S1755020313000154","volume":"6","author":"A Rumberg","year":"2013","unstructured":"Rumberg, A. (2013). Bolzano\u2019s theory of grounding against the background of normal proofs. Review of Symbolic Logic, 6(3), 424\u2013459.","journal-title":"Review of Symbolic Logic"},{"issue":"4","key":"923_CR22","first-page":"317","volume":"53","author":"B Schnieder","year":"2010","unstructured":"Schnieder, B. (2010). A puzzle about \u2018Because\u2019. Logique et Analyse, 53(4), 317\u2013343.","journal-title":"Logique et Analyse"},{"issue":"03","key":"923_CR23","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1017\/S1755020311000104","volume":"4","author":"B Schnieder","year":"2011","unstructured":"Schnieder, B. (2011). A logic for \u2018Because\u2019. Review of Symbolic Logic, 4(03), 445\u2013465.","journal-title":"Review of Symbolic Logic"},{"key":"923_CR24","volume-title":"Logique et mathematique chez Bernard Bolzano","author":"J Sebestik","year":"1992","unstructured":"Sebestik, J. (1992). Logique et mathematique chez Bernard Bolzano. Paris: J. Vrin."},{"issue":"1","key":"923_CR25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1305\/ndjfl\/1071505767","volume":"43","author":"A Tatzel","year":"2002","unstructured":"Tatzel, A. (2002). Bolzano\u2019s theory of ground and consequence. Notre Dame Journal of Formal Logic, 43(1), 1\u201325.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"923_CR26","volume-title":"Basic proof theory","author":"AS Troelstra","year":"1996","unstructured":"Troelstra, A. S., & Schwichtenberg, H. (1996). Basic proof theory. New York: Cambridge University Press."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0923-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-015-0923-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0923-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0923-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:45:13Z","timestamp":1559385913000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-015-0923-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,8]]},"references-count":26,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2016,10]]}},"alternative-id":["923"],"URL":"https:\/\/doi.org\/10.1007\/s11229-015-0923-x","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,10,8]]}}}