{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T08:16:07Z","timestamp":1780388167508,"version":"3.54.1"},"reference-count":22,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1996,1,1]]},"DOI":"10.1305\/ndjfl\/1040067320","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:18:40Z","timestamp":1046207920000},"source":"Crossref","is-referenced-by-count":7,"title":["Elementary Propositions and Independence"],"prefix":"10.1215","volume":"37","author":[{"given":"John L.","family":"Bell","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"William","family":"Demopoulos","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"Allaire, E. P., \u201cTractatus 6.3751,\u201d <i>Analysis<\/i>, vol. 19 (1959), pp. 57\u201359.","DOI":"10.1093\/analys\/19.5.100"},{"key":"2","unstructured":"Anscombe, G. E. M., <i>An Introduction to Wittgenstein's Tractatus<\/i>, University of Pennsylvania Press, Philadelphia, 1971."},{"key":"3","doi-asserted-by":"crossref","unstructured":"Dummett, M., \u201cWhat is mathematics about?,\u201d pp. 11\u201326 in <i>Mathematics and Mind<\/i>, edited by A. George, Oxford University Press, Oxford, 1994. MR 1373891","DOI":"10.1093\/oso\/9780195079296.003.0002"},{"key":"4","doi-asserted-by":"crossref","unstructured":"Goldfarb, W., \u201cLogic in the twenties: the nature of the quantifier,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 44 (1979), pp. 351\u2013368. Zbl 0438.03001 MR 80j:03003","DOI":"10.2307\/2273128"},{"key":"5","unstructured":"Griffin, James, <i>Wittgenstein's Logical Atomism<\/i>, Oxford University Press, Oxford, 1964."},{"key":"6","unstructured":"Hertz, H., <i>The Principles of Mechanics<\/i>, translated by D. E. Jones and J. T. Walley, Dover, New York, 1956. Zbl 0074.38805 MR 17,1017f"},{"key":"7","doi-asserted-by":"crossref","unstructured":"Kremer, M., \u201cThe multiplicity of general propositions,\u201d <i>No\u00fbs<\/i>, vol. 26 (1992), pp. 409\u2013426. MR 1262540","DOI":"10.2307\/2216021"},{"key":"8","doi-asserted-by":"crossref","unstructured":"McGuinness, B., \u201cThe Grundgedanke of the Tractatus,\u201d pp. 49\u201361 in <i>Understanding Wittgenstein<\/i>, edited by G. Vesey, Macmillan, London, 1974.","DOI":"10.1007\/978-1-349-15546-0_4"},{"key":"9","unstructured":"Mounce, H. O., <i>Wittgenstein's Tractatus: An Introduction<\/i>, University of Chicago Press, Chicago, 1981."},{"key":"10","unstructured":"Pears, D., \u201cThe logical independence of elementary propositions,\u201d pp. 74\u201384 in <i>Perspectives on the Philosophy of Wittgenstein<\/i>, edited by I. Block, Blackwell, Oxford, 1981."},{"key":"11","unstructured":"Ramsey, F. P., \u201cFacts and propositions,\u201d pp. 138\u2013155 in <i>The Foundations of Mathematics and Other Logical Essays<\/i>, edited by R. B. Braithwaithe, Littlefield Adams and Co., Paterson, 1960."},{"key":"12","unstructured":"Rasiowa, H., and R. Sikorski, <i>The Mathematics of Metamathematics<\/i>, Panstowe Wydawnictwo Naukowe, Warsaw, 1963. Zbl 0122.24311 MR 29:1149"},{"key":"13","doi-asserted-by":"crossref","unstructured":"R\u00e9dei, M. \u201cLogical independence in quantum logic,\u201d <i>Foundations of Physics<\/i>, vol. 25 (1995), pp. 411\u2013422. MR 96b:81015","DOI":"10.1007\/BF02059228"},{"key":"14","unstructured":"Rosenberg, J. F. \u201cWittgenstein's theory of language as picture,\u201d <i>American Philosophical Quarterly<\/i>, vol. 5 (1968), pp. 18\u201330."},{"key":"15","unstructured":"Russell, B., <i>The Principles of Mathematics<\/i>, Norton, New York, 1902."},{"key":"16","unstructured":"Russell, B., <i>The Philosophy of Logical Atomism<\/i>, in <i>Logic and Knowledge: Essays 1901\u20131950<\/i>, edited by R. Marsh, George Allen and Unwin, London, 1956."},{"key":"17","doi-asserted-by":"crossref","unstructured":"Sikorski, R., <i>Boolean Algebras<\/i>, Second edition, Springer-Verlag, Berlin, 1960. Zbl 0087.02503 MR 23:A3689","DOI":"10.1007\/978-3-662-01507-0"},{"key":"18","doi-asserted-by":"crossref","unstructured":"Skyrms, B., \u201cLogical atomism and combinatorial possibility,\u201d <i>The Journal of Philosophy<\/i>, vol. 90 (1993), pp. 219\u2013232.","DOI":"10.2307\/2940910"},{"key":"19","unstructured":"Stairs, A., \u201cOn the logic of pairs of quantum systems,\u201d <i>Synthese<\/i>, vol. 56 (1983), pp. 47\u201360. Zbl 0518.03028 MR 85e:81011"},{"key":"20","unstructured":"Wittgenstein, L., \u201cNotes on Logic (1913),\u201d pp. 93\u2013106 in <i>Notebooks, 1914\u20131916<\/i>, edited and translated by G. E. M. Anscombe, Basil Blackwell, Oxford, 1961."},{"key":"21","unstructured":"Wittgenstein, L., <i>Tractatus Logico-Philosophicus<\/i>, translated by D. Pears and B. McGuinness, Routledge &amp; Kegan Paul, London, 1961."},{"key":"22","doi-asserted-by":"crossref","unstructured":"Wittgenstein, L., \u201cSome remarks on logical form,\u201d <i>Proceedings of the Aristotelian Society<\/i>, Supplementary Volume IX (1929), pp. 162\u2013171.","DOI":"10.1093\/aristoteliansupp\/9.1.162"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1040067320","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:12:45Z","timestamp":1706649165000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-37\/issue-1\/Elementary-Propositions-and-Independence\/10.1305\/ndjfl\/1040067320.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1,1]]},"references-count":22,"journal-issue":{"issue":"1","published-online":{"date-parts":[[1996,1,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1040067320","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1996,1,1]]}}}