International Journal of Theoretical Physics

, Volume 19, Issue 11, pp 843–866 | Cite as

Modal quantum logic and its dialogic foundation

  • F. J. Burghardt
Article

Abstract

In this paper we investigate a modal calculus of quantum metalogic which is complete and sound with respect to a dialogic semantics. This calculus calledMeff(Qeff) has three parts: one covering the formal metalogic, one reflecting the calculus of the object language, and one which is a link between object language and metalanguage. This third part is invariant with respect to a variation of the object language

Keywords

Field Theory Elementary Particle Quantum Field Theory Object Language Quantum Logic 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Becker, O. (1952).Untersuchungen über den Modalkalkül. Westkultur Verlag A. Hain, Meisenheim/Glan.Google Scholar
  2. Burghardt, F. J. (1979).Modale Quantenmetalogik mit dialogischer Begründung, dissertation, Köln.Google Scholar
  3. Carnap, R. (1934).Logische Syntax der Sprache. Springer, Vienna (Schriften zur wiss. Weltauffassung, Vol. 8, eds.: Ph. Frank and M. Schlick); English translation:Logical Syntax of Language, London/New York (1937).Google Scholar
  4. Hughes, G. E., and Cresswell, M. J. (1968).An Introduction to Modal Logic. Methuen & Co., London (Corr. reprinted 1972).Google Scholar
  5. Lorenz, K. (1968). “Dialogspiele als semantische Grundlage von Logikkalkülen,”Archiv für Mathematische Logik and Grundlagenforschung. 11, 32–55, 73–100; reprinted in P. Lorenzen and K. Lorenz,Dialogische Logik. Wissenschaftliche Buchgesellschaft, Darmstadt (1978).Google Scholar
  6. Lorenzen, P., and Schwemmer, O. (1975).Konstruktive Logik, Ethik und Wissenschaftstheorie, 2nd ed. Bibliographisches Institut, Mannheim/Wien/Zürich.Google Scholar
  7. Mittelstaedt, P. (1978).Quantum Logic. Reidel, Dordrecht.Google Scholar
  8. Mittelstaedt, P. (1979). “The Modal Logic of Quantum Logic,”Journal of Philosophical Logic,8, 479–504.Google Scholar
  9. Stachow, E.-W. (1976). “Completeness of Quantum Logic,”Journal of Philosophical Logic,5, 237–280.Google Scholar
  10. Stachow, E.-W. (1978). “Quantum Logical Calculi and Lattice Structures,”Journal of Philosophical Logic,7, 347–386.Google Scholar

Copyright information

© Plenum Publishing Corporation 1980

Authors and Affiliations

  • F. J. Burghardt
    • 1
  1. 1.Institut für Theoretische PhysikUniversität zu KölnKölnWest Germany

Personalised recommendations