PL Olcott

Is this sentence true or false? "This sentence is not true" is an incorrect question because the Liar Paradox is neither true nor false and the soluti...

Carol's question is incorrect for Carol, thus it is the fault of the question and not the falt of Carol for the lack of correct answer from Carol. The...

One thing that I found in my 20 year long quest is that self-contradictory expressions are not true. As a corollary to this self-contradictory questio...

Some (if not all) undecidable decision problems are only "undecidable" because there is something wrong with the problem. When zero elements of the en...

This is very tricky like the Liar Paradox: "This sentence is not true" <is> not true yet does not make it true because if it was true then it would no...

We must not change Carol's question because it is the exact same form as the most important theorem in computer science the halting theorem. A PhD com...

I changed the words to the better words of the PhD computer science professor.

I changed the words to the better words of the PhD computer science professor.

---

If G was provable in T then this requires a sequence of inference steps in T that prove that they themselves do not exist. Copyright 2023 PL Olcott

S = "S is not provable in T" A proof of S in T requires a sequence of inference steps in T that prove that they themselves do not exist. Copyright 202...

It may be best to keep the radical skepticism in the back of our mind just to force a little more humility so that we don't excessively trust the meri...

After reading this again I agree. I was also trying to show why knowing the limits of logically justified certainty is important.

I think that your criticism of my view has lots of merit. You do seem to be describing more accurately how people actually use knowledge. When I cut o...

The system seems to have crashed for a little while... Only when one fully comprehends the actual limits of logically justified certainty is one's min...

Back to pure epistemology The Tarski Undefinability Theorem "proves" that True(L, x) can never be computed on the basis that Tarski did not understand...

Although the problem of induction seems to prove that the very next time you drop your coffee cup it might just hang there in the air levitating, I di...

I am taking all of the things known through induction, (ignoring the problem of induction) and converting them into axioms in the verbal model of the ...

I haven't fully read it yet. It seems that you and I have two different goals. You are trying to define knowledge accurately within the common termino...

I saved the whole thing as a 33 page PDF. Only the first 12 pages are your paper. With the free PDF readers of recent years I can highlight key sectio...

You have been a very excellent reviewer. Almost everyone here has proven to be very knowledgeable and sincerely wants an honest dialogue. That is much...

I really appreciate all of your feedback. This whole forum seems filled with people that are knowledgeable of the subject and sincerely want an honest...

That is the way that I mean it. If one is aware that one is thinking this proves that thinking exists. If thinking exists then this refutes the assert...

It is a paraphrase of: https://www.britannica.com/topic/cogito-ergo-sum

I agree with you, I merely referenced a very famous quote that seems to disagree with you. We can at the very least know that existence exists right n...

https://en.wikipedia.org/wiki/I_know_that_I_know_nothing

I proved above that when "a proposition which asserts its own unprovability. (Gödel 1931:43-44)" That this proposition is self-contradictory: Proving ...

I am back to something close to my original position confusing a space alien perfectly disguised as a duck for an actual duck is the only possible mis...

My example is that a space alien that is perfectly disguised as a duck (including Duck DNA) would be mistaken for a duck thus provide fake knowledge t...

I think that believing in the case of JTB means that some mind holds the idea of the assertion. Knowledge is divided from truth in that truth can be u...

The same author says this later on in the same article.

When we require that the consequent be a necessary semantic consequence of its antecedent all of the issues go away. A ? B then becomes A ? B and we q...

You see these things exactly the same way that I do.

It has never been any matter of luck. It has always been a matter of applying very extreme diligence to intuition until the intuition is translated in...

That you deny the truth of statements that are proved completely true entirely on the basis of the meaning of their words sufficiently proves that you...

Ah so you are a mere Troll after all.

This is getting a little too silly. An otherwise perfect simulation of myself would not exist in exactly the same (x,y,z) coordinates relative to the ...

None the less my key point is that if two things differ in ways that are not discernable such as an actual duck and a space alien perfectly disguised ...

The very first time that I ever heard about the Identity of indiscernibles https://en.wikipedia.org/wiki/Identity_of_indiscernibles#:~:text=The%20iden...

We ourselves are not exactly the same as we were one minute ago.

When the entire set of properties of a thing (including its point in time and space) are identical to another thing then we can know that they are one...

Logic seems best defined as a set of rules forming the axiomatic basis of correct reasoning. Tarski Undefinability, Gödel Incompleteness and the Princ...

That is great. There is no simple upvote so I do it verbally.

Thanks for that.

The set of every self-evident truth is stored in a knowledge ontology verbal model of the actual world. A cat is an animal even if no cats physically ...

This is a hypothetical example thought experiment of the boundaries of the Identity_of_indiscernibles https://en.wikipedia.org/wiki/Identity_of_indisc...

For this thought experiment it is stipulated that the space alien really is telepathically communicating with you.

https://en.wikipedia.org/wiki/Identity_of_indiscernibles When a thing is exactly the same as a duck from all external appearances including a blood te...

It is unknown whether the Goldbach conjecture is true or false because there is currently no known shortcut to the infinite proof of simply testing ev...

If it even has the same DNA as a Duck because it replaced the Duck's consciousness with its own, then we cannot even tell from blood samples.