{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T05:29:42Z","timestamp":1783056582473,"version":"3.54.6"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1994,12,1]],"date-time":"1994-12-01T00:00:00Z","timestamp":786240000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1994,12]]},"DOI":"10.1007\/bf01057649","type":"journal-article","created":{"date-parts":[[2005,1,28]],"date-time":"2005-01-28T14:25:56Z","timestamp":1106922356000},"page":"533-550","source":"Crossref","is-referenced-by-count":25,"title":["Schr\u00f6dinger logics"],"prefix":"10.1007","volume":"53","author":[{"given":"Newton C. A.","family":"da Costa","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"D\u00e9cio","family":"Krause","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"CR1","first-page":"25","volume-title":"Erwin Schr\ufffddinger: philosophy and the birth of quantum mechanics","author":"Y. Ben-Menahem","year":"1992","unstructured":"Ben-Menahem, Y. (1992)Struggling with realism: Schr\ufffddinger's case, in Bitbol, M. and Darrigol, O. (eds.) (1992)Erwin Schr\ufffddinger: philosophy and the birth of quantum mechanics, Editions Fronti\ufffdres, Gif-sur-Yvette, pp. 25?40."},{"issue":"1","key":"CR2","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1305\/ndjfl\/1093634995","volume":"30","author":"W. O. Blizard","year":"1989","unstructured":"Blizard, W. O. (1989)Multiset theory,Notre Dame Journal of Formal Logic 30 (1), pp. 36?66.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"466","DOI":"10.1086\/288822","volume":"45","author":"R. L. Barnette","year":"1978","unstructured":"Barnette, R. L. (1978)Does quantum mechanics disprove the Principle of the Identity of Indiscernibles?,Philosophy of Science 45, pp. 466?470.","journal-title":"Philosophy of Science"},{"key":"CR4","volume-title":"Introduction to mathematical logic","author":"A. Church","year":"1956","unstructured":"Church, A. (1956)Introduction to mathematical logic, Princeton Un. Press, Princeton, Vol. 1."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1086\/288707","volume":"43","author":"A. Cortes","year":"1976","unstructured":"Cortes, A. (1976)Leibniz's Principle of the Identity of Indiscernibles: a false principle,Philosophy of Science 43, pp. 491?505.","journal-title":"Philosophy of Science"},{"key":"CR6","volume-title":"Ensaio sobre os fundamentos da l\ufffdgica","author":"N. C. A. Costa Da","year":"1980","unstructured":"Da Costa, N. C. A. (1980)Ensaio sobre os fundamentos da l\ufffdgica, Hucitec ? EdUSP, S\ufffdo Paulo."},{"key":"CR7","unstructured":"da Costa, N. C. A. andChuaqui, R. (1985)The logic of pragmatic truth, preprint."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF00167168","volume":"25","author":"N. C. A. Costa da","year":"1986","unstructured":"da Costa, N. C. A. (1986)Pragmatic probability,Erkenntnis 25, pp. 141?162.","journal-title":"Erkenntnis"},{"key":"CR9","first-page":"445","volume-title":"Erwin Schr\ufffddinger: philosophy and the birth of quantum mechanics","author":"N. C. A. Costa da","year":"1992","unstructured":"da Costa, N. C. A., Krause, D. andFrench, S. (1992)The Schr\ufffddinger problem, in Bitbol, M. and Darrigol, O. (eds.) (1992)Erwin Schr\ufffddinger: philosophy and the birth of quantum mechanics, Editions Fronti\ufffdres, Gif-sur-Yvette, pp. 445?460."},{"key":"CR10","unstructured":"Dalla Chiara, M. L. andToraldo di Francia, G. (1985)Individuals, kinds and names in physics,Versus 40, pp. 29 ? 50, reprinted in Corsi, G. et. al. (eds.) (1992)Bridging the gap: philosophy, mathematics and physics, Kluwer Acad. Pub., Dordrecht, pp. 261 ? 283."},{"key":"CR11","unstructured":"Dalla Chiara, M. L. andToraldo di Francia, G. (1993)Quine on physical objects, preprint, University of Florence."},{"key":"CR12","volume-title":"Fundamentals of modern physics","author":"R. M. Eisberg","year":"1961","unstructured":"Eisberg, R. M. (1961)Fundamentals of modern physics, John Wiley, New York"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"432","DOI":"10.1080\/00048408912343951","volume":"67","author":"S. French","year":"1989","unstructured":"French, S. (1989)Identity and individuality in classical and quantum physics,Australasian Journal of Philosophy 67, pp. 432?446.","journal-title":"Australasian Journal of Philosophy"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF00869370","volume":"78","author":"S. French","year":"1989","unstructured":"French, S. (1989a)Why the principle of the identity of indiscernibles is not contingently true either,Synthese 78, pp. 141?166.","journal-title":"Synthese"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1093\/bjps\/39.2.233","volume":"39","author":"S. French","year":"1988","unstructured":"French, S. andRedhead, M. L. G. (1988)Quantum physics and the identity of indiscernibles,British Journal for the Philosophy of Science 39, pp. 233?246.","journal-title":"British Journal for the Philosophy of Science"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1086\/289012","volume":"48","author":"A. Ginsberg","year":"1981","unstructured":"Ginsberg, A. (1981)Quantum theory and the Identity of Indiscernibles revisited,Philosophy of Science 48, pp. 487?491.","journal-title":"Philosophy of Science"},{"issue":"2","key":"CR17","doi-asserted-by":"crossref","first-page":"81","DOI":"10.2307\/2266967","volume":"15","author":"L. Henkin","year":"1950","unstructured":"Henkin, L. (1950)Completeness in the theory of types,Journal of Symbolic Logic 15 (2), pp. 81?91.","journal-title":"Journal of Symbolic Logic"},{"key":"CR18","volume-title":"Principles of mathematical logic","author":"D. Hilbert","year":"1950","unstructured":"Hilbert, D. andAckermann, W. (1950)Principles of mathematical logic, Chelsea, New York."},{"key":"CR19","volume-title":"Foundations of quantum mechanics","author":"J. M. Jauch","year":"1968","unstructured":"Jauch, J. M. (1968)Foundations of quantum mechanics, Addison-Wesley, New York."},{"key":"CR20","volume-title":"Non-reflexivity, indistinguishability and Weyl's aggregates","author":"D. Krause","year":"1990","unstructured":"Krause, D. (1990)Non-reflexivity, indistinguishability and Weyl's aggregates. (in Portuguese) Doctoral Thesis, Department of Philosophy, University of S\ufffdo Paulo, S\ufffdo Paulo."},{"issue":"2","key":"CR21","first-page":"159","volume":"11","author":"D. Krause","year":"1990","unstructured":"Krause, D. (1990a) A ?dialetiza\ufffd\ufffdo? da teoria tradicional da identidade,Boletim da Sociedade Paranaense de Matem\ufffdtica 11 (2), pp. 159?175.","journal-title":"Boletim da Sociedade Paranaense de Matem\ufffdtica"},{"issue":"2","key":"CR22","first-page":"9","volume":"8","author":"D. Krause","year":"1991","unstructured":"Krause, D. (1991)Multisets, quasi ? sets and Weyl's aggregates,Journal of Non ? Classical Logic 8 (2), pp. 9?39.","journal-title":"Journal of Non ? Classical Logic"},{"issue":"3","key":"CR23","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1305\/ndjfl\/1093634404","volume":"33","author":"D. Krause","year":"1992","unstructured":"Krause, D. (1992)On a quasi-set theory,Notre Dame Journal of Formal Logic 33 (3), pp. 402?411.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR24","unstructured":"Krause, D. andFrench, S. (1992)A formal framework for quantum non-individuality, forthcoming inSynthese."},{"key":"CR25","first-page":"36","volume-title":"Proceedings of Symposia in Pure Mathematics 28","author":"Yu. I. Manin","year":"1976","unstructured":"Manin, Yu. I. (1976)Problems of present day mathematics: I (Foundations), in Browder, F. E. (ed.)Proceedings of Symposia in Pure Mathematics 28, Americam Mathematical Society, Providence, pp. 36."},{"key":"CR26","volume-title":"Quantum mechanics","author":"E. Merzbacher","year":"1970","unstructured":"Merzbacher, E. (1970)Quantum mechanics, John Wiley, New York."},{"key":"CR27","doi-asserted-by":"crossref","first-page":"201","DOI":"10.2307\/2273956","volume":"51","author":"I. Mikenberg","year":"1986","unstructured":"Mikenberg, I., da Costa, N. C. A. andChuaqui, R. (1986)Pragmatic truth and approximation to truth,Journal of Symbolic Logic 51, pp. 201?221.","journal-title":"Journal of Symbolic Logic"},{"key":"CR28","unstructured":"Post, H. Individuality and physics,Vedanta for 32, pp. 14 ? 22."},{"key":"CR29","volume-title":"The nature of things","author":"A. Quinton","year":"1973","unstructured":"Quinton, A. (1973)The nature of things, Cambridge Un. Press, Cambridge."},{"key":"CR30","volume-title":"Science and humanism","author":"E. Schr\ufffddinger","year":"1952","unstructured":"Schr\ufffddinger, E. (1952)Science and humanism, Cambridge Un. Press, Cambridge."},{"key":"CR31","unstructured":"Schr\ufffddinger, E. (1953)What is matter?,Scientific American, September, pp. 52 ? 57."},{"key":"CR32","volume-title":"Science theory and man","author":"E. Schr\ufffddinger","year":"1957","unstructured":"Schr\ufffddinger, E. (1957)Science theory and man, Allen and Unwin, London."},{"key":"CR33","first-page":"57","volume":"113","author":"G. Toraldo di Francia","year":"1978","unstructured":"Toraldo di Francia, G. (1978)What is a physical object?,Scientia 113, pp. 57?56.","journal-title":"Scientia"},{"key":"CR34","volume-title":"The investigation of the physical world","author":"G. Toraldo di Francia","year":"1981","unstructured":"Toraldo di Francia, G. (1981)The investigation of the physical world, Cambridge Un. Press, Cambridge."},{"key":"CR35","volume-title":"Le cose e i loro nomi","author":"G. Toraldo di Francia","year":"1986","unstructured":"Toraldo di Francia, G. (1986)Le cose e i loro nomi, Laterza, Bari."},{"key":"CR36","doi-asserted-by":"crossref","DOI":"10.1093\/0198239807.001.0001","volume-title":"Quantum Mechanics: an empiricist view","author":"B. Fraassen van","year":"1991","unstructured":"van Fraassen, B. (1991)Quantum Mechanics: an empiricist view, Clarendon Press, Oxford."},{"key":"CR37","doi-asserted-by":"crossref","unstructured":"Wang, H. Logic of many-sorted theories,Journal of Symbolic Logic 17 (2), pp. 105 ? 116.","DOI":"10.2307\/2266241"},{"key":"CR38","unstructured":"Weyl, H. Philosophy of mathematics and natural science, Princeton Un. Press, Princeton."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01057649.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01057649\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01057649","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T04:51:44Z","timestamp":1556599904000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01057649"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,12]]},"references-count":38,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1994,12]]}},"alternative-id":["BF01057649"],"URL":"https:\/\/doi.org\/10.1007\/bf01057649","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,12]]}}}