@kennethamy,
kennethamy;170670 wrote:Does any of the above mean that people who know nothing about formal logic, and who preach about it, are not ridiculous? Of course not. It has nothing to do with it. People who program computers need know no more about logic than a carpenter. Programming and formal logic have absolutely nothing to do with each other. Anyone who believes they do shows he knows nothing about formal logic.
Well, you seem to be totally ignorant of the interaction between the logical positivist influence on modern logic and it's utilization as a basis for logical models of computation which ultimately lead to the awesomely complex logical edifice that is the modern computer and it's operating system.
Goedel's first incompleteness theorem and more importantly, techniques used in it's proof gave the basis for knowing the bounds of computable operations. That we can provably assert the computability or incomputability of a program is in a fundamental way due to the work of Kurt Godel.
Furthermore, various systems of logic aside from first order logic are utilized in theoretical computer science. The topology of the realm of the logician has become quite diverse over the last century. Logics are simply set rules meant to model some linguistic or computational paradigm. Modal logic, for instance, is utilized in the area of dynamic logic to model changing information and belief states. This is applied in the way of confirming that data has been received, interchanging data, ect. Linear Logic provides a logical formulation of computational cost/complexity and a framework for reasoning with it.
The actual formal logical basis to just about any programming language is highly complex. Even in the act of programming, you deal with many thousands of FOL statements as well as deal with processes that have a complex logical framework associated with them. At the very least a programmer would understand basic FOL if not the complex logic from which the theory of computation is built.
The truth of the matter is this: A programmer is to a logician as a mechanical engineer is to a mathematician. Or maybe an electrical engineer if he does some work in the theory of programming languages or complexity theory.