{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,3]],"date-time":"2024-08-03T16:10:15Z","timestamp":1722701415100},"reference-count":32,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2020,5,1]]},"DOI":"10.1215\/00294527-2020-0009","type":"journal-article","created":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T02:01:33Z","timestamp":1586224893000},"source":"Crossref","is-referenced-by-count":3,"title":["Formal Notes on the Substitutional Analysis of Logical Consequence"],"prefix":"10.1215","volume":"61","author":[{"given":"Volker","family":"Halbach","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Beall, J. C., and G. Restall, G., <i>Logical Pluralism<\/i>, Oxford University Press, Oxford, 2006.","DOI":"10.1093\/acprof:oso\/9780199288403.001.0001"},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] Behmann, H., \u201cBeitr\u00e4ge zur Algebra der Logik, insbesondere zum Entscheidungsproblem,\u201d <i>Mathematische Annalen<\/i>, vol. 86 (1922), pp. 163\u2013229.","DOI":"10.1007\/BF01457985"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Berka, K., and L. Kreiser, eds., <i>Logik-Texte: Kommentierte Auswahl zur Geschichte der modernen Logik<\/i>, 4th revised edition, Akademie-Verlag, Berlin, 1986.","DOI":"10.1515\/9783112645826"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Dean, W., \u201cIncompleteness via paradox and completeness,\u201d <i>Review of Symbolic Logic<\/i>, published electronically May 23, 2019.","DOI":"10.1017\/S1755020319000212"},{"key":"5","unstructured":"[5] Etchemendy, J., <i>The Concept of Logical Consequence<\/i>, Harvard University Press, Cambridge, MA, 1990."},{"key":"6","unstructured":"[6] Fujimoto, K., and V. Halbach, \u201cClassical determinate truth,\u201d in preparation."},{"key":"7","unstructured":"[7] Grossi, M., \u201cA substitutional semantics for modal logic,\u201d in preparation."},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] Halbach, V., <i>Axiomatic Theories of Truth<\/i>, Cambridge University Press, Cambridge, 2011.","DOI":"10.1017\/CBO9780511921049"},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] Halbach, V., \u201cThe substitutional analysis of logical consequence,\u201d <i>No\u00fbs<\/i>, published electronically June 8, 2018.","DOI":"10.1111\/nous.12256"},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Halbach, V., and L. Horsten, \u201cAxiomatizing Kripke\u2019s theory of truth,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 71 (2006), pp. 677\u2013712.","DOI":"10.2178\/jsl\/1146620166"},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] Hilbert, D., and P. Bernays, <i>Grundlagen der Mathematik II<\/i>, 2nd edition, vol. 50 of <i>Grundlehren der Mathematischen Wissenschaften<\/i>, Springer, Berlin, 1970.","DOI":"10.1007\/978-3-642-86896-2"},{"key":"12","doi-asserted-by":"crossref","unstructured":"[12] Hinman, P. G., J. Kim, and S. P. Stich, \u201cLogical truth revisited,\u201d <i>Journal of Philosophy<\/i>, vol. 65 (1968), pp. 495\u2013500.","DOI":"10.2307\/2024351"},{"key":"13","unstructured":"[13] Hubien, H., ed., <i>Iohannis Buridani Tractatus de Consequentiis<\/i>, vol. XVI of <i>Philosophes M\u00e9di\u00e9vaux<\/i>, Publications Universitaires, Louvain, 1976."},{"key":"14","unstructured":"[14] Jeffrey, R. C., <i>Formal Logic: Its Scope and Limits<\/i>, 3rd edition, McGraw-Hill, New York, 1991."},{"key":"15","unstructured":"[15] Kleene, S. C., <i>Introduction to Metamathematics<\/i>, Van Nostrand, New York, 1952."},{"key":"16","unstructured":"[16] Kore\u0148, L., \u201cQuantificational accounts of logical consequence, I: From Aristotle to Bolzano,\u201d <i>Organon F<\/i>, vol. 21 (2014), pp. 22\u201344."},{"key":"17","unstructured":"[17] Kreisel, G., \u201cMathematical logic,\u201d pp. 95\u2013195 in <i>Lectures on Modern Mathematics, Vol. III<\/i>, edited by T. L. Saaty, Wiley, New York, 1965."},{"key":"18","doi-asserted-by":"crossref","unstructured":"[18] Kreisel, G., \u201cInformal rigour and completeness proofs,\u201d pp. 138\u201386 in <i>The Philosophy of Mathematics<\/i>, edited by I. Lakatos, vol. 47 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North Holland, Amsterdam, 1967.","DOI":"10.1016\/S0049-237X(08)71525-8"},{"key":"19","unstructured":"[19] Kreisel, G., Mathematical logic: What has it done for the philosophy of mathematics? pp. 201\u201372 in <i>Bertrand Russell: Philosopher of the Century<\/i>, edited by R. Schoenman, George Allen and Unwin, London, 1967."},{"key":"20","doi-asserted-by":"publisher","unstructured":"[20] McGee, V., \u201cMaximal consistent sets of instances of Tarski\u2019s schema (T),\u201d <i>Journal of Philosophical Logic<\/i>, vol. 21 (1992), pp. 235\u201341.","DOI":"10.1007\/BF00260929"},{"key":"21","doi-asserted-by":"publisher","unstructured":"[21] McKeon, M., \u201cOn the substitutional characterization of first-order logical truth,\u201d <i>History and Philosophy of Logic<\/i>, vol. 25 (2004), pp. 205\u201324.","DOI":"10.1080\/01445340310001642093"},{"key":"22","doi-asserted-by":"crossref","unstructured":"[22] Quine, W. V., <i>Philosophy of Logic<\/i>, 2nd edition, Harvard University Press, Cambridge, MA, 1986.","DOI":"10.4159\/9780674042445"},{"key":"23","doi-asserted-by":"crossref","unstructured":"[23] Rayo, A., \u201cBeyond plurals,\u201d pp. 220\u201354 in <i>Absolute Generality<\/i>, edited by A. Rayo and G. Uzquiano, Oxford University Press, Oxford, 2006.","DOI":"10.1093\/oso\/9780199276424.003.0009"},{"key":"24","doi-asserted-by":"crossref","unstructured":"[24] Rayo, A. and T. Williamson, \u201cA completeness theorem for unrestricted first-order languages,\u201d pp. 331\u201356 in <i>Liars and Heaps: New Essays on Paradox<\/i>, edited by J. C. Beall, Oxford University Press, Oxford, 2003.","DOI":"10.1093\/oso\/9780199264803.003.0016"},{"key":"25","unstructured":"[25] Schneider, H. H., \u201cSemantics of the predicate calculus with identity and the validity in the empty individual-domain,\u201d <i>Portugaliae Mathematica<\/i>, vol. 17 (1958), pp. 85\u201396."},{"key":"26","doi-asserted-by":"crossref","unstructured":"[26] Simpson, S. G., <i>Subsystems of Second Order Arithmetic<\/i>, Springer, Berlin, 1999.","DOI":"10.1007\/978-3-642-59971-2"},{"key":"27","doi-asserted-by":"crossref","unstructured":"[27] Studd, J. P., <i>Everything, More or Less: A Defence of Generality Relativism<\/i>, Oxford University Press, Oxford, 2019.","DOI":"10.1093\/oso\/9780198719649.001.0001"},{"key":"28","unstructured":"[28] Tarski, A., \u201c\u00dcber den Begriff der logischen Folgerung,\u201d pp. 1\u201311 in <i>Actes du Congr\u00e8s international de philosophie scientifique (Sorbonne, Paris, 1935)<\/i>, vol. 7 of <i>Logique<\/i>, Hermann, Paris, 1936."},{"key":"29","unstructured":"[29] Tarski, A., <i>Logic, Semantics, Metamathematics: Papers from 1923 to 1938<\/i>, 2nd edition, edited by J. Corcoran, Hackett Publishing, Indianapolis, 1983."},{"key":"30","unstructured":"[30] Tarski, A., and R. L. Vaught, \u201cArithmetical extensions of relational systems,\u201d <i>Compositio Mathematica<\/i>, vol. 13 (1956), pp. 81\u2013102."},{"key":"31","doi-asserted-by":"publisher","unstructured":"[31] Wagner, H., \u201cQuine\u2019s substitutional definition of logical truth and the philosophical significance of the L\u00f6wenheim\u2013Hilbert\u2013Bernays theorem,\u201d <i>History and Philosophy of Logic<\/i>, vol. 40 (2019), pp. 182\u201399.","DOI":"10.1080\/01445340.2018.1534196"},{"key":"32","doi-asserted-by":"crossref","unstructured":"[32] Williamson, T., \u201cExistence and contingency,\u201d <i>Proceedings of the Aristotelian Society<\/i>, vol. 100 (2000), pp. 117\u201339.","DOI":"10.1111\/1467-9264.00069"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2020-0009","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,3]],"date-time":"2024-08-03T14:59:44Z","timestamp":1722697184000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-61\/issue-2\/Formal-Notes-on-the-Substitutional-Analysis-of-Logical-Consequence\/10.1215\/00294527-2020-0009.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5,1]]},"references-count":32,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2020,5,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2020-0009","relation":{},"ISSN":["0029-4527"],"issn-type":[{"type":"print","value":"0029-4527"}],"subject":[],"published":{"date-parts":[[2020,5,1]]}}}