Groups | Search | Server Info | Login | Register

Groups > comp.theory > #139259

"true on the basis of meaning expressed in language" as the ultimate anchor

Cross-posted to 4 groups.

Show all headers | View raw

Formerly Re: Analytic Truth-makers
in sci/logic and comp.theory

On 7/23/2024 11:26 AM, olcott wrote:
> 
> I am establishing a new meaning for
> {true on the basis of meaning expressed in language}
> Formerly known as {analytic truth}.
> This makes True(L,x) computable and definable.
> 
> L is the language of a formal mathematical system.
> x is an expression of that language.
> 
> When we understand that True(L,x) means that there is a finite
> sequence of truth preserving operations in L from the semantic
> meaning of x to x in L, then mathematical incompleteness is abolished.
> 
> ~True(L,x) ∧ ~True(L,~x)
> means that x is not a truth-bearer in L.
> It does not mean that L is incomplete
> 

On 7/23/2024 11:26 AM, olcott in sci.logic, comp.theory
<MPG.4109e1eeb98e7f829896fe@reader.eternal-september.org>

The above post is when I bridged the analytic/synthetic
divide that has existed since 1952
https://en.wikipedia.org/wiki/Two_Dogmas_of_Empiricism

with:  "true on the basis of meaning expressed in language"

Now we have Russell's logical-atomism from the
correspondence theory of truth

   the world consists of a plurality of independently
   existing things exhibiting qualities and standing
   in relations. According to logical atomism, all truths
   are ultimately dependent upon a layer of atomic facts,
   which consist either of a simple particular exhibiting
   a quality, or multiple simple particulars standing in
   a relation. https://plato.stanford.edu/entries/logical-atomism/

providing the axiomatic basis for the coherence theory
of truth. Linking to Wittgenstein's

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

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

"true on the basis of meaning expressed in language" as the ultimate anchor olcott <NoOne@NoWhere.com> - 2026-01-19 13:11 -0600
  Re: "true on the basis of meaning expressed in language" as the ultimate anchor olcott <polcott333@gmail.com> - 2026-01-19 14:32 -0600
  Re: "true on the basis of meaning expressed in language" as the ultimate anchor Richard Damon <Richard@Damon-Family.org> - 2026-01-20 00:29 -0500
    Re: "true on the basis of meaning expressed in language" as the ultimate anchor olcott <polcott333@gmail.com> - 2026-01-20 13:21 -0600
      Re: "true on the basis of meaning expressed in language" as the ultimate anchor Richard Damon <Richard@Damon-Family.org> - 2026-01-20 23:00 -0500

csiph-web