From Newsgroup: sci.math

Well-founded proof theoretic semantics where
True(L, x) is anchored in provability from
the axioms of formal system L seems to
eliminate the undecidability that model
theoretic semantics encounters when truth is
measured from outside of the formal system in
a separate model.
--
Copyright 2026 Olcott<br><br>

My 28 year goal has been to make <br>
"true on the basis of meaning expressed in language"<br>
reliably computable.<br><br>

This required establishing a new foundation<br>

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: sci.math

Well-founded proof theoretic semantics where True(L, x)
is anchored in provability from the axioms of formal
system L seems to eliminate the undecidability that
model theoretic semantics encounters when truth is
measured from outside of the formal system in a separate
model.

This is the epistemology of:
"true on the basis of meaning expressed in language"
--
Copyright 2026 Olcott<br><br>

My 28 year goal has been to make <br>
"true on the basis of meaning expressed in language"<br>
reliably computable.<br><br>

This required establishing a new foundation<br>
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: sci.math

Well-founded proof theoretic semantics where True(L, x)
is anchored in provability from the axioms of formal
system L seems to eliminate the undecidability that
model theoretic semantics encounters when truth is
measured from outside of the formal system in a separate
model.

This is the *FORMAL* epistemology of:
"true on the basis of meaning expressed in language"
--
Copyright 2026 Olcott<br><br>

My 28 year goal has been to make <br>
"true on the basis of meaning expressed in language"<br>
reliably computable.<br><br>

This required establishing a new foundation<br>
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: sci.math

On 1/22/26 12:40 PM, olcott wrote:

Well-founded proof theoretic semantics where True(L, x)
is anchored in provability from the axioms of formal
system L seems to eliminate the undecidability that
model theoretic semantics encounters when truth is
measured from outside of the formal system in a separate
model.

But GOdel's proof wasn't based on a truth outside the system.

The proof was based outside the system, but only about things actually
in the system.

Your problem is you don't seem to understand the rule of context, and
ignore what is actually being said.

There *IS* no number g that satisfies that relationship that he build IN
PA. There is also no proof in PA of this fact.

THere is also no proof in PA that you can't prove the fact.

THus, your "proof theoretic semanrtics" just don't know what to do about
the statement, it is outside their ability to process, and thus make the system just incomplete in its own reasoning. They can't even say it is
outside its ability, as it just can't show that either.

This is the *FORMAL* epistemology of:
"true on the basis of meaning expressed in language"

Which just can't handle mathematics, as you STILL can't explain how you
get from the meaning of the words:

The sum of the squares of the length of the two sides of a right triange
is equal to the square of the length of the hypotenuse.


So, I guess you aren't talking about the problems people actually want
to handle.


--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: sci.math

On 1/22/2026 6:09 PM, Richard Damon wrote:

On 1/22/26 12:40 PM, olcott wrote:

Well-founded proof theoretic semantics where True(L, x)
is anchored in provability from the axioms of formal
system L seems to eliminate the undecidability that
model theoretic semantics encounters when truth is
measured from outside of the formal system in a separate
model.

But GOdel's proof wasn't based on a truth outside the system.

The proof was based outside the system,

Hence requiring provability in the system has
always been totally wrong-headed.
--
Copyright 2026 Olcott<br><br>

My 28 year goal has been to make <br>
"true on the basis of meaning expressed in language"<br>
reliably computable.<br><br>

This required establishing a new foundation<br>
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: sci.math

On 1/22/26 12:32 PM, olcott wrote:

Well-founded proof theoretic semantics where True(L, x)
is anchored in provability from the axioms of formal
system L seems to eliminate the undecidability that
model theoretic semantics encounters when truth is
measured from outside of the formal system in a separate
model.

This is the epistemology of:
"true on the basis of meaning expressed in language"

Which can't handle mathematics, or things actually proven by even
moderate levels of logic.
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: sci.math

On 1/22/26 7:15 PM, olcott wrote:

On 1/22/2026 6:09 PM, Richard Damon wrote:

On 1/22/26 12:40 PM, olcott wrote:

Well-founded proof theoretic semantics where True(L, x)
is anchored in provability from the axioms of formal
system L seems to eliminate the undecidability that
model theoretic semantics encounters when truth is
measured from outside of the formal system in a separate
model.

But GOdel's proof wasn't based on a truth outside the system.

The proof was based outside the system,

Hence requiring provability in the system has
always been totally wrong-headed.

Nope, when in the system, that is all you know.

I guess you are just admitting that proof-theoretic semantics aren't
viable to use, as you think you need to allow looking at proofs outside
the system.

and, since there is an infinite number of possible meta-systems
derivable from a given system, to talk about the non-existence of such a
proof is an unanswerable question, it means the only reliable way to
show there isn't a proof of a statement, is to show the proof of its
negation, or that the statement itself is a contradiction.

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: sci.math

Am 22.01.2026 um 18:25 schrieb olcott:

Well-founded proof theoretic semantics where
True(L, x) is anchored in provability from
the axioms of formal system L seems to
eliminate the undecidability that model
theoretic semantics encounters when truth is
measured from outside of the formal system in
a separate model.

You're sooooooo sick !
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: sci.math

On 1/24/2026 11:17 AM, Richard Damon wrote:

On 1/22/26 7:15 PM, olcott wrote:

On 1/22/2026 6:09 PM, Richard Damon wrote:

On 1/22/26 12:40 PM, olcott wrote:

Well-founded proof theoretic semantics where True(L, x)
is anchored in provability from the axioms of formal
system L seems to eliminate the undecidability that
model theoretic semantics encounters when truth is
measured from outside of the formal system in a separate
model.

But GOdel's proof wasn't based on a truth outside the system.

The proof was based outside the system,

Hence requiring provability in the system has
always been totally wrong-headed.

Nope, when in the system, that is all you know.

So you think that inside and outside are the same thing?
--
Copyright 2026 Olcott<br><br>

My 28 year goal has been to make <br>
"true on the basis of meaning expressed in language"<br>
reliably computable.<br><br>

This required establishing a new foundation<br>
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: sci.math

On 1/22/2026 11:25 AM, olcott wrote:

Well-founded proof theoretic semantics where
True(L, x) is anchored in provability from
the axioms of formal system L seems to
eliminate the undecidability that model
theoretic semantics encounters when truth is
measured from outside of the formal system in
a separate model.

G||delrCOs incompleteness theorem only rCLworksrCY if
one smuggles in an external notion of truth
(truth in rao) and then pretends it is an
internal notion of truth (truth in PA).
If we refuse to make that identification,
incompleteness evaporates.
--
Copyright 2026 Olcott<br><br>

My 28 year goal has been to make <br>
"true on the basis of meaning expressed in language"<br>
reliably computable.<br><br>

This required establishing a new foundation<br>
--- Synchronet 3.21a-Linux NewsLink 1.2