Rudolf Carnap derived the basis for Richard Montague to mathematically formalize natural language. https://plato.stanford.edu/entries/montague-semanti...
The meaning of those terms is the sum total of every detail of all of the general knowledge that applies to those terms (that can be written down usin...
Analytic(Olcott) propositions can be verified as completely true entirely on the basis of their meaning. This includes many things that are typically ...
Analytic(Olcott) is a lot like the conventional meaning of {Analytic} in that every expression is verified as completely true entirely on the basis of...
The only reason why there continues to be disagreement about whether or not the analytic/synthetic distinction exists is because it was not defined un...
That is not what Synthetic(Olcott) means. Actually seeing or smelling a {Rose} is the synthetic aspect of a {Rose}. Every detail about a {Rose} that c...
It is difficult to understand how words acquire meaning. That it is difficult to understand does not entail that my understanding is incorrect. The ar...
I am defining Analytic(Olcott) and Synthetic(Olcott) so that they can be unequivocally divided. Analytic(Olcott) is anything that can be explained usi...
Every element of the body of analytic knowledge can be verified as true in that it is either an axiom of {BOAK} or is deduced from the axioms of {BOAK...
Synthetic(Olcott) means photographs, videos, tape recordings, sense data from the sense organs. Analytic(Olcott) means anything and everything the can...
I already corrected the gettier problem cases of the error of "justified true belief". knowledge is a justified true belief such that the justificatio...
It is not at all that properties cannot be described using words. It is that some properties require first-hand direct experience of sense data from t...
No it is an axiom forming the foundation of the body of analytical knowledge. Unless and until finite strings are assigned meaning they remain meaning...
The actual set of actual human knowledge is encoded such that a computer can apply human reasoning within this body of knowledge that can be written d...
The meaning of the words of a specific human language simply assigns meanings to finite strings. When these meanings are analytic then it merely assig...
Yes that is my key point, hence I cannot begin to understand how anyone could possibly disbelieve in the analytic/synthetic distinction. Quine seemed ...
I have three different related posts. The purpose of this post is to unequivocally establish that the analytic / synthetic distinction definitely exis...
We simply have the true definition of unicorn that already exists in the verbal model of the actual world. My purpose in this post is to unequivocally...
That is one reason why I am making sure to exclude them. The criterion measure for excluding them seems to have no boundary cases. The purpose of this...
Although the verbal model of the actual world already exists it may take millions of labor years to write this all down. This means that we simply und...
In other words it may be the case that the {living animal} {cat} really is a {plate of brownies crushed on the floor} and everyone thinking otherwise ...
We can call this the analytic(olcott) / empirical(olcott) distinction meaning that any expression of language that can be verified as true on the basi...
Unicorns are fictional animals that are {horses} with {horns}. The verbal model of the actual world is a set of mutually self-defining semantic tautol...
If we use Robert Heinlein's "fair witness" standard of truth you can not be sure that a cat is in the living room the moment after you have no sense d...
That seem to be like saying how do we know that "12" represents the integer twelve and not a plate of brownies crushed on the floor? The meaning of th...
The only way that you can verify that a specific event is occurring at a specific location right now generally requires that you are seeing this event...
It is simply the ordinary and common body of general knowledge known to mankind. It could be updated or static. Once the notions of {analytic truthmak...
He seems to be disagreeing with Tarski. https://en.wikipedia.org/wiki/Ontology_(information_science) is how the knowledge is stored. It is easiest to ...
This is pages from his paper. I have taken them to be the actual proof of the undefinability theorem. https://liarparadox.org/Tarski_275_276.pdf What ...
Here is Tarski saying exactly that: "(3) x ? Pr if and only if x ? Tr" The exact same thing is on the bottom of the first page of Tarski's actual text...
Since we can know that {Cats} <are> {Animals} on the basis of the meaning of these words then that makes is analytical according to the common and sim...
I am not talking about Montague grammar per say. I am talking about some system like Montague Grammar that can explain every detail about human genera...
I am merely trying to define the term {analytic truthmaker} on the basis of the conventional meaning of those two terms. I can perfectly specify exact...
BOAK is the model of the actual world along with every detail of human general knowledge. The BOAK also knows how to perform every aspect of human rea...
That is Tarski's line (3) that says that expression of language x is only true if x cannot be proven. It seems that Tarski is saying: If Y is true and...
I don't really want to delve into the trillions of details until after the architecture is understood and accepted, otherwise I won't be able to make ...
The BOAK can perform every arithmetic and logical operations, thus qualifies for Gödel’s Incompleteness. Knowledge specified in natural language has b...
The key change is the unprovable in BOAK simply means untrue in the BOAK, thus cannot means that BOAK is incomplete. BOAK is merely the actual body of...
It is currently known that humans are the only life on the Earth that can understand analytic geometry. Listing all the axioms make fill a book light ...
It in not probable that sheep need air to breath therefore it is not inductive inference. Inductive inference only deals with probabilities it never d...
It is deduction from true premises. The formal system required must have a human level of comprehension directly hard-wired into it. It must know ever...
Every single detail of all of the general knowledge known to humans is in the BOAK. Can sheep live on Mars? is not general knowledge thus must be deri...
Comments