Groups | Search | Server Info | Login | Register

Groups > sci.logic > #344402

Re: Back in 2020 I proved that Wittgenstein was correct all along

Cross-posted to 5 groups.

Show all headers | View raw

On 1/19/26 12:56 PM, olcott wrote:
> 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.
> 

Nope.

> 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)

Which is only ONE interpretation, (and not a correct one).

> 
> 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, 𝒞))

Which can be not-well-founded, as determining *IF* a statement is 
proveable or not provable might not be provable, or even knowable.

So, therefore you can't actually evaluate your statement.


> 
> 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.
> 

Back to sci.logic | Previous | Next — Previous in thread | 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 Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-01-21 20:29 +0000
                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-23 04:43 +0000
        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