{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T07:42:23Z","timestamp":1782978143932,"version":"3.54.5"},"reference-count":25,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2002,1,1]]},"DOI":"10.1305\/ndjfl\/1071505767","type":"journal-article","created":{"date-parts":[[2004,1,19]],"date-time":"2004-01-19T15:22:21Z","timestamp":1074525741000},"source":"Crossref","is-referenced-by-count":40,"title":["Bolzano's Theory of Ground and Consequence"],"prefix":"10.1215","volume":"43","author":[{"given":"Armin","family":"Tatzel","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"Aristotle's Metaphysics<\/i>, translated by W. D. Ross, Oxford University Press, Oxford, 1924.","DOI":"10.1093\/oseo\/instance.00263632"},{"key":"2","unstructured":"Armstrong, D., A W<\/i>orld of States of Affairs, Cambridge University Press, Cambridge, 1997."},{"key":"3","doi-asserted-by":"crossref","unstructured":"Behboud, A., \"Remarks on B\"olzano's collections, pp. 109\u201316 in Bolzano and Analytic Philosophy<\/i>, vol. 53 of Grazer Philosophische Studien<\/i>, Rodopi, Amsterdam, 1997.","DOI":"10.5840\/gps1997536"},{"key":"4","unstructured":"Bolzano, B., Lehrbuch der R<\/i>eligionswissenschaft, J. E. von Seidel, Sulzbach, 1834."},{"key":"5","unstructured":"Bolzano, B., Wissenschaftslehre<\/i>, J. E. von Seidel, Sulzbach, 1837. Four volumes. Partial English translation in [geo72?]."},{"key":"6","unstructured":"Bolzano, B., Athanasia oder G<\/i>r\u00fcnde f\u00fcr die Unsterblichkeit der Seele, J. E. von Seidel, Sulzbach, 1838."},{"key":"7","unstructured":"Bolzano, B., Wissenschaftslehre und R<\/i>eligionswissenschaft in einer beurtheilenden Uebersicht, J. E. von Seidel, Sulzbach, 1841."},{"key":"8","unstructured":"Bolzano, B., \"Einleitung zur G\"r\u00f6\u00dfenlehre, in [bol69ff?], vol. 2A 7, Frommann-Holzboog, Stuttgart, 1969."},{"key":"9","unstructured":"Bolzano, B., Gesamtausgabe<\/i>, edited by E. Winter et al., Frommann-Holzboog, Stuttgart, 1969,ff."},{"key":"10","unstructured":"Bolzano, B., \"Versuch einer objectiven B\"egr\u00fcndung von der Lehre von der Zusammensetzung der Kr\u00e4fte, in bol69ff?, vol. 1 18, Frommann-Holzboog, Stuttgart, 1969,ff."},{"key":"11","unstructured":"Bolzano, B., Paradoxien des U<\/i>nendlichen, Felix Meiner Verlag, Hamburg, 1975."},{"key":"12","unstructured":"Buhl, G., \"Ableitbarkeit und A\"bfolge in der Wissenschaftstheorie Bolzanos, Kant-S<\/i>tudien, vol. 83 (1961)."},{"key":"13","unstructured":"Correia, F., \"D\u00e9pendance existentielle, fondation et objets compos\u00e9s\", Travaux de L<\/i>ogique, vol. 14 (2001), pp. 115\u201328."},{"key":"14","unstructured":"Geach, P. T., and M. Black, editors, Translations from the P<\/i>hilosophical Writings of Gottlob Frege, 3d edition, Rowman and Littlefield, Totowa, 1980."},{"key":"15","unstructured":"Gentzen, G., \"Investigations into logical deduction\", in The C<\/i>ollected Papers of Gerhard Gentzen, Studies in Logic and the Foundations of Mathematics, edited by M. E. Szabo, North-Holland Publishing Co., Amsterdam, 1969."},{"key":"16","unstructured":"George, R., editor, Theory of Science<\/i>, Blackwell, Oxford, 1972."},{"key":"17","unstructured":"Krickel, F., Teil und I<\/i>nbegriff, Academia, St. Augustin, 1995."},{"key":"18","doi-asserted-by":"crossref","unstructured":"K\u00fcnne, K., \"Propositions in B\"olzano and Frege, pp. 203\u201340 in Bolzano and Analytic Philosophy<\/i>, vol. 53 of Grazer Philosophische Studien<\/i>, Rodopi, Amsterdam, 1997.","DOI":"10.5840\/gps19975311"},{"key":"19","doi-asserted-by":"crossref","unstructured":"K\u00fcnne, K., Conceptions of T<\/i>ruth, Oxford University Press, Oxford, 2003.","DOI":"10.1093\/0199241317.001.0001"},{"key":"20","doi-asserted-by":"crossref","unstructured":"Mulligan, K., P. Simons, and B. Smith, \"Truth-M\"akers, Philosophy and Phenomenological Research<\/i>, vol. 44 (1984), pp. 278\u2013321.","DOI":"10.2307\/2107686"},{"key":"21","unstructured":"Siebel, M., Der B<\/i>egriff der Ableitbarkeit bei Bolzano, Academia Verlag, St. Augustin, 1996."},{"key":"22","unstructured":"Simons, P., Parts<\/i>, Oxford University Press, Oxford, 1987."},{"key":"23","doi-asserted-by":"crossref","unstructured":"Simons, P., \"Bolzano on C\"ollections, pp. 87\u2013108 in Bolzano and Analytic Philosophy<\/i>, vol. 53 of Grazer Philosophische Studien<\/i>, Rodopi, Amsterdam, 1997.","DOI":"10.5840\/gps1997535"},{"key":"24","unstructured":"Tatzel, A., \"Proving and grounding. B\"olzano's theory of grounding and Gentzen's normal proofs, forthcoming in History and Philosophy of Logic<\/i>."},{"key":"25","unstructured":"Textor, M., Bolzano's P<\/i>ropositionalismus, W. De Gruyter, Berlin, 1996."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1071505767","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:55:52Z","timestamp":1706648152000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-43\/issue-1\/Bolzanos-Theory-of-Ground-and-Consequence\/10.1305\/ndjfl\/1071505767.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,1,1]]},"references-count":25,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2002,1,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1071505767","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2002,1,1]]}}}