Groups | Search | Server Info | Login | Register

Groups > comp.theory > #139258

Back in 2020 I proved that Wittgenstein was correct all along

Cross-posted to 5 groups.

Show all headers | View raw

Back in 2020 I proved that Wittgenstein was correct
all along. His key essence of grounding truth in
well-founded proof theoretic semantics did not exist
at the time that he made these remarks. Because of
this his remarks were misunderstood to be based
on ignorance instead of the profound insight that
they really were.

According to Wittgenstein:
'True in Russell's system' means, as was said: proved
in Russell's system; and 'false in Russell's system'
means: the opposite has been proved in Russell's system.
(Wittgenstein 1983,118-119)

Formalized by Olcott as:

∀F ∈ Formal_Systems ∀𝒞 ∈ WFF(F) (((F⊢𝒞)) ↔ True(F, 𝒞))
∀F ∈ Formal_Systems ∀𝒞 ∈ WFF(F) (((F⊬𝒞)) ↔ ¬True(F, 𝒞))
∀F ∈ Formal_Systems ∀𝒞 ∈ WFF(F) (((F⊢¬𝒞)) ↔ False(F, 𝒞))

The terminology which has just been used implies that
the elementary statements are not such that their truth
and falsity are known to us without reference to {T}.
(Curry 1977:45)

Simply defining Gödel Incompleteness and Tarski Undefinability away V12
olcott Jun 26, 2020, 4:15:48 PM
comp.theory,comp.ai.philosophy,comp.ai.nat-lang,sci.lang.semantics
Message-ID: <tpudnRZeLeDg-GvDnZ2dnUU7-V3NnZ2d@giganews.com>
https://groups.google.com/g/comp.ai.nat-lang/c/p_evEnqowPQ/m/0RHg0UjWAAAJ

The Wittgenstein quote above was anchored in what is
now known as well-founded proof theoretic semantics on
the basis of what is now known as Curry's basis of
true in the system. He saw this decades before these
fields were ever established.

The seed of his idea goes all the way back to his
Tractatus (1921)

6.12 The fact that the propositions of logic are
tautologies shows the formal-logical-properties
of language, of the world. That its constituent
parts connected together in this way give a tautology
characterizes the logic of its constituent parts.
In order that propositions connected together in a
definite way may give a tautology they must have
definite properties of structure. That they give a
tautology when so connected shows therefore that they
possess these properties of structure.

-- 
Copyright 2026 Olcott

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

This required establishing a new foundation
for correct reasoning.

Back to comp.theory | Previous | Next — Next in thread | Find similar

Thread

Back in 2020 I proved that Wittgenstein was correct all along olcott <NoOne@NoWhere.com> - 2026-01-19 11:56 -0600
  Re: Back in 2020 I proved that Wittgenstein was correct all along Richard Damon <Richard@Damon-Family.org> - 2026-01-20 00:29 -0500
    Re: Back in 2020 I proved that Wittgenstein was correct all along olcott <polcott333@gmail.com> - 2026-01-20 12:13 -0600
      Re: Back in 2020 I proved that Wittgenstein was correct all along Richard Damon <Richard@Damon-Family.org> - 2026-01-20 23:00 -0500
        Re: Back in 2020 I proved that Wittgenstein was correct all along olcott <polcott333@gmail.com> - 2026-01-20 22:49 -0600
          Re: Back in 2020 I proved that Wittgenstein was correct all along Richard Damon <news.x.richarddamon@xoxy.net> - 2026-01-21 07:38 -0500
            Re: Back in 2020 I proved that Wittgenstein was correct all along olcott <polcott333@gmail.com> - 2026-01-21 09:14 -0600
              Re: Back in 2020 I proved that Wittgenstein was correct all along Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-01-21 19:02 +0000
                Re: Back in 2020 I proved that Wittgenstein was correct all along olcott <polcott333@gmail.com> - 2026-01-21 14:14 -0600
                Re: Back in 2020 I proved that Wittgenstein was correct all along olcott <polcott333@gmail.com> - 2026-01-21 21:24 -0600
              Re: Back in 2020 I proved that Wittgenstein was correct all along Richard Damon <Richard@Damon-Family.org> - 2026-01-22 07:42 -0500
                Re: Back in 2020 I proved that Wittgenstein was correct all along olcott <polcott333@gmail.com> - 2026-01-22 10:43 -0600
                Re: Back in 2020 I proved that Wittgenstein was correct all along Richard Damon <news.x.richarddamon@xoxy.net> - 2026-01-22 19:13 -0500
        Re: Back in 2020 I proved that Wittgenstein was correct all along Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-01-21 18:55 +0000

csiph-web