{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,2]],"date-time":"2024-04-02T01:27:12Z","timestamp":1712021232327},"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":[[2011,1,1]]},"DOI":"10.1215\/00294527-2010-038","type":"journal-article","created":{"date-parts":[[2010,12,13]],"date-time":"2010-12-13T14:13:53Z","timestamp":1292249633000},"source":"Crossref","is-referenced-by-count":1,"title":["Logical Consequence and First-Order Soundness and Completeness: A Bottom Up Approach"],"prefix":"10.1215","volume":"52","author":[{"given":"Eli","family":"Dresner","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"2","unstructured":"[2] Bell, J. L., <i>Set Theory. Boolean-Valued Models and Independence Proofs<\/i>, 3d edition, vol. 47 of <i>Oxford Logic Guides<\/i>, The Clarendon Press, Oxford, 2005."},{"key":"4","unstructured":"[4] Etchemendy, J., <i>The Concept of Logical Consequence<\/i>, Harvard University Press, Cambridge, 1990."},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Girard, J.-Y., \"From foundations to ludics\", <i>The Bulletin of Symbolic Logic<\/i>, vol. 9 (2003), pp. 131--68. New Programs and Open Problems in the Foundation of Mathematics (Paris, 2000).","DOI":"10.2178\/bsl\/1052669286"},{"key":"7","unstructured":"[7] G\u00f6del, K., \"On the completeness of the calculus of logic (1929)\", pp. 61--101 in <i>Collected Works. Vol. I. Publications 1929--1936<\/i>, edited by S. Feferman, The Clarendon Press, New York, 1986."},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Henkin, L., \"The completeness of the first-order functional calculus\", <i>The Journal of Symbolic Logic<\/i>, vol. 14 (1949), pp. 159--166.","DOI":"10.2307\/2267044"},{"key":"11","unstructured":"[11] Luce, R. D., D. H. Krantz, P. Suppes, and A. Tversky, <i>Foundations of Measurement. (Vols. I--III<\/i>), Dover Publications Inc., Mineola, 1971--1989."},{"key":"12","doi-asserted-by":"crossref","unstructured":"[12] Mancosu, P., \"Tarski on models and logical consequence\", pp. 209--37 in <i>The Architecture of Modern Mathematics<\/i>, edited by J. Ferreiros and J. Gray, Oxford University Press, Oxford, 2006.","DOI":"10.1093\/oso\/9780198567936.003.0008"},{"key":"13","unstructured":"[13] Martin-L\u00f6f, P., \"On the meanings of the logical constants and the justifications of the logical laws\", pp. 203--81 in <i>Proceedings of the Conference on Mathematical Logic, Vol. 2 (Siena, 1983\/1984)<\/i>, Scuola di Specializzazione in Logica Matematica, Dipartimento di Matematica, Universit\u00e0 di Siena, Siena, 1985."},{"key":"14","doi-asserted-by":"publisher","unstructured":"[14] Mundy, B., \"On the general theory of meaningful representation\", <i>Synthese<\/i>, vol. 67 (1986), pp. 391--437.","DOI":"10.1007\/BF00485942"},{"key":"15","doi-asserted-by":"crossref","unstructured":"[15] Prawitz, D., \"Logical consequence: A constructivist view\", pp. 671--95 in <i>The Oxford Handbook of Philosophy of Mathematics and Logic<\/i>, edited by S. Shapiro, Oxford Handbooks in Philosophy, Oxford University Press, Oxford, 2005.","DOI":"10.1093\/0195148770.003.0022"},{"key":"16","doi-asserted-by":"publisher","unstructured":"[16] Putnam, H., \"Nonstandard models and Kripke's proof of the G\u00f6del theorem\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 41 (2000), pp. 53--58.","DOI":"10.1305\/ndjfl\/1027953483"},{"key":"17","doi-asserted-by":"crossref","unstructured":"[17] Shapiro, S., \"Logical consequence, proof theory, and model theory\", pp. 651--70 in <i>The Oxford Handbook of Philosophy of Mathematics and Logic<\/i>, edited by S. Shapiro, Oxford Handbooks in Philosophy, Oxford University Press, Oxford, 2005.","DOI":"10.1093\/0195148770.003.0021"},{"key":"18","unstructured":"[18] Shapiro, S., <i>Foundations without Foundationalism. A Case for Second-Order Logic<\/i>, vol. 17 of <i>Oxford Logic Guides<\/i>, The Clarendon Press, New York, 1991."},{"key":"19","doi-asserted-by":"publisher","unstructured":"[19] Sher, G. Y., ``Did Tarski commit `Tarski's fallacy'?'' <i>The Journal of Symbolic Logic<\/i>, vol. 61 (1996), pp. 653--86.","DOI":"10.2307\/2275681"},{"key":"20","unstructured":"[20] Sher, G., <i>The Bounds of Logic. A Generalized Viewpoint<\/i>, A Bradford Book. The MIT Press, Cambridge, 1991."},{"key":"22","doi-asserted-by":"publisher","unstructured":"[22] Swoyer, C., \"Structural representation and surrogative reasoning\", <i>Synthese<\/i>, vol. 87 (1991), pp. 449--508. Sections 1-6.","DOI":"10.1007\/BF00499820"},{"key":"24","doi-asserted-by":"publisher","unstructured":"[24] Tarski, A., ``What are logical notions?'' <i>History and Philosophy of Logic<\/i>, vol. 7 (1986), pp. 143--54.","DOI":"10.1080\/01445348608837096"},{"key":"25","doi-asserted-by":"publisher","unstructured":"[25] Zach, R., \"The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's program (History of Logic Helsinki, 2000)\", <i>Synthese<\/i>, vol. 137 (2003), pp. 211--59.","DOI":"10.1023\/A:1026247421383"},{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Beall, J., and G. Restall, <i>Logical Pluralism<\/i>, Oxford University Press, Oxford, 2006.","DOI":"10.1093\/acprof:oso\/9780199288403.001.0001"},{"key":"3","unstructured":"[3] Campbell, N., <i>An Account of the Principles of Measurement and Calculation<\/i>, Longmans, London, 1928."},{"key":"5","unstructured":"[5] Floyd, J., ``Rohit Parikh and the question, `What is logic?','' Forthcoming."},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] Helmholtz, H. V., \"Numbering and measuring from an epistemological viewpoint\", pp. 70--108 in <i>Epistemological Writings<\/i>, Reidel, Dordrecht, 1977.","DOI":"10.1007\/978-94-010-1115-0_3"},{"key":"10","unstructured":"[10] Hinitkka, J., and G. Sandu, ``A revolution in logic?'' <i>Nordic Journal of Philosophical Logic<\/i>, vol. 1 (1996), pp. 169--83."},{"key":"21","doi-asserted-by":"crossref","unstructured":"[21] Stevens, S., \"On the theory of scales of measurement\", <i>Science<\/i>, vol. 103 (1946), pp. 667--80.","DOI":"10.1126\/science.103.2684.677"},{"key":"23","unstructured":"[23] Tarski, A., \"On the concept of logical consequence\", pp. 417--29 in <i>Tarski<\/i>, 1936."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2010-038","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,2]],"date-time":"2024-04-02T00:14:10Z","timestamp":1712016850000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-52\/issue-1\/Logical-Consequence-and-First-Order-Soundness-and-Completeness--A\/10.1215\/00294527-2010-038.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1,1]]},"references-count":25,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2011,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2010-038","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2011,1,1]]}}}