PL Olcott

All of the general knowledge known to humans derives that {sheep cannot live on Mars} on the basis that sheep must have an atmosphere that Mars does n...

No the BOAK is a knowledge ontology inheritance hierarchy having the same structure as the Cyc project. Unlike a mere dictionary the requires a human ...

We know that dogs are animals and thus not fifteen story office buildings only because of the meanings of the words {dog} and {fifteen story office bu...

I don't know how I came up with that wording. Every expression of the BOAK is either stipulated to be true (AKA axioms) or deduced from these axioms. ...

I simply define the term {analytic truthmaker} in on the the basis of the existing terms {analytic} and {truthmaker}. Because some analytic truths are...

Why would you think that facts are excluded? The body of analytic knowledge is the subset of the body of analytic truth that is known to be true. The ...

The body of all current analytical general knowledge is not only countable it is finite. They would be organized as a knowledge ontology inheritance h...

(a) Formal system BOAK (b) Every expression of the language of BOAK can be proved in (a) and (b) is the pair. (1) Cats are animals is an axiom of BOAK...

Every expression of the language of BOAK can be proved in BOAK, or it is simply untrue within BOAK. This is the (expression of language / BOAK formal ...

I have been very diligently studying these things for two decades. I have written many papers. What I mean by axiom is any expression of language that...

Yet the way that truth actually works is that unprovable literally means untrue within any finite formal system such as the BOAK. The whole notion of ...

All of the basic facts of the model of the current world are stipulated to be necessarily true, thus are the axioms of BOAK. The only other source of ...

https://en.wikipedia.org/wiki/Ontology_(information_science) is an inheritance hierarchy {tree of knowledge} model of the current world using Richard ...

This is by far the greatest philosophy group that I have ever been in.

My example was to show that mathematical truths are discovered thus not created.

Coherent versus incoherent. Good example now I know exactly what you mean. The way that I address this is that the value of PI was entailed by the con...

You can presume that, yet that was not stated. I took the question to mean: Of every possibility that can exist are their any of them where the world ...

There are only two aspects to reality (a) Abstract ideas kept in the mind. (b) What appears to be physical sensations from the sense organs. If there ...

Not at all. We know that the simulation of a giant star millions of miles away is a very terrible simulation. The Truman Show https://www.imdb.com/tit...

If we keep seeing the guy that changes the light bulb of the Sun changing its light bulb then we would know that the Sun is not a giant star millions ...

If it was a poor simulation we would never be having this conversation because it would be common knowledge that everyone would know.

We can tell that it is not a poor simulation. Detecting the subtle difference between a very excellent simulation and a perfect one might prove very d...

It is by definition impossible to detect the difference between reality and a perfect simulation of reality. If the simulation is less than perfect th...

Whenever we are dealing with phonetic or symbolic encodings of semantic meanings we are dealing with abstractions. When we are looking directly at an ...

That is outside of the scope of the original question. In one sense or another the world <is> proved to definitely exist.

That the world exists (an abstract concept) is verified to be true (also an abstract concept) on the basis of anything that appears to be any physical...

Truth itself <is> purely conceptual.

The pain is conclusive proof that the fist exists.

Yes because within the hypothesis that the world is a projection from one's own mind it does actually cease to exist while no longer perceived.

When we look at the most extreme of all possibilities: AKA solipsism, and we confirm that even in this case the world does exist, then we know that th...

"The world" is simply every direct experience of what appears to be any physical sensation from any sense organ. This is opposed to and contrast with ...

If all of what seems to be physically manifest reality is actually merely a projection from one's own mind then when the perception of an object cease...

I always come up with all of these things on my own from scratch. I am merely using my own system of categorically exhaustive reasoning to examine the...

The world definitely exists at least as a projection (of what at least appears physical sensations) from one's own mind. The world may have never exis...

This is only true when one assumes that reality is not simply a projection from one's own mind.

I don't know how to simply upvote your reply.

I don't know how to erase a comment.

It turns out that Heinlein's "fair witness" is the only actually correct way of doing this. While one is perceiving the existence of the world one has...

No the actual main point is that the halting problem proofs are incorrect because they require a computer program to provide a correct answer to a sel...

If one can rearrange the molecules of a house brick to become an angel food cake then it is not logically impossible to make an angel food cake from h...

My original example of an impossible task was to bake a perfect angel food cake using only house bricks for ingredients. Someone pointed out the rearr...

Logically impossible is the maximum of all impossibilities. Things that the creator of the universe cannot do are logically impossible things. God cou...

That is not what I meant. I want to define a task that is logically impossible. Most people don't know what logically impossible means.

I have never been talking about that. I am talking about making single geometric object that <is> entirely a square (and thus not a circle) and simult...

Mathematical Incompleteness determines that a formal system <is> incomplete when-so-ever WFF x of the language L of a formal system F can neither be p...

Self-contradictory statements are not truth bearers. That is factually incorrect. As soon as any WFF of any formal system is determined to neither be ...

Incompleteness <is> accepted when any WFF cannot be either proved or refuted within a formal system EVEN IF it cannot be proved or refuted in this for...

I created Minimal Type Theory that spits out the directed graph of its own WFF. This is the only system that I know of where the Liar Paradox can be f...

Because the Liar Paradox is self-contradictory it cannot be included in formal systems that require all expressions to be either satisfiable or their ...