The system would be hooked up to reliable online sources of news and academic articles. This would make it "the world's leading expert at everything" ...
The first step of this is to correctly refute the Tarski undefinability theorem. With the new LLM AI technology encoding knowledge of the world become...
My goal is (1) to make Boolean True(x) computable. (2) This requires that a machine has an understanding of the world at least equal to the best human...
The database that I referred to has always been the the set of general knowledge of the current actual world that can be expressed using language. For...
Every expression of language that can be verified as true or false entirely on the basis of textual analysis is Analytic(Olcott), thus your expression...
Analytic(Olcott) is a stipulative definition that retains the essence of the original {proven completely true or false entirely on the basis of its me...
You are disagreeing that there can be a correct model of the world because you don't understand how it is updated? How did humans find out that Obama ...
The only way that people learn that expressions of language are true is that they are told or they are derived from expressions of language they they ...
"Michelle is the tallest woman in the room" is not analytic because it requires sense data from the sense organs to verify that {Michelle is in the ro...
With my redefinition of the {analytic} side of the analytic/synthetic distinction any and all knowledge that can be completely verified as true entire...
I am trying to specify a definition of the term {analytic expression of language} that matches the spirit of the conventional definition {verified as ...
The sum total of all of the general knowledge of the world is finite. Every detail about every atom of the cat next door's location at every point in ...
It is told that {cats} <are> {animals} and billions of other things about {cats}. Most of these other things are inherited from the {animal} element o...
As I told you before, because I have carefully studied all of these things in my mind for five years full-time I really can address and possible objec...
I have spent five full time years carefully thinking through how an analytic distinction could over-ride, replace and supersede the current one such t...
The Cyc project addresses this by providing a unique 128-bit integer (GUID) for each unique sense meaning in the world. 6ae8d0b5-be3e-4f0d-aaea-d37395...
When one definition simultaneously addresses every possible objection then it also addresses any and all objections that Quine could possibly have. I ...
The Cyc Project uses 128-bit GUID integers to identify unique sense meanings. Cyc (pronounced /?sa?k/ SYKE) is a long-term artificial intelligence pro...
An axiom is a proposition regarded as self-evidently true without proof. https://mathworld.wolfram.com/Axiom.html An axiomatic model of the world is t...
That is not the definition that I provided. I redefined {analytic} to eliminate all equivocation. The class {dog} is stipulated to be a subset of the ...
I find that categorically exhaustive reasoning finds the optimal answer in minimal steps. Try bringing up any specific objection and I will address it...
No I cannot. Once I understood that he didn't understand that bachelors are unmarried I wrote him off as a nitwit. Do you know of any objections that ...
When I address every possible objection that anyone can possibly have I have addressed his objections. An analytic expression of language can be total...
My approach was to categorically address every possible objection that anyone could ever have thus addressing any objection that Quine had. Since Quin...
I don't know but he convinced a majority of philosophers that the analytic / synthetic distinction is problematic. He seemed to think that nothing abo...
https://en.wikipedia.org/wiki/Analytic%E2%80%93synthetic_distinction When define analytic the way that I did then every possible objection to the anal...
If you cannot determine the truth of an expression of language entirely on the basis of other expressions of language then the expression is not analy...
Only in the sense that facts can be looked up in an encyclopedia and encyclopedias can be updated with new facts. Actual interaction with the world th...
Finite strings are assigned semantic meanings in the same way that 5 is assigned to the value x in BASIC: 100 let x = 5 The CYC project uses 128-but G...
I am hypothesizing a formal system containing the sum total of all analytic general knowledge. The Cyc Project already does this for a tiny fraction a...
With a complete model of the actual world a True(L, x) predicate could be created. This system could for example get on social media and find all the ...
Yes it is. It is the largest AI project in the world and I have been following its progress for decades. They have 1000 labor years invested in this p...
It doesn't add any new knowledge the same way that dictionaries and encyclopedias do not add any new knowledge. The purpose is not to add any new know...
All of the knowledge of the actual world is defined as the stipulated meaning of terms and stipulated relations between terms in an inheritance hierar...
http://www.ditext.com/quine/quine.html Quine went on and on about how he could not understand that bachelors are unmarried. Right at the beginning of ...
I think that I may have overcome every possible objection. Quine didn't seem to understand that facts are analytic. I am stipulating that every elemen...
It is difficult to understand how words acquire semantic meaning, perhaps this is too difficult for you? There is no guy named "Bill" that has complet...
I already said that expressions that are not elements of the body of analytical knowledge are excluded. I will make it simpler for you ONLY known fact...
It is stipulated that Analytic(Olcott) means anything that can be encoded in Montague Semantics <is> Analytic(Olcott). More generally anything that ca...
It is stipulated as an axiom that {cats are animals} even if cats are a mere figment of the imagination. If it is later proven that all cat's were onl...
It might take a whole book to define Analytic(Olcott) without any reference to anything else. To define Analytic(Olcott) in terms of the Analytic of t...
Comments