Dynamic Logic of Quantum Field Theory

Abstract

To deepen the understanding of quantum field theory (QFT), we elucidate logic of QFT. We assert that logic of QFT should be described by dynamic logic, because the nature of two fundamental operators in QFT, namely creation and annihilation operators, is dynamic in the sense of logic. After we formulate dynamic logic of QFT, we give a dynamic logical interpretation of fermions, the so-called vacuum state, the zero vector and propagators in QFT. Finally, we show how Aharonov-Bohm effect can be explained naturally from our dynamic logic of QFT. This paper should be the beginning of studying logic of QFT from a dynamic point of view.