I'm working on a research project on logic and would be interested in real examples of the use of the theory of formal logic for any scientific or technological research. I'm well aware that logic, to begin with our intuitive sense of logic, is necessary to just about everything we do in life...
What exactly is the usefulness of formal logic theory?
And how much useful is it?
I believe that most of us have an intuitive sense of logic, which has to be very useful throughout our lives and just about for every situation we can think of. Given that, I came to wonder what more does formal...