1
vote
2answers
126 views

Studying the logical structure of physics as a mathematical object per se? [closed]

I was wondering is there a branch of mathematical physics which studies the underlying logical structure of physics as a mathematical object per se? Let me explain what I mean by that. I'm ...
2
votes
1answer
58 views

Causality and operationalism: from sets and functions to monads

When working in a laboratory, the most basic behaviour is to turn a knob or dial and then see a transformation of some data output. An example is increasing a magnetic field and seeing Zeeman ...