Liste des Groupes | Revenir à s logic |
On 7/5/2024 4:18 PM, Richard Damon wrote:But that isn't what you said above. You keep on getting your lies mixed up.On 7/5/24 4:12 PM, olcott wrote:That every expression of language that is {true on the basis ofOn 7/5/2024 2:54 PM, Richard Damon wrote:>On 7/5/24 1:38 PM, olcott wrote:>>>
Every expression such that neither X nor ~X is provable in L
is simply not a truth bearer in L. This does correctly reject
self-contradictory expressions that wold otherwise be interpreted
as the incompleteness of L.
FALSE STATEMENT.
>
Can't be false it is stipulated.
Can't stipulate that something is true.
>
its verbal meaning} must have a connection by truth preserving
operations to its {verbal meaning} is a tautology.
Sometimes in cases (having little actual consequence) thisNo, "verbal meaniing" isn't a recoginized term in formal system. Terms have definitions, and statements are evaluated by the grammer of the sytstem, NOT "Natural Lanugage".
may require an infinite sequence of truth preserving operations.
Irrelevent, and you are just showing you don't really understand how logic works.Also, stipulating a definition contrary to the system puts you out of the system.Right people really care about the Goldbach conjecture
>>>Some statements are true due to an infinite number of steps to ther truth-makers of the system.>
>
Already covered that.
Nope. That is just stipulating that you system is contradictory.
>>>You will lead your logic system into contradictions by your definition (or you just need to treat it as a worthless phrase that doesn't actually tell you anything, particually what you call non-truth-bearers, which might actuall be statement that are true or false).>
>
Not at all. Such a system does detect and reject self-contradictory
expressions thus does not use this as any basis for incompleteness.
Nope, it just puts your logic outside of most logic systems, and unable to hamdle most of the problems people really care about.
>
infinite more than avoiding Fascism or the death of
the planet.
Of course is does, your system definition contradicts itself, as it defines the Goldbach conjecture as both a non-truth-bearer and as a truth-bearer.That is not even what those words mean.>>>>>
This works correctly for every element of the accurate verbal
model of the actual world. Since we can see that things like
the Goldbach conjecture can be proven *OR REFUTED* in an infinite
sequence then an algorithm can see this too. For everything
else it is an infallibly correct system of reasoning.
>
So, you ADMIT that you definition doesn't work for some statements, and thus is not correct.
>
It detects expressions that require infinite steps as out
of scope and correctly determines all of the rest.
Nope, it defines your system as self-contradictory,
Nope, Putting all knowledge into a bucket and says "there it is" doesn't actualy do anything.as things like tht GoldBach conjecture are defined as BOTH non-truth-bearers, and as truth-bearers.That my system handles all knowledge that can be expressed
>
That seems to be the lie for your logic, that you just allow yourself to be wrong at times, which makes your logic worthless.
>>>Note, the algorithm can not tell wether the statement like to Goldback conjecture is true or not, or even if it takes an infinite number of steps to come to that answer. Thus, you statement is just a FALSEHOOD.Not at all. Because it is dead obvious to humans that Goldbach
>
can be proved or refuted in an infinite number of steps an
algorithm can see this too.
But it might not need an infinite number of steps to refute it.
>
using language is enough.
Then what else does your words mean.And that second definition contradicts your first, as the first defines Goldmach (if true) to be a non-truth-bearer, while the second tries to contradict that to say it is.That is not even what those words mean.
>
But no such "accurate model" exists.You can't do that in two different statements.An accurate model of the actual world already has
>>>You just don't understand logic well enough to understand that can't have definitions that just don't work as the basis of a system.>
>
By your definition, the Goldbach conjecture must currently be consider a non-truth-bearer, but we KNOW that it must be either true or false, we
It would be construed as out-of-scope.
Whether or not there was evidence of:
(a) Election fraud that could have possibly changed
the outcome of the 2020 presidential election or
(b) Very harmful climate change caused by humans
would be in scope.
Since both of those statements are based on EMPERICAL evidence, they are outside the scope of analytical logic.
>
them encoded in language.
Nope, you system is inconsistant as it ACCEPTED the GoldBach conjecture, and then defined it to be both a non-truth-bearer but not having a finite proof or refutation, and as truth-bearer, as it is clear that after doing the infinite tests, and answer will be found.out-of-scope is not at all the same thing as inconsistent.>>just don't know which, so you definition of a truth-bearer is just a lie.>
>
What you are defining are KNOWLEDGE bearers, statements that there truth can be known.
The key problem that it solves is that it makes True(L,x)
computable for all of the most important things that really
matter.
Nope, becuase you made you system inconsistent by defining infinitly established truths to be both non-truth-bearers and truth-bearers.
>
So?It can handle ALL knowledge that can be expressed using language.>>
You are essentially saying that
A cure for cancer is totally useless because it only cures
99.99% of cancers.
Nope, but it can't be said to be a cure for ALL cancers.
>
So? If we already know it, what good is that?That is where you run into the problem, trying to say that things that must be correct for ALL inputs, are allowed to only be correct for many inputs.The entire set of knowledge that can be expressed using language.
>
Les messages affichés proviennent d'usenet.