No that it not it. He used the term {synonymous} 98 times. He did not understand that the term {bachelor} is simply assigned the semantic meaning of {...
A person with a 50 million IQ that cannot understand that (one the the sense meanings of) the term {bachelor} is assigned the semantic meaning of {unm...
Gödel Incompleteness can only be implemented in systems that implement Boolean True(L, x) incorrectly. It cannot exist in systems where True(L, x) mea...
It is a concrete example of an expression of language that is true on the basis of it meaning. Quine objected to true on the basis of meaning trying t...
The Germans currently know how to counter-propaganda? One of the things that they did that has worked is limiting free speech. It does seem to me that...
It will not focus its attention on every lie, only the ones that can have near term catastrophic consequences. I can't understand how 45% of the elect...
The reason for my persistence with correcting the notion of truth is that incorrect notions are resulting in the extinction of humanity through climat...
We can combine (1) and (2) and say that every expression of language that is true on the basis of its meaning is either a fact or derived from a fact....
I am making zero assumptions what-so-ever. Facts are expressions of language that are true EVEN IF NO ONE KNOWS THIS OR EVERYONE IN THE WHOLE UNIVERSE...
Actual facts are expressions of language that correctly model the actual world even if everyone in the universe disagrees or no one in the universe kn...
The ONLY way that we know that {cats are animals} is that it is stipulated to be true on the basis of the assigned meaning of the words. 2+2=4 is deri...
This is ALL there is to expressions of language that are true on the basis of their meaning (1) Some expressions of language are stipulated to be true...
The key most important thing about Prolog is that Gödel's incompleteness can not be implemented in Prolog. Unprovable simply means untrue. Since this ...
That set of facts that comprise the actual model of the real world is the basis. This includes common sense and also details that almost everyone does...
When reviewing the actual publications in the field it seems that the greatest experts in the field are incapable of understanding that self-contradic...
To be proven requires a sequence of inference steps that prove that they themselves do not exist. This is just like this adapted form of René Descarte...
We can determine that the Liar Paradox applied to itself is true: This sentence is not true: "This sentence is not true" is true. yet we can only do t...
Likewise we can generalize cows eat house bricks into cows eat something. Any nonsense sentence can be changed into a different sentence that is not n...
¬TruthBearer(L,x) ? ?x ? Language(L) ((L ? x) ? (L ? ¬x)) It does seem ridiculously stupid that a formal system could be construed as incomplete on th...
The way that all self-contradictory sentences are ruled out is simple. Self-contradictory sentences cannot be proven or refuted from axioms thus are t...
That is not true at all. If someone says that a {dog} <is> a fifteen story office building this is ruled as false because there are no {dogs} that <ar...
In other words you too simply don't understand that epistemological antinomies (AKA self-contradictory expressions) are simply not truth bearers thus ...
The terrible mistake is that no self-contradictory expression is any kind of propositional at all. Not only is it a mistake it is a ridiculously stupi...
{correct} is an aspect of the meaning of the term {truth} so analytic truth cannot possibly be wrong in any way what-so-ever. If it cannot possibly be...
That is like saying the integer five may not be any kind of number at all. Everything that is {incorrect} is excluded from the body of {truth}. That p...
I hypothesize that mathematics is only construed as "incomplete" based on a nonsense meaning of complete. When provable from axioms means true and the...
I am stipulating that analytic truth are only those expressions of language that are a correct model of the actual world. It seems a little nutty to d...
Saying that analytic truth can be wrong it like saying that kittens can be 15 story office buildings it cannot possibly ever happen. The closest thing...
Untrue unless provable from Facts does seem to be the correct model for the entire body of analytic truth. Analytic truth seems to be essentially noth...
No, not at all. Nothing like that. I am only talking about HOL because everyone seems to be totally clueless about knowledge ontologies so I am using ...
I am not talking about anything like that. I am referring to the (non-existent truth value of the) actual semantic meaning of the English sentence: Wh...
This sentence is not true: "This sentence is not true" is true. The inner sentence is in Tarski's theory and the outer sentence is in his meta-theory ...
An epistemological antinomy is really just a self-contradictory expression that has no truth value. He might as well of have because "What time is it?...
HOL applies to set of things at the next lower order of logic. Prolog works the way that analytic truth really works. If an expression can be proven f...
HOL is simply a bridge so that people that don't have a clue what knowledge ontologies are can think of them using the simpler isomorphism of what the...
Tarski only proved that a truth predicate cannot be applied to a non-truth bearer. He got confused when This sentence is not true: "This sentence is n...
I have been working on self-referential paradox for two decades. I have understood that a https://en.wikipedia.org/wiki/Ontology_(information_science)...
It never was any altered state of consciousness. It is actually noticing a very well hidden aspect to cause-and-effect that is impossible to see until...
The key thing about this limit to logically justified certainty is that it opens the mind sufficiently for things as a Buddhist enlightenment to occur...
When "knowledge is defined as: "justified true belief", the "belief" aspect means truths that one is aware of, not expressions of language that are te...
You have to look at his actual proof to see otherwise: It would then be possible to reconstruct the antinomy of the liar in the metalanguage, by formi...
The Liar Paradox basis of the proof: https://liarparadox.org/Tarski_247_248.pdf The full actual proof: https://liarparadox.org/Tarski_275_276.pdf It s...
A knowledge ontology https://en.wikipedia.org/wiki/Ontology_(information_science) is essentially an inheritance hierarchy of types from type theory wh...
Comments