From Newsgroup: sci.math

On 10/11/2025 5:02 AM, Mikko wrote:

On 2025-10-10 15:02:34 +0000, olcott said:

On 10/10/2025 3:58 AM, Mikko wrote:

On 2025-10-09 13:25:56 +0000, olcott said:

On 10/9/2025 6:12 AM, Mikko wrote:

On 2025-10-09 03:10:56 +0000, olcott said:

I have posited that it has always been a huge
mistake that semantics was divided away from
the syntax of every formal logic system since
the syllogism. It is the root cause of the
divergence of logic from correct reasoning.

Logic has been shown to be useful. Your "correct reasoning" has not >>>>> been.

Because no one knows about it.

Much about it has been known for as long time as anyone can remember.

That Tarski and G||del were wrong has been known
for a long time? The actual truth is that Tarski
and G||del have been presumed to be correct on the
basis of false assumptions.

Your "correct reasoning" was not invented by G||del or Tarski.

Apparently the seed of my correct reasoning system
was created by Saul Kripke.

https://files.commons.gc.cuny.edu/wp-content/blogs.dir/1358/files/2019/04/Outline-of-a-Theory-of-Truth.pdf

My system is simpler and may work a little
differently. We start with basic facts of the
world and only apply the single truth preserving
operation of semantic logical entailment.

Within such a system a Truth predicate always
consistently works and the system is only
incomplete in that it is limited to the set
of human knowledge that can be expressed in
language. New knowledge can be added at any time.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
--- Synchronet 3.21a-Linux NewsLink 1.2