How to explain, that logic is the correct way of describing any system, process, etc? - MathOverflow [closed] most recent 30 from http://mathoverflow.net 2013-05-21T16:23:52Z http://mathoverflow.net/feeds/question/91792 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/91792/how-to-explain-that-logic-is-the-correct-way-of-describing-any-system-process How to explain, that logic is the correct way of describing any system, process, etc? Steffen 2012-03-21T04:37:58Z 2012-03-21T05:09:50Z <p>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.</p> <p>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?</p> http://mathoverflow.net/questions/91792/how-to-explain-that-logic-is-the-correct-way-of-describing-any-system-process/91793#91793 Answer by Will Sawin for How to explain, that logic is the correct way of describing any system, process, etc? Will Sawin 2012-03-21T05:09:50Z 2012-03-21T05:09:50Z <p>Classical logic includes within it computability, and computability includes all the processes that we currently know how to construct.</p> <p>By "includes within it", I mean that if you have some process for coming to a conclusion about some question, and that process fits into one of the standard models of computation (and therefore all of them), you can describe it within logic and then logically reason your way to an outcome. You can prove: "This process starts with the data [abc], and follows rules [xyz], so at the next step it have the data [def], so ......." and end with "this process terminates with the conclusion [uvw]." Thus, conclusions made by any other system can be embedded into conclusions made by logic.</p> <p>Since we do not know how to build any non-computable system, logic is sufficient. If you come up with some kind of strange non-logical system, a logician can use logic to describe it and determine its conclusions perfectly.</p>