What the theorems of Incompleteness or Undecidability assert...

 Posts: 1474
 Joined: Wed Jul 08, 2015 1:53 am
 Location: Saskatoon, SK, Canada
What the theorems of Incompleteness or Undecidability assert...
Given that I see this is being misrepresented in prior conversations, I want to use this thread to help clarify the meaning of these theorems distinctly from other threads using assumptions about them for other justifications.
In particular, these theorem's were motivated by a question:
(1) Can we find some universal logic that can cover the full range of all specific logical systems?
AND/OR
(2) Are we permitted to use any logic, especially some possible universal one, with initial simple premises (including possibly none) to prove all of reality beyond mere abstraction, such as scientific truths?
Before moving on, I want to ask participants of this thread to tell me if they agree or disagree to this underlying motive before hand because if you disagree, we need to establish this by reference to those theorem's sources.
So do you agree these were the initial motivating questions?
If you don't, at least tell me if these are appropriate questions that you would think are reasonable to ask.
In particular, these theorem's were motivated by a question:
(1) Can we find some universal logic that can cover the full range of all specific logical systems?
AND/OR
(2) Are we permitted to use any logic, especially some possible universal one, with initial simple premises (including possibly none) to prove all of reality beyond mere abstraction, such as scientific truths?
Before moving on, I want to ask participants of this thread to tell me if they agree or disagree to this underlying motive before hand because if you disagree, we need to establish this by reference to those theorem's sources.
So do you agree these were the initial motivating questions?
If you don't, at least tell me if these are appropriate questions that you would think are reasonable to ask.
Re: What the theorems of Incompleteness or Undecidability assert...
Allow me to interject here.
Theorems, axioms, conjectures. All of these things exist in the realm of the conceptual and the abstract!
The assertions any such theorems would make are strictly about the structure and systemic properties of the logicsystem itself.
None of the theorems ever tell us how the system would/will behave IF it is applied to realworld scenarios. You need empiricism for this!
And so the crux of the matter (as with all decisions) is human value.
What logic system do we want and why?
I want logical systems that work!
Towards WHAT end?
HOW do we distinguish between a logical system that works and a logical system that doesn’t work? What are our criteria for success and failure?
And I am going to openly state that I am a modeldependent realist.
All models with equivalent predictive utility are equivalently “real”.
Theorems, axioms, conjectures. All of these things exist in the realm of the conceptual and the abstract!
The assertions any such theorems would make are strictly about the structure and systemic properties of the logicsystem itself.
None of the theorems ever tell us how the system would/will behave IF it is applied to realworld scenarios. You need empiricism for this!
And so the crux of the matter (as with all decisions) is human value.
What logic system do we want and why?
I want logical systems that work!
Towards WHAT end?
HOW do we distinguish between a logical system that works and a logical system that doesn’t work? What are our criteria for success and failure?
And I am going to openly state that I am a modeldependent realist.
All models with equivalent predictive utility are equivalently “real”.

 Posts: 1474
 Joined: Wed Jul 08, 2015 1:53 am
 Location: Saskatoon, SK, Canada
Re: What the theorems of Incompleteness or Undecidability assert...
Logik,
I separated this discussion from your thread to attempt to figure out what the authors of the original theorems were about, not to something any of us interpret of them until we've established some common grounds. So we need to determine the motivating questions that first arose to do this. I need to determine ('decide'! ) whether you agree to those questions about motives first because I cannot prove nor disprove what you are thinking if we don't share the same initial understandings about those theorems, conjectures, etc.
So do you agree or disagree that those two questions were the original intent to digress into theorems about limitations of logic?
I separated this discussion from your thread to attempt to figure out what the authors of the original theorems were about, not to something any of us interpret of them until we've established some common grounds. So we need to determine the motivating questions that first arose to do this. I need to determine ('decide'! ) whether you agree to those questions about motives first because I cannot prove nor disprove what you are thinking if we don't share the same initial understandings about those theorems, conjectures, etc.
So do you agree or disagree that those two questions were the original intent to digress into theorems about limitations of logic?
Re: What the theorems of Incompleteness or Undecidability assert...
I agree with the way you have summarised the two positions BUT I think the strategy for enquiry is misguided and already presupposed too much.
Irrespective of the structural/systemic/provable/decidable properties of any logic system there is one decision that cannot be solved IN logic.
Given two logic systems ,A and B, which one is “better” and why?
The problem or choice plagues everything! Even choosing A logic. ANY logic!
Now, I do not know how to solve this problem except by saying “the one that works better”.
And we are immediately stuck asking “for what purpose?”
And we are also stuck with “define what works and doesn’t work means”.
Irrespective of the structural/systemic/provable/decidable properties of any logic system there is one decision that cannot be solved IN logic.
Given two logic systems ,A and B, which one is “better” and why?
The problem or choice plagues everything! Even choosing A logic. ANY logic!
Now, I do not know how to solve this problem except by saying “the one that works better”.
And we are immediately stuck asking “for what purpose?”
And we are also stuck with “define what works and doesn’t work means”.

 Posts: 1474
 Joined: Wed Jul 08, 2015 1:53 am
 Location: Saskatoon, SK, Canada
Re: What the theorems of Incompleteness or Undecidability assert...
Okay, you appear to agree to the motivating questions.Logik wrote: ↑Tue Feb 26, 2019 1:47 amI agree with the way you have summarised the two positions BUT I think the strategy for enquiry is misguided and already presupposed too much.
Irrespective of the structural/systemic/provable/decidable properties of any logic system there is one decision that cannot be solved IN logic.
Given two logic systems ,A and B, which one is “better” and why?
The problem or choice plagues everything! Even choosing A logic. ANY logic!
But your assumption that we cannot decide between any SPECIFIC logic systems' capacity to work, is not what those theorems are about. That would be perfect suicide of the theorems themselves. If the logic of theorems about limitations are to be valid, AT LEAST the logic they are using to prove this HAS to be already deemed complete and consistent. It would fall in its own 'trap' without becoming contradictory.
The only prior limitation granted to ANY 'classic' logic system at all is that it cannot include Contradiction or it would have to be defined outside those theorems' range to discuss. They already know that 'paraconsistent' is not a term to define "logic" because those (the paraconsistent systems) are new systems (nonclassical) that added this adjective to those systems that have more than mere binary truth values.
Nonclassical ones ARE the modern versions that are used in things like Quantum Mechanics. such as Fuzzy Logic. The classic versions at their core require being defined as 'consistent' through the "Law of Identity", the "Law of Noncontradiction" and the "Law of Exclusive (Alternatives)". All these are actually one law expressed in different perspectives. So if you think that 'classical' logic has one but not the other, you are necessarily contradicting their intended meaning about what is 'classic'.
Re: What the theorems of Incompleteness or Undecidability assert...
I think there is more conceptual misunderstanding. A theorem. ANY theorem is a logical consequence of an axiom or axioms.Scott Mayers wrote: ↑Tue Feb 26, 2019 2:18 amBut your assumption that we cannot decide between any SPECIFIC logic systems' capacity to work, is not what those theorems are about. That would be perfect suicide of the theorems themselves.
Because you are speaking of theorems, I am jumping to the conclusion that you already have SOME axioms which you accept as true.
Can you state them?
Like I said  computation is an empty canvas for evaluating consequences.
The consequences of WHAT? You decide.
Another conceptual misalignment. What is your concept of a "proof" ? In any axiomatic system "proof" is something like "follows directly from the axioms, but if you are in an incomplete system there will be valid theorems which do not follow (Godel's work). So a much better definition of a "proof" (one that works across complete AND incomplete logical systems) is "proposition that does not contradict any of the axioms of the system".Scott Mayers wrote: ↑Tue Feb 26, 2019 2:18 amIf the logic of theorems about limitations are to be valid, AT LEAST the logic they are using to prove this HAS to be already deemed complete and consistent. It would fall in its own 'trap' without becoming contradictory.
Which leads right back to the previous paragraph: what are your axioms?
Another thing to note is that by CurryHoward isomorphism we know EXACTLY what a "proof" is.
Any and all working programs are valid mathematical proofs.
What does Windows 10 prove? It proves that it's consistent with the axioms!
What are the axioms? Whatever YOU defined them as.
See the problem?
Logic is just LEGO. The STRUCTURE of logic (even if incredibly complex and internally consistent) needs NOT correspond to the STRUCTURE of reality in ANY way.
Turingcompleteness guarantees no contradictions by the fact that computers manipulate information (e.g they manipulate matter!)Scott Mayers wrote: ↑Tue Feb 26, 2019 2:18 amThe only prior limitation granted to ANY 'classic' logic system at all is that it cannot include Contradiction or it would have to be defined outside those theorems' range to discuss. They already know that 'paraconsistent' is not a term to define "logic" because those (the paraconsistent systems) are new systems (nonclassical) that added this adjective to those systems that have more than mere binary truth values.
You cannot contradict information because you cannot contradict reality.
The laws of identity and noncontradiction are only necessary in a framework where it is POSSIBLE to produce contradictions.
I am still waiting for somebody to show me what a contradiction looks like in any programming language.
You can show me grammatical errors. You can show me syntax errors. You can show me semantic errors.
You can't show me a contradiction.
I am contradicting the intended meaning of contradiction?Scott Mayers wrote: ↑Tue Feb 26, 2019 2:18 amNonclassical ones ARE the modern versions that are used in things like Quantum Mechanics. such as Fuzzy Logic. The classic versions at their core require being defined as 'consistent' through the "Law of Identity", the "Law of Noncontradiction" and the "Law of Exclusive (Alternatives)". All these are actually one law expressed in different perspectives. So if you think that 'classical' logic has one but not the other, you are necessarily contradicting their intended meaning about what is 'classic'.
That's a little recursive e.g computational
Re: What the theorems of Incompleteness or Undecidability assert...
Having had a good night's rest I reread this question and I want to point out its dualistic nature.Scott Mayers wrote: ↑Tue Feb 26, 2019 12:17 am(2) Are we permitted to use any logic, especially some possible universal one, with initial simple premises (including possibly none) to prove all of reality beyond mere abstraction, such as scientific truths?[/b]
1. You are asking "Are we permitted?" Which (I will adhere to LEM for now so we don't get derailed) is the same as asking "Are we forbidden?"
Forbidden by whom and why?
2. You cannot prove ANYTHING about reality with logic. NOTHING. NADA. ZILCH. ZIP.
The concept of 'proof' is valid only within the context of logic, NOT in the context of using logic FOR THE PURPOSES OF reasoning about reality.
There is no guarantee for fitness of purpose anywhere on the box.
All you can prove with logic is that you have not violated the rules of the logicsystem in any way. All that a proof tells you is that you haven't violated the grammar, semantics and vocabulary of the "language" that you are using.
All that a proof tells you is that you have made no DEDUCTIVE errors.
What a 'proof' cannot tell you is whether the STRUCTURE of your argument corresponds to the STRUCTURE of reality.
3. Taking the concept of being 'forbidden'  it is 'forbidden' to say 1 ∧ 1 = 0. WHY?
Because that is how ∧ is defined? WHY did you define ∧ that way?
WHY didn't you define ∧ so that 1 ∧ 1 = 0?
All that a mathematical/logical proof tells you is that you haven't broken any of the rules you PROMISED to adhere to.
Proof is accountability.
At this point your logic is still subject to "Garbage in  Garbage out".

 Posts: 1474
 Joined: Wed Jul 08, 2015 1:53 am
 Location: Saskatoon, SK, Canada
Re: What the theorems of Incompleteness or Undecidability assert...
The 'classical' versus 'nonclassical' definitions of logic is about 'consistency'. The classical ones are all consistency based whereas all the other variations accept some form of denial of 'consistency' as a requirement by their own extra additions of the classical versions.
All computers by default are 'classical' and thus, as you noted, cannot 'contradict'. So how or why you go against the very 'classical' forms begs why? The nonclassical forms that allow contradiction are similar to the quantum computing. They may 'cheat' to create the illusion of contradicting or utilize newer design to approach this. Some believe it is possible via the weirdness of quantum entanglement. THAT is "nonclassical"!
All computers and programs run through them are 'consistent' in that if the design is not malfunctioning, only the people are at fault (Gi/Go concept you embrace).
So this indicates you are misinformed about what 'classical' logic is.

I'll respond 'firstin, lastout' because you said you slept and redressed me with more clarity.
These are a response to the second motivating question which just adds to the first a question about whether we can extend logic beyond validity by beginning with apriori matters. I disagree with your answer but my opinion is distinct from the original motivating questions. This was a real question asked and a part of much of the controversies between scientific and logical/mathematical philosophy at the same time as the first question. "Permit" was about the fact that this is relatively 'political', not actually able to be deemed false. If laws of nature have no 'logic', you'd have to step back to question whether computers actually require being 'consistent'.
The point is that these questions historically gave rise to limitationtheorems in logic. Pioneers of the 19th century begun to realize paradoxes in logic, science, and reality in general, which was summed up by 1900 (for logic more specifically) as "Hilbert's Program". Basically, he listed a set of problems within mathematics (which was 'logic' limited to number and measure) that acted as a sort of manifesto to solve all of math in one unified umbrella. It was a hope to unify all laws of reality into a simple formulation based on a minimum set of common postulates, of which the fewest would ideally be zero or one. [Zero is preferable; but, just as HOW you responded above with absolution about logic to NEVER be able to prove anything about reality, this steps into politics because that kind of response is itself paradoxical and unable to be resolved without logic: what 'logic' can we allow/permit to use to 'disprove' that logic is itself not at the core of reality? There is none other than religioustype beliefs about limits based on emotion and our senses.]
Either way, paradoxes, which are real contradictions (until/unless resolved) are what the 'limits' pertain to.
A 'proof' only deals with structure, not the 'truth' of the premises but the theorems that are validated of them require the very first inputs to be gambled as true. If the domain of the first input premises being used are true though, formal logic (deductive) requires the conclusion to follow or, regardless of the 'reality' of the claims of the inputs, those conclusions about reality are also invalid. So logic IS necessary for proofs about reality except for the core 'observations' that cannot be questioned by anyone other than the subjective individuals senses. Anything else beyond that is 'politics'. Science, for instance, is a 'politic' in that it requires AGREEMENT of subjective observers who vote on which definitions, interpretations, and logic systems that are 'permitted' to be used in the study of reality.
You are jumping over the motivational problem here. The motivation of the limit theorems were about whether a universal system of logic as a 'parent' logic....a metalogical system....could be found that all other complex ones could be rooted in. It doesn't concern itself with whether one can create different architectures or programs that are 'free' to define its terms distinctly.
[I just wiped out a block of response and am not rewriting. They could use a 'selectall' option here. I tried to highlight the whole thing to 'save' and it instead deleted the end material!]
I'll have to try again later. For now I'll post and you're welcome to respond at least to this.
All computers by default are 'classical' and thus, as you noted, cannot 'contradict'. So how or why you go against the very 'classical' forms begs why? The nonclassical forms that allow contradiction are similar to the quantum computing. They may 'cheat' to create the illusion of contradicting or utilize newer design to approach this. Some believe it is possible via the weirdness of quantum entanglement. THAT is "nonclassical"!
All computers and programs run through them are 'consistent' in that if the design is not malfunctioning, only the people are at fault (Gi/Go concept you embrace).
So this indicates you are misinformed about what 'classical' logic is.

I'll respond 'firstin, lastout' because you said you slept and redressed me with more clarity.
I assumed by "LEM" you are meaning "Law of Excluded Middle"? but can't see how this fits with the motive question(s)? [maybe this is "Lunar Excursion Module" for all I know?]logic wrote: Scott Mayers wrote: ↑Mon Feb 25, 2019 5:17 pm
(2) Are we permitted to use any logic, especially some possible universal one, with initial simple premises (including possibly none) to prove all of reality beyond mere abstraction, such as scientific truths?[/b]
Having had a good night's rest I reread this question and I want to point out its dualistic nature.
1. You are asking "Are we permitted?" Which (I will adhere to LEM for now so we don't get derailed) is the same as asking "Are we forbidden?"
Forbidden by whom and why?
2. You cannot prove ANYTHING about reality with logic. NOTHING. NADA. ZILCH. ZIP.
The concept of 'proof' is valid only within the context of logic, NOT in the context of using logic FOR THE PURPOSES OF reasoning about reality.
These are a response to the second motivating question which just adds to the first a question about whether we can extend logic beyond validity by beginning with apriori matters. I disagree with your answer but my opinion is distinct from the original motivating questions. This was a real question asked and a part of much of the controversies between scientific and logical/mathematical philosophy at the same time as the first question. "Permit" was about the fact that this is relatively 'political', not actually able to be deemed false. If laws of nature have no 'logic', you'd have to step back to question whether computers actually require being 'consistent'.
The point is that these questions historically gave rise to limitationtheorems in logic. Pioneers of the 19th century begun to realize paradoxes in logic, science, and reality in general, which was summed up by 1900 (for logic more specifically) as "Hilbert's Program". Basically, he listed a set of problems within mathematics (which was 'logic' limited to number and measure) that acted as a sort of manifesto to solve all of math in one unified umbrella. It was a hope to unify all laws of reality into a simple formulation based on a minimum set of common postulates, of which the fewest would ideally be zero or one. [Zero is preferable; but, just as HOW you responded above with absolution about logic to NEVER be able to prove anything about reality, this steps into politics because that kind of response is itself paradoxical and unable to be resolved without logic: what 'logic' can we allow/permit to use to 'disprove' that logic is itself not at the core of reality? There is none other than religioustype beliefs about limits based on emotion and our senses.]
Either way, paradoxes, which are real contradictions (until/unless resolved) are what the 'limits' pertain to.
And this is precisely proof of your own that the questions of the past were worthy of challenging. If there is a 'universal' logic, then all things could be unified to one standard of proof. This would require a baselogic or 'firstorder' one of which all other different types can resort to as a foundation.logik wrote: There is no guarantee for fitness of purpose anywhere on the box.
All you can prove with logic is that you have not violated the rules of the logicsystem in any way. All that a proof tells you is that you haven't violated the grammar, semantics and vocabulary of the "language" that you are using.
All that a proof tells you is that you have made no DEDUCTIVE errors.
What a 'proof' cannot tell you is whether the STRUCTURE of your argument corresponds to the STRUCTURE of reality.
A 'proof' only deals with structure, not the 'truth' of the premises but the theorems that are validated of them require the very first inputs to be gambled as true. If the domain of the first input premises being used are true though, formal logic (deductive) requires the conclusion to follow or, regardless of the 'reality' of the claims of the inputs, those conclusions about reality are also invalid. So logic IS necessary for proofs about reality except for the core 'observations' that cannot be questioned by anyone other than the subjective individuals senses. Anything else beyond that is 'politics'. Science, for instance, is a 'politic' in that it requires AGREEMENT of subjective observers who vote on which definitions, interpretations, and logic systems that are 'permitted' to be used in the study of reality.
Now you are 'transferring' definitions in your head to 'forbidden' when you link it to 'permitted' (the actual word I used). What is 'permitted' about my statement on motives was to the political option to allow some particular system of reasoning (logic) to be used within a field, like science. What is 'permitted' deals with whether upon arguing between people if we must accept that logic is 'allowed' to prove or disprove something about reality, ....not about whether nature 'permits' variable logic systems to be used in principle.3. Taking the concept of being 'forbidden'  it is 'forbidden' to say 1 ∧ 1 = 0. WHY?
You are jumping over the motivational problem here. The motivation of the limit theorems were about whether a universal system of logic as a 'parent' logic....a metalogical system....could be found that all other complex ones could be rooted in. It doesn't concern itself with whether one can create different architectures or programs that are 'free' to define its terms distinctly.
We are not on the same page. The "garbage in garbage out" issue relates but logic calls this 'validity'. The logic is only as "sound" (meaning maps to reality) if it is BOTH valid and its content 'true' to reality.logik wrote: All that a mathematical/logical proof tells you is that you haven't broken any of the rules you PROMISED to adhere to.
Proof is accountability.
At this point your logic is still subject to "Garbage in  Garbage out".
[I just wiped out a block of response and am not rewriting. They could use a 'selectall' option here. I tried to highlight the whole thing to 'save' and it instead deleted the end material!]
I'll have to try again later. For now I'll post and you're welcome to respond at least to this.
Re: What the theorems of Incompleteness or Undecidability assert...
This is the roseA = roseB problem. What is the difference between a consistent and an inconsistent system?Scott Mayers wrote: ↑Tue Feb 26, 2019 8:17 pmThe 'classical' versus 'nonclassical' definitions of logic is about 'consistency'. The classical ones are all consistency based whereas all the other variations accept some form of denial of 'consistency' as a requirement by their own extra additions of the classical versions.
What is your paragon for 'consistency'?
By the CurryHoward isomorphism mine is Turingcompleteness.
Correlation is not causation. They cannot contradict BECAUSE when you implement the mathematics of a Boolean gate in a transistor it is IMPOSSIBLE for a bit to be low AND high voltage at the same time. If that were to happen it's either a hardware problem or your 'classical' machine just went Quantum...Scott Mayers wrote: ↑Tue Feb 26, 2019 8:17 pmAll computers by default are 'classical' and thus, as you noted, cannot 'contradict'.
aScott Mayers wrote: ↑Tue Feb 26, 2019 8:17 pmSo how or why you go against the very 'classical' forms begs why?
Because it is undecidable. Consistentbutundecidable is not Turingcomplete and if it's not Turingcomplete it is not representative of MY mind.
Because I make choices when I think. I recall memories. I store memories for later retrieval.
I think factually and counterfactually. The process most definitely does NOT fit in the structures of classical logic.
I don't like prison cells for my mind.
Here is a paraconsistent logic which violates identity while preserving LEM and LNC.Scott Mayers wrote: ↑Tue Feb 26, 2019 8:17 pmThe nonclassical forms that allow contradiction are similar to the quantum computing. They may 'cheat' to create the illusion of contradicting or utilize newer design to approach this. Some believe it is possible via the weirdness of quantum entanglement. THAT is "nonclassical"!
https://repl.it/repls/StrangeLiquidPolyhedron
OK great! We are on the same page. If you accept the CurryHoward isomorphism then working computer programs are proofs.Scott Mayers wrote: ↑Tue Feb 26, 2019 8:17 pmAll computers and programs run through them are 'consistent' in that if the design is not malfunctioning, only the people are at fault (Gi/Go concept you embrace).
And so if you are calling a nonmalfunctioning program 'consistent' this is synonymous meaning with 'valid'.
Proofs compute. A Program without errors is DEDUCTIVELY valid and contains no grammatical/semantic errors.
That is ALL validity buys you. Guarantee that you haven't made a LINGUISTIC error. You have good grammar! **pats back**
It makes absolutely no guarantees whether your system produces anything of value whatsoever.
It definitely does not give you "correspondence".
It is completebutundecidable and therefore NOT Turingcomplete.Scott Mayers wrote: ↑Tue Feb 26, 2019 8:17 pmSo this indicates you are misinformed about what 'classical' logic is.
Its grammar and semantics do not allow for expressing things like storing/recollecting memories OR ifthenelse type expressions and therefore it is not representative of the way I think.
What am I misinformed about?
Lets take a step back here though. By CurryHoward EVERY SINGLE WORKING PROGRAM is valid AND complete.Scott Mayers wrote: ↑Tue Feb 26, 2019 8:17 pmI assumed by "LEM" you are meaning "Law of Excluded Middle"? but can't see how this fits with the motive question(s)?
These are a response to the second motivating question which just adds to the first a question about whether we can extend logic beyond validity by beginning with apriori matters. I disagree with your answer but my opinion is distinct from the original motivating questions. This was a real question asked and a part of much of the controversies between scientific and logical/mathematical philosophy at the same time as the first question. "Permit" was about the fact that this is relatively 'political', not actually able to be deemed false. If laws of nature have no 'logic', you'd have to step back to question whether computers actually require being 'consistent'.
Code: Select all
X = 5
All 15 million lines of the Linux kernel. Valid and Complete logical system.
Neither my 1liner above nor the linux kernel are exactly representative of anything pertaining to reality (I think)?
So it seems to me that consistency (validity?) is necessarybutinsufficient.
A logical system's STRUCTIRE being internally consistent does not (in any way) suggest that the system's structure corresponds to the structure of reality in any useful or meaningful way.
The most interesting of Hilbert's problems (as far as I can tell) is his Entscheidungsproblem.Scott Mayers wrote: ↑Tue Feb 26, 2019 8:17 pmThe point is that these questions historically gave rise to limitationtheorems in logic. Pioneers of the 19th century begun to realize paradoxes in logic, science, and reality in general, which was summed up by 1900 (for logic more specifically) as "Hilbert's Program". Basically, he listed a set of problems within mathematics (which was 'logic' limited to number and measure) that acted as a sort of manifesto to solve all of math in one unified umbrella. It was a hope to unify all laws of reality into a simple formulation based on a minimum set of common postulates, of which the fewest would ideally be zero or one. [Zero is preferable; but, just as HOW you responded above with absolution about logic to NEVER be able to prove anything about reality, this steps into politics because that kind of response is itself paradoxical and unable to be resolved without logic: what 'logic' can we allow/permit to use to 'disprove' that logic is itself not at the core of reality? There is none other than religioustype beliefs about limits based on emotion and our senses.]
Either way, paradoxes, which are real contradictions (until/unless resolved) are what the 'limits' pertain to.
Which is exactly the roseA = roseB problem
Your use of 'proof' is ambiguous here. CurryHoward (computaqbility) is an objective and universal standard (PROOF OF) validity.Scott Mayers wrote: ↑Tue Feb 26, 2019 8:17 pmAnd this is precisely proof of your own that the questions of the past were worthy of challenging. If there is a 'universal' logic, then all things could be unified to one standard of proof. This would require a baselogic or 'firstorder' one of which all other different types can resort to as a foundation.
If standardization you want  that is solved.
This is precisely WHY I insisted on tackling the is logic A better than logic B problem? Define "better"
Does not not bother you though that all Mathematical logic is deductive in an inductive reality?Scott Mayers wrote: ↑Tue Feb 26, 2019 8:17 pmA 'proof' only deals with structure, not the 'truth' of the premises but the theorems that are validated of them require the very first inputs to be gambled as true. If the domain of the first input premises being used are true though, formal logic (deductive) requires the conclusion to follow or, regardless of the 'reality' of the claims of the inputs, those conclusions about reality are also invalid. So logic IS necessary for proofs about reality except for the core 'observations' that cannot be questioned by anyone other than the subjective individuals senses. Anything else beyond that is 'politics'. Science, for instance, is a 'politic' in that it requires AGREEMENT of subjective observers who vote on which definitions, interpretations, and logic systems that are 'permitted' to be used in the study of reality.
It sure strikes me as using the wrong tool for the job...
Permit/forbid.Scott Mayers wrote: ↑Tue Feb 26, 2019 8:17 pmNow you are 'transferring' definitions in your head to 'forbidden' when you link it to 'permitted' (the actual word I used). What is 'permitted' about my statement on motives was to the political option to allow some particular system of reasoning (logic) to be used within a field, like science.
Allow/deny.
Potato  potato.
Science is a pragmatic institution, not a prescriptive one.
That's an easy answer. No.Scott Mayers wrote: ↑Tue Feb 26, 2019 8:17 pmWhat is 'permitted' deals with whether upon arguing between people if we must accept that logic is 'allowed' to prove or disprove something about reality, ....not about whether nature 'permits' variable logic systems to be used in principle.
Logic computes consequences. With a certain margin of error.
The answer is yes. The Type 0 Chomsky grammar is the superset of all regular grammars.Scott Mayers wrote: ↑Tue Feb 26, 2019 8:17 pmYou are jumping over the motivational problem here. The motivation of the limit theorems were about whether a universal system of logic as a 'parent' logic....a metalogical system....could be found that all other complex ones could be rooted in.
https://en.wikipedia.org/wiki/Chomsky_hierarchy
https://en.wikipedia.org/wiki/Regular_language
Unfortunately this paragraph is contradictory with the one before.Scott Mayers wrote: ↑Tue Feb 26, 2019 8:17 pmIt doesn't concern itself with whether one can create different architectures or programs that are 'free' to define its terms distinctly.
Type 0 Chomsky grammars are Turing complete and therefore isomorphic to Lambda calculus.
And so you have infinite freedom to define any and all of your terms.
Of course, this is a very intuitive conclusion.
Logic is just language and so without some form of limits (STRUCTURE) anything goes.
Where do you get STRUCTURE from? Your mind  of course. You DESCRIBE the structure of your experiences.
More limits arrive when you marry the software with physical reality: hardware.
Then things like time, energy, space (memory) become things to be taken into account.
I thought we agreed that validity/consistency was the same as 'working software'?Scott Mayers wrote: ↑Tue Feb 26, 2019 8:17 pmWe are not on the same page. The "garbage in garbage out" issue relates but logic calls this 'validity'. The logic is only as "sound" (meaning maps to reality) if it is BOTH valid and its content 'true' to reality.
https://en.wikipedia.org/wiki/Decidability_(logic)
If validity is strictly a semantic notion (leaning towards Tarski's work) and all meaning is subjective then logical semantics cannot originate anywhere else but with the person CONSTRUCTING the logic.Each logical system comes with both a syntactic component, which among other things determines the notion of provability, and a semantic component, which determines the notion of logical validity.
Of course  this is to be expected because logic is just a Metalanguage all language ever was (is?) is a tool for selfexpression.
That we are trying to model reality IN language, well... Reality doesn't care what we want.
And so all you can ever define IN language is your metaphysical experiences OF reality. NOT reality itself.
Still! Computer are useful for other things than 'defining reality'....

 Posts: 1474
 Joined: Wed Jul 08, 2015 1:53 am
 Location: Saskatoon, SK, Canada
Re: What the theorems of Incompleteness or Undecidability assert...
"Turingcomplete" describes the universal Turing machines' capacity to solve all problem's ideally if given an infinite amount of time. This is what Turing designed as a complete particular system used to ask whether he could device a program that can 'finitely' decide if all Turing machines (ie, programs) cover all possible computational (logical) problems.logik wrote:It is completebutundecidable and therefore NOT Turingcomplete.Scott Mayers wrote: ↑Tue Feb 26, 2019 1:17 pm
So this indicates you are misinformed about what 'classical' logic is.
Its grammar and semantics do not allow for expressing things like storing/recollecting memories OR ifthenelse type expressions and therefore it is not representative of the way I think.
What am I misinformed about?
So he devised a universal Turing machine (a general computer) that was itself 'complete' in principle, then showed that for the list of all possible numbers that represent the code for each program (particular Turing machine), you should be able to pick one of those programs programmed to solve at least ONE problem of the infinite it is expected to solve.
So pick, say, writing a program that attempts to decide whether the list of numbers representing all possible programs run by the universal machine can finitely determine (decide) which ones will halt or not. Such a program cannot halt itself for ANY finite list of programs. If it cannot determine this itself without running infinitely, it cannot 'decide' with closure (completeness) that even a universally designed Turing machine can solve all problems, .....thus computation (as the process of logic) is incomplete.
"Classical" logic(s) are 'complete' on their own domain. They can also 'decide' all problems within their domains or they would not be called 'complete'. The Entscheidungsproblem (I hate using foreign languages that hide its meaning) is that 'halting' subprogram (algorithm) used IN that universal Turing machine to test whether it CAN completely ask all possible programs (including itself) when represented as data, to solve a finite question (can this given program 'halt'). Because that finite question itself was about asking an infinity of possible machines that can possibly be created, for any 'finite' list of possible programs that are complete, it cannot cover all possible programs finitely for that very program to tell us a clear yes or no. Thus that proved that ONE such program, the halting program in particular, cannot do what it was programmed to do: finitely answer something about something infinite.
A 'consistent' system is one in which the axioms of the logical system being used, themselves do not contradict each other. "Completeness" is about whether all possible inputs to the whole system those logical axioms allow can have a definite conclusion (ie. a decidable outcome). Your picture matching example is not about 'decisions' when you stick to ONE of those hypotheses that defined 'true' from 'false'. That system would be INCONSISTENT if you kept both hypotheses as axiomatic choices.Logik wrote:This is the roseA = roseB problem. What is the difference between a consistent and an inconsistent system?Scott Mayers wrote: ↑Tue Feb 26, 2019 1:17 pm
The 'classical' versus 'nonclassical' definitions of logic is about 'consistency'. The classical ones are all consistency based whereas all the other variations accept some form of denial of 'consistency' as a requirement by their own extra additions of the classical versions.
You cannot define a system that has both,
X == X and X != X [or X = X and X = notX] IF you define a system as requiring 'consistency'.
A paraconsistent logic might be one that is 'consistent' to defining some law as
IF (X ==notX) then DO Y
It happens to BE 'constructive', by the way, because such a rule would act to force a reconsistency by splitting the possibilities into parallel ways or places.
IF (X == notX) then (Y[1] = X) and (Y[2] = notX) where Y[1] is parallel but exclusive to Y[2].
Re: What the theorems of Incompleteness or Undecidability assert...
OK but the Turing machine is only infinite in theory. In practice  physics.Scott Mayers wrote: ↑Tue Feb 26, 2019 11:42 pm"Turingcomplete" describes the universal Turing machines' capacity to solve all problem's ideally if given an infinite amount of time. This is what Turing designed as a complete particular system used to ask whether he could device a program that can 'finitely' decide if all Turing machines (ie, programs) cover all possible computational (logical) problems.
So he devised a universal Turing machine (a general computer) that was itself 'complete' in principle, then showed that for the list of all possible numbers that represent the code for each program (particular Turing machine), you should be able to pick one of those programs programmed to solve at least ONE problem of the infinite it is expected to solve.
So pick, say, writing a program that attempts to decide whether the list of numbers representing all possible programs run by the universal machine can finitely determine (decide) which ones will halt or not. Such a program cannot halt itself for ANY finite list of programs. If it cannot determine this itself without running infinitely, it cannot 'decide' with closure (completeness) that even a universally designed Turing machine can solve all problems, .....thus computation (as the process of logic) is incomplete.
"Classical" logic(s) are 'complete' on their own domain. They can also 'decide' all problems within their domains or they would not be called 'complete'. The Entscheidungsproblem (I hate using foreign languages that hide its meaning) is that 'halting' subprogram (algorithm) used IN that universal Turing machine to test whether it CAN completely ask all possible programs (including itself) when represented as data, to solve a finite question (can this given program 'halt'). Because that finite question itself was about asking an infinity of possible machines that can possibly be created, for any 'finite' list of possible programs that are complete, it cannot cover all possible programs finitely for that very program to tell us a clear yes or no. Thus that proved that ONE such program, the halting program in particular, cannot do what it was programmed to do: finitely answer something about something infinite.
And so we have a bloody useful tool for determine which yes/no questions we CAN attempt to answer in a <reasonable amount of time>.
This is what computational complexity is all about.
That is PRECISELY why I posed the roseA = roseB problem in that way.
The problem is decidable IF you know how.
Agreed. This is why CurryHoward gets us to the mark. If the axioms were inconsistent  the compiler/interpreter would throw an error.Scott Mayers wrote: ↑Tue Feb 26, 2019 11:42 pmA 'consistent' system is one in which the axioms of the logical system being used, themselves do not contradict each other.
Of all the logical properties, completeness is the one I care about the least. Human knowledge IS incomplete. Human knowledge can NEVER be complete.Scott Mayers wrote: ↑Tue Feb 26, 2019 11:42 pm"Completeness" is about whether all possible inputs to the whole system those logical axioms allow can have a definite conclusion (ie. a decidable outcome). Your picture matching example is not about 'decisions' when you stick to ONE of those hypotheses that defined 'true' from 'false'. That system would be INCONSISTENT if you kept both hypotheses as axiomatic choices.
Scientific theories are modelapproximations. OBVIOUSLY we will leave out details.
We are looking at the world topdown. There is A LOT of information. To even begin to describe reality in its completeness requires A LOT of bandwidth (to retrieve the information FROM reality and INTO our heads).
Methinks some pragmatic consideration and compromises are necessary here
But you CAN DEFINE it (as you have done above) AND you can realize it with logic gates. I don't know why you would want to do such a thing since it always produces 0...Scott Mayers wrote: ↑Tue Feb 26, 2019 11:42 pmYou cannot define a system that has both,
X == X and X != X [or X = X and X = notX] IF you define a system as requiring 'consistency'.
 Arising_uk
 Posts: 12062
 Joined: Wed Oct 17, 2007 2:31 am
Re: What the theorems of Incompleteness or Undecidability assert...
(P → Q) & (~P → R)?Logik wrote:... Its grammar and semantics do not allow for expressing things like ... ifthenelse type expressions and therefore it is not representative of the way I think. ...
Re: What the theorems of Incompleteness or Undecidability assert...
Is there even a boolean operator for this?Arising_uk wrote: ↑Wed Feb 27, 2019 12:32 am(P → Q) & (~P → R)?Logik wrote:... Its grammar and semantics do not allow for expressing things like ... ifthenelse type expressions and therefore it is not representative of the way I think. ...
Let me see how the truth table plays out.
Re: What the theorems of Incompleteness or Undecidability assert...
So the booelean formula of the above is ( not p and q ) and ( p and r ) and the truth table is thisArising_uk wrote: ↑Wed Feb 27, 2019 12:32 am(P → Q) & (~P → R)?Logik wrote:... Its grammar and semantics do not allow for expressing things like ... ifthenelse type expressions and therefore it is not representative of the way I think. ...
https://repl.it/repls/InsubstantialWelllitCommunication
Code: Select all
False False False => False
False False True => False
False True False => False
False True True => False
True False False => False
True False True => False
True True False => False
True True True => False
But take note. While you will probably find some permutation to generate a truthtable that corresponds to your expectations, notice how unnatural it is to think this way!
Last edited by Logik on Wed Feb 27, 2019 11:26 am, edited 1 time in total.

 Posts: 1474
 Joined: Wed Jul 08, 2015 1:53 am
 Location: Saskatoon, SK, Canada
Re: What the theorems of Incompleteness or Undecidability assert...
I have to say I like your background even if we might not be precisely in agreement.logik wrote:But you CAN DEFINE it (as you have done above) AND you can realize it in the way that I showed you how. By gaming the sampling interval.Scott Mayers wrote: ↑Tue Feb 26, 2019 4:42 pm
You cannot define a system that has both,
X == X and X != X [or X = X and X = notX] IF you define a system as requiring 'consistency'.
You see X == X and X != X. I see:
X == X: store 1 in register A
X != X: store 0 in register B
A and B: 0
The LNC contradicts itself out of existence when you implement it on a computer.
This actually proves something about reality itself and similar to what I used to demonstrate HOW you can begin with absolutely nothing in totality to derive something. That is, you think that the computer program is presenting a contradiction when it is actually the underlying logic of reality itself (as a whole).
0 == (0 and 1)
but
1 != (0 and 1)
...which implies that 1 can only equal itself.... an Identity.
The computer operates this way because WE are the ones who have to turn it on for it to run. The '1' is represented as a charge or current of electrons (posited) in the system from an initial noncharged, noncurrent system [relatively to our construction of it of course.]
Assigning 0 to (A == A) is equivalent to assigning 0 == 1 in a way that one might say, "From nothing, we can get something."
We need to take a step back for clarity on the machine level of a computer though.
A 'variable' is a memory space. If that memory 'space' is constant, it is hardwired as 1 = passing current at some point, or 0 = no current (or no actual hardwired connection).
The memory address though is also represented by a number. So we can think of the literal memory space as a box labeled either 0 (for empty) or 1 (for notempty). The contents of it in fact do not have to fit with the box's label. So we can have 0 or 1 in side either box.
The distinction is about the hardware, which represents connections/current or lack of it . You can have an address defaulted to a hardwired original place and thus call it address 0. Any other address is 1 or greater. For simplicity, we can assume only two addresses. The contents are 'variable' (can be 0 xor 1) [or (0 or 1) if we allow for degrees of charge]
Assigning the variable in a program to seek the memory space labeled '0' with a '0' is (0 = 0) in computing. This is not 'logical equality'. However if we assign memory space labeled '1' with a '0', we can check for equality via the "==" but now have to clearly specify the distinction THAT both sides of that symbol are comparing the two memory spaces' contents, not their labels, such as, perhaps, ('0' == '1'). Going back, the actual (0 = 0) should be rendered as ('0' = 0) and the other memory unit as ('1' = 0). This clearly points out the problem you may be thinking. Note that we can also assign the contents of memory of one to the contents of the memory of the other. This too is distinct. To assign whatever is in variable '1' to variable '0', we need to do operations using AND and/or OR procedures. This can only be summarized in a higherorder language by something like ('0' = '1') but means, assign the contents of '1' to the contents of '0'.
Here is how I use it regarding Absolutely Nothing (capitalized given it would be the unique state, not a point of many in space). Let Totality be the label for totality and we assign its value as a 'something' == 1. At this extreme, the container, Totality is a something that is Absolutely One Thing in meaning to which nothing nor anything is outside of it. So this is not 'assigned' 1 but literally describes the container. (a container that contains a reference to itself such as, using the example above,
'1' = '1'
which is an infinite loop. It tries to assign the content of that which is called '1' into itself reflectively.
So NOW, given absolutes, you CAN assign the state of being ('1' == '1') to the variable '0' (standing for Absolutely nothing.
'0' = ('1'== '1').
If this whole statement is 'true', '0' is one real thing and so contradicts being a nothing.
If 'false', the meaning of Totality would have to be denied true (or existent).
Thus we have a 'contradiction' right? BUT wait! If Totality were an absolute nothing, it would not even hold meaning to neither what is or is not 'true' nor requires BEING 'consistent'. There is no law there that restricts it being so.
On the other hand, the case is still contradictory if we treat Totality as 'true' but is forced to be some concept apart from itself. Thus there are at least two factors if Totality were to be 'true': One for it being 'true' at least, and one for the meaning of 'truth'.
Totality thus CAN be an original Absolutely Nothing but Absolutely Nothing can come about if or once at least one thing is 'true'.
Follow me on this?
Who is online
Users browsing this forum: No registered users and 1 guest