Pros and cons of physics in logics

Petr Švarný

pp. 479-484

in: Dennis Dieks, Stephan Hartmann, Thomas Uebel, Marcel Weber, Maria C. Galavotti (eds), New directions in the philosophy of science, Berlin, Springer, 2014

Abstract

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.