| Sysop: | Amessyroom |
|---|---|
| Location: | Fayetteville, NC |
| Users: | 27 |
| Nodes: | 6 (0 / 6) |
| Uptime: | 45:33:56 |
| Calls: | 632 |
| Calls today: | 3 |
| Files: | 1,187 |
| D/L today: |
24 files (29,813K bytes) |
| Messages: | 176,167 |
On 2025-03-17 15:40:22 +0000, olcott said:
On 3/16/2025 9:51 PM, Richard Damon wrote:
On 3/16/25 9:50 PM, olcott wrote:
On 3/16/2025 5:50 PM, Richard Damon wrote:
On 3/16/25 11:12 AM, olcott wrote:
On 3/16/2025 7:36 AM, joes wrote:
Am Sat, 15 Mar 2025 20:43:11 -0500 schrieb olcott:
That does not disprove Tarski.
We can define a correct True(X) predicate that always succeeds >>>>>>>> except
for unknowns and untruths, Tarski WAS WRONG !!!
He said that this is impossible and no
counter-examples exists that shows that I am wrong.
True(GC) == FALSE Cannot be proven true AKA unknown
True(LP) == FALSE Not a truth-bearer
But if x is what you are saying is
A True(X) predicate can be defined and Tarski never
showed that it cannot.
Sure he did. Using a mathematical system like Godel, we can construct
a statement x, which is only true it is the case that True(x) is
false, but this interperetation can only be seen in the metalanguage
created from the language in the proof, similar to Godel meta that
generates the proof testing relationship that shows that G can only
be true if it can not be proven as the existance of a number to make
it false, becomes a proof that the statement is true and thus creates
a contradiction in the system.
That you can't understand that, or get confused by what is in the
language, which your True predicate can look at, and in the
metalanguage, which it can not, but still you make bold statements
that you can not prove, and have been pointed out to be wrong, just
shows how stupid you are.
True(X) only returns TRUE when a a sequence of truth
preserving operations can derive X from the set of basic
facts and returns false otherwise.
Right, but needs to do so even if the path to x is infinite in length.
This never fails on the entire set of human general
knowledge that can be expressed using language.
But that isn't a logic system, so you are just proving your stupidity.
Note, "The Entire set of Human General Knowledge" does not contain
the contents of Meta-systems like Tarski uses, as there are an
infinite number of them possible, and thus to even try to express
them all requires an infinite number of axioms, and thus your system
fails to meet the requirements. Once you don't have the meta-systems,
Tarski proof can create a metasystem, that you system doesn't know
about, which creates the problem statement.
It is not fooled by pathological self-reference or
self-contradiction.
Of course it is, because it can't detect all forms of such references.
And, even if it does detect it, what answer does True(x) produce when
we have designed (via a metalanguage) that the statement x in the
language will be true if and only if !True(x), which he showed can be
done in ANY system with sufficient power, which your universal system
must have.
Sorry, you are just showing how little you understand what you are
talking about.
We need no metalanguage. A single formalized natural
language can express its own semantics as connections
between expressions of this same language.
A nice formal language has the symbols and syntax of the first order logic with equivalence and the following additional symbols:
-a0 is a term
-a+ is a binary operator (i.e., term + term is a term)
-a< is a binary relation (i.e., term < term is a formula).
The definition of + is ambiguous as it does not define wich one of the
two + signs in A + B + C is should be evaluated first but with the
postulate that the result is the same in both cases that does not matter.
How do you express semantics of that language with the lanugage itself?
There should be at least enough semantics to tell whether x = 0 for every
x.
On 3/18/2025 8:14 AM, Mikko wrote:
On 2025-03-17 15:40:22 +0000, olcott said:
On 3/16/2025 9:51 PM, Richard Damon wrote:
On 3/16/25 9:50 PM, olcott wrote:
On 3/16/2025 5:50 PM, Richard Damon wrote:
On 3/16/25 11:12 AM, olcott wrote:
On 3/16/2025 7:36 AM, joes wrote:
Am Sat, 15 Mar 2025 20:43:11 -0500 schrieb olcott:
That does not disprove Tarski.
We can define a correct True(X) predicate that always succeeds >>>>>>>>> except
for unknowns and untruths, Tarski WAS WRONG !!!
He said that this is impossible and no
counter-examples exists that shows that I am wrong.
True(GC) == FALSE Cannot be proven true AKA unknown
True(LP) == FALSE Not a truth-bearer
But if x is what you are saying is
A True(X) predicate can be defined and Tarski never
showed that it cannot.
Sure he did. Using a mathematical system like Godel, we can
construct a statement x, which is only true it is the case that
True(x) is false, but this interperetation can only be seen in the
metalanguage created from the language in the proof, similar to
Godel meta that generates the proof testing relationship that shows
that G can only be true if it can not be proven as the existance of
a number to make it false, becomes a proof that the statement is
true and thus creates a contradiction in the system.
That you can't understand that, or get confused by what is in the
language, which your True predicate can look at, and in the
metalanguage, which it can not, but still you make bold statements
that you can not prove, and have been pointed out to be wrong, just
shows how stupid you are.
True(X) only returns TRUE when a a sequence of truth
preserving operations can derive X from the set of basic
facts and returns false otherwise.
Right, but needs to do so even if the path to x is infinite in length. >>>>
This never fails on the entire set of human general
knowledge that can be expressed using language.
But that isn't a logic system, so you are just proving your stupidity. >>>>
Note, "The Entire set of Human General Knowledge" does not contain
the contents of Meta-systems like Tarski uses, as there are an
infinite number of them possible, and thus to even try to express
them all requires an infinite number of axioms, and thus your system
fails to meet the requirements. Once you don't have the meta-
systems, Tarski proof can create a metasystem, that you system
doesn't know about, which creates the problem statement.
It is not fooled by pathological self-reference or
self-contradiction.
Of course it is, because it can't detect all forms of such references. >>>>
And, even if it does detect it, what answer does True(x) produce
when we have designed (via a metalanguage) that the statement x in
the language will be true if and only if !True(x), which he showed
can be done in ANY system with sufficient power, which your
universal system must have.
Sorry, you are just showing how little you understand what you are
talking about.
We need no metalanguage. A single formalized natural
language can express its own semantics as connections
between expressions of this same language.
A nice formal language has the symbols and syntax of the first order
logic
with equivalence and the following additional symbols:
I am not talking about a trivially simple formal
language. I am talking about very significant
extensions to something like Montague grammar.
The language must be expressive enough to fully
encode any and all details of each element of the
entire body of human general knowledge that can
be expressed using language. Davidson semantics
provides another encoding.
To address the objection to these forms of encoding
that they ignore the important source of meaning
of linguistics pragmatics context, what I am proposing
also includes a situation specific knowledge ontology
that directly encode the full context of the specific
situation.
-a-a0 is a term
-a-a+ is a binary operator (i.e., term + term is a term)
-a-a< is a binary relation (i.e., term < term is a formula).
The definition of + is ambiguous as it does not define wich one of the
two + signs in A + B + C is should be evaluated first but with the
postulate that the result is the same in both cases that does not matter.
How do you express semantics of that language with the lanugage itself?
There should be at least enough semantics to tell whether x = 0 for every
x.
On 3/18/25 9:36 AM, olcott wrote:Unless you bother to pay attention to the details
On 3/18/2025 8:14 AM, Mikko wrote:
On 2025-03-17 15:40:22 +0000, olcott said:
On 3/16/2025 9:51 PM, Richard Damon wrote:
On 3/16/25 9:50 PM, olcott wrote:
On 3/16/2025 5:50 PM, Richard Damon wrote:
On 3/16/25 11:12 AM, olcott wrote:
On 3/16/2025 7:36 AM, joes wrote:
Am Sat, 15 Mar 2025 20:43:11 -0500 schrieb olcott:
That does not disprove Tarski.
We can define a correct True(X) predicate that always succeeds >>>>>>>>>> except
for unknowns and untruths, Tarski WAS WRONG !!!
He said that this is impossible and no
counter-examples exists that shows that I am wrong.
True(GC) == FALSE Cannot be proven true AKA unknown
True(LP) == FALSE Not a truth-bearer
But if x is what you are saying is
A True(X) predicate can be defined and Tarski never
showed that it cannot.
Sure he did. Using a mathematical system like Godel, we can
construct a statement x, which is only true it is the case that
True(x) is false, but this interperetation can only be seen in the
metalanguage created from the language in the proof, similar to
Godel meta that generates the proof testing relationship that shows >>>>> that G can only be true if it can not be proven as the existance of >>>>> a number to make it false, becomes a proof that the statement is
true and thus creates a contradiction in the system.
That you can't understand that, or get confused by what is in the
language, which your True predicate can look at, and in the
metalanguage, which it can not, but still you make bold statements
that you can not prove, and have been pointed out to be wrong, just >>>>> shows how stupid you are.
True(X) only returns TRUE when a a sequence of truth
preserving operations can derive X from the set of basic
facts and returns false otherwise.
Right, but needs to do so even if the path to x is infinite in length. >>>>>
This never fails on the entire set of human general
knowledge that can be expressed using language.
But that isn't a logic system, so you are just proving your stupidity. >>>>>
Note, "The Entire set of Human General Knowledge" does not contain
the contents of Meta-systems like Tarski uses, as there are an
infinite number of them possible, and thus to even try to express
them all requires an infinite number of axioms, and thus your
system fails to meet the requirements. Once you don't have the
meta- systems, Tarski proof can create a metasystem, that you
system doesn't know about, which creates the problem statement.
It is not fooled by pathological self-reference or
self-contradiction.
Of course it is, because it can't detect all forms of such references. >>>>>
And, even if it does detect it, what answer does True(x) produce
when we have designed (via a metalanguage) that the statement x in
the language will be true if and only if !True(x), which he showed
can be done in ANY system with sufficient power, which your
universal system must have.
Sorry, you are just showing how little you understand what you are
talking about.
We need no metalanguage. A single formalized natural
language can express its own semantics as connections
between expressions of this same language.
A nice formal language has the symbols and syntax of the first order
logic
with equivalence and the following additional symbols:
I am not talking about a trivially simple formal
language. I am talking about very significant
extensions to something like Montague grammar.
The language must be expressive enough to fully
encode any and all details of each element of the
entire body of human general knowledge that can
be expressed using language. Davidson semantics
provides another encoding.
But "encoding" knowledge, isn't a logic system.
Part of the problem is that most of what we call "Human Knowledge" isn't logically defined truth, but is just "Emperical Knowledge", for which we
know it isn't totally accurate (as all measurements have error) or is actually just an approximation for what reality actually is.
To address the objection to these forms of encoding
that they ignore the important source of meaning
of linguistics pragmatics context, what I am proposing
also includes a situation specific knowledge ontology
that directly encode the full context of the specific
situation.
And a listing of "facts" (which mostly are not facts) isn't a logic system.
Sorry, but you are just demonstrating that you don't actually understand what you are talking about.
On 3/18/2025 10:04 PM, Richard Damon wrote:
On 3/18/25 9:36 AM, olcott wrote:Unless you bother to pay attention to the details
On 3/18/2025 8:14 AM, Mikko wrote:
On 2025-03-17 15:40:22 +0000, olcott said:
On 3/16/2025 9:51 PM, Richard Damon wrote:
On 3/16/25 9:50 PM, olcott wrote:
On 3/16/2025 5:50 PM, Richard Damon wrote:
On 3/16/25 11:12 AM, olcott wrote:
On 3/16/2025 7:36 AM, joes wrote:
Am Sat, 15 Mar 2025 20:43:11 -0500 schrieb olcott:
That does not disprove Tarski.
We can define a correct True(X) predicate that always
succeeds except
for unknowns and untruths, Tarski WAS WRONG !!!
He said that this is impossible and no
counter-examples exists that shows that I am wrong.
True(GC) == FALSE Cannot be proven true AKA unknown
True(LP) == FALSE Not a truth-bearer
But if x is what you are saying is
A True(X) predicate can be defined and Tarski never
showed that it cannot.
Sure he did. Using a mathematical system like Godel, we can
construct a statement x, which is only true it is the case that
True(x) is false, but this interperetation can only be seen in the >>>>>> metalanguage created from the language in the proof, similar to
Godel meta that generates the proof testing relationship that
shows that G can only be true if it can not be proven as the
existance of a number to make it false, becomes a proof that the
statement is true and thus creates a contradiction in the system.
That you can't understand that, or get confused by what is in the >>>>>> language, which your True predicate can look at, and in the
metalanguage, which it can not, but still you make bold statements >>>>>> that you can not prove, and have been pointed out to be wrong,
just shows how stupid you are.
True(X) only returns TRUE when a a sequence of truth
preserving operations can derive X from the set of basic
facts and returns false otherwise.
Right, but needs to do so even if the path to x is infinite in
length.
This never fails on the entire set of human general
knowledge that can be expressed using language.
But that isn't a logic system, so you are just proving your
stupidity.
Note, "The Entire set of Human General Knowledge" does not contain >>>>>> the contents of Meta-systems like Tarski uses, as there are an
infinite number of them possible, and thus to even try to express >>>>>> them all requires an infinite number of axioms, and thus your
system fails to meet the requirements. Once you don't have the
meta- systems, Tarski proof can create a metasystem, that you
system doesn't know about, which creates the problem statement.
It is not fooled by pathological self-reference or
self-contradiction.
Of course it is, because it can't detect all forms of such
references.
And, even if it does detect it, what answer does True(x) produce
when we have designed (via a metalanguage) that the statement x in >>>>>> the language will be true if and only if !True(x), which he showed >>>>>> can be done in ANY system with sufficient power, which your
universal system must have.
Sorry, you are just showing how little you understand what you are >>>>>> talking about.
We need no metalanguage. A single formalized natural
language can express its own semantics as connections
between expressions of this same language.
A nice formal language has the symbols and syntax of the first order
logic
with equivalence and the following additional symbols:
I am not talking about a trivially simple formal
language. I am talking about very significant
extensions to something like Montague grammar.
The language must be expressive enough to fully
encode any and all details of each element of the
entire body of human general knowledge that can
be expressed using language. Davidson semantics
provides another encoding.
But "encoding" knowledge, isn't a logic system.
of how this of encoded.
Part of the problem is that most of what we call "Human Knowledge"
isn't logically defined truth, but is just "Emperical Knowledge", for
which we
The set of human knowledge that can be expressed
in language provides the means to compute True(X).
The actual smell of a rose cannot be expressed using
language.
know it isn't totally accurate (as all measurements have error) or is
actually just an approximation for what reality actually is.
To address the objection to these forms of encoding
that they ignore the important source of meaning
of linguistics pragmatics context, what I am proposing
also includes a situation specific knowledge ontology
that directly encode the full context of the specific
situation.
And a listing of "facts" (which mostly are not facts) isn't a logic
system.
Sorry, but you are just demonstrating that you don't actually
understand what you are talking about.
You simply did not bother to pay any attention to any details.
We simply formalize the entire body of human general knowledge
as one gigantic tree of knowledge semantic tautology using
Montague Grammar and knowledge ontology inheritance hierarchy.
If those are all words that you do not understand that does
not mean that I am wrong.
On 3/19/25 5:50 PM, olcott wrote:
On 3/18/2025 10:04 PM, Richard Damon wrote:
On 3/18/25 9:36 AM, olcott wrote:Unless you bother to pay attention to the details
On 3/18/2025 8:14 AM, Mikko wrote:
On 2025-03-17 15:40:22 +0000, olcott said:
On 3/16/2025 9:51 PM, Richard Damon wrote:
On 3/16/25 9:50 PM, olcott wrote:
On 3/16/2025 5:50 PM, Richard Damon wrote:
On 3/16/25 11:12 AM, olcott wrote:
On 3/16/2025 7:36 AM, joes wrote:
Am Sat, 15 Mar 2025 20:43:11 -0500 schrieb olcott:
That does not disprove Tarski.
We can define a correct True(X) predicate that always >>>>>>>>>>>> succeeds except
for unknowns and untruths, Tarski WAS WRONG !!!
He said that this is impossible and no
counter-examples exists that shows that I am wrong.
True(GC) == FALSE Cannot be proven true AKA unknown
True(LP) == FALSE Not a truth-bearer
But if x is what you are saying is
A True(X) predicate can be defined and Tarski never
showed that it cannot.
Sure he did. Using a mathematical system like Godel, we can
construct a statement x, which is only true it is the case that >>>>>>> True(x) is false, but this interperetation can only be seen in
the metalanguage created from the language in the proof, similar >>>>>>> to Godel meta that generates the proof testing relationship that >>>>>>> shows that G can only be true if it can not be proven as the
existance of a number to make it false, becomes a proof that the >>>>>>> statement is true and thus creates a contradiction in the system. >>>>>>>
That you can't understand that, or get confused by what is in the >>>>>>> language, which your True predicate can look at, and in the
metalanguage, which it can not, but still you make bold
statements that you can not prove, and have been pointed out to >>>>>>> be wrong, just shows how stupid you are.
True(X) only returns TRUE when a a sequence of truth
preserving operations can derive X from the set of basic
facts and returns false otherwise.
Right, but needs to do so even if the path to x is infinite in
length.
This never fails on the entire set of human general
knowledge that can be expressed using language.
But that isn't a logic system, so you are just proving your
stupidity.
Note, "The Entire set of Human General Knowledge" does not
contain the contents of Meta-systems like Tarski uses, as there >>>>>>> are an infinite number of them possible, and thus to even try to >>>>>>> express them all requires an infinite number of axioms, and thus >>>>>>> your system fails to meet the requirements. Once you don't have >>>>>>> the meta- systems, Tarski proof can create a metasystem, that you >>>>>>> system doesn't know about, which creates the problem statement.
It is not fooled by pathological self-reference or
self-contradiction.
Of course it is, because it can't detect all forms of such
references.
And, even if it does detect it, what answer does True(x) produce >>>>>>> when we have designed (via a metalanguage) that the statement x >>>>>>> in the language will be true if and only if !True(x), which he
showed can be done in ANY system with sufficient power, which
your universal system must have.
Sorry, you are just showing how little you understand what you
are talking about.
We need no metalanguage. A single formalized natural
language can express its own semantics as connections
between expressions of this same language.
A nice formal language has the symbols and syntax of the first
order logic
with equivalence and the following additional symbols:
I am not talking about a trivially simple formal
language. I am talking about very significant
extensions to something like Montague grammar.
The language must be expressive enough to fully
encode any and all details of each element of the
entire body of human general knowledge that can
be expressed using language. Davidson semantics
provides another encoding.
But "encoding" knowledge, isn't a logic system.
of how this of encoded.
But "Encoded Knowledge" isn't a logic system. PERIOD. BYU DEFINITION.
That would just be a set of axioms. Note, Logic system must also have a
set of rules of relationships and how to manipulate them,
and that needs
more that just expressing them as knowledge.
Part of the problem is that most of what we call "Human Knowledge"
isn't logically defined truth, but is just "Emperical Knowledge", for
which we
The set of human knowledge that can be expressed
in language provides the means to compute True(X).
Of course not, as then True(x) just can't handle a statement whose truth
is currently unknown, which it MUST be able to handle
The actual smell of a rose cannot be expressed using
language.
Maybe, depends on your definitions. Of course, part of the problem is
that the "smell of a rose" is actually a subject thing, so not directly related to knowledge. Of course that concept blows apart large parts of
your theory. Much of what is commonly called "Human Knowledge" isn't actually knowledge, but subjective opinions that have been agreed by the
majority, and thus not actually something that can be handled by
objective logic.
know it isn't totally accurate (as all measurements have error) or is
actually just an approximation for what reality actually is.
To address the objection to these forms of encoding
that they ignore the important source of meaning
of linguistics pragmatics context, what I am proposing
also includes a situation specific knowledge ontology
that directly encode the full context of the specific
situation.
And a listing of "facts" (which mostly are not facts) isn't a logic
system.
Sorry, but you are just demonstrating that you don't actually
understand what you are talking about.
You simply did not bother to pay any attention to any details.
We simply formalize the entire body of human general knowledge
as one gigantic tree of knowledge semantic tautology using
Montague Grammar and knowledge ontology inheritance hierarchy.
Which isn't a logic system, BY DEFINITION, it is a knowledge ontology.
--
If those are all words that you do not understand that does
not mean that I am wrong.
Of course it does, since apparently you don't understand what LOGIC
actually is.
On 3/19/2025 8:59 PM, Richard Damon wrote:
On 3/19/25 5:50 PM, olcott wrote:
On 3/18/2025 10:04 PM, Richard Damon wrote:
On 3/18/25 9:36 AM, olcott wrote:Unless you bother to pay attention to the details
On 3/18/2025 8:14 AM, Mikko wrote:
On 2025-03-17 15:40:22 +0000, olcott said:
On 3/16/2025 9:51 PM, Richard Damon wrote:
On 3/16/25 9:50 PM, olcott wrote:
On 3/16/2025 5:50 PM, Richard Damon wrote:
On 3/16/25 11:12 AM, olcott wrote:
On 3/16/2025 7:36 AM, joes wrote:
Am Sat, 15 Mar 2025 20:43:11 -0500 schrieb olcott:
That does not disprove Tarski.
We can define a correct True(X) predicate that always >>>>>>>>>>>>> succeeds except
for unknowns and untruths, Tarski WAS WRONG !!!
He said that this is impossible and no
counter-examples exists that shows that I am wrong.
True(GC) == FALSE Cannot be proven true AKA unknown
True(LP) == FALSE Not a truth-bearer
But if x is what you are saying is
A True(X) predicate can be defined and Tarski never
showed that it cannot.
Sure he did. Using a mathematical system like Godel, we can
construct a statement x, which is only true it is the case that >>>>>>>> True(x) is false, but this interperetation can only be seen in >>>>>>>> the metalanguage created from the language in the proof, similar >>>>>>>> to Godel meta that generates the proof testing relationship that >>>>>>>> shows that G can only be true if it can not be proven as the
existance of a number to make it false, becomes a proof that the >>>>>>>> statement is true and thus creates a contradiction in the system. >>>>>>>>
That you can't understand that, or get confused by what is in >>>>>>>> the language, which your True predicate can look at, and in the >>>>>>>> metalanguage, which it can not, but still you make bold
statements that you can not prove, and have been pointed out to >>>>>>>> be wrong, just shows how stupid you are.
True(X) only returns TRUE when a a sequence of truth
preserving operations can derive X from the set of basic
facts and returns false otherwise.
Right, but needs to do so even if the path to x is infinite in >>>>>>>> length.
This never fails on the entire set of human general
knowledge that can be expressed using language.
But that isn't a logic system, so you are just proving your
stupidity.
Note, "The Entire set of Human General Knowledge" does not
contain the contents of Meta-systems like Tarski uses, as there >>>>>>>> are an infinite number of them possible, and thus to even try to >>>>>>>> express them all requires an infinite number of axioms, and thus >>>>>>>> your system fails to meet the requirements. Once you don't have >>>>>>>> the meta- systems, Tarski proof can create a metasystem, that >>>>>>>> you system doesn't know about, which creates the problem statement. >>>>>>>>
It is not fooled by pathological self-reference or
self-contradiction.
Of course it is, because it can't detect all forms of such
references.
And, even if it does detect it, what answer does True(x) produce >>>>>>>> when we have designed (via a metalanguage) that the statement x >>>>>>>> in the language will be true if and only if !True(x), which he >>>>>>>> showed can be done in ANY system with sufficient power, which >>>>>>>> your universal system must have.
Sorry, you are just showing how little you understand what you >>>>>>>> are talking about.
We need no metalanguage. A single formalized natural
language can express its own semantics as connections
between expressions of this same language.
A nice formal language has the symbols and syntax of the first
order logic
with equivalence and the following additional symbols:
I am not talking about a trivially simple formal
language. I am talking about very significant
extensions to something like Montague grammar.
The language must be expressive enough to fully
encode any and all details of each element of the
entire body of human general knowledge that can
be expressed using language. Davidson semantics
provides another encoding.
But "encoding" knowledge, isn't a logic system.
of how this of encoded.
But "Encoded Knowledge" isn't a logic system. PERIOD. BYU DEFINITION.
That would just be a set of axioms. Note, Logic system must also have
a set of rules of relationships and how to manipulate them,
Yes stupid I already specified those 150 times.
TRUTH PRESERVING OPERATIONS.
and that needs more that just expressing them as knowledge.
NOT AT ALL DUMB BUNNY, for all the expressions
that are proved completely true entirely on the basis of
their meaning expressed in language they only need a
connection this semantic meaning to prove that they
are true.
Part of the problem is that most of what we call "Human Knowledge"
isn't logically defined truth, but is just "Emperical Knowledge",
for which we
The set of human knowledge that can be expressed
in language provides the means to compute True(X).
Of course not, as then True(x) just can't handle a statement whose
truth is currently unknown, which it MUST be able to handle
It employs the same algorithm as Prolog:
Can X be proven on the basis of Facts?
The actual smell of a rose cannot be expressed using
language.
Maybe, depends on your definitions. Of course, part of the problem is
that the "smell of a rose" is actually a subject thing, so not
directly related to knowledge. Of course that concept blows apart
large parts of
NO STUPID IT DOES NOT. PLEASE QUIT BEING A MORON.
WHEN I TELL YOU SOMETHING FIFTY TIMES YOU SHOULD
NOTICE THAT I SAID IT AT LEAST ONCE.
your theory. Much of what is commonly called "Human Knowledge" isn't
actually knowledge, but subjective opinions that have been agreed by the
NO STUPID BASIC FACTS ARE NOT ANY SORT OF OPINION.
majority, and thus not actually something that can be handled by
objective logic.
know it isn't totally accurate (as all measurements have error) or
is actually just an approximation for what reality actually is.
To address the objection to these forms of encoding
that they ignore the important source of meaning
of linguistics pragmatics context, what I am proposing
also includes a situation specific knowledge ontology
that directly encode the full context of the specific
situation.
And a listing of "facts" (which mostly are not facts) isn't a logic
system.
Sorry, but you are just demonstrating that you don't actually
understand what you are talking about.
You simply did not bother to pay any attention to any details.
We simply formalize the entire body of human general knowledge
as one gigantic tree of knowledge semantic tautology using
Montague Grammar and knowledge ontology inheritance hierarchy.
Which isn't a logic system, BY DEFINITION, it is a knowledge ontology.
A KNOWLEDGE ONTOLOGY IS A SPECIFIC KIND OF LOGIC
SYSTEM WHERE SEMANTIC INFERENCE IS DONE ON THE
BASIS OF INHERITANCE.
If those are all words that you do not understand that does
not mean that I am wrong.
Of course it does, since apparently you don't understand what LOGIC
actually is.
On 3/20/25 6:14 PM, olcott wrote:
On 3/19/2025 8:59 PM, Richard Damon wrote:
On 3/19/25 5:50 PM, olcott wrote:
On 3/18/2025 10:04 PM, Richard Damon wrote:
On 3/18/25 9:36 AM, olcott wrote:Unless you bother to pay attention to the details
On 3/18/2025 8:14 AM, Mikko wrote:
On 2025-03-17 15:40:22 +0000, olcott said:
On 3/16/2025 9:51 PM, Richard Damon wrote:
On 3/16/25 9:50 PM, olcott wrote:
On 3/16/2025 5:50 PM, Richard Damon wrote:
On 3/16/25 11:12 AM, olcott wrote:
On 3/16/2025 7:36 AM, joes wrote:
Am Sat, 15 Mar 2025 20:43:11 -0500 schrieb olcott:
That does not disprove Tarski.
We can define a correct True(X) predicate that always >>>>>>>>>>>>>> succeeds except
for unknowns and untruths, Tarski WAS WRONG !!!
He said that this is impossible and no
counter-examples exists that shows that I am wrong.
True(GC) == FALSE Cannot be proven true AKA unknown
True(LP) == FALSE Not a truth-bearer
But if x is what you are saying is
A True(X) predicate can be defined and Tarski never
showed that it cannot.
Sure he did. Using a mathematical system like Godel, we can >>>>>>>>> construct a statement x, which is only true it is the case that >>>>>>>>> True(x) is false, but this interperetation can only be seen in >>>>>>>>> the metalanguage created from the language in the proof,
similar to Godel meta that generates the proof testing
relationship that shows that G can only be true if it can not >>>>>>>>> be proven as the existance of a number to make it false,
becomes a proof that the statement is true and thus creates a >>>>>>>>> contradiction in the system.
That you can't understand that, or get confused by what is in >>>>>>>>> the language, which your True predicate can look at, and in the >>>>>>>>> metalanguage, which it can not, but still you make bold
statements that you can not prove, and have been pointed out to >>>>>>>>> be wrong, just shows how stupid you are.
True(X) only returns TRUE when a a sequence of truth
preserving operations can derive X from the set of basic
facts and returns false otherwise.
Right, but needs to do so even if the path to x is infinite in >>>>>>>>> length.
This never fails on the entire set of human general
knowledge that can be expressed using language.
But that isn't a logic system, so you are just proving your >>>>>>>>> stupidity.
Note, "The Entire set of Human General Knowledge" does not
contain the contents of Meta-systems like Tarski uses, as there >>>>>>>>> are an infinite number of them possible, and thus to even try >>>>>>>>> to express them all requires an infinite number of axioms, and >>>>>>>>> thus your system fails to meet the requirements. Once you don't >>>>>>>>> have the meta- systems, Tarski proof can create a metasystem, >>>>>>>>> that you system doesn't know about, which creates the problem >>>>>>>>> statement.
It is not fooled by pathological self-reference or
self-contradiction.
Of course it is, because it can't detect all forms of such
references.
And, even if it does detect it, what answer does True(x)
produce when we have designed (via a metalanguage) that the >>>>>>>>> statement x in the language will be true if and only if !
True(x), which he showed can be done in ANY system with
sufficient power, which your universal system must have.
Sorry, you are just showing how little you understand what you >>>>>>>>> are talking about.
We need no metalanguage. A single formalized natural
language can express its own semantics as connections
between expressions of this same language.
A nice formal language has the symbols and syntax of the first
order logic
with equivalence and the following additional symbols:
I am not talking about a trivially simple formal
language. I am talking about very significant
extensions to something like Montague grammar.
The language must be expressive enough to fully
encode any and all details of each element of the
entire body of human general knowledge that can
be expressed using language. Davidson semantics
provides another encoding.
But "encoding" knowledge, isn't a logic system.
of how this of encoded.
But "Encoded Knowledge" isn't a logic system. PERIOD. BYU DEFINITION.
That would just be a set of axioms. Note, Logic system must also have
a set of rules of relationships and how to manipulate them,
Yes stupid I already specified those 150 times.
TRUTH PRESERVING OPERATIONS.
and that needs more that just expressing them as knowledge.
NOT AT ALL DUMB BUNNY, for all the expressions
that are proved completely true entirely on the basis of
their meaning expressed in language they only need a
connection this semantic meaning to prove that they
are true.
Part of the problem is that most of what we call "Human Knowledge"
isn't logically defined truth, but is just "Emperical Knowledge",
for which we
The set of human knowledge that can be expressed
in language provides the means to compute True(X).
Of course not, as then True(x) just can't handle a statement whose
truth is currently unknown, which it MUST be able to handle
It employs the same algorithm as Prolog:
Can X be proven on the basis of Facts?
And thus you just admitted that your system doesn't even QUALIFY to be
the system that Tarski is talking about.
You don't seem to understand that fact, because apparently you can't actually understand any logic system more coplicated than what Prolog
can handle.
On 3/20/2025 8:31 PM, Richard Damon wrote:
On 3/20/25 6:14 PM, olcott wrote:
On 3/19/2025 8:59 PM, Richard Damon wrote:
On 3/19/25 5:50 PM, olcott wrote:
On 3/18/2025 10:04 PM, Richard Damon wrote:
On 3/18/25 9:36 AM, olcott wrote:Unless you bother to pay attention to the details
On 3/18/2025 8:14 AM, Mikko wrote:
On 2025-03-17 15:40:22 +0000, olcott said:
On 3/16/2025 9:51 PM, Richard Damon wrote:
On 3/16/25 9:50 PM, olcott wrote:
On 3/16/2025 5:50 PM, Richard Damon wrote:
On 3/16/25 11:12 AM, olcott wrote:
On 3/16/2025 7:36 AM, joes wrote:
Am Sat, 15 Mar 2025 20:43:11 -0500 schrieb olcott: >>>>>>>>>>>>>>>
We can define a correct True(X) predicate that always >>>>>>>>>>>>>>> succeeds exceptThat does not disprove Tarski.
for unknowns and untruths, Tarski WAS WRONG !!!
He said that this is impossible and no
counter-examples exists that shows that I am wrong.
True(GC) == FALSE Cannot be proven true AKA unknown
True(LP) == FALSE Not a truth-bearer
But if x is what you are saying is
A True(X) predicate can be defined and Tarski never
showed that it cannot.
Sure he did. Using a mathematical system like Godel, we can >>>>>>>>>> construct a statement x, which is only true it is the case >>>>>>>>>> that True(x) is false, but this interperetation can only be >>>>>>>>>> seen in the metalanguage created from the language in the >>>>>>>>>> proof, similar to Godel meta that generates the proof testing >>>>>>>>>> relationship that shows that G can only be true if it can not >>>>>>>>>> be proven as the existance of a number to make it false,
becomes a proof that the statement is true and thus creates a >>>>>>>>>> contradiction in the system.
That you can't understand that, or get confused by what is in >>>>>>>>>> the language, which your True predicate can look at, and in >>>>>>>>>> the metalanguage, which it can not, but still you make bold >>>>>>>>>> statements that you can not prove, and have been pointed out >>>>>>>>>> to be wrong, just shows how stupid you are.
True(X) only returns TRUE when a a sequence of truth
preserving operations can derive X from the set of basic >>>>>>>>>>> facts and returns false otherwise.
Right, but needs to do so even if the path to x is infinite in >>>>>>>>>> length.
This never fails on the entire set of human general
knowledge that can be expressed using language.
But that isn't a logic system, so you are just proving your >>>>>>>>>> stupidity.
Note, "The Entire set of Human General Knowledge" does not >>>>>>>>>> contain the contents of Meta-systems like Tarski uses, as >>>>>>>>>> there are an infinite number of them possible, and thus to >>>>>>>>>> even try to express them all requires an infinite number of >>>>>>>>>> axioms, and thus your system fails to meet the requirements. >>>>>>>>>> Once you don't have the meta- systems, Tarski proof can create >>>>>>>>>> a metasystem, that you system doesn't know about, which
creates the problem statement.
It is not fooled by pathological self-reference or
self-contradiction.
Of course it is, because it can't detect all forms of such >>>>>>>>>> references.
And, even if it does detect it, what answer does True(x)
produce when we have designed (via a metalanguage) that the >>>>>>>>>> statement x in the language will be true if and only if ! >>>>>>>>>> True(x), which he showed can be done in ANY system with
sufficient power, which your universal system must have.
Sorry, you are just showing how little you understand what you >>>>>>>>>> are talking about.
We need no metalanguage. A single formalized natural
language can express its own semantics as connections
between expressions of this same language.
A nice formal language has the symbols and syntax of the first >>>>>>>> order logic
with equivalence and the following additional symbols:
I am not talking about a trivially simple formal
language. I am talking about very significant
extensions to something like Montague grammar.
The language must be expressive enough to fully
encode any and all details of each element of the
entire body of human general knowledge that can
be expressed using language. Davidson semantics
provides another encoding.
But "encoding" knowledge, isn't a logic system.
of how this of encoded.
But "Encoded Knowledge" isn't a logic system. PERIOD. BYU
DEFINITION. That would just be a set of axioms. Note, Logic system
must also have a set of rules of relationships and how to manipulate
them,
Yes stupid I already specified those 150 times.
TRUTH PRESERVING OPERATIONS.
and that needs more that just expressing them as knowledge.
NOT AT ALL DUMB BUNNY, for all the expressions
that are proved completely true entirely on the basis of
their meaning expressed in language they only need a
connection this semantic meaning to prove that they
are true.
Part of the problem is that most of what we call "Human Knowledge" >>>>>> isn't logically defined truth, but is just "Emperical Knowledge", >>>>>> for which we
The set of human knowledge that can be expressed
in language provides the means to compute True(X).
Of course not, as then True(x) just can't handle a statement whose
truth is currently unknown, which it MUST be able to handle
It employs the same algorithm as Prolog:
Can X be proven on the basis of Facts?
And thus you just admitted that your system doesn't even QUALIFY to be
the system that Tarski is talking about.
You don't seem to understand that fact, because apparently you can't
actually understand any logic system more coplicated than what Prolog
can handle.
This concise specification is air-tight.
The set of all human general knowledge that can be expressed
using language has no undecidability or undefinability.
On 3/20/2025 8:31 PM, Richard Damon wrote:
On 3/20/25 6:14 PM, olcott wrote:
On 3/19/2025 8:59 PM, Richard Damon wrote:
On 3/19/25 5:50 PM, olcott wrote:
On 3/18/2025 10:04 PM, Richard Damon wrote:
On 3/18/25 9:36 AM, olcott wrote:Unless you bother to pay attention to the details
On 3/18/2025 8:14 AM, Mikko wrote:
On 2025-03-17 15:40:22 +0000, olcott said:
On 3/16/2025 9:51 PM, Richard Damon wrote:
On 3/16/25 9:50 PM, olcott wrote:
On 3/16/2025 5:50 PM, Richard Damon wrote:
On 3/16/25 11:12 AM, olcott wrote:
On 3/16/2025 7:36 AM, joes wrote:
Am Sat, 15 Mar 2025 20:43:11 -0500 schrieb olcott: >>>>>>>>>>>>>>>
We can define a correct True(X) predicate that always >>>>>>>>>>>>>>> succeeds exceptThat does not disprove Tarski.
for unknowns and untruths, Tarski WAS WRONG !!!
He said that this is impossible and no
counter-examples exists that shows that I am wrong.
True(GC) == FALSE Cannot be proven true AKA unknown
True(LP) == FALSE Not a truth-bearer
But if x is what you are saying is
A True(X) predicate can be defined and Tarski never
showed that it cannot.
Sure he did. Using a mathematical system like Godel, we can >>>>>>>>>> construct a statement x, which is only true it is the case >>>>>>>>>> that True(x) is false, but this interperetation can only be >>>>>>>>>> seen in the metalanguage created from the language in the >>>>>>>>>> proof, similar to Godel meta that generates the proof testing >>>>>>>>>> relationship that shows that G can only be true if it can not >>>>>>>>>> be proven as the existance of a number to make it false,
becomes a proof that the statement is true and thus creates a >>>>>>>>>> contradiction in the system.
That you can't understand that, or get confused by what is in >>>>>>>>>> the language, which your True predicate can look at, and in >>>>>>>>>> the metalanguage, which it can not, but still you make bold >>>>>>>>>> statements that you can not prove, and have been pointed out >>>>>>>>>> to be wrong, just shows how stupid you are.
True(X) only returns TRUE when a a sequence of truth
preserving operations can derive X from the set of basic >>>>>>>>>>> facts and returns false otherwise.
Right, but needs to do so even if the path to x is infinite in >>>>>>>>>> length.
This never fails on the entire set of human general
knowledge that can be expressed using language.
But that isn't a logic system, so you are just proving your >>>>>>>>>> stupidity.
Note, "The Entire set of Human General Knowledge" does not >>>>>>>>>> contain the contents of Meta-systems like Tarski uses, as >>>>>>>>>> there are an infinite number of them possible, and thus to >>>>>>>>>> even try to express them all requires an infinite number of >>>>>>>>>> axioms, and thus your system fails to meet the requirements. >>>>>>>>>> Once you don't have the meta- systems, Tarski proof can create >>>>>>>>>> a metasystem, that you system doesn't know about, which
creates the problem statement.
It is not fooled by pathological self-reference or
self-contradiction.
Of course it is, because it can't detect all forms of such >>>>>>>>>> references.
And, even if it does detect it, what answer does True(x)
produce when we have designed (via a metalanguage) that the >>>>>>>>>> statement x in the language will be true if and only if ! >>>>>>>>>> True(x), which he showed can be done in ANY system with
sufficient power, which your universal system must have.
Sorry, you are just showing how little you understand what you >>>>>>>>>> are talking about.
We need no metalanguage. A single formalized natural
language can express its own semantics as connections
between expressions of this same language.
A nice formal language has the symbols and syntax of the first >>>>>>>> order logic
with equivalence and the following additional symbols:
I am not talking about a trivially simple formal
language. I am talking about very significant
extensions to something like Montague grammar.
The language must be expressive enough to fully
encode any and all details of each element of the
entire body of human general knowledge that can
be expressed using language. Davidson semantics
provides another encoding.
But "encoding" knowledge, isn't a logic system.
of how this of encoded.
But "Encoded Knowledge" isn't a logic system. PERIOD. BYU
DEFINITION. That would just be a set of axioms. Note, Logic system
must also have a set of rules of relationships and how to manipulate
them,
Yes stupid I already specified those 150 times.
TRUTH PRESERVING OPERATIONS.
and that needs more that just expressing them as knowledge.
NOT AT ALL DUMB BUNNY, for all the expressions
that are proved completely true entirely on the basis of
their meaning expressed in language they only need a
connection this semantic meaning to prove that they
are true.
Part of the problem is that most of what we call "Human Knowledge" >>>>>> isn't logically defined truth, but is just "Emperical Knowledge", >>>>>> for which we
The set of human knowledge that can be expressed
in language provides the means to compute True(X).
Of course not, as then True(x) just can't handle a statement whose
truth is currently unknown, which it MUST be able to handle
It employs the same algorithm as Prolog:
Can X be proven on the basis of Facts?
And thus you just admitted that your system doesn't even QUALIFY to be
the system that Tarski is talking about.
You don't seem to understand that fact, because apparently you can't
actually understand any logic system more coplicated than what Prolog
can handle.
This concise specification is air-tight.
The set of all human general knowledge that can be expressed
using language has no undecidability or undefinability.
On 3/20/25 11:49 PM, olcott wrote:
On 3/20/2025 8:31 PM, Richard Damon wrote:
On 3/20/25 6:14 PM, olcott wrote:
On 3/19/2025 8:59 PM, Richard Damon wrote:
On 3/19/25 5:50 PM, olcott wrote:
On 3/18/2025 10:04 PM, Richard Damon wrote:
On 3/18/25 9:36 AM, olcott wrote:Unless you bother to pay attention to the details
On 3/18/2025 8:14 AM, Mikko wrote:
On 2025-03-17 15:40:22 +0000, olcott said:
On 3/16/2025 9:51 PM, Richard Damon wrote:
On 3/16/25 9:50 PM, olcott wrote:
On 3/16/2025 5:50 PM, Richard Damon wrote:
On 3/16/25 11:12 AM, olcott wrote:
On 3/16/2025 7:36 AM, joes wrote:
Am Sat, 15 Mar 2025 20:43:11 -0500 schrieb olcott: >>>>>>>>>>>>>>>>
We can define a correct True(X) predicate that always >>>>>>>>>>>>>>>> succeeds except
for unknowns and untruths, Tarski WAS WRONG !!! >>>>>>>>>>>>>>> That does not disprove Tarski.
He said that this is impossible and no
counter-examples exists that shows that I am wrong. >>>>>>>>>>>>>> True(GC) == FALSE Cannot be proven true AKA unknown >>>>>>>>>>>>>> True(LP) == FALSE Not a truth-bearer
But if x is what you are saying is
A True(X) predicate can be defined and Tarski never
showed that it cannot.
Sure he did. Using a mathematical system like Godel, we can >>>>>>>>>>> construct a statement x, which is only true it is the case >>>>>>>>>>> that True(x) is false, but this interperetation can only be >>>>>>>>>>> seen in the metalanguage created from the language in the >>>>>>>>>>> proof, similar to Godel meta that generates the proof testing >>>>>>>>>>> relationship that shows that G can only be true if it can not >>>>>>>>>>> be proven as the existance of a number to make it false, >>>>>>>>>>> becomes a proof that the statement is true and thus creates a >>>>>>>>>>> contradiction in the system.
That you can't understand that, or get confused by what is in >>>>>>>>>>> the language, which your True predicate can look at, and in >>>>>>>>>>> the metalanguage, which it can not, but still you make bold >>>>>>>>>>> statements that you can not prove, and have been pointed out >>>>>>>>>>> to be wrong, just shows how stupid you are.
True(X) only returns TRUE when a a sequence of truth
preserving operations can derive X from the set of basic >>>>>>>>>>>> facts and returns false otherwise.
Right, but needs to do so even if the path to x is infinite >>>>>>>>>>> in length.
This never fails on the entire set of human general
knowledge that can be expressed using language.
But that isn't a logic system, so you are just proving your >>>>>>>>>>> stupidity.
Note, "The Entire set of Human General Knowledge" does not >>>>>>>>>>> contain the contents of Meta-systems like Tarski uses, as >>>>>>>>>>> there are an infinite number of them possible, and thus to >>>>>>>>>>> even try to express them all requires an infinite number of >>>>>>>>>>> axioms, and thus your system fails to meet the requirements. >>>>>>>>>>> Once you don't have the meta- systems, Tarski proof can >>>>>>>>>>> create a metasystem, that you system doesn't know about, >>>>>>>>>>> which creates the problem statement.
It is not fooled by pathological self-reference or
self-contradiction.
Of course it is, because it can't detect all forms of such >>>>>>>>>>> references.
And, even if it does detect it, what answer does True(x) >>>>>>>>>>> produce when we have designed (via a metalanguage) that the >>>>>>>>>>> statement x in the language will be true if and only if ! >>>>>>>>>>> True(x), which he showed can be done in ANY system with >>>>>>>>>>> sufficient power, which your universal system must have. >>>>>>>>>>>
Sorry, you are just showing how little you understand what >>>>>>>>>>> you are talking about.
We need no metalanguage. A single formalized natural
language can express its own semantics as connections
between expressions of this same language.
A nice formal language has the symbols and syntax of the first >>>>>>>>> order logic
with equivalence and the following additional symbols:
I am not talking about a trivially simple formal
language. I am talking about very significant
extensions to something like Montague grammar.
The language must be expressive enough to fully
encode any and all details of each element of the
entire body of human general knowledge that can
be expressed using language. Davidson semantics
provides another encoding.
But "encoding" knowledge, isn't a logic system.
of how this of encoded.
But "Encoded Knowledge" isn't a logic system. PERIOD. BYU
DEFINITION. That would just be a set of axioms. Note, Logic system
must also have a set of rules of relationships and how to
manipulate them,
Yes stupid I already specified those 150 times.
TRUTH PRESERVING OPERATIONS.
and that needs more that just expressing them as knowledge.
NOT AT ALL DUMB BUNNY, for all the expressions
that are proved completely true entirely on the basis of
their meaning expressed in language they only need a
connection this semantic meaning to prove that they
are true.
Part of the problem is that most of what we call "Human
Knowledge" isn't logically defined truth, but is just "Emperical >>>>>>> Knowledge", for which we
The set of human knowledge that can be expressed
in language provides the means to compute True(X).
Of course not, as then True(x) just can't handle a statement whose
truth is currently unknown, which it MUST be able to handle
It employs the same algorithm as Prolog:
Can X be proven on the basis of Facts?
And thus you just admitted that your system doesn't even QUALIFY to
be the system that Tarski is talking about.
You don't seem to understand that fact, because apparently you can't
actually understand any logic system more coplicated than what Prolog
can handle.
This concise specification is air-tight.
The set of all human general knowledge that can be expressed
using language has no undecidability or undefinability.
Except it isn't true, as:
First, it isn't a logic system until you add the rules of logic to
define how you manipulate items.
Second, within that set of knowledge is the definition of undecidabiliry
and undefinability, that you are forced to accept from what *IS* human knowledge, which is the agreed upon meanings,
And thus, when you include the rules that are encoded into that
knowledge base, you include those rules used by Godel and company that
shows that any logic system powerful enough to express the properties of
the Natual Numbers (which a system of ALL Knowledge) would have, must be incomplete.
Sorry, you just don't understand that you can't define your way out of
the problems of logic, unless you first remove large chunks of what is knowledge from your system.
On 3/20/25 11:49 PM, olcott wrote:
On 3/20/2025 8:31 PM, Richard Damon wrote:
On 3/20/25 6:14 PM, olcott wrote:
On 3/19/2025 8:59 PM, Richard Damon wrote:
On 3/19/25 5:50 PM, olcott wrote:
On 3/18/2025 10:04 PM, Richard Damon wrote:
On 3/18/25 9:36 AM, olcott wrote:Unless you bother to pay attention to the details
On 3/18/2025 8:14 AM, Mikko wrote:
On 2025-03-17 15:40:22 +0000, olcott said:
On 3/16/2025 9:51 PM, Richard Damon wrote:
On 3/16/25 9:50 PM, olcott wrote:
On 3/16/2025 5:50 PM, Richard Damon wrote:
On 3/16/25 11:12 AM, olcott wrote:
On 3/16/2025 7:36 AM, joes wrote:
Am Sat, 15 Mar 2025 20:43:11 -0500 schrieb olcott: >>>>>>>>>>>>>>>>
We can define a correct True(X) predicate that always >>>>>>>>>>>>>>>> succeeds except
for unknowns and untruths, Tarski WAS WRONG !!! >>>>>>>>>>>>>>> That does not disprove Tarski.
He said that this is impossible and no
counter-examples exists that shows that I am wrong. >>>>>>>>>>>>>> True(GC) == FALSE Cannot be proven true AKA unknown >>>>>>>>>>>>>> True(LP) == FALSE Not a truth-bearer
But if x is what you are saying is
A True(X) predicate can be defined and Tarski never
showed that it cannot.
Sure he did. Using a mathematical system like Godel, we can >>>>>>>>>>> construct a statement x, which is only true it is the case >>>>>>>>>>> that True(x) is false, but this interperetation can only be >>>>>>>>>>> seen in the metalanguage created from the language in the >>>>>>>>>>> proof, similar to Godel meta that generates the proof testing >>>>>>>>>>> relationship that shows that G can only be true if it can not >>>>>>>>>>> be proven as the existance of a number to make it false, >>>>>>>>>>> becomes a proof that the statement is true and thus creates a >>>>>>>>>>> contradiction in the system.
That you can't understand that, or get confused by what is in >>>>>>>>>>> the language, which your True predicate can look at, and in >>>>>>>>>>> the metalanguage, which it can not, but still you make bold >>>>>>>>>>> statements that you can not prove, and have been pointed out >>>>>>>>>>> to be wrong, just shows how stupid you are.
True(X) only returns TRUE when a a sequence of truth
preserving operations can derive X from the set of basic >>>>>>>>>>>> facts and returns false otherwise.
Right, but needs to do so even if the path to x is infinite >>>>>>>>>>> in length.
This never fails on the entire set of human general
knowledge that can be expressed using language.
But that isn't a logic system, so you are just proving your >>>>>>>>>>> stupidity.
Note, "The Entire set of Human General Knowledge" does not >>>>>>>>>>> contain the contents of Meta-systems like Tarski uses, as >>>>>>>>>>> there are an infinite number of them possible, and thus to >>>>>>>>>>> even try to express them all requires an infinite number of >>>>>>>>>>> axioms, and thus your system fails to meet the requirements. >>>>>>>>>>> Once you don't have the meta- systems, Tarski proof can >>>>>>>>>>> create a metasystem, that you system doesn't know about, >>>>>>>>>>> which creates the problem statement.
It is not fooled by pathological self-reference or
self-contradiction.
Of course it is, because it can't detect all forms of such >>>>>>>>>>> references.
And, even if it does detect it, what answer does True(x) >>>>>>>>>>> produce when we have designed (via a metalanguage) that the >>>>>>>>>>> statement x in the language will be true if and only if ! >>>>>>>>>>> True(x), which he showed can be done in ANY system with >>>>>>>>>>> sufficient power, which your universal system must have. >>>>>>>>>>>
Sorry, you are just showing how little you understand what >>>>>>>>>>> you are talking about.
We need no metalanguage. A single formalized natural
language can express its own semantics as connections
between expressions of this same language.
A nice formal language has the symbols and syntax of the first >>>>>>>>> order logic
with equivalence and the following additional symbols:
I am not talking about a trivially simple formal
language. I am talking about very significant
extensions to something like Montague grammar.
The language must be expressive enough to fully
encode any and all details of each element of the
entire body of human general knowledge that can
be expressed using language. Davidson semantics
provides another encoding.
But "encoding" knowledge, isn't a logic system.
of how this of encoded.
But "Encoded Knowledge" isn't a logic system. PERIOD. BYU
DEFINITION. That would just be a set of axioms. Note, Logic system
must also have a set of rules of relationships and how to
manipulate them,
Yes stupid I already specified those 150 times.
TRUTH PRESERVING OPERATIONS.
and that needs more that just expressing them as knowledge.
NOT AT ALL DUMB BUNNY, for all the expressions
that are proved completely true entirely on the basis of
their meaning expressed in language they only need a
connection this semantic meaning to prove that they
are true.
Part of the problem is that most of what we call "Human
Knowledge" isn't logically defined truth, but is just "Emperical >>>>>>> Knowledge", for which we
The set of human knowledge that can be expressed
in language provides the means to compute True(X).
Of course not, as then True(x) just can't handle a statement whose
truth is currently unknown, which it MUST be able to handle
It employs the same algorithm as Prolog:
Can X be proven on the basis of Facts?
And thus you just admitted that your system doesn't even QUALIFY to
be the system that Tarski is talking about.
You don't seem to understand that fact, because apparently you can't
actually understand any logic system more coplicated than what Prolog
can handle.
This concise specification is air-tight.
The set of all human general knowledge that can be expressed
using language has no undecidability or undefinability.
Nope. Proven otherwise, and you are just showing your stupidity in maintaining that claim.
On 3/21/2025 6:48 AM, Richard Damon wrote:
On 3/20/25 11:49 PM, olcott wrote:
On 3/20/2025 8:31 PM, Richard Damon wrote:
On 3/20/25 6:14 PM, olcott wrote:
On 3/19/2025 8:59 PM, Richard Damon wrote:
On 3/19/25 5:50 PM, olcott wrote:
On 3/18/2025 10:04 PM, Richard Damon wrote:
On 3/18/25 9:36 AM, olcott wrote:Unless you bother to pay attention to the details
On 3/18/2025 8:14 AM, Mikko wrote:
On 2025-03-17 15:40:22 +0000, olcott said:
On 3/16/2025 9:51 PM, Richard Damon wrote:
On 3/16/25 9:50 PM, olcott wrote:
On 3/16/2025 5:50 PM, Richard Damon wrote:
On 3/16/25 11:12 AM, olcott wrote:
On 3/16/2025 7:36 AM, joes wrote:
Am Sat, 15 Mar 2025 20:43:11 -0500 schrieb olcott: >>>>>>>>>>>>>>>>>
We can define a correct True(X) predicate that always >>>>>>>>>>>>>>>>> succeeds except
for unknowns and untruths, Tarski WAS WRONG !!! >>>>>>>>>>>>>>>> That does not disprove Tarski.
He said that this is impossible and no
counter-examples exists that shows that I am wrong. >>>>>>>>>>>>>>> True(GC) == FALSE Cannot be proven true AKA unknown >>>>>>>>>>>>>>> True(LP) == FALSE Not a truth-bearer
But if x is what you are saying is
A True(X) predicate can be defined and Tarski never
showed that it cannot.
Sure he did. Using a mathematical system like Godel, we can >>>>>>>>>>>> construct a statement x, which is only true it is the case >>>>>>>>>>>> that True(x) is false, but this interperetation can only be >>>>>>>>>>>> seen in the metalanguage created from the language in the >>>>>>>>>>>> proof, similar to Godel meta that generates the proof >>>>>>>>>>>> testing relationship that shows that G can only be true if >>>>>>>>>>>> it can not be proven as the existance of a number to make it >>>>>>>>>>>> false, becomes a proof that the statement is true and thus >>>>>>>>>>>> creates a contradiction in the system.
That you can't understand that, or get confused by what is >>>>>>>>>>>> in the language, which your True predicate can look at, and >>>>>>>>>>>> in the metalanguage, which it can not, but still you make >>>>>>>>>>>> bold statements that you can not prove, and have been >>>>>>>>>>>> pointed out to be wrong, just shows how stupid you are. >>>>>>>>>>>>
True(X) only returns TRUE when a a sequence of truth >>>>>>>>>>>>> preserving operations can derive X from the set of basic >>>>>>>>>>>>> facts and returns false otherwise.
Right, but needs to do so even if the path to x is infinite >>>>>>>>>>>> in length.
This never fails on the entire set of human general
knowledge that can be expressed using language.
But that isn't a logic system, so you are just proving your >>>>>>>>>>>> stupidity.
Note, "The Entire set of Human General Knowledge" does not >>>>>>>>>>>> contain the contents of Meta-systems like Tarski uses, as >>>>>>>>>>>> there are an infinite number of them possible, and thus to >>>>>>>>>>>> even try to express them all requires an infinite number of >>>>>>>>>>>> axioms, and thus your system fails to meet the requirements. >>>>>>>>>>>> Once you don't have the meta- systems, Tarski proof can >>>>>>>>>>>> create a metasystem, that you system doesn't know about, >>>>>>>>>>>> which creates the problem statement.
It is not fooled by pathological self-reference or
self-contradiction.
Of course it is, because it can't detect all forms of such >>>>>>>>>>>> references.
And, even if it does detect it, what answer does True(x) >>>>>>>>>>>> produce when we have designed (via a metalanguage) that the >>>>>>>>>>>> statement x in the language will be true if and only if ! >>>>>>>>>>>> True(x), which he showed can be done in ANY system with >>>>>>>>>>>> sufficient power, which your universal system must have. >>>>>>>>>>>>
Sorry, you are just showing how little you understand what >>>>>>>>>>>> you are talking about.
We need no metalanguage. A single formalized natural
language can express its own semantics as connections
between expressions of this same language.
A nice formal language has the symbols and syntax of the first >>>>>>>>>> order logic
with equivalence and the following additional symbols:
I am not talking about a trivially simple formal
language. I am talking about very significant
extensions to something like Montague grammar.
The language must be expressive enough to fully
encode any and all details of each element of the
entire body of human general knowledge that can
be expressed using language. Davidson semantics
provides another encoding.
But "encoding" knowledge, isn't a logic system.
of how this of encoded.
But "Encoded Knowledge" isn't a logic system. PERIOD. BYU
DEFINITION. That would just be a set of axioms. Note, Logic system >>>>>> must also have a set of rules of relationships and how to
manipulate them,
Yes stupid I already specified those 150 times.
TRUTH PRESERVING OPERATIONS.
and that needs more that just expressing them as knowledge.
NOT AT ALL DUMB BUNNY, for all the expressions
that are proved completely true entirely on the basis of
their meaning expressed in language they only need a
connection this semantic meaning to prove that they
are true.
Part of the problem is that most of what we call "Human
Knowledge" isn't logically defined truth, but is just "Emperical >>>>>>>> Knowledge", for which we
The set of human knowledge that can be expressed
in language provides the means to compute True(X).
Of course not, as then True(x) just can't handle a statement whose >>>>>> truth is currently unknown, which it MUST be able to handle
It employs the same algorithm as Prolog:
Can X be proven on the basis of Facts?
And thus you just admitted that your system doesn't even QUALIFY to
be the system that Tarski is talking about.
You don't seem to understand that fact, because apparently you can't
actually understand any logic system more coplicated than what
Prolog can handle.
This concise specification is air-tight.
The set of all human general knowledge that can be expressed
using language has no undecidability or undefinability.
Except it isn't true, as:
First, it isn't a logic system until you add the rules of logic to
define how you manipulate items.
Every operation is permitted as long as it is truth preserving
and begins on the basis of basic facts expressed as language.
It is self-evident that undecidability cannot possibly exist
in such a system.
Second, within that set of knowledge is the definition ofThese terms are defined in the set of all general knowledge
undecidabiliry and undefinability, that you are forced to accept from
what *IS* human knowledge, which is the agreed upon meanings,
that can be expressed in language yet cannot apply to this
system itself because everything is already decided.
And thus, when you include the rules that are encoded into that
knowledge base, you include those rules used by Godel and company that
shows that any logic system powerful enough to express the properties
of the Natual Numbers (which a system of ALL Knowledge) would have,
must be incomplete.
In this much more powerful system he is simply proved wrong.
Undecidability is impossible when EVERYTHING has already been
decided.
Sorry, you just don't understand that you can't define your way out of
the problems of logic, unless you first remove large chunks of what is
knowledge from your system.
Try and show that any verified fact is untrue.
On 3/21/2025 6:48 AM, Richard Damon wrote:
On 3/20/25 11:49 PM, olcott wrote:
On 3/20/2025 8:31 PM, Richard Damon wrote:
On 3/20/25 6:14 PM, olcott wrote:
On 3/19/2025 8:59 PM, Richard Damon wrote:
On 3/19/25 5:50 PM, olcott wrote:
On 3/18/2025 10:04 PM, Richard Damon wrote:
On 3/18/25 9:36 AM, olcott wrote:Unless you bother to pay attention to the details
On 3/18/2025 8:14 AM, Mikko wrote:
On 2025-03-17 15:40:22 +0000, olcott said:
On 3/16/2025 9:51 PM, Richard Damon wrote:
On 3/16/25 9:50 PM, olcott wrote:
On 3/16/2025 5:50 PM, Richard Damon wrote:
On 3/16/25 11:12 AM, olcott wrote:
On 3/16/2025 7:36 AM, joes wrote:
Am Sat, 15 Mar 2025 20:43:11 -0500 schrieb olcott: >>>>>>>>>>>>>>>>>
We can define a correct True(X) predicate that always >>>>>>>>>>>>>>>>> succeeds except
for unknowns and untruths, Tarski WAS WRONG !!! >>>>>>>>>>>>>>>> That does not disprove Tarski.
He said that this is impossible and no
counter-examples exists that shows that I am wrong. >>>>>>>>>>>>>>> True(GC) == FALSE Cannot be proven true AKA unknown >>>>>>>>>>>>>>> True(LP) == FALSE Not a truth-bearer
But if x is what you are saying is
A True(X) predicate can be defined and Tarski never
showed that it cannot.
Sure he did. Using a mathematical system like Godel, we can >>>>>>>>>>>> construct a statement x, which is only true it is the case >>>>>>>>>>>> that True(x) is false, but this interperetation can only be >>>>>>>>>>>> seen in the metalanguage created from the language in the >>>>>>>>>>>> proof, similar to Godel meta that generates the proof >>>>>>>>>>>> testing relationship that shows that G can only be true if >>>>>>>>>>>> it can not be proven as the existance of a number to make it >>>>>>>>>>>> false, becomes a proof that the statement is true and thus >>>>>>>>>>>> creates a contradiction in the system.
That you can't understand that, or get confused by what is >>>>>>>>>>>> in the language, which your True predicate can look at, and >>>>>>>>>>>> in the metalanguage, which it can not, but still you make >>>>>>>>>>>> bold statements that you can not prove, and have been >>>>>>>>>>>> pointed out to be wrong, just shows how stupid you are. >>>>>>>>>>>>
True(X) only returns TRUE when a a sequence of truth >>>>>>>>>>>>> preserving operations can derive X from the set of basic >>>>>>>>>>>>> facts and returns false otherwise.
Right, but needs to do so even if the path to x is infinite >>>>>>>>>>>> in length.
This never fails on the entire set of human general
knowledge that can be expressed using language.
But that isn't a logic system, so you are just proving your >>>>>>>>>>>> stupidity.
Note, "The Entire set of Human General Knowledge" does not >>>>>>>>>>>> contain the contents of Meta-systems like Tarski uses, as >>>>>>>>>>>> there are an infinite number of them possible, and thus to >>>>>>>>>>>> even try to express them all requires an infinite number of >>>>>>>>>>>> axioms, and thus your system fails to meet the requirements. >>>>>>>>>>>> Once you don't have the meta- systems, Tarski proof can >>>>>>>>>>>> create a metasystem, that you system doesn't know about, >>>>>>>>>>>> which creates the problem statement.
It is not fooled by pathological self-reference or
self-contradiction.
Of course it is, because it can't detect all forms of such >>>>>>>>>>>> references.
And, even if it does detect it, what answer does True(x) >>>>>>>>>>>> produce when we have designed (via a metalanguage) that the >>>>>>>>>>>> statement x in the language will be true if and only if ! >>>>>>>>>>>> True(x), which he showed can be done in ANY system with >>>>>>>>>>>> sufficient power, which your universal system must have. >>>>>>>>>>>>
Sorry, you are just showing how little you understand what >>>>>>>>>>>> you are talking about.
We need no metalanguage. A single formalized natural
language can express its own semantics as connections
between expressions of this same language.
A nice formal language has the symbols and syntax of the first >>>>>>>>>> order logic
with equivalence and the following additional symbols:
I am not talking about a trivially simple formal
language. I am talking about very significant
extensions to something like Montague grammar.
The language must be expressive enough to fully
encode any and all details of each element of the
entire body of human general knowledge that can
be expressed using language. Davidson semantics
provides another encoding.
But "encoding" knowledge, isn't a logic system.
of how this of encoded.
But "Encoded Knowledge" isn't a logic system. PERIOD. BYU
DEFINITION. That would just be a set of axioms. Note, Logic system >>>>>> must also have a set of rules of relationships and how to
manipulate them,
Yes stupid I already specified those 150 times.
TRUTH PRESERVING OPERATIONS.
and that needs more that just expressing them as knowledge.
NOT AT ALL DUMB BUNNY, for all the expressions
that are proved completely true entirely on the basis of
their meaning expressed in language they only need a
connection this semantic meaning to prove that they
are true.
Part of the problem is that most of what we call "Human
Knowledge" isn't logically defined truth, but is just "Emperical >>>>>>>> Knowledge", for which we
The set of human knowledge that can be expressed
in language provides the means to compute True(X).
Of course not, as then True(x) just can't handle a statement whose >>>>>> truth is currently unknown, which it MUST be able to handle
It employs the same algorithm as Prolog:
Can X be proven on the basis of Facts?
And thus you just admitted that your system doesn't even QUALIFY to
be the system that Tarski is talking about.
You don't seem to understand that fact, because apparently you can't
actually understand any logic system more coplicated than what
Prolog can handle.
This concise specification is air-tight.
The set of all human general knowledge that can be expressed
using language has no undecidability or undefinability.
Except it isn't true, as:
First, it isn't a logic system until you add the rules of logic to
define how you manipulate items.
Every operation is permitted as long as it is truth preserving
and begins on the basis of basic facts expressed as language.
It is self-evident that undecidability cannot possibly exist
in such a system.
Second, within that set of knowledge is the definition ofThese terms are defined in the set of all general knowledge
undecidabiliry and undefinability, that you are forced to accept from
what *IS* human knowledge, which is the agreed upon meanings,
that can be expressed in language yet cannot apply to this
system itself because everything is already decided.
And thus, when you include the rules that are encoded into that
knowledge base, you include those rules used by Godel and company that
shows that any logic system powerful enough to express the properties
of the Natual Numbers (which a system of ALL Knowledge) would have,
must be incomplete.
In this much more powerful system he is simply proved wrong.
Undecidability is impossible when EVERYTHING has already been
decided.
Sorry, you just don't understand that you can't define your way out of
the problems of logic, unless you first remove large chunks of what is
knowledge from your system.
Try and show that any verified fact is untrue.
On 3/21/2025 6:48 AM, Richard Damon wrote:
On 3/20/25 11:49 PM, olcott wrote:
On 3/20/2025 8:31 PM, Richard Damon wrote:
On 3/20/25 6:14 PM, olcott wrote:
On 3/19/2025 8:59 PM, Richard Damon wrote:
On 3/19/25 5:50 PM, olcott wrote:
On 3/18/2025 10:04 PM, Richard Damon wrote:
On 3/18/25 9:36 AM, olcott wrote:Unless you bother to pay attention to the details
On 3/18/2025 8:14 AM, Mikko wrote:
On 2025-03-17 15:40:22 +0000, olcott said:
On 3/16/2025 9:51 PM, Richard Damon wrote:
On 3/16/25 9:50 PM, olcott wrote:
On 3/16/2025 5:50 PM, Richard Damon wrote:
On 3/16/25 11:12 AM, olcott wrote:
On 3/16/2025 7:36 AM, joes wrote:
Am Sat, 15 Mar 2025 20:43:11 -0500 schrieb olcott: >>>>>>>>>>>>>>>>>
We can define a correct True(X) predicate that always >>>>>>>>>>>>>>>>> succeeds except
for unknowns and untruths, Tarski WAS WRONG !!! >>>>>>>>>>>>>>>> That does not disprove Tarski.
He said that this is impossible and no
counter-examples exists that shows that I am wrong. >>>>>>>>>>>>>>> True(GC) == FALSE Cannot be proven true AKA unknown >>>>>>>>>>>>>>> True(LP) == FALSE Not a truth-bearer
But if x is what you are saying is
A True(X) predicate can be defined and Tarski never
showed that it cannot.
Sure he did. Using a mathematical system like Godel, we can >>>>>>>>>>>> construct a statement x, which is only true it is the case >>>>>>>>>>>> that True(x) is false, but this interperetation can only be >>>>>>>>>>>> seen in the metalanguage created from the language in the >>>>>>>>>>>> proof, similar to Godel meta that generates the proof >>>>>>>>>>>> testing relationship that shows that G can only be true if >>>>>>>>>>>> it can not be proven as the existance of a number to make it >>>>>>>>>>>> false, becomes a proof that the statement is true and thus >>>>>>>>>>>> creates a contradiction in the system.
That you can't understand that, or get confused by what is >>>>>>>>>>>> in the language, which your True predicate can look at, and >>>>>>>>>>>> in the metalanguage, which it can not, but still you make >>>>>>>>>>>> bold statements that you can not prove, and have been >>>>>>>>>>>> pointed out to be wrong, just shows how stupid you are. >>>>>>>>>>>>
True(X) only returns TRUE when a a sequence of truth >>>>>>>>>>>>> preserving operations can derive X from the set of basic >>>>>>>>>>>>> facts and returns false otherwise.
Right, but needs to do so even if the path to x is infinite >>>>>>>>>>>> in length.
This never fails on the entire set of human general
knowledge that can be expressed using language.
But that isn't a logic system, so you are just proving your >>>>>>>>>>>> stupidity.
Note, "The Entire set of Human General Knowledge" does not >>>>>>>>>>>> contain the contents of Meta-systems like Tarski uses, as >>>>>>>>>>>> there are an infinite number of them possible, and thus to >>>>>>>>>>>> even try to express them all requires an infinite number of >>>>>>>>>>>> axioms, and thus your system fails to meet the requirements. >>>>>>>>>>>> Once you don't have the meta- systems, Tarski proof can >>>>>>>>>>>> create a metasystem, that you system doesn't know about, >>>>>>>>>>>> which creates the problem statement.
It is not fooled by pathological self-reference or
self-contradiction.
Of course it is, because it can't detect all forms of such >>>>>>>>>>>> references.
And, even if it does detect it, what answer does True(x) >>>>>>>>>>>> produce when we have designed (via a metalanguage) that the >>>>>>>>>>>> statement x in the language will be true if and only if ! >>>>>>>>>>>> True(x), which he showed can be done in ANY system with >>>>>>>>>>>> sufficient power, which your universal system must have. >>>>>>>>>>>>
Sorry, you are just showing how little you understand what >>>>>>>>>>>> you are talking about.
We need no metalanguage. A single formalized natural
language can express its own semantics as connections
between expressions of this same language.
A nice formal language has the symbols and syntax of the first >>>>>>>>>> order logic
with equivalence and the following additional symbols:
I am not talking about a trivially simple formal
language. I am talking about very significant
extensions to something like Montague grammar.
The language must be expressive enough to fully
encode any and all details of each element of the
entire body of human general knowledge that can
be expressed using language. Davidson semantics
provides another encoding.
But "encoding" knowledge, isn't a logic system.
of how this of encoded.
But "Encoded Knowledge" isn't a logic system. PERIOD. BYU
DEFINITION. That would just be a set of axioms. Note, Logic system >>>>>> must also have a set of rules of relationships and how to
manipulate them,
Yes stupid I already specified those 150 times.
TRUTH PRESERVING OPERATIONS.
and that needs more that just expressing them as knowledge.
NOT AT ALL DUMB BUNNY, for all the expressions
that are proved completely true entirely on the basis of
their meaning expressed in language they only need a
connection this semantic meaning to prove that they
are true.
Part of the problem is that most of what we call "Human
Knowledge" isn't logically defined truth, but is just "Emperical >>>>>>>> Knowledge", for which we
The set of human knowledge that can be expressed
in language provides the means to compute True(X).
Of course not, as then True(x) just can't handle a statement whose >>>>>> truth is currently unknown, which it MUST be able to handle
It employs the same algorithm as Prolog:
Can X be proven on the basis of Facts?
And thus you just admitted that your system doesn't even QUALIFY to
be the system that Tarski is talking about.
You don't seem to understand that fact, because apparently you can't
actually understand any logic system more coplicated than what
Prolog can handle.
This concise specification is air-tight.
The set of all human general knowledge that can be expressed
using language has no undecidability or undefinability.
Nope. Proven otherwise, and you are just showing your stupidity in
maintaining that claim.
Then try and show ALL OF THE DETAILS OF how when one starts
with basic facts and only applies truth preserving operations that
True(X) is not always correct.
*This requires a concrete counter-example*
Calling me stupid as your whole rebuttal makes you look foolish.
I understand that when you see that I am unequivocally
correct and still desperately want to form some rebuttal
that your choices are limited.
On 3/21/25 6:54 PM, olcott wrote:
On 3/21/2025 6:48 AM, Richard Damon wrote:
On 3/20/25 11:49 PM, olcott wrote:
On 3/20/2025 8:31 PM, Richard Damon wrote:
On 3/20/25 6:14 PM, olcott wrote:
On 3/19/2025 8:59 PM, Richard Damon wrote:
On 3/19/25 5:50 PM, olcott wrote:
On 3/18/2025 10:04 PM, Richard Damon wrote:
On 3/18/25 9:36 AM, olcott wrote:Unless you bother to pay attention to the details
On 3/18/2025 8:14 AM, Mikko wrote:
On 2025-03-17 15:40:22 +0000, olcott said:
On 3/16/2025 9:51 PM, Richard Damon wrote:
On 3/16/25 9:50 PM, olcott wrote:
On 3/16/2025 5:50 PM, Richard Damon wrote:
On 3/16/25 11:12 AM, olcott wrote:
On 3/16/2025 7:36 AM, joes wrote:
Am Sat, 15 Mar 2025 20:43:11 -0500 schrieb olcott: >>>>>>>>>>>>>>>>>>
We can define a correct True(X) predicate that always >>>>>>>>>>>>>>>>>> succeeds except
for unknowns and untruths, Tarski WAS WRONG !!! >>>>>>>>>>>>>>>>> That does not disprove Tarski.
He said that this is impossible and no
counter-examples exists that shows that I am wrong. >>>>>>>>>>>>>>>> True(GC) == FALSE Cannot be proven true AKA unknown >>>>>>>>>>>>>>>> True(LP) == FALSE Not a truth-bearer
But if x is what you are saying is
A True(X) predicate can be defined and Tarski never >>>>>>>>>>>>>> showed that it cannot.
Sure he did. Using a mathematical system like Godel, we can >>>>>>>>>>>>> construct a statement x, which is only true it is the case >>>>>>>>>>>>> that True(x) is false, but this interperetation can only be >>>>>>>>>>>>> seen in the metalanguage created from the language in the >>>>>>>>>>>>> proof, similar to Godel meta that generates the proof >>>>>>>>>>>>> testing relationship that shows that G can only be true if >>>>>>>>>>>>> it can not be proven as the existance of a number to make >>>>>>>>>>>>> it false, becomes a proof that the statement is true and >>>>>>>>>>>>> thus creates a contradiction in the system.
That you can't understand that, or get confused by what is >>>>>>>>>>>>> in the language, which your True predicate can look at, and >>>>>>>>>>>>> in the metalanguage, which it can not, but still you make >>>>>>>>>>>>> bold statements that you can not prove, and have been >>>>>>>>>>>>> pointed out to be wrong, just shows how stupid you are. >>>>>>>>>>>>>
True(X) only returns TRUE when a a sequence of truth >>>>>>>>>>>>>> preserving operations can derive X from the set of basic >>>>>>>>>>>>>> facts and returns false otherwise.
Right, but needs to do so even if the path to x is infinite >>>>>>>>>>>>> in length.
This never fails on the entire set of human general >>>>>>>>>>>>>> knowledge that can be expressed using language.
But that isn't a logic system, so you are just proving your >>>>>>>>>>>>> stupidity.
Note, "The Entire set of Human General Knowledge" does not >>>>>>>>>>>>> contain the contents of Meta-systems like Tarski uses, as >>>>>>>>>>>>> there are an infinite number of them possible, and thus to >>>>>>>>>>>>> even try to express them all requires an infinite number of >>>>>>>>>>>>> axioms, and thus your system fails to meet the
requirements. Once you don't have the meta- systems, Tarski >>>>>>>>>>>>> proof can create a metasystem, that you system doesn't know >>>>>>>>>>>>> about, which creates the problem statement.
It is not fooled by pathological self-reference or >>>>>>>>>>>>>> self-contradiction.
Of course it is, because it can't detect all forms of such >>>>>>>>>>>>> references.
And, even if it does detect it, what answer does True(x) >>>>>>>>>>>>> produce when we have designed (via a metalanguage) that the >>>>>>>>>>>>> statement x in the language will be true if and only if ! >>>>>>>>>>>>> True(x), which he showed can be done in ANY system with >>>>>>>>>>>>> sufficient power, which your universal system must have. >>>>>>>>>>>>>
Sorry, you are just showing how little you understand what >>>>>>>>>>>>> you are talking about.
We need no metalanguage. A single formalized natural
language can express its own semantics as connections
between expressions of this same language.
A nice formal language has the symbols and syntax of the >>>>>>>>>>> first order logic
with equivalence and the following additional symbols:
I am not talking about a trivially simple formal
language. I am talking about very significant
extensions to something like Montague grammar.
The language must be expressive enough to fully
encode any and all details of each element of the
entire body of human general knowledge that can
be expressed using language. Davidson semantics
provides another encoding.
But "encoding" knowledge, isn't a logic system.
of how this of encoded.
But "Encoded Knowledge" isn't a logic system. PERIOD. BYU
DEFINITION. That would just be a set of axioms. Note, Logic
system must also have a set of rules of relationships and how to >>>>>>> manipulate them,
Yes stupid I already specified those 150 times.
TRUTH PRESERVING OPERATIONS.
and that needs more that just expressing them as knowledge.
NOT AT ALL DUMB BUNNY, for all the expressions
that are proved completely true entirely on the basis of
their meaning expressed in language they only need a
connection this semantic meaning to prove that they
are true.
Part of the problem is that most of what we call "Human
Knowledge" isn't logically defined truth, but is just
"Emperical Knowledge", for which we
The set of human knowledge that can be expressed
in language provides the means to compute True(X).
Of course not, as then True(x) just can't handle a statement
whose truth is currently unknown, which it MUST be able to handle >>>>>>>
It employs the same algorithm as Prolog:
Can X be proven on the basis of Facts?
And thus you just admitted that your system doesn't even QUALIFY to >>>>> be the system that Tarski is talking about.
You don't seem to understand that fact, because apparently you
can't actually understand any logic system more coplicated than
what Prolog can handle.
This concise specification is air-tight.
The set of all human general knowledge that can be expressed
using language has no undecidability or undefinability.
Nope. Proven otherwise, and you are just showing your stupidity in
maintaining that claim.
Then try and show ALL OF THE DETAILS OF how when one starts
with basic facts and only applies truth preserving operations that
True(X) is not always correct.
You have already shown that you don't understand the proof, so why
should I repeat it,
Look at Tarski's FULL paper (and the material he references) and see how
he develops the expression of x in the language, by working in the metalanguage it embed the needed meaning into x
On 3/21/25 6:54 PM, olcott wrote:
On 3/21/2025 6:48 AM, Richard Damon wrote:
On 3/20/25 11:49 PM, olcott wrote:
On 3/20/2025 8:31 PM, Richard Damon wrote:
On 3/20/25 6:14 PM, olcott wrote:
On 3/19/2025 8:59 PM, Richard Damon wrote:
On 3/19/25 5:50 PM, olcott wrote:
On 3/18/2025 10:04 PM, Richard Damon wrote:
On 3/18/25 9:36 AM, olcott wrote:Unless you bother to pay attention to the details
On 3/18/2025 8:14 AM, Mikko wrote:
On 2025-03-17 15:40:22 +0000, olcott said:
On 3/16/2025 9:51 PM, Richard Damon wrote:
On 3/16/25 9:50 PM, olcott wrote:
On 3/16/2025 5:50 PM, Richard Damon wrote:
On 3/16/25 11:12 AM, olcott wrote:
On 3/16/2025 7:36 AM, joes wrote:
Am Sat, 15 Mar 2025 20:43:11 -0500 schrieb olcott: >>>>>>>>>>>>>>>>>>
We can define a correct True(X) predicate that always >>>>>>>>>>>>>>>>>> succeeds except
for unknowns and untruths, Tarski WAS WRONG !!! >>>>>>>>>>>>>>>>> That does not disprove Tarski.
He said that this is impossible and no
counter-examples exists that shows that I am wrong. >>>>>>>>>>>>>>>> True(GC) == FALSE Cannot be proven true AKA unknown >>>>>>>>>>>>>>>> True(LP) == FALSE Not a truth-bearer
But if x is what you are saying is
A True(X) predicate can be defined and Tarski never >>>>>>>>>>>>>> showed that it cannot.
Sure he did. Using a mathematical system like Godel, we can >>>>>>>>>>>>> construct a statement x, which is only true it is the case >>>>>>>>>>>>> that True(x) is false, but this interperetation can only be >>>>>>>>>>>>> seen in the metalanguage created from the language in the >>>>>>>>>>>>> proof, similar to Godel meta that generates the proof >>>>>>>>>>>>> testing relationship that shows that G can only be true if >>>>>>>>>>>>> it can not be proven as the existance of a number to make >>>>>>>>>>>>> it false, becomes a proof that the statement is true and >>>>>>>>>>>>> thus creates a contradiction in the system.
That you can't understand that, or get confused by what is >>>>>>>>>>>>> in the language, which your True predicate can look at, and >>>>>>>>>>>>> in the metalanguage, which it can not, but still you make >>>>>>>>>>>>> bold statements that you can not prove, and have been >>>>>>>>>>>>> pointed out to be wrong, just shows how stupid you are. >>>>>>>>>>>>>
True(X) only returns TRUE when a a sequence of truth >>>>>>>>>>>>>> preserving operations can derive X from the set of basic >>>>>>>>>>>>>> facts and returns false otherwise.
Right, but needs to do so even if the path to x is infinite >>>>>>>>>>>>> in length.
This never fails on the entire set of human general >>>>>>>>>>>>>> knowledge that can be expressed using language.
But that isn't a logic system, so you are just proving your >>>>>>>>>>>>> stupidity.
Note, "The Entire set of Human General Knowledge" does not >>>>>>>>>>>>> contain the contents of Meta-systems like Tarski uses, as >>>>>>>>>>>>> there are an infinite number of them possible, and thus to >>>>>>>>>>>>> even try to express them all requires an infinite number of >>>>>>>>>>>>> axioms, and thus your system fails to meet the
requirements. Once you don't have the meta- systems, Tarski >>>>>>>>>>>>> proof can create a metasystem, that you system doesn't know >>>>>>>>>>>>> about, which creates the problem statement.
It is not fooled by pathological self-reference or >>>>>>>>>>>>>> self-contradiction.
Of course it is, because it can't detect all forms of such >>>>>>>>>>>>> references.
And, even if it does detect it, what answer does True(x) >>>>>>>>>>>>> produce when we have designed (via a metalanguage) that the >>>>>>>>>>>>> statement x in the language will be true if and only if ! >>>>>>>>>>>>> True(x), which he showed can be done in ANY system with >>>>>>>>>>>>> sufficient power, which your universal system must have. >>>>>>>>>>>>>
Sorry, you are just showing how little you understand what >>>>>>>>>>>>> you are talking about.
We need no metalanguage. A single formalized natural
language can express its own semantics as connections
between expressions of this same language.
A nice formal language has the symbols and syntax of the >>>>>>>>>>> first order logic
with equivalence and the following additional symbols:
I am not talking about a trivially simple formal
language. I am talking about very significant
extensions to something like Montague grammar.
The language must be expressive enough to fully
encode any and all details of each element of the
entire body of human general knowledge that can
be expressed using language. Davidson semantics
provides another encoding.
But "encoding" knowledge, isn't a logic system.
of how this of encoded.
But "Encoded Knowledge" isn't a logic system. PERIOD. BYU
DEFINITION. That would just be a set of axioms. Note, Logic
system must also have a set of rules of relationships and how to >>>>>>> manipulate them,
Yes stupid I already specified those 150 times.
TRUTH PRESERVING OPERATIONS.
and that needs more that just expressing them as knowledge.
NOT AT ALL DUMB BUNNY, for all the expressions
that are proved completely true entirely on the basis of
their meaning expressed in language they only need a
connection this semantic meaning to prove that they
are true.
Part of the problem is that most of what we call "Human
Knowledge" isn't logically defined truth, but is just
"Emperical Knowledge", for which we
The set of human knowledge that can be expressed
in language provides the means to compute True(X).
Of course not, as then True(x) just can't handle a statement
whose truth is currently unknown, which it MUST be able to handle >>>>>>>
It employs the same algorithm as Prolog:
Can X be proven on the basis of Facts?
And thus you just admitted that your system doesn't even QUALIFY to >>>>> be the system that Tarski is talking about.
You don't seem to understand that fact, because apparently you
can't actually understand any logic system more coplicated than
what Prolog can handle.
This concise specification is air-tight.
The set of all human general knowledge that can be expressed
using language has no undecidability or undefinability.
Nope. Proven otherwise, and you are just showing your stupidity in
maintaining that claim.
Then try and show ALL OF THE DETAILS OF how when one starts
with basic facts and only applies truth preserving operations that
True(X) is not always correct.
You have already shown that you don't understand the proof, so why
should I repeat it,
On 3/21/2025 7:01 PM, Richard Damon wrote:
On 3/21/25 6:54 PM, olcott wrote:
On 3/21/2025 6:48 AM, Richard Damon wrote:
On 3/20/25 11:49 PM, olcott wrote:
On 3/20/2025 8:31 PM, Richard Damon wrote:
On 3/20/25 6:14 PM, olcott wrote:
On 3/19/2025 8:59 PM, Richard Damon wrote:
On 3/19/25 5:50 PM, olcott wrote:
On 3/18/2025 10:04 PM, Richard Damon wrote:
On 3/18/25 9:36 AM, olcott wrote:Unless you bother to pay attention to the details
On 3/18/2025 8:14 AM, Mikko wrote:
On 2025-03-17 15:40:22 +0000, olcott said:
On 3/16/2025 9:51 PM, Richard Damon wrote:
On 3/16/25 9:50 PM, olcott wrote:
On 3/16/2025 5:50 PM, Richard Damon wrote:
On 3/16/25 11:12 AM, olcott wrote:
On 3/16/2025 7:36 AM, joes wrote:
Am Sat, 15 Mar 2025 20:43:11 -0500 schrieb olcott: >>>>>>>>>>>>>>>>>>>
We can define a correct True(X) predicate that always >>>>>>>>>>>>>>>>>>> succeeds except
for unknowns and untruths, Tarski WAS WRONG !!! >>>>>>>>>>>>>>>>>> That does not disprove Tarski.
He said that this is impossible and no
counter-examples exists that shows that I am wrong. >>>>>>>>>>>>>>>>> True(GC) == FALSE Cannot be proven true AKA unknown >>>>>>>>>>>>>>>>> True(LP) == FALSE Not a truth-bearer
But if x is what you are saying is
A True(X) predicate can be defined and Tarski never >>>>>>>>>>>>>>> showed that it cannot.
Sure he did. Using a mathematical system like Godel, we >>>>>>>>>>>>>> can construct a statement x, which is only true it is the >>>>>>>>>>>>>> case that True(x) is false, but this interperetation can >>>>>>>>>>>>>> only be seen in the metalanguage created from the language >>>>>>>>>>>>>> in the proof, similar to Godel meta that generates the >>>>>>>>>>>>>> proof testing relationship that shows that G can only be >>>>>>>>>>>>>> true if it can not be proven as the existance of a number >>>>>>>>>>>>>> to make it false, becomes a proof that the statement is >>>>>>>>>>>>>> true and thus creates a contradiction in the system. >>>>>>>>>>>>>>
That you can't understand that, or get confused by what is >>>>>>>>>>>>>> in the language, which your True predicate can look at, >>>>>>>>>>>>>> and in the metalanguage, which it can not, but still you >>>>>>>>>>>>>> make bold statements that you can not prove, and have been >>>>>>>>>>>>>> pointed out to be wrong, just shows how stupid you are. >>>>>>>>>>>>>>
True(X) only returns TRUE when a a sequence of truth >>>>>>>>>>>>>>> preserving operations can derive X from the set of basic >>>>>>>>>>>>>>> facts and returns false otherwise.
Right, but needs to do so even if the path to x is >>>>>>>>>>>>>> infinite in length.
This never fails on the entire set of human general >>>>>>>>>>>>>>> knowledge that can be expressed using language.
But that isn't a logic system, so you are just proving >>>>>>>>>>>>>> your stupidity.
Note, "The Entire set of Human General Knowledge" does not >>>>>>>>>>>>>> contain the contents of Meta-systems like Tarski uses, as >>>>>>>>>>>>>> there are an infinite number of them possible, and thus to >>>>>>>>>>>>>> even try to express them all requires an infinite number >>>>>>>>>>>>>> of axioms, and thus your system fails to meet the >>>>>>>>>>>>>> requirements. Once you don't have the meta- systems, >>>>>>>>>>>>>> Tarski proof can create a metasystem, that you system >>>>>>>>>>>>>> doesn't know about, which creates the problem statement. >>>>>>>>>>>>>>
It is not fooled by pathological self-reference or >>>>>>>>>>>>>>> self-contradiction.
Of course it is, because it can't detect all forms of such >>>>>>>>>>>>>> references.
And, even if it does detect it, what answer does True(x) >>>>>>>>>>>>>> produce when we have designed (via a metalanguage) that >>>>>>>>>>>>>> the statement x in the language will be true if and only >>>>>>>>>>>>>> if ! True(x), which he showed can be done in ANY system >>>>>>>>>>>>>> with sufficient power, which your universal system must have. >>>>>>>>>>>>>>
Sorry, you are just showing how little you understand what >>>>>>>>>>>>>> you are talking about.
We need no metalanguage. A single formalized natural >>>>>>>>>>>>> language can express its own semantics as connections >>>>>>>>>>>>> between expressions of this same language.
A nice formal language has the symbols and syntax of the >>>>>>>>>>>> first order logic
with equivalence and the following additional symbols:
I am not talking about a trivially simple formal
language. I am talking about very significant
extensions to something like Montague grammar.
The language must be expressive enough to fully
encode any and all details of each element of the
entire body of human general knowledge that can
be expressed using language. Davidson semantics
provides another encoding.
But "encoding" knowledge, isn't a logic system.
of how this of encoded.
But "Encoded Knowledge" isn't a logic system. PERIOD. BYU
DEFINITION. That would just be a set of axioms. Note, Logic
system must also have a set of rules of relationships and how to >>>>>>>> manipulate them,
Yes stupid I already specified those 150 times.
TRUTH PRESERVING OPERATIONS.
and that needs more that just expressing them as knowledge.
NOT AT ALL DUMB BUNNY, for all the expressions
that are proved completely true entirely on the basis of
their meaning expressed in language they only need a
connection this semantic meaning to prove that they
are true.
Part of the problem is that most of what we call "Human
Knowledge" isn't logically defined truth, but is just
"Emperical Knowledge", for which we
The set of human knowledge that can be expressed
in language provides the means to compute True(X).
Of course not, as then True(x) just can't handle a statement
whose truth is currently unknown, which it MUST be able to handle >>>>>>>>
It employs the same algorithm as Prolog:
Can X be proven on the basis of Facts?
And thus you just admitted that your system doesn't even QUALIFY
to be the system that Tarski is talking about.
You don't seem to understand that fact, because apparently you
can't actually understand any logic system more coplicated than
what Prolog can handle.
This concise specification is air-tight.
The set of all human general knowledge that can be expressed
using language has no undecidability or undefinability.
Nope. Proven otherwise, and you are just showing your stupidity in
maintaining that claim.
Then try and show ALL OF THE DETAILS OF how when one starts
with basic facts and only applies truth preserving operations that
True(X) is not always correct.
You have already shown that you don't understand the proof, so why
should I repeat it,
Look at Tarski's FULL paper (and the material he references) and see
how he develops the expression of x in the language, by working in the
metalanguage it embed the needed meaning into x
I have already specified a system that needs no
metalanguage because it has all of its full
semantics specified syntactically and I-a got
the essence of this idea from G||del back in 2012 https://en.wikipedia.org/wiki/History_of_type_theory#G%C3%B6del_1944
On 3/21/2025 7:01 PM, Richard Damon wrote:
On 3/21/25 6:54 PM, olcott wrote:
On 3/21/2025 6:48 AM, Richard Damon wrote:
On 3/20/25 11:49 PM, olcott wrote:
On 3/20/2025 8:31 PM, Richard Damon wrote:
On 3/20/25 6:14 PM, olcott wrote:
On 3/19/2025 8:59 PM, Richard Damon wrote:
On 3/19/25 5:50 PM, olcott wrote:
On 3/18/2025 10:04 PM, Richard Damon wrote:
On 3/18/25 9:36 AM, olcott wrote:Unless you bother to pay attention to the details
On 3/18/2025 8:14 AM, Mikko wrote:
On 2025-03-17 15:40:22 +0000, olcott said:
On 3/16/2025 9:51 PM, Richard Damon wrote:
On 3/16/25 9:50 PM, olcott wrote:
On 3/16/2025 5:50 PM, Richard Damon wrote:
On 3/16/25 11:12 AM, olcott wrote:
On 3/16/2025 7:36 AM, joes wrote:
Am Sat, 15 Mar 2025 20:43:11 -0500 schrieb olcott: >>>>>>>>>>>>>>>>>>>
We can define a correct True(X) predicate that always >>>>>>>>>>>>>>>>>>> succeeds except
for unknowns and untruths, Tarski WAS WRONG !!! >>>>>>>>>>>>>>>>>> That does not disprove Tarski.
He said that this is impossible and no
counter-examples exists that shows that I am wrong. >>>>>>>>>>>>>>>>> True(GC) == FALSE Cannot be proven true AKA unknown >>>>>>>>>>>>>>>>> True(LP) == FALSE Not a truth-bearer
But if x is what you are saying is
A True(X) predicate can be defined and Tarski never >>>>>>>>>>>>>>> showed that it cannot.
Sure he did. Using a mathematical system like Godel, we >>>>>>>>>>>>>> can construct a statement x, which is only true it is the >>>>>>>>>>>>>> case that True(x) is false, but this interperetation can >>>>>>>>>>>>>> only be seen in the metalanguage created from the language >>>>>>>>>>>>>> in the proof, similar to Godel meta that generates the >>>>>>>>>>>>>> proof testing relationship that shows that G can only be >>>>>>>>>>>>>> true if it can not be proven as the existance of a number >>>>>>>>>>>>>> to make it false, becomes a proof that the statement is >>>>>>>>>>>>>> true and thus creates a contradiction in the system. >>>>>>>>>>>>>>
That you can't understand that, or get confused by what is >>>>>>>>>>>>>> in the language, which your True predicate can look at, >>>>>>>>>>>>>> and in the metalanguage, which it can not, but still you >>>>>>>>>>>>>> make bold statements that you can not prove, and have been >>>>>>>>>>>>>> pointed out to be wrong, just shows how stupid you are. >>>>>>>>>>>>>>
True(X) only returns TRUE when a a sequence of truth >>>>>>>>>>>>>>> preserving operations can derive X from the set of basic >>>>>>>>>>>>>>> facts and returns false otherwise.
Right, but needs to do so even if the path to x is >>>>>>>>>>>>>> infinite in length.
This never fails on the entire set of human general >>>>>>>>>>>>>>> knowledge that can be expressed using language.
But that isn't a logic system, so you are just proving >>>>>>>>>>>>>> your stupidity.
Note, "The Entire set of Human General Knowledge" does not >>>>>>>>>>>>>> contain the contents of Meta-systems like Tarski uses, as >>>>>>>>>>>>>> there are an infinite number of them possible, and thus to >>>>>>>>>>>>>> even try to express them all requires an infinite number >>>>>>>>>>>>>> of axioms, and thus your system fails to meet the >>>>>>>>>>>>>> requirements. Once you don't have the meta- systems, >>>>>>>>>>>>>> Tarski proof can create a metasystem, that you system >>>>>>>>>>>>>> doesn't know about, which creates the problem statement. >>>>>>>>>>>>>>
It is not fooled by pathological self-reference or >>>>>>>>>>>>>>> self-contradiction.
Of course it is, because it can't detect all forms of such >>>>>>>>>>>>>> references.
And, even if it does detect it, what answer does True(x) >>>>>>>>>>>>>> produce when we have designed (via a metalanguage) that >>>>>>>>>>>>>> the statement x in the language will be true if and only >>>>>>>>>>>>>> if ! True(x), which he showed can be done in ANY system >>>>>>>>>>>>>> with sufficient power, which your universal system must have. >>>>>>>>>>>>>>
Sorry, you are just showing how little you understand what >>>>>>>>>>>>>> you are talking about.
We need no metalanguage. A single formalized natural >>>>>>>>>>>>> language can express its own semantics as connections >>>>>>>>>>>>> between expressions of this same language.
A nice formal language has the symbols and syntax of the >>>>>>>>>>>> first order logic
with equivalence and the following additional symbols:
I am not talking about a trivially simple formal
language. I am talking about very significant
extensions to something like Montague grammar.
The language must be expressive enough to fully
encode any and all details of each element of the
entire body of human general knowledge that can
be expressed using language. Davidson semantics
provides another encoding.
But "encoding" knowledge, isn't a logic system.
of how this of encoded.
But "Encoded Knowledge" isn't a logic system. PERIOD. BYU
DEFINITION. That would just be a set of axioms. Note, Logic
system must also have a set of rules of relationships and how to >>>>>>>> manipulate them,
Yes stupid I already specified those 150 times.
TRUTH PRESERVING OPERATIONS.
and that needs more that just expressing them as knowledge.
NOT AT ALL DUMB BUNNY, for all the expressions
that are proved completely true entirely on the basis of
their meaning expressed in language they only need a
connection this semantic meaning to prove that they
are true.
Part of the problem is that most of what we call "Human
Knowledge" isn't logically defined truth, but is just
"Emperical Knowledge", for which we
The set of human knowledge that can be expressed
in language provides the means to compute True(X).
Of course not, as then True(x) just can't handle a statement
whose truth is currently unknown, which it MUST be able to handle >>>>>>>>
It employs the same algorithm as Prolog:
Can X be proven on the basis of Facts?
And thus you just admitted that your system doesn't even QUALIFY
to be the system that Tarski is talking about.
You don't seem to understand that fact, because apparently you
can't actually understand any logic system more coplicated than
what Prolog can handle.
This concise specification is air-tight.
The set of all human general knowledge that can be expressed
using language has no undecidability or undefinability.
Nope. Proven otherwise, and you are just showing your stupidity in
maintaining that claim.
Then try and show ALL OF THE DETAILS OF how when one starts
with basic facts and only applies truth preserving operations that
True(X) is not always correct.
You have already shown that you don't understand the proof, so why
should I repeat it,
Tarki's proof claimed that True(X) is forever
undefinable no matter how you try to go about
defining it. He was WRONG about this.
When we reformulate the notion of a formal
system such that it contains all and only
the set of human general knowledge then all
of the screwy things about other notions of
formal system utterly cease to exist.
On 3/21/2025 7:01 PM, Richard Damon wrote:
On 3/21/25 6:54 PM, olcott wrote:
On 3/21/2025 6:48 AM, Richard Damon wrote:
On 3/20/25 11:49 PM, olcott wrote:
On 3/20/2025 8:31 PM, Richard Damon wrote:
On 3/20/25 6:14 PM, olcott wrote:
On 3/19/2025 8:59 PM, Richard Damon wrote:
On 3/19/25 5:50 PM, olcott wrote:
On 3/18/2025 10:04 PM, Richard Damon wrote:
On 3/18/25 9:36 AM, olcott wrote:Unless you bother to pay attention to the details
On 3/18/2025 8:14 AM, Mikko wrote:
On 2025-03-17 15:40:22 +0000, olcott said:
On 3/16/2025 9:51 PM, Richard Damon wrote:
On 3/16/25 9:50 PM, olcott wrote:
On 3/16/2025 5:50 PM, Richard Damon wrote:
On 3/16/25 11:12 AM, olcott wrote:
On 3/16/2025 7:36 AM, joes wrote:
Am Sat, 15 Mar 2025 20:43:11 -0500 schrieb olcott: >>>>>>>>>>>>>>>>>>>
We can define a correct True(X) predicate that always >>>>>>>>>>>>>>>>>>> succeeds except
for unknowns and untruths, Tarski WAS WRONG !!! >>>>>>>>>>>>>>>>>> That does not disprove Tarski.
He said that this is impossible and no
counter-examples exists that shows that I am wrong. >>>>>>>>>>>>>>>>> True(GC) == FALSE Cannot be proven true AKA unknown >>>>>>>>>>>>>>>>> True(LP) == FALSE Not a truth-bearer
But if x is what you are saying is
A True(X) predicate can be defined and Tarski never >>>>>>>>>>>>>>> showed that it cannot.
Sure he did. Using a mathematical system like Godel, we >>>>>>>>>>>>>> can construct a statement x, which is only true it is the >>>>>>>>>>>>>> case that True(x) is false, but this interperetation can >>>>>>>>>>>>>> only be seen in the metalanguage created from the language >>>>>>>>>>>>>> in the proof, similar to Godel meta that generates the >>>>>>>>>>>>>> proof testing relationship that shows that G can only be >>>>>>>>>>>>>> true if it can not be proven as the existance of a number >>>>>>>>>>>>>> to make it false, becomes a proof that the statement is >>>>>>>>>>>>>> true and thus creates a contradiction in the system. >>>>>>>>>>>>>>
That you can't understand that, or get confused by what is >>>>>>>>>>>>>> in the language, which your True predicate can look at, >>>>>>>>>>>>>> and in the metalanguage, which it can not, but still you >>>>>>>>>>>>>> make bold statements that you can not prove, and have been >>>>>>>>>>>>>> pointed out to be wrong, just shows how stupid you are. >>>>>>>>>>>>>>
True(X) only returns TRUE when a a sequence of truth >>>>>>>>>>>>>>> preserving operations can derive X from the set of basic >>>>>>>>>>>>>>> facts and returns false otherwise.
Right, but needs to do so even if the path to x is >>>>>>>>>>>>>> infinite in length.
This never fails on the entire set of human general >>>>>>>>>>>>>>> knowledge that can be expressed using language.
But that isn't a logic system, so you are just proving >>>>>>>>>>>>>> your stupidity.
Note, "The Entire set of Human General Knowledge" does not >>>>>>>>>>>>>> contain the contents of Meta-systems like Tarski uses, as >>>>>>>>>>>>>> there are an infinite number of them possible, and thus to >>>>>>>>>>>>>> even try to express them all requires an infinite number >>>>>>>>>>>>>> of axioms, and thus your system fails to meet the >>>>>>>>>>>>>> requirements. Once you don't have the meta- systems, >>>>>>>>>>>>>> Tarski proof can create a metasystem, that you system >>>>>>>>>>>>>> doesn't know about, which creates the problem statement. >>>>>>>>>>>>>>
It is not fooled by pathological self-reference or >>>>>>>>>>>>>>> self-contradiction.
Of course it is, because it can't detect all forms of such >>>>>>>>>>>>>> references.
And, even if it does detect it, what answer does True(x) >>>>>>>>>>>>>> produce when we have designed (via a metalanguage) that >>>>>>>>>>>>>> the statement x in the language will be true if and only >>>>>>>>>>>>>> if ! True(x), which he showed can be done in ANY system >>>>>>>>>>>>>> with sufficient power, which your universal system must have. >>>>>>>>>>>>>>
Sorry, you are just showing how little you understand what >>>>>>>>>>>>>> you are talking about.
We need no metalanguage. A single formalized natural >>>>>>>>>>>>> language can express its own semantics as connections >>>>>>>>>>>>> between expressions of this same language.
A nice formal language has the symbols and syntax of the >>>>>>>>>>>> first order logic
with equivalence and the following additional symbols:
I am not talking about a trivially simple formal
language. I am talking about very significant
extensions to something like Montague grammar.
The language must be expressive enough to fully
encode any and all details of each element of the
entire body of human general knowledge that can
be expressed using language. Davidson semantics
provides another encoding.
But "encoding" knowledge, isn't a logic system.
of how this of encoded.
But "Encoded Knowledge" isn't a logic system. PERIOD. BYU
DEFINITION. That would just be a set of axioms. Note, Logic
system must also have a set of rules of relationships and how to >>>>>>>> manipulate them,
Yes stupid I already specified those 150 times.
TRUTH PRESERVING OPERATIONS.
and that needs more that just expressing them as knowledge.
NOT AT ALL DUMB BUNNY, for all the expressions
that are proved completely true entirely on the basis of
their meaning expressed in language they only need a
connection this semantic meaning to prove that they
are true.
Part of the problem is that most of what we call "Human
Knowledge" isn't logically defined truth, but is just
"Emperical Knowledge", for which we
The set of human knowledge that can be expressed
in language provides the means to compute True(X).
Of course not, as then True(x) just can't handle a statement
whose truth is currently unknown, which it MUST be able to handle >>>>>>>>
It employs the same algorithm as Prolog:
Can X be proven on the basis of Facts?
And thus you just admitted that your system doesn't even QUALIFY
to be the system that Tarski is talking about.
You don't seem to understand that fact, because apparently you
can't actually understand any logic system more coplicated than
what Prolog can handle.
This concise specification is air-tight.
The set of all human general knowledge that can be expressed
using language has no undecidability or undefinability.
Nope. Proven otherwise, and you are just showing your stupidity in
maintaining that claim.
Then try and show ALL OF THE DETAILS OF how when one starts
with basic facts and only applies truth preserving operations that
True(X) is not always correct.
You have already shown that you don't understand the proof, so why
should I repeat it,
Look at Tarski's FULL paper (and the material he references) and see
how he develops the expression of x in the language, by working in the
metalanguage it embed the needed meaning into x
I have already specified a system that needs no
metalanguage because it has all of its full
semantics specified syntactically and I-a got
the essence of this idea from G||del back in 2012 https://en.wikipedia.org/wiki/History_of_type_theory#G%C3%B6del_1944
On 3/21/2025 7:01 PM, Richard Damon wrote:
On 3/21/25 6:54 PM, olcott wrote:
On 3/21/2025 6:48 AM, Richard Damon wrote:
On 3/20/25 11:49 PM, olcott wrote:
On 3/20/2025 8:31 PM, Richard Damon wrote:
On 3/20/25 6:14 PM, olcott wrote:
On 3/19/2025 8:59 PM, Richard Damon wrote:
On 3/19/25 5:50 PM, olcott wrote:
On 3/18/2025 10:04 PM, Richard Damon wrote:
On 3/18/25 9:36 AM, olcott wrote:Unless you bother to pay attention to the details
On 3/18/2025 8:14 AM, Mikko wrote:
On 2025-03-17 15:40:22 +0000, olcott said:
On 3/16/2025 9:51 PM, Richard Damon wrote:
On 3/16/25 9:50 PM, olcott wrote:
On 3/16/2025 5:50 PM, Richard Damon wrote:
On 3/16/25 11:12 AM, olcott wrote:
On 3/16/2025 7:36 AM, joes wrote:
Am Sat, 15 Mar 2025 20:43:11 -0500 schrieb olcott: >>>>>>>>>>>>>>>>>>>
We can define a correct True(X) predicate that always >>>>>>>>>>>>>>>>>>> succeeds except
for unknowns and untruths, Tarski WAS WRONG !!! >>>>>>>>>>>>>>>>>> That does not disprove Tarski.
He said that this is impossible and no
counter-examples exists that shows that I am wrong. >>>>>>>>>>>>>>>>> True(GC) == FALSE Cannot be proven true AKA unknown >>>>>>>>>>>>>>>>> True(LP) == FALSE Not a truth-bearer
But if x is what you are saying is
A True(X) predicate can be defined and Tarski never >>>>>>>>>>>>>>> showed that it cannot.
Sure he did. Using a mathematical system like Godel, we >>>>>>>>>>>>>> can construct a statement x, which is only true it is the >>>>>>>>>>>>>> case that True(x) is false, but this interperetation can >>>>>>>>>>>>>> only be seen in the metalanguage created from the language >>>>>>>>>>>>>> in the proof, similar to Godel meta that generates the >>>>>>>>>>>>>> proof testing relationship that shows that G can only be >>>>>>>>>>>>>> true if it can not be proven as the existance of a number >>>>>>>>>>>>>> to make it false, becomes a proof that the statement is >>>>>>>>>>>>>> true and thus creates a contradiction in the system. >>>>>>>>>>>>>>
That you can't understand that, or get confused by what is >>>>>>>>>>>>>> in the language, which your True predicate can look at, >>>>>>>>>>>>>> and in the metalanguage, which it can not, but still you >>>>>>>>>>>>>> make bold statements that you can not prove, and have been >>>>>>>>>>>>>> pointed out to be wrong, just shows how stupid you are. >>>>>>>>>>>>>>
True(X) only returns TRUE when a a sequence of truth >>>>>>>>>>>>>>> preserving operations can derive X from the set of basic >>>>>>>>>>>>>>> facts and returns false otherwise.
Right, but needs to do so even if the path to x is >>>>>>>>>>>>>> infinite in length.
This never fails on the entire set of human general >>>>>>>>>>>>>>> knowledge that can be expressed using language.
But that isn't a logic system, so you are just proving >>>>>>>>>>>>>> your stupidity.
Note, "The Entire set of Human General Knowledge" does not >>>>>>>>>>>>>> contain the contents of Meta-systems like Tarski uses, as >>>>>>>>>>>>>> there are an infinite number of them possible, and thus to >>>>>>>>>>>>>> even try to express them all requires an infinite number >>>>>>>>>>>>>> of axioms, and thus your system fails to meet the >>>>>>>>>>>>>> requirements. Once you don't have the meta- systems, >>>>>>>>>>>>>> Tarski proof can create a metasystem, that you system >>>>>>>>>>>>>> doesn't know about, which creates the problem statement. >>>>>>>>>>>>>>
It is not fooled by pathological self-reference or >>>>>>>>>>>>>>> self-contradiction.
Of course it is, because it can't detect all forms of such >>>>>>>>>>>>>> references.
And, even if it does detect it, what answer does True(x) >>>>>>>>>>>>>> produce when we have designed (via a metalanguage) that >>>>>>>>>>>>>> the statement x in the language will be true if and only >>>>>>>>>>>>>> if ! True(x), which he showed can be done in ANY system >>>>>>>>>>>>>> with sufficient power, which your universal system must have. >>>>>>>>>>>>>>
Sorry, you are just showing how little you understand what >>>>>>>>>>>>>> you are talking about.
We need no metalanguage. A single formalized natural >>>>>>>>>>>>> language can express its own semantics as connections >>>>>>>>>>>>> between expressions of this same language.
A nice formal language has the symbols and syntax of the >>>>>>>>>>>> first order logic
with equivalence and the following additional symbols:
I am not talking about a trivially simple formal
language. I am talking about very significant
extensions to something like Montague grammar.
The language must be expressive enough to fully
encode any and all details of each element of the
entire body of human general knowledge that can
be expressed using language. Davidson semantics
provides another encoding.
But "encoding" knowledge, isn't a logic system.
of how this of encoded.
But "Encoded Knowledge" isn't a logic system. PERIOD. BYU
DEFINITION. That would just be a set of axioms. Note, Logic
system must also have a set of rules of relationships and how to >>>>>>>> manipulate them,
Yes stupid I already specified those 150 times.
TRUTH PRESERVING OPERATIONS.
and that needs more that just expressing them as knowledge.
NOT AT ALL DUMB BUNNY, for all the expressions
that are proved completely true entirely on the basis of
their meaning expressed in language they only need a
connection this semantic meaning to prove that they
are true.
Part of the problem is that most of what we call "Human
Knowledge" isn't logically defined truth, but is just
"Emperical Knowledge", for which we
The set of human knowledge that can be expressed
in language provides the means to compute True(X).
Of course not, as then True(x) just can't handle a statement
whose truth is currently unknown, which it MUST be able to handle >>>>>>>>
It employs the same algorithm as Prolog:
Can X be proven on the basis of Facts?
And thus you just admitted that your system doesn't even QUALIFY
to be the system that Tarski is talking about.
You don't seem to understand that fact, because apparently you
can't actually understand any logic system more coplicated than
what Prolog can handle.
This concise specification is air-tight.
The set of all human general knowledge that can be expressed
using language has no undecidability or undefinability.
Nope. Proven otherwise, and you are just showing your stupidity in
maintaining that claim.
Then try and show ALL OF THE DETAILS OF how when one starts
with basic facts and only applies truth preserving operations that
True(X) is not always correct.
You have already shown that you don't understand the proof, so why
should I repeat it,
Tarki's proof claimed that True(X) is forever
undefinable no matter how you try to go about
defining it. He was WRONG about this.
When we reformulate the notion of a formal
system such that it contains all and only
the set of human general knowledge then all
of the screwy things about other notions of
formal system utterly cease to exist.
On 3/21/25 9:57 PM, olcott wrote:
On 3/21/2025 7:01 PM, Richard Damon wrote:
On 3/21/25 6:54 PM, olcott wrote:
On 3/21/2025 6:48 AM, Richard Damon wrote:
On 3/20/25 11:49 PM, olcott wrote:
On 3/20/2025 8:31 PM, Richard Damon wrote:
On 3/20/25 6:14 PM, olcott wrote:
On 3/19/2025 8:59 PM, Richard Damon wrote:
On 3/19/25 5:50 PM, olcott wrote:
On 3/18/2025 10:04 PM, Richard Damon wrote:
On 3/18/25 9:36 AM, olcott wrote:Unless you bother to pay attention to the details
On 3/18/2025 8:14 AM, Mikko wrote:
On 2025-03-17 15:40:22 +0000, olcott said:I am not talking about a trivially simple formal
On 3/16/2025 9:51 PM, Richard Damon wrote:
On 3/16/25 9:50 PM, olcott wrote:
On 3/16/2025 5:50 PM, Richard Damon wrote:
On 3/16/25 11:12 AM, olcott wrote:
On 3/16/2025 7:36 AM, joes wrote:
Am Sat, 15 Mar 2025 20:43:11 -0500 schrieb olcott: >>>>>>>>>>>>>>>>>>>>
We can define a correct True(X) predicate that >>>>>>>>>>>>>>>>>>>> always succeeds except
for unknowns and untruths, Tarski WAS WRONG !!! >>>>>>>>>>>>>>>>>>> That does not disprove Tarski.
He said that this is impossible and no
counter-examples exists that shows that I am wrong. >>>>>>>>>>>>>>>>>> True(GC) == FALSE Cannot be proven true AKA unknown >>>>>>>>>>>>>>>>>> True(LP) == FALSE Not a truth-bearer
But if x is what you are saying is
A True(X) predicate can be defined and Tarski never >>>>>>>>>>>>>>>> showed that it cannot.
Sure he did. Using a mathematical system like Godel, we >>>>>>>>>>>>>>> can construct a statement x, which is only true it is the >>>>>>>>>>>>>>> case that True(x) is false, but this interperetation can >>>>>>>>>>>>>>> only be seen in the metalanguage created from the >>>>>>>>>>>>>>> language in the proof, similar to Godel meta that >>>>>>>>>>>>>>> generates the proof testing relationship that shows that >>>>>>>>>>>>>>> G can only be true if it can not be proven as the >>>>>>>>>>>>>>> existance of a number to make it false, becomes a proof >>>>>>>>>>>>>>> that the statement is true and thus creates a
contradiction in the system.
That you can't understand that, or get confused by what >>>>>>>>>>>>>>> is in the language, which your True predicate can look >>>>>>>>>>>>>>> at, and in the metalanguage, which it can not, but still >>>>>>>>>>>>>>> you make bold statements that you can not prove, and have >>>>>>>>>>>>>>> been pointed out to be wrong, just shows how stupid you are. >>>>>>>>>>>>>>>
True(X) only returns TRUE when a a sequence of truth >>>>>>>>>>>>>>>> preserving operations can derive X from the set of basic >>>>>>>>>>>>>>>> facts and returns false otherwise.
Right, but needs to do so even if the path to x is >>>>>>>>>>>>>>> infinite in length.
But that isn't a logic system, so you are just proving >>>>>>>>>>>>>>> your stupidity.
This never fails on the entire set of human general >>>>>>>>>>>>>>>> knowledge that can be expressed using language. >>>>>>>>>>>>>>>
Note, "The Entire set of Human General Knowledge" does >>>>>>>>>>>>>>> not contain the contents of Meta-systems like Tarski >>>>>>>>>>>>>>> uses, as there are an infinite number of them possible, >>>>>>>>>>>>>>> and thus to even try to express them all requires an >>>>>>>>>>>>>>> infinite number of axioms, and thus your system fails to >>>>>>>>>>>>>>> meet the requirements. Once you don't have the meta- >>>>>>>>>>>>>>> systems, Tarski proof can create a metasystem, that you >>>>>>>>>>>>>>> system doesn't know about, which creates the problem >>>>>>>>>>>>>>> statement.
It is not fooled by pathological self-reference or >>>>>>>>>>>>>>>> self-contradiction.
Of course it is, because it can't detect all forms of >>>>>>>>>>>>>>> such references.
And, even if it does detect it, what answer does True(x) >>>>>>>>>>>>>>> produce when we have designed (via a metalanguage) that >>>>>>>>>>>>>>> the statement x in the language will be true if and only >>>>>>>>>>>>>>> if ! True(x), which he showed can be done in ANY system >>>>>>>>>>>>>>> with sufficient power, which your universal system must >>>>>>>>>>>>>>> have.
Sorry, you are just showing how little you understand >>>>>>>>>>>>>>> what you are talking about.
We need no metalanguage. A single formalized natural >>>>>>>>>>>>>> language can express its own semantics as connections >>>>>>>>>>>>>> between expressions of this same language.
A nice formal language has the symbols and syntax of the >>>>>>>>>>>>> first order logic
with equivalence and the following additional symbols: >>>>>>>>>>>>
language. I am talking about very significant
extensions to something like Montague grammar.
The language must be expressive enough to fully
encode any and all details of each element of the
entire body of human general knowledge that can
be expressed using language. Davidson semantics
provides another encoding.
But "encoding" knowledge, isn't a logic system.
of how this of encoded.
But "Encoded Knowledge" isn't a logic system. PERIOD. BYU
DEFINITION. That would just be a set of axioms. Note, Logic >>>>>>>>> system must also have a set of rules of relationships and how >>>>>>>>> to manipulate them,
Yes stupid I already specified those 150 times.
TRUTH PRESERVING OPERATIONS.
and that needs more that just expressing them as knowledge.
NOT AT ALL DUMB BUNNY, for all the expressions
that are proved completely true entirely on the basis of
their meaning expressed in language they only need a
connection this semantic meaning to prove that they
are true.
Part of the problem is that most of what we call "Human >>>>>>>>>>> Knowledge" isn't logically defined truth, but is just
"Emperical Knowledge", for which we
The set of human knowledge that can be expressed
in language provides the means to compute True(X).
Of course not, as then True(x) just can't handle a statement >>>>>>>>> whose truth is currently unknown, which it MUST be able to handle >>>>>>>>>
It employs the same algorithm as Prolog:
Can X be proven on the basis of Facts?
And thus you just admitted that your system doesn't even QUALIFY >>>>>>> to be the system that Tarski is talking about.
You don't seem to understand that fact, because apparently you
can't actually understand any logic system more coplicated than >>>>>>> what Prolog can handle.
This concise specification is air-tight.
The set of all human general knowledge that can be expressed
using language has no undecidability or undefinability.
Nope. Proven otherwise, and you are just showing your stupidity in
maintaining that claim.
Then try and show ALL OF THE DETAILS OF how when one starts
with basic facts and only applies truth preserving operations that
True(X) is not always correct.
You have already shown that you don't understand the proof, so why
should I repeat it,
Look at Tarski's FULL paper (and the material he references) and see
how he develops the expression of x in the language, by working in
the metalanguage it embed the needed meaning into x
I have already specified a system that needs no
metalanguage because it has all of its full
semantics specified syntactically and I-a got
the essence of this idea from G||del back in 2012
https://en.wikipedia.org/wiki/History_of_type_theory#G%C3%B6del_1944
So, how do you assign the values to all the axioms via axioms?
You can't do it in the system, as it adds axioms that also need to be numbered.
Please show how you can make a system with two "normal" axioms, plus the axioms to assign numbers to every axiom in the system.
Remember, you need a finite number of axioms in the final system.
On 3/21/2025 9:31 PM, Richard Damon wrote:
On 3/21/25 9:57 PM, olcott wrote:
On 3/21/2025 7:01 PM, Richard Damon wrote:
On 3/21/25 6:54 PM, olcott wrote:
On 3/21/2025 6:48 AM, Richard Damon wrote:
On 3/20/25 11:49 PM, olcott wrote:
On 3/20/2025 8:31 PM, Richard Damon wrote:
On 3/20/25 6:14 PM, olcott wrote:
On 3/19/2025 8:59 PM, Richard Damon wrote:
On 3/19/25 5:50 PM, olcott wrote:
On 3/18/2025 10:04 PM, Richard Damon wrote:
On 3/18/25 9:36 AM, olcott wrote:Unless you bother to pay attention to the details
On 3/18/2025 8:14 AM, Mikko wrote:
On 2025-03-17 15:40:22 +0000, olcott said:I am not talking about a trivially simple formal
On 3/16/2025 9:51 PM, Richard Damon wrote:
On 3/16/25 9:50 PM, olcott wrote:
On 3/16/2025 5:50 PM, Richard Damon wrote:
On 3/16/25 11:12 AM, olcott wrote:
On 3/16/2025 7:36 AM, joes wrote:
Am Sat, 15 Mar 2025 20:43:11 -0500 schrieb olcott: >>>>>>>>>>>>>>>>>>>>>
We can define a correct True(X) predicate that >>>>>>>>>>>>>>>>>>>>> always succeeds except
for unknowns and untruths, Tarski WAS WRONG !!! >>>>>>>>>>>>>>>>>>>> That does not disprove Tarski.
He said that this is impossible and no
counter-examples exists that shows that I am wrong. >>>>>>>>>>>>>>>>>>> True(GC) == FALSE Cannot be proven true AKA unknown >>>>>>>>>>>>>>>>>>> True(LP) == FALSE Not a truth-bearer
But if x is what you are saying is
A True(X) predicate can be defined and Tarski never >>>>>>>>>>>>>>>>> showed that it cannot.
Sure he did. Using a mathematical system like Godel, we >>>>>>>>>>>>>>>> can construct a statement x, which is only true it is >>>>>>>>>>>>>>>> the case that True(x) is false, but this interperetation >>>>>>>>>>>>>>>> can only be seen in the metalanguage created from the >>>>>>>>>>>>>>>> language in the proof, similar to Godel meta that >>>>>>>>>>>>>>>> generates the proof testing relationship that shows that >>>>>>>>>>>>>>>> G can only be true if it can not be proven as the >>>>>>>>>>>>>>>> existance of a number to make it false, becomes a proof >>>>>>>>>>>>>>>> that the statement is true and thus creates a >>>>>>>>>>>>>>>> contradiction in the system.
That you can't understand that, or get confused by what >>>>>>>>>>>>>>>> is in the language, which your True predicate can look >>>>>>>>>>>>>>>> at, and in the metalanguage, which it can not, but still >>>>>>>>>>>>>>>> you make bold statements that you can not prove, and >>>>>>>>>>>>>>>> have been pointed out to be wrong, just shows how stupid >>>>>>>>>>>>>>>> you are.
True(X) only returns TRUE when a a sequence of truth >>>>>>>>>>>>>>>>> preserving operations can derive X from the set of basic >>>>>>>>>>>>>>>>> facts and returns false otherwise.
Right, but needs to do so even if the path to x is >>>>>>>>>>>>>>>> infinite in length.
But that isn't a logic system, so you are just proving >>>>>>>>>>>>>>>> your stupidity.
This never fails on the entire set of human general >>>>>>>>>>>>>>>>> knowledge that can be expressed using language. >>>>>>>>>>>>>>>>
Note, "The Entire set of Human General Knowledge" does >>>>>>>>>>>>>>>> not contain the contents of Meta-systems like Tarski >>>>>>>>>>>>>>>> uses, as there are an infinite number of them possible, >>>>>>>>>>>>>>>> and thus to even try to express them all requires an >>>>>>>>>>>>>>>> infinite number of axioms, and thus your system fails to >>>>>>>>>>>>>>>> meet the requirements. Once you don't have the meta- >>>>>>>>>>>>>>>> systems, Tarski proof can create a metasystem, that you >>>>>>>>>>>>>>>> system doesn't know about, which creates the problem >>>>>>>>>>>>>>>> statement.
It is not fooled by pathological self-reference or >>>>>>>>>>>>>>>>> self-contradiction.
Of course it is, because it can't detect all forms of >>>>>>>>>>>>>>>> such references.
And, even if it does detect it, what answer does True(x) >>>>>>>>>>>>>>>> produce when we have designed (via a metalanguage) that >>>>>>>>>>>>>>>> the statement x in the language will be true if and only >>>>>>>>>>>>>>>> if ! True(x), which he showed can be done in ANY system >>>>>>>>>>>>>>>> with sufficient power, which your universal system must >>>>>>>>>>>>>>>> have.
Sorry, you are just showing how little you understand >>>>>>>>>>>>>>>> what you are talking about.
We need no metalanguage. A single formalized natural >>>>>>>>>>>>>>> language can express its own semantics as connections >>>>>>>>>>>>>>> between expressions of this same language.
A nice formal language has the symbols and syntax of the >>>>>>>>>>>>>> first order logic
with equivalence and the following additional symbols: >>>>>>>>>>>>>
language. I am talking about very significant
extensions to something like Montague grammar.
The language must be expressive enough to fully
encode any and all details of each element of the
entire body of human general knowledge that can
be expressed using language. Davidson semantics
provides another encoding.
But "encoding" knowledge, isn't a logic system.
of how this of encoded.
But "Encoded Knowledge" isn't a logic system. PERIOD. BYU >>>>>>>>>> DEFINITION. That would just be a set of axioms. Note, Logic >>>>>>>>>> system must also have a set of rules of relationships and how >>>>>>>>>> to manipulate them,
Yes stupid I already specified those 150 times.
TRUTH PRESERVING OPERATIONS.
and that needs more that just expressing them as knowledge. >>>>>>>>>>
NOT AT ALL DUMB BUNNY, for all the expressions
that are proved completely true entirely on the basis of
their meaning expressed in language they only need a
connection this semantic meaning to prove that they
are true.
Part of the problem is that most of what we call "Human >>>>>>>>>>>> Knowledge" isn't logically defined truth, but is just >>>>>>>>>>>> "Emperical Knowledge", for which we
The set of human knowledge that can be expressed
in language provides the means to compute True(X).
Of course not, as then True(x) just can't handle a statement >>>>>>>>>> whose truth is currently unknown, which it MUST be able to handle >>>>>>>>>>
It employs the same algorithm as Prolog:
Can X be proven on the basis of Facts?
And thus you just admitted that your system doesn't even QUALIFY >>>>>>>> to be the system that Tarski is talking about.
You don't seem to understand that fact, because apparently you >>>>>>>> can't actually understand any logic system more coplicated than >>>>>>>> what Prolog can handle.
This concise specification is air-tight.
The set of all human general knowledge that can be expressed
using language has no undecidability or undefinability.
Nope. Proven otherwise, and you are just showing your stupidity in >>>>>> maintaining that claim.
Then try and show ALL OF THE DETAILS OF how when one starts
with basic facts and only applies truth preserving operations that
True(X) is not always correct.
You have already shown that you don't understand the proof, so why
should I repeat it,
Look at Tarski's FULL paper (and the material he references) and see
how he develops the expression of x in the language, by working in
the metalanguage it embed the needed meaning into x
I have already specified a system that needs no
metalanguage because it has all of its full
semantics specified syntactically and I-a got
the essence of this idea from G||del back in 2012
https://en.wikipedia.org/wiki/History_of_type_theory#G%C3%B6del_1944
So, how do you assign the values to all the axioms via axioms?
You can't do it in the system, as it adds axioms that also need to be
numbered.
Please show how you can make a system with two "normal" axioms, plus
the axioms to assign numbers to every axiom in the system.
Remember, you need a finite number of axioms in the final system.
OK finally you are not rejecting what I say out-of-hand without review.
Categorically exhaustive reasoning does not ever delve into the weeds
of the details of hows something is accomplished until after there
is 100% complete understanding of what is to be accomplished why it
is to be accomplished.
I need you to first understand that the set of knowledge expressed
using language cannot possibly have any undecidability.