{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T00:03:30Z","timestamp":1773446610158,"version":"3.50.1"},"reference-count":13,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1999,7,1]]},"DOI":"10.1305\/ndjfl\/1022615612","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T20:17:07Z","timestamp":1046204227000},"source":"Crossref","is-referenced-by-count":51,"title":["Toward a Theory of Second-Order Consequence"],"prefix":"10.1215","volume":"40","author":[{"given":"August\u00edn","family":"Rayo","sequence":"first","affiliation":[]},{"given":"Gabriel","family":"Uzquiano","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"2","doi-asserted-by":"crossref","unstructured":"Boolos, G., \u201cNominalist Platonism,\u201d <i>Philosophical Review<\/i>, vol. 94 (1985), pp. 327\u201344.","DOI":"10.2307\/2185003"},{"key":"1","doi-asserted-by":"crossref","unstructured":"Boolos, G., \u201cTo be is to be a value of a variable (or to be some values of some variables),\u201d <i>The Journal of Philosophy<\/i>, vol. 81 (1984), pp. 430\u201349.","DOI":"10.2307\/2026308"},{"key":"3","doi-asserted-by":"crossref","unstructured":"Boolos, G., \u201cReading the <i>Begriffsschrift<\/i>,\u201d <i>Mind<\/i>, vol. 94 (1985b), pp. 331\u201334.","DOI":"10.1093\/mind\/XCIV.375.331"},{"key":"4","doi-asserted-by":"crossref","unstructured":"Cartwright, R., \u201cSpeaking of everything,\u201d <i>No\u00fbs<\/i>, vol. 28 (1994), pp. 1\u201320.","DOI":"10.2307\/2215917"},{"key":"5","unstructured":"Etchemendy, J., <i>The Concept of Logical Consequence<\/i>, Harvard University Press, Cambridge, 1990."},{"key":"6","doi-asserted-by":"crossref","unstructured":"Kreisel, G., \u201cInformal rigour and completeness proofs,\u201d pp. 138\u201371 in <i>Problems in the Philosophy of Mathematics<\/i>, edited by I. Lakatos, North-Holland, Amsterdam, 1967.","DOI":"10.1016\/S0049-237X(08)71525-8"},{"key":"7","doi-asserted-by":"crossref","unstructured":"McGee, V., \u201cTwo problems with Tarski's theory of consequence,\u201d <i>Proceedings of the Aristotelian Society<\/i>, vol. 92 (1992), pp. 273\u201392.","DOI":"10.1093\/aristotelian\/92.1.273"},{"key":"8","doi-asserted-by":"crossref","unstructured":"McGee, V., \u201cHow we learn mathematical language,\u201d <i>Philosophical Review<\/i>, vol. 106 (1997), pp. 35\u201368.","DOI":"10.2307\/2998341"},{"key":"9","doi-asserted-by":"publisher","unstructured":"Rayo, A., and S. Yablo, \u201cNominalism through de-nominalization,\u201d <i>No\u00fbs<\/i>, vol. 35 (2001), pp. 74\u201392. MR 1817516","DOI":"10.1111\/0029-4624.00288"},{"key":"10","doi-asserted-by":"crossref","unstructured":"Shapiro, S., \u201cPrinciples of reflection and second-order logic,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 16 (1987), pp. 309\u201333. Zbl 0635.03059 MR 88i:03066","DOI":"10.1007\/BF00152934"},{"key":"11","unstructured":"Shapiro, S., <i>Foundations Without Foundationalism, A Case for Second-Order Logic<\/i>, Clarendon Press, Oxford, 1991. Zbl 0732.03002 MR 93j:03005"},{"key":"12","doi-asserted-by":"crossref","unstructured":"Weir, A., \u201cNaive set theory is innocent!,\u201d <i>Mind<\/i>, vol. 107 (1998), pp. 763\u201398. MR 2000b:03024","DOI":"10.1093\/mind\/107.428.763"},{"key":"13","doi-asserted-by":"crossref","unstructured":"Yi, B.-U., \u201cIs two a property?,\u201d <i>Journal of Philosophy<\/i>, vol. 96 (1999), pp. 163\u201390. MR 1704376","DOI":"10.2307\/2564701"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1022615612","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:13:50Z","timestamp":1706649230000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-40\/issue-3\/Toward-a-Theory-of-Second-Order-Consequence\/10.1305\/ndjfl\/1022615612.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,7,1]]},"references-count":13,"journal-issue":{"issue":"3","published-online":{"date-parts":[[1999,7,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1022615612","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1999,7,1]]}}}