An intensional schrödinger logic

Notre Dame Journal of Formal Logic

Volumn 38, Issue 2, 1997, Pages 179-195

  Da Costa, Newton C A ^a   Krause, Décio ^b  

^a UNIVERSITY OF SÃO PAULO   (Brazil)

^b FEDERAL UNIVERSITY OF PARANÁ   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33847265206     PISSN: 00294527     EISSN: 19390726     Source Type: Journal    
DOI: 10.1305/ndjfl/1039724886     Document Type: Article

References (38)

1. Ben-Menahem, Y., “Struggling with realism: Schrödinger’s case,” pp. 25-40 in Erwin Schrödinger: Philosophy and the Birth of Quantum Mechanics, edited by M. Bitbol and O. Darrigol, Frontières, Paris, 1992.
2. Bitbol, M., “Esquisses, forme et totalite (Schrödinger et le concept d’objet),” pp. 41-79 in Erwin Schrödinger: Philosophy and the Birth of Quantum Mechanics, edited by M. Bitbol and O. Darrigol, Frontières, Paris, 1992.
3. da Costa, N. C. A., Ensaio Sobre os Fundamentos da Lógica, Hucitec, São Paulo, 2d edition, 1994.
4. da Costa, N. C. A., and D. Krause, “Schrödinger logics,” Studia Logica, vol. 53 (1994), pp. 533-50.
5. da Costa, N. C. A., and D. Krause, “Set-theoretical models for quantum systems,” forthcoming in Philosophy of Science in Florence, 1995, edited by M. L. Dalla Chiara, R. Giuntini, and F. Laudisa, Kluwer Academic Press, Dordrecht.
6. da Costa, N. C. A., D. Krause, and S. French, “The Schrödinger problem,” pp. 445-60 in Erwin Schrödinger: Philosophy and the Birth of Quantum Mechanics, edited by M. Bitbol and O. Darrigol, Frontieres, Paris, 1992.
7. da Costa, N. C. A., S. French, and D. Krause, “Some remarks on sortal logics and physics,” pp. 159-72 in Calculemos…Matemáticasy Libertad, Homenage a Miguel de Sanchez Mazas, edited by J. Etcheverría, J. de Lorenzo, and L. Peña, Trotta, Madrid, 1996.
8. Dalla Chiara, M. L., “Quantum logic,” pp. 427-69 in Handbook of Philosophical Logic, vol. 3, edited by D. Gabbay and F. D. Guenthner, Reidel, Dordrecht, 1986.
9. Dalla Chiara, M. L., “An approach to intensional semantics,” Synthese, vol. 73 (1987), pp. 479-96.
10. Dalla Chiara, M. L., and G. Toraldo di Francia, “Individuals, kinds and names in physics,” pp. 261-83 in Bridging the Gap: Philosophy, Mathematics, Physics, edited by G. Corsi, et al., Kluwer, Dordrecht, 1993.
11. Dalla Chiara, M. L., and G. Toraldo di Francia, “Identity questions from quantum theory,” pp. 39-46 in Physics, Philosophy and the Scientific Community, edited by Gavroglu, et al., Kluwer, Dordrecht, 1995.
12. Dalla Chiara, M. L., and G. Toraldo di Francia, “Quine on physical objects,” preprint, University of Florence, 1993.
13. Dalla Chiara, M. L., R. Giuntini, and D. Krause, “Quasi set theories for microobjects: a comparison,” forthcoming in Interpreting bodies: classical and quantum objects in modern physics, edited by E. Castelani, Princeton University Press, Princeton.
14. French, S., “Identity and individuality in classical and quantum physics,” Australasian Journal of Philosophy, vol. 67 (1989), pp. 432-46.
15. French, S., and M. Redhead, “Quantum physics and the identity of indiscernibles,” British Journal for the Philosophy Science, vol. 39 (1988), pp. 233-46.
16. French, S., and D. Krause, “Vague identity and quantum non-individuality,” Analysis, vol. 55 (1995), pp. 20-26.
17. French, S., and D. Krause, “The logic of quanta,” forthcoming in Proceedings of the Boston Colloquium for the Philosophy of Science 1996: A Historical Examination and Philosophical Reflections on the Foundations of Quantum Field Theory, edited by T. L. Cao, Cambridge University Press, Cambridge.
18. Gochet, P., and A. Thayse, “Logique intensionalle et langue naturelle,” chapter 2 of, Approche Logique de l’Intelligence Artificielle, vol. 2, Dunod, Paris, 1989.
19. Gonseth, F., Les Mathematiques etla Realite, A. Blanchard, Paris, 1936.
20. Hilbert, D., “Mathematical problems,” pp. 1-34 in Mathematical Developments Arising from Hilbert Problems, Proceedings of Symposia in Pure Mathematics 28, edited by F. E. Browder, American Mathematical Society, Providence, 1976.
21. Gallin, D., Intensional and Higher-Order Modal Logic, North-Holland, Amsterdam, 1975.
22. Krause, D., “A ‘dialetização’ da teoria tradicional da identidade,” Boletim da Sociedade Paranaense de Matematica, vol. 11 (1990), pp. 157-73.
23. Krause, D., “Multisets, quasi sets and Weyl’s aggregates,” Journal of Non-Classical Logic, vol. 8 (1991), pp. 9-39.
24. Krause, D., “On a quasi set theory,” Notre Dame Journal of Formal Logic, vol. 33 (1992), pp. 402-11.
25. Krause, D., “Axioms for collections of indistinguishable objects,” forthcoming in Logique et Analyse.
26. Krause, D., and S. French, “A formal framework for quantum non-individuality,” Synthese, vol. 102 (1995), pp. 195-214.
27. Krause, D., and S. French, “Opaque predicates and their logic,” forthcoming in Proceedings of the 11th Brazilian Conference on Mathematical Logic.
28. Manin, Yu. I., A Course in Mathematical Logic, Springer-Verlag, New York, 1977.
29. Mittelstaed, P., Quantum Logic, Reidel, Dordrecht, 1978.
30. Mittelstaed, P., “Constituting, naming and identity in quantum logic,” pp. 215-34 in Recent Developments in Quantum Logic, edited by P. Mittelstaed and E. W. Stachow, Bibliographisches Institut: Mannheim, 1985.
31. Post, H., “Individuality and physics,” The Listener, vol. 70 (1963), pp. 534-37.
32. Redhead, M., and P. Teller, “Particles, particle labels and quanta: the toll of unacknowledged metaphysics,” Foundations of Physics, vol. 21 (1991), pp. 43-62.
33. Redhead, M., and P. Teller, “Particle labels and the theory of indistinguishable particles in quantum mechanics,” British Journal for the Philosophy of Science, vol. 43 (1992), pp. 201-18.
34. Schrödinger, E., Science and Humanism, Cambridge University Press, Cambridge, 1952.
35. Stevenson, L., “A formal theory of sortal quantification,” Notre Dame Journal of Formal Logic, vol. 16 (1975), pp. 185-207.
36. Takeuti, G., “Quantum set theory,” pp. 303-22 in Current Issues in Quantum Logic, edited by E. Beltrametti, et al., Plenum, New York, 1981.
37. Teller, P., An Interpretive Introduction to Quantum Field Theory, Princeton University Press, Princeton, 1995.
38. Weyl, H., Philosophy of Mathematics and Natural Science, Princeton University Press, Princeton, 1949.