What is the difference between the logical connectives as used by philosophers, and the logical connectives as used by computer programmers in computer programs? As a former computer programmer and analyst myself, this is something I deeply understand, but I think that I didn’t explain this issue very clearly in my essay. And I think that many people without my deep hands-on experience in the industry would not be aware that there is a difference.
With physics’ equations that represent the laws of nature, only the categories that apply to matter (like mass or relative position) are potentially measurable. The very important linking bits that connect and hold the world together, represented by the mathematical operators and the equals signs, are aspects of the world that are assumed to exist, but these symbols represent aspects of the world that are not measurable.
Similarly, if these same categories that apply to matter, with their associated current on-the-spot numbers, were symbolically represented as a logical proposition in a logical statement, e.g.
“IF (P IS TRUE) AND (Q IS TRUE) THEN (R IS TRUE)”,
only the truth of the logical proposition aspect, e.g.
“(m = 0.511 MeV) IS TRUE”
would be potentially verifiable. The logical connectives themselves (like IF, THEN, AND, and IS TRUE) would represent aspects of the world that are not themselves measurable or verifiable.
And, seemingly, there is in fact a logical aspect to the world, just like there is a mathematical-lawful aspect to the world. But, at least one of the logical connective symbols used by philosophers has a different meaning to the same logical connective symbol used by computer programmers in computer programs. The THEN logical connective used by philosophers has a completely different meaning to the THEN connective used by computer programmers in computer programs.
In philosophy, the “THEN” means “logically implies”, but when a computer programmer writes a “THEN” as part of a statement in a computer program, the “THEN” part of the statement is NOT logically implied by the “IF” part of the statement: the “THEN” part of the statement is essentially a product of the creatively free imagination of the computer programmer. However, once written and uploaded to a computer setup, and the computer program is running, the THEN statement becomes a mathematically necessary instruction for the computer to follow, due to the laws of nature.
In computer programming, like in other aspects of real life in the real world, the “THEN” is not logically or mathematically implied by the "IF". In other words, in the real world, free will exists (at least for computer programmers!! 😊 ).