# What are some practical applications of mathematical/formal logic to science and humanities? [closed]

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 self facing, with logicians proving things for other logicians. It left me wondering about interdiscipliary work. 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:

1. History,
2. Law,
3. Psychology,
4. Engineering?

I know this is a bit broad, just looking for smattering of concrete examples indexed to these domains.

Thanks

## closed as too broad by Najib Idrissi, Bruno Joyal, TZakrevskiy, Davide Giraudo, Daniel FischerDec 2 '13 at 19:14

Please edit the question to limit it to a specific problem with enough detail to identify an adequate answer. Avoid asking multiple distinct questions at once. See the How to Ask page for help clarifying this question. If this question can be reworded to fit the rules in the help center, please edit the question.

• Most of the uses I am aware of are actually abuses that make me cringe and die a little bit whenever I see them. – Asaf Karagila Nov 22 '13 at 16:33
• Fuzzy Logic does have a few things to say about Linguistics, according to K. H. Lee's First Course in Fuzzy Theory and Applications, which I suppose is pertinent to both Psychology and History (in some sense); other applications will surely be found ibid. – Shaun Nov 22 '13 at 16:50
• "Applications of Modal Logic in Linguistics" indiana.edu/~iulg/moss/linguistics.pdf – Matthew Towers Nov 22 '13 at 18:38
• @mt_ : Thanks for that. Although it is still very theoretical in its applicaiton in linguistics, at least it is related to human activities. I can't help but think that the use of logic here is more of a diagramming tool than as a way to get insight. This is different than, say, math as applied to physics, where math provides actual insights not already apparent to the practitioner. – user76844 Nov 22 '13 at 18:53
• Modern logic has applications to other areas, but mostly to other areas of mathematics. For example, descriptive set theory (especially invariant descriptive set theory and the study of Borel equivalence relations) has many applications. – Trevor Wilson Nov 23 '13 at 6:11