I am studying a bit of this and so far it seems that, apart from math and computer science, the discipline of Logic is very inward-facing...with logicians proving things for other logicians. This may just be a feature of the materials I am learning from, but it leaves me wondering about interdiscipliary work being done. Specifically, can classical (propositional and first order predicate) and/or non-classical (i.e., fuzzy, intuitionist, relevant etc) logics provide unique insights or analysis in the following domains:
- History
- Law
- Psychology
- Engineering
I know this is a bit broad, just looking for smattering of concrete examples indexed to these domains.
Thanks