{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,12]],"date-time":"2024-02-12T14:50:53Z","timestamp":1707749453829},"reference-count":43,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2020,9,1]]},"DOI":"10.1215\/00294527-2020-0014","type":"journal-article","created":{"date-parts":[[2020,9,9]],"date-time":"2020-09-09T08:00:39Z","timestamp":1599638439000},"source":"Crossref","is-referenced-by-count":1,"title":["Begriffsschrift\u2019s Logic"],"prefix":"10.1215","volume":"61","author":[{"given":"Calixto","family":"Badesa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joan","family":"Bertran-San Mill\u00e1n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Badesa, C., and J. Bertran-San Mill\u00e1n, \u201cFunction and argument in <i>Begriffsschrift<\/i>,\u201d <i>History and Philosophy of Logic<\/i>, vol. 38 (2017), pp. 316\u201341.","DOI":"10.1080\/01445340.2017.1354173"},{"key":"2","unstructured":"[2] Baker, G. P., \u201cLogical operators in <i>Begriffsschrift<\/i>,\u201d pp. 69\u201384 in <i>Gottlob Frege: Critical Assessments of Leading Philosophers, Volume 1<\/i>, edited by M. Beaney and E. H. Reck, Routledge, London, 2005."},{"key":"3","unstructured":"[3] Baker, G. P., and P. M. S. Hacker, <i>Frege: Logical Excavations<\/i>, Oxford University Press, New York, 1984."},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Beaney, M., editor, <i>Oxford Handbook of the History of Analytic Philosophy<\/i>, Oxford University Press, Oxford, 2013.","DOI":"10.1093\/oxfordhb\/9780199238842.001.0001"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] Blanchette, P. A., <i>Frege\u2019s Conception of Logic<\/i>, Oxford University Press, Oxford, 2012.","DOI":"10.1093\/acprof:oso\/9780199891610.001.0001"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Boolos, G., \u201cReading the <i>Begriffsschrift<\/i>,\u201d <i>Mind<\/i>, vol. 94 (1985), pp. 331\u201344.","DOI":"10.1093\/mind\/XCIV.375.331"},{"key":"7","unstructured":"[7] Boolos, G., \u201cThe consistency of Frege\u2019s <i>The Foundations of Arithmetic<\/i>,\u201d pp. 3\u201320 in <i>On Being and Saying: Essays in Honor of Richard Cartwright<\/i>, edited by J. J. Thomson, MIT Press, Cambridge, MA, 1987."},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] Burge, T., \u201cGottlob Frege: Some forms of influence,\u201d pp. 355\u201382 in <i>Oxford Handbook of the History of Analytic Philosophy<\/i>, edited by M. Beaney, Oxford University Press, Oxford, 2013.","DOI":"10.1093\/oxfordhb\/9780199238842.013.0011"},{"key":"9","unstructured":"[9] Bynum, T. W., \u201cEditor\u2019s introduction,\u201d pp. 55\u201380 in Frege\u2019s <i>Conceptual Notation and Related Articles<\/i>, translated and edited by T. W. Bynum, Oxford University Press, Oxford, 1972."},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Bynum, T. W., \u201cOn an alleged contradiction lurking in Frege\u2019s <i>Begriffsschrift<\/i>,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 14 (1973), pp. 285\u201387.","DOI":"10.1305\/ndjfl\/1093890908"},{"key":"11","unstructured":"[11] Frege, G., \u201cRechnungsmethoden, die sich auf eine Erweiterung des Gr\u00f6\u00dfenbegriffes gr\u00fcnden,\u201d dissertation for the <i>venia docendi<\/i> in the Faculty of Philosophy of the University of Jena, Friedrich Frommann, Jena; Reedition in [20], pp. 50\u201384; English translation by H. Kaal in [25], pp. 56\u201392, 1874."},{"key":"12","unstructured":"[12] Frege, G., <i>Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens<\/i>, Louis Nebert, Halle, 1879; Reedition in [19], pp. 1\u201388; English translation by T. W. Bynum in [22], pp. 101\u2013203."},{"key":"13","unstructured":"[13] Frege, G., \u201cBooles rechnende Logik und die Begriffsschrift,\u201d originally unpublished, edition in [21], pp. 9\u201352; English translation by P. Long and R. White in [24], pp. 9\u201346, 1880\u20131881."},{"key":"14","unstructured":"[14] Frege, G., \u201c\u00dcber den Zweck der Begriffsschrift,\u201d lecture at the January 27, 1882 meeting of <i>Jenaischen Gesellschaft f\u00fcr Medizin und Naturwissenschaft<\/i>; Published in <i>Jenaische Zeitschrift f\u00fcr Naturwissenschaft<\/i>, vol. 16 (1882), pp. 1\u201310; Reedition in [19], pp. 97\u2013106; English translation by T. W. Bynum in [22], pp. 90\u2013100, 1882."},{"key":"15","unstructured":"[15] Frege, G., \u201cLogik,\u201d originally unpublished, edition in [21], pp. 1\u20138; English translation by P. Long and R. White in [24], pp. 1\u20138, 1882\u20131891."},{"key":"16","unstructured":"[16] Frege, G., <i>Grundgesetze der Arithmetik: Begriffsschriftlich abgeleitet<\/i>, vol. I, Hermann Pohle, Jena, 1893; Reedition in [18]; English translation by P. Ebert and M. Rossberg in [26]."},{"key":"17","unstructured":"[17] Frege, G., <i>Grundgesetze der Arithmetik: Begriffsschriftlich abgeleitet<\/i>, vol. II, Hermann Pohle, Jena, 1903; Reedition in [18]; English translation by P. Ebert and M. Rossberg in [26]."},{"key":"18","unstructured":"[18] Frege, G., <i>Grundgesetze der Arithmetik, Vols. I, II<\/i>, Georg Olms, Hildesheim, 1962."},{"key":"19","unstructured":"[19] Frege, G., <i>Begriffsschrift und andere Aufs\u00e4tze<\/i>, edited by I. Angelelli, Georg Olms, Hildesheim, 1964."},{"key":"20","unstructured":"[20] Frege, G., <i>Kleine Schriften<\/i>, edited by I. Angelelli, Georg Olms, Hildesheim, 1967."},{"key":"21","unstructured":"[21] Frege, G., <i>Nachgelassene Schriften und wissenschaftlicher Briefwechsel, I: Nachgelassene Schriften<\/i>, edited by H. Hermes, F. Kambartel, and F. Kaulbach, Felix Meiner, Hamburg, 1969."},{"key":"22","unstructured":"[22] Frege, G., <i>Conceptual Notation and Related Articles<\/i>, edited and translated by T. W. Bynum, Oxford University Press, Oxford, 1972."},{"key":"23","doi-asserted-by":"crossref","unstructured":"[23] Frege, G., <i>Nachgelassene Schriften und wissenschaftlicher Briefwechsel, II: Wissenschaftlicher Briefwechsel<\/i>, edited by G. Gabriel, H. Hermes, F. Kambartel, C. Thiel, and A. Veraart, Felix Meiner, Hamburg, 1976.","DOI":"10.28937\/978-3-7873-2549-8"},{"key":"24","unstructured":"[24] Frege, G., <i>Posthumous Writings<\/i>, University of Chicago Press, Chicago, 1979."},{"key":"25","unstructured":"[25] Frege, G., <i>Collected Papers on Mathematics, Logic, and Philosophy<\/i>, Blackwell, Oxford, 1984."},{"key":"26","unstructured":"[26] Frege, G., <i>Basic Laws of Arithmetic<\/i>, Oxford University Press, Oxford, 2013."},{"key":"27","doi-asserted-by":"crossref","unstructured":"[27] Heck, R. K., \u201cFrege on identity and identity statements,\u201d <i>Canadian Journal of Philosophy<\/i>, vol. 33 (2003), pp. 83\u2013102. (Originally published under the name \u201cHeck, R. G., Jr.\u201d.)","DOI":"10.1080\/00455091.2003.10716536"},{"key":"28","unstructured":"[28] Heck, R. K., <i>Reading Frege\u2019s Grundgesetze<\/i>, Oxford University Press, Oxford, 2012. (Originally published under the name \u201cHeck, R. G., Jr.\u201d.)"},{"key":"29","doi-asserted-by":"crossref","unstructured":"[29] Heck, R. K., and R. May, \u201cThe function is unsaturated,\u201d pp. 825\u201350 in <i>Oxford Handbook of the History of Analytic Philosophy<\/i>, edited by M. Beaney, Oxford University Press, Oxford, 2013. (Originally published under the names \u201cHeck, R. G., Jr., and R. May\u201d.)","DOI":"10.1093\/oxfordhb\/9780199238842.013.0028"},{"key":"30","doi-asserted-by":"crossref","unstructured":"[30] Heck, R. K., \u201cFormal arithmetic before <i>Grundgesetze<\/i>,\u201d pp. 497\u2013537 in <i>Essays on Frege\u2019s Basic Laws of Arithmetic<\/i>, edited by P. A. Ebert and M. Rossberg, Oxford University Press, Oxford, 2019.","DOI":"10.1093\/oso\/9780198712084.003.0018"},{"key":"31","doi-asserted-by":"publisher","unstructured":"[31] Henkin, L., \u201cBanishing the rule of substitution for functional variables,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 18 (1953), pp. 201\u20138.","DOI":"10.2307\/2267403"},{"key":"32","unstructured":"[32] Hilbert, D., and W. Ackermann, <i>Grundz\u00fcge der theoretischen Logik<\/i>, Springer, Berlin, 1928."},{"key":"33","doi-asserted-by":"crossref","unstructured":"[33] May, R., \u201cWhat Frege\u2019s theory of identity is not,\u201d <i>Thought<\/i>, vol. 1 (2012), pp. 41\u201348.","DOI":"10.1002\/tht3.6"},{"key":"34","doi-asserted-by":"crossref","unstructured":"[34] Mendelsohn, R. L., \u201cFrege\u2019s <i>Begriffsschrift<\/i> theory of identity,\u201d <i>Journal of the History of Philosophy<\/i>, vol. 20 (1982), pp. 279\u201399.","DOI":"10.1353\/hph.1982.0029"},{"key":"35","doi-asserted-by":"crossref","unstructured":"[35] Mendelsohn, R. L., <i>The Philosophy of Gottlob Frege<\/i>, Cambridge University Press, Cambridge, 2005.","DOI":"10.1017\/CBO9780511497964"},{"key":"36","unstructured":"[36] Moore, G. H., \u201cThe emergence of first-order logic,\u201d pp. 95\u2013135 in <i>History and Philosophy of Modern Mathematics, Vol. XI<\/i>, edited by W. Aspray and P. Kitcher, University of Minnesota Press, Minneapolis, 1988."},{"key":"37","doi-asserted-by":"publisher","unstructured":"[37] Peirce, C. S., \u201cOn the algebra of logic: A contribution to the philosophy of notation,\u201d <i>American Journal of Mathematics<\/i>, vol. 7 (1885), pp. 180\u201396.","DOI":"10.2307\/2369451"},{"key":"38","unstructured":"[38] Peirce, C. S., <i>Writings of Charles S. Peirce<\/i>, Vol. 5: 1884\u20131886, edited by C. J. W. Kloesel, Indiana University Press, Bloomington, 1993."},{"key":"39","doi-asserted-by":"publisher","unstructured":"[39] Russinoff, I. S., \u201cOn the brink of a paradox?,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 28 (1987), pp. 115\u201331.","DOI":"10.1305\/ndjfl\/1093636850"},{"key":"40","doi-asserted-by":"publisher","unstructured":"[40] Schlimm, D., \u201cOn Frege\u2019s <i>Begriffsschrift<\/i> notation for propositional logic: Design principles and trade-offs,\u201d <i>History and Philosophy of Logic<\/i>, vol. 39 (2018), pp. 53\u201379.","DOI":"10.1080\/01445340.2017.1317429"},{"key":"41","unstructured":"[41] Sluga, H., <i>Gottlob Frege<\/i>, Routledge, Boston, 1980."},{"key":"42","doi-asserted-by":"crossref","unstructured":"[42] Sullivan, P., \u201cFrege\u2019s Logic,\u201d pp. 659\u2013750 in <i>The Rise of Modern Logic: From Leibniz to Frege<\/i>, edited by D. M. Gabbay and J. Woods, vol. 3 of <i>Handbook of the History of Logic<\/i>, Elsevier\/North Holland, Amsterdam, 2004.","DOI":"10.1016\/S1874-5857(04)80024-4"},{"key":"43","unstructured":"[43] van Heijenoort, J., editor, <i>From Frege to G\u00f6del, a Source Book in Mathematical Thought<\/i>, Harvard University Press, Cambridge, MA, 1967."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2020-0014","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:00:18Z","timestamp":1706648418000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-61\/issue-3\/Begriffsschrifts-Logic\/10.1215\/00294527-2020-0014.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,1]]},"references-count":43,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2020,9,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2020-0014","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2020,9,1]]}}}