Pros and cons of physics in logics
The article examines the relation between physics and logics. It is claimed that well known logics can serve as a basis for an analytical examination of a physical theory, but that also physical theories can add to logics a synthetical aspect by allowing them inspiration by real world behaviour. Examples are mentioned for each of these cases, namely the Németi groups axiomatic relativity theory, Belnap's branching models, and Orthologic. Thereafter, two options are presented where this observation was explicitly put to use. The first is the attempt to axiomatize Branching continuation models and the second is a logic inspired by classical mechanics' vectors to describe doxastic models. The article then closes with a general discussion about the topic of influence between logic and physics based on the presented examples.
Švarný, P. (2014)., Pros and cons of physics in logics, in D. Dieks, S. Hartmann, T. Uebel, M. Weber & M. C. Galavotti (eds.), New directions in the philosophy of science, Dordrecht, Springer, pp. 479-484.
This document is unfortunately not available for download at the moment.