{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T17:10:33Z","timestamp":1770743433071,"version":"3.49.0"},"reference-count":38,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1997,4,1]]},"DOI":"10.1305\/ndjfl\/1039724886","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:03:13Z","timestamp":1046206993000},"source":"Crossref","is-referenced-by-count":13,"title":["An Intensional Schr\u00f6dinger Logic"],"prefix":"10.1215","volume":"38","author":[{"given":"D\u00e9cio","family":"Krause","sequence":"first","affiliation":[]},{"given":"Newton C. A.","family":"da Costa","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","unstructured":"Ben-Menahem, Y., \u201cStruggling with realism: Schr\u00f6dinger's case,\u201d pp. 25\u201340 in <i>Erwin Schr\u00f6dinger: Philosophy and the Birth of Quantum Mechanics<\/i>, edited by M. Bitbol and O. Darrigol, Fronti\u00e8res, Paris, 1992."},{"key":"2","unstructured":"Bitbol, M., \u201cEsquisses, forme et totalite (Schr\u00f6dinger et le concept d'objet),\u201d pp. 41\u201379 in <i>Erwin Schr\u00f6dinger: Philosophy and the Birth of Quantum Mechanics<\/i>, edited by M. Bitbol and O. Darrigol, Fronti\u00e8res, Paris, 1992."},{"key":"3","unstructured":"da Costa, N. C. A., <i>Ensaio Sobre os Fundamentos da L\u00f3gica<\/i>, Hucitec, S\u00e3o Paulo, 2d edition, 1994."},{"key":"4","doi-asserted-by":"publisher","unstructured":"da Costa, N. C. A., and D. Krause, \u201cSchr\u00f6dinger logics,\u201d <i>Studia Logica<\/i>, vol. 53 (1994), pp. 533\u201350. MR 95m:03059","DOI":"10.1007\/BF01057649"},{"key":"5","unstructured":"da Costa, N. C. A., and D. Krause, \u201cSet-theoretical models for quantum systems,\u201d forthcoming in <i>Philosophy of Science in Florence, 1995<\/i>, edited by M. L. Dalla Chiara, R. Giuntini, and F. Laudisa, Kluwer Academic Press, Dordrecht. Zbl 01714321 MR 1818797"},{"key":"6","unstructured":"da Costa, N. C. A., D. Krause, and S. French, \u201cThe Schr\u00f6dinger problem,\u201d pp. 445\u201360 in <i>Erwin Schr\u00f6dinger: Philosophy and the Birth of Quantum Mechanics<\/i>, edited by M. Bitbol and O. Darrigol, Fronti\u00e8res, Paris, 1992."},{"key":"7","unstructured":"da Costa, N. C. A., S. French, and D. Krause, \u201cSome remarks on sortal logics and physics,\u201d pp. 159\u201372 in <i>Calculemos... Matem\u00e1ticas y Libertad<\/i>, Homenage a Miguel de S\u00e1nchez Mazas, edited by J. Etcheverr\u00eda, J. de Lorenzo, and L. Pe\u00f1a, Trotta, Madrid, 1996."},{"key":"8","doi-asserted-by":"crossref","unstructured":"Dalla Chiara, M. L., \u201cQuantum logic,\u201d pp. 427\u201369 in <i>Handbook of Philosophical Logic<\/i>, vol. 3, edited by D. Gabbay and F. D. Guenthner, Reidel, Dordrecht, 1986. Zbl 0875.03084","DOI":"10.1007\/978-94-009-5203-4_7"},{"key":"9","doi-asserted-by":"crossref","unstructured":"Dalla Chiara, M. L., \u201cAn approach to intensional semantics,\u201d <i>Synthese<\/i>, vol. 73 (1987), pp. 479\u201396. MR 89a:03031","DOI":"10.1007\/BF00484989"},{"key":"10","doi-asserted-by":"crossref","unstructured":"Dalla Chiara, M. L., and G. Toraldo di Francia, \u201cIndividuals, kinds and names in physics,\u201d pp. 261\u201383 in <i>Bridging the Gap: Philosophy, Mathematics, Physics<\/i>, edited by G. Corsi, et al., Kluwer, Dordrecht, 1993. MR 95a:03018","DOI":"10.1007\/978-94-011-2496-6_13"},{"key":"11","doi-asserted-by":"crossref","unstructured":"Dalla Chiara, M. L., and G. Toraldo di Francia, \u201cIdentity questions from quantum theory,\u201d pp. 39\u201346 in <i>Physics, Philosophy and the Scientific Community<\/i>, edited by Gavroglu, et al., Kluwer, Dordrecht, 1995.","DOI":"10.1007\/978-94-017-2658-0_3"},{"key":"12","unstructured":"Dalla Chiara, M. L., and G. Toraldo di Francia, \u201cQuine on physical objects,\u201d preprint, University of Florence, 1993."},{"key":"13","unstructured":"Dalla Chiara, M. L., R. Giuntini, and D. Krause, \u201cQuasi set theories for microobjects: a comparison,\u201d forthcoming in <i>Interpreting bodies: classical and quantum objects in modern physics<\/i>, edited by E. Castelani, Princeton University Press, Princeton."},{"key":"14","doi-asserted-by":"crossref","unstructured":"French, S., \u201cIdentity and individuality in classical and quantum physics,\u201d <i>Australasian Journal of Philosophy<\/i>, vol. 67 (1989), pp. 432\u201346.","DOI":"10.1080\/00048408912343951"},{"key":"15","doi-asserted-by":"crossref","unstructured":"French, S., and M. Redhead, \u201cQuantum physics and the identity of indiscernibles,\u201d <i>British Journal for the Philosophy Science<\/i>, vol. 39 (1988), pp. 233\u201346. MR 89k:81009","DOI":"10.1093\/bjps\/39.2.233"},{"key":"16","doi-asserted-by":"crossref","unstructured":"French, S., and D. Krause, \u201cVague identity and quantum non-individuality,\u201d <i>Analysis<\/i>, vol. 55 (1995), pp. 20\u201326.","DOI":"10.1093\/analys\/55.1.20"},{"key":"17","unstructured":"French, S., and D. Krause, \u201cThe logic of quanta,\u201d forthcoming in <i>Proceedings of the Boston Colloquium for the Philosophy of Science 1996: A Historical Examination and Philosophical Reflections on the Foundations of Quantum Field Theory<\/i>, edited by T. L. Cao, Cambridge University Press, Cambridge. Zbl 01618479"},{"key":"18","unstructured":"Gochet, P., and A. Thayse, \u201cLogique intensionalle et langue naturelle,\u201d chapter 2 of, <i>Approche Logique de l'Intelligence Artificielle<\/i>, vol. 2, Dunod, Paris, 1989."},{"key":"19","unstructured":"Gonseth, F., <i>Les Math\u00e9matiques et la R\u00e9alit\u00e9<\/i>, A. Blanchard, Paris, 1936. Zbl 0014.19301 MR 50:1803"},{"key":"20","doi-asserted-by":"crossref","unstructured":"Hilbert, D., \u201cMathematical problems,\u201d pp. 1\u201334 in <i>Mathematical Developments Arising from Hilbert Problems<\/i>, Proceedings of Symposia in Pure Mathematics 28, edited by F. E. Browder, American Mathematical Society, Providence, 1976.","DOI":"10.1090\/pspum\/028.1\/9813"},{"key":"21","unstructured":"Gallin, D., <i>Intensional and Higher-Order Modal Logic<\/i>, North-Holland, Amsterdam, 1975. Zbl 0341.02014 MR 58:21470"},{"key":"22","unstructured":"Krause, D., `A `dialetiza\u00e7\u00e3o' da teoria tradicional da identidade,\u201d <i>Boletim da Sociedade Paranaense de Matem\u00e1tica<\/i>, vol. 11 (1990), pp. 157\u201373."},{"key":"23","unstructured":"Krause, D., \u201cMultisets, quasi sets and Weyl's aggregates,\u201d <i>Journal of Non-Classical Logic<\/i>, vol. 8 (1991), pp. 9\u201339. Zbl 0774.03031 MR 94g:03100"},{"key":"24","doi-asserted-by":"crossref","unstructured":"Krause, D., \u201cOn a quasi set theory,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 33 (1992), pp. 402\u201311. Zbl 0774.03032 MR 93f:03033","DOI":"10.1305\/ndjfl\/1093634404"},{"key":"25","unstructured":"Krause, D., \u201cAxioms for collections of indistinguishable objects,\u201d forthcoming in <i>Logique et Analyse<\/i>. Zbl 0976.03056 MR 99f:03073"},{"key":"26","doi-asserted-by":"publisher","unstructured":"Krause, D., and S. French, \u201cA formal framework for quantum non-individuality,\u201d <i>Synthese<\/i>, vol. 102 (1995), pp. 195\u2013214. Zbl 01503466 MR 96b:03016","DOI":"10.1007\/BF01063905"},{"key":"27","unstructured":"Krause, D., and S. French, \u201cOpaque predicates and their logic,\u201d forthcoming in Proceedings of the 11th Brazilian Conference on Mathematical Logic. Zbl 0941.81011 MR 2001a:03070"},{"key":"28","unstructured":"Manin, Yu. I., <i>A Course in Mathematical Logic<\/i>, Springer-Verlag, New York, 1977. Zbl 0383.03002 MR 56:15345"},{"key":"29","unstructured":"Mittelstaed, P., <i>Quantum Logic<\/i>, Reidel, Dordrecht, 1978. Zbl 0411.03059"},{"key":"30","unstructured":"Mittelstaed, P., \u201cConstituting, naming and identity in quantum logic,\u201d pp. 215\u201334 in <i>Recent Developments in Quantum Logic<\/i>, edited by P. Mittelstaed and E. W. Stachow, Bibliographisches Institut: Mannheim, 1985."},{"key":"31","unstructured":"Post, H., \u201cIndividuality and physics,\u201d <i>The Listener<\/i>, vol. 70 (1963), pp. 534\u201337."},{"key":"32","doi-asserted-by":"crossref","unstructured":"Redhead, M., and P. Teller, \u201cParticles, particle labels and quanta: the toll of unacknowledged metaphysics,\u201d <i>Foundations of Physics<\/i>, vol. 21 (1991), pp. 43\u201362. MR 92f:81020","DOI":"10.1007\/BF01883562"},{"key":"33","doi-asserted-by":"crossref","unstructured":"Redhead, M., and P. Teller, \u201cParticle labels and the theory of indistinguishable particles in quantum mechanics,\u201d <i>British Journal for the Philosophy of Science<\/i>, vol. 43 (1992), pp. 201\u201318. MR 93h:81010","DOI":"10.1093\/bjps\/43.2.201"},{"key":"34","unstructured":"Schr\u00f6dinger, E., <i>Science and Humanism<\/i>, Cambridge University Press, Cambridge, 1952."},{"key":"35","doi-asserted-by":"publisher","unstructured":"Stevenson, L., \u201cA formal theory of sortal quantification,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 16 (1975), pp. 185\u2013207. Zbl 0298.02010 MR 51:2858","DOI":"10.1305\/ndjfl\/1093891700"},{"key":"36","doi-asserted-by":"crossref","unstructured":"Takeuti, G., \u201cQuantum set theory,\u201d pp. 303\u201322 in <i>Current Issues in Quantum Logic<\/i>, edited by E. Beltrametti, et al., Plenum, New York, 1981. MR 84j:03136","DOI":"10.1007\/978-1-4613-3228-2_19"},{"key":"37","unstructured":"Teller, P., <i>An Interpretive Introduction to Quantum Field Theory<\/i>, Princeton University Press, Princeton, 1995. Zbl 0864.00019 MR 96k:81002"},{"key":"38","unstructured":"Weyl, H., <i>Philosophy of Mathematics and Natural Science<\/i>, Princeton University Press, Princeton, 1949. Zbl 0033.24209 MR 10,670c"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1039724886","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:13:02Z","timestamp":1706649182000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-38\/issue-2\/An-Intensional-Schr%c3%b6dinger-Logic\/10.1305\/ndjfl\/1039724886.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4,1]]},"references-count":38,"journal-issue":{"issue":"2","published-online":{"date-parts":[[1997,4,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1039724886","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1997,4,1]]}}}