# How to explain, that logic is the correct way of describing any system, process, etc? [closed]

Logic is the philosophical study of valid reasoning. Mathematical logic is an extension of symbolic logic (which is extension of formal logic) into other areas, in particular to the study of model theory, proof theory, set theory, and recursion theory.

How to explain, that logic is the only correct way of describing any valid process? Why it is not possible to define logic in different way, and then build an alternative foundation for systems, processes?

-

## closed as off topic by Andy Putman, Tom Leinster, Dan Petersen, Steven Landsburg, Andrés E. CaicedoMar 21 '12 at 6:15

Questions on MathOverflow are expected to relate to research level mathematics within the scope defined by the community. Consider editing the question or leaving comments for improvement if you believe the question can be reworded to fit within the scope. Read more about reopening questions here.If this question can be reworded to fit the rules in the help center, please edit the question.

There are other ways of describing valid processes, not just logical, and they are not "incorrect". You need to specify your goal in such an endeavour before making such statements. If your goal is to say that valid reasoning is the only way to reason with validity about systems and processes, well, I suppose that logically follows. Much as I enjoy mathematics and mathematical logic, I prefer to live in a richer world where one can do more with systems than just reason about them in a formalizable fashion. Gerhard "Ask Me About System Design" Paseman, 2012.03.20 – Gerhard Paseman Mar 21 '12 at 6:07
which logic? there are so many of them! – Kaveh Apr 20 '12 at 2:51