Skip to main content
Log in

Quantum sortal predicates

  • Original Paper
  • Published:
Synthese Aims and scope Submit manuscript

Abstract

Sortal predicates have been associated with a counting process, which acts as a criterion of identity for the individuals they correctly apply to. We discuss in what sense certain types of predicates suggested by quantum physics deserve the title of ‘sortal’ as well, although they do not characterize either a process of counting or a criterion of identity for the entities that fall under them. We call such predicates ‘quantum-sortal predicates’ and, instead of a process of counting, to them is associated a ‘criterion of cardinality’. After their general characterization, it is discussed how these predicates can be formally described.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Auyang S.Y. (1995). How is quantum field theory possible?. Oxford University Press, Oxford

    Google Scholar 

  • da Costa N.C.A., Krause D. (1997). An intensional Schrödinger logic. Notre Dame Journal of Formal Logic 38(2):179–194

    Article  Google Scholar 

  • Dalla Chiara, M. L., & Toraldo di Francia, G. (1993). Individuals, kinds and names in physics. In G. Corsi et al. (Eds.), Bridging the gap: Philosophy, mathematics, physics (pp. 261–283). Kluwer Academic Publisher, Dordrecht.

  • Dalla Chiara, M. L., Giuntini, R., and Krause, D. (1998). Quasiset theories for microobjects: A comparision. In E. Castellani (Ed.), Interpreting bodies: Classical and quantum objects in modern physics (pp. 142–152). Princeton: Princeton University Press.

  • French, S. (1998). On the withering away of physical objects. In E. Castellani (Ed.), Interpreting bodies: Classical and quantum objects in modern physics (pp. 93–113). Princeton: Princeton University Press.

  • French, S. (2000). Identity and individuality in quantum theory. The Stanford Encyclopedia of Philosophy (Spring 2000 Edition), Edward N. Zalta (Ed.), http://plato.stanford. edu/archives/spr2000/entries/qt-idind

  • French S., Redhead M. (1988). Quantum physics and the identity of indiscernibles. British Journal of the Philosophy of Science 39:233–246

    Article  Google Scholar 

  • French S., Krause D. (2003). Quantum vagueness. Erkenntnis 59(1):97–124

    Article  Google Scholar 

  • Gallin D. (1975). Intensional and higher order modal logic. North-Holland, Amsterdam

    Google Scholar 

  • Geach P.T. (1962). Reference and generality. Cornell University Press, Ithaca

    Google Scholar 

  • Geach P.T. (1967). Identity. The Review of Methaphysics XXI(1):3–12

    Google Scholar 

  • Krause D. (1992). On a quasi-set theory. Notre Dame Journal of Formal Logic 33:402–411

    Article  Google Scholar 

  • Krause, D. (2002a). Lógica sortal e física quântica. In A. O. Cupani, & C. A. e Mortari (orgs.), Linguagem e Filosofia, (Anais do Segundo Simpósio Internacional Principia, Florianópolis, SC Brasil, 6–10 Agosto 2001), Florianópolis, Nel-Nú de Epistemologia e Lógica, pp. 23–42.

  • Krause, D. (2002b). Sortal predication and quantum physics. CLE e-prints, Vol. 2, n. 4, (Section Logic), www.cle.unicamp.br/e-prints

  • Krause, D., & French, S. (1999). Opaque predicates and their logic. In W. Carnielli, & I. M. L. D Ottaviano (Eds.), Advances in contemporary logic and computer science (pp. 263–274). American Mathematical Society (Contemporary Mathematics 235).

  • Lowe J.E. (1995). Locke on human understanding. Routledge, London

    Google Scholar 

  • Lowe, J. E. (1994). Vague identity and quantum indeterminacy. Analysis, 54.2, April, 110–114

  • Magee B. (1973). The nature of things. Routledge & Kegan Paul, London

    Google Scholar 

  • Lévy-Leblond, J.-M., & Balibar, F. (1990). Quantics: Rudiments of quantum physics. Amsterdam: Elsevier.

  • Pelletier F.J. (1992). Review of E. J. Lowe’s Kinds of being: A study of individuation, identity and the logic of sortal terms. History Philosophy of Logic 13(1):125–128

    Google Scholar 

  • Redhead M., Teller P. (1991). Particles, particle labels, and quanta: The toll of unacknowledged metaphysics. Foundations of Physics 21:43–62

    Article  Google Scholar 

  • Schrödinger E. (1952). Science and humanism. Cambridge University Press, Cambridge

    Google Scholar 

  • Schrödinger, E. (1998). What is an elementary particle?, reprinted. In E. Castellani (Ed.), Interpreting bodies: Classical and quantum objects in modern physics (pp. 197–210). Princeton: Princeton University Press.

  • Strawson P.F. (1959). Individuals. Methuen, London

    Google Scholar 

  • Stevenson L. (1975). A formal theory of sortal quantification. Notre Dame Journal of Formal Logic 16:185–207

    Article  Google Scholar 

  • Teller P. (1995). An interpretative introduction to quantum field theory. Princeton University Press, Princeton

    Google Scholar 

  • Terricabras J.-M., Trillas E. (1989). Some remarks on vague predicates. Theoria—Segunda época 10:1–12

    Google Scholar 

  • Toraldo di Francia G. (1978). What is a physical object?. Scientia 113:57–65

    Google Scholar 

  • Toraldo di Francia G. (1981). The investigation of the physical world. Cambridge University Press, Cambridge

    Google Scholar 

  • Wallace J.R. (1965). Sortal predicates and quantification. Journal of Philosophy 62:8–13

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Décio Krause.

Additional information

To Patrick Suppes on his 80th birthday.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Krause, D., French, S. Quantum sortal predicates. Synthese 154, 417–430 (2007). https://doi.org/10.1007/s11229-006-9127-8

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11229-006-9127-8

Keywords

Navigation