Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: sci.logic
Subject: Re: Truth Bearer or Truth Maker
Date: Wed, 24 Jul 2024 15:57:14 -0500
Organization: A noiseless patient Spider
Lines: 55
Message-ID: <v7rpra$1sv5t$2@dont-email.me>
References: <v7rohj$9t9k$2@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 24 Jul 2024 22:57:15 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="16ed067bd5cc70aacf71dd1f4de1f69e";
	logging-data="1998013"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18HfA4uR/RjdyhstOY5AtJI"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:udR96inrudxUD0O24R/Y47IVS2M=
In-Reply-To: <v7rohj$9t9k$2@solani.org>
Content-Language: en-US
Bytes: 2750

On 7/24/2024 3:34 PM, Mild Shock wrote:
> But truth bearer has another meaning.
> The more correct terminology is anyway
> truth maker, you have to shift away the
> 
> focus from the formula and think it is
> a truth bearer, this is anyway wrong,
> since you have two additional parameters
> your "True" and your language "L".
> 
> So all that we see here in expression such as:
> 
> [~] True(L, [~] A)
> 
> Is truth making, and not truth bearing.
> In recent years truth making has received
> some attention, there are interesting papers
> concerning truth makers. And it has
> 
> even a SEP article:
> 
> Truthmakers
> https://plato.stanford.edu/entries/truthmakers/
> 

Because the received view has never gotten past Quine's
nonsense rebuttal of the analytic synthetic distinction
no other expert on truth-maker theory made much progress.

{true on the basis of meaning expressed in language}
conquers any of Quine's gibberish.

A truth maker is any sequence of truth preserving operations
that links an expression x of language L to its semantic meaning
in language L. The lack of such a connection in L to x or ~x
means that x is not a truth-bearer in L.

> A world of truthmakers?
> https://philipp.philosophie.ch/handouts/2005-5-5-truthmakers.pdf
> 

This seems at least reasonably plausible yet deals with things besides
{true on the basis of meaning expressed in language}

> olcott schrieb:
> 
>  > The key difference is that we no long use the misnomer
>  > "undecidable" sentence and instead call it for what it
>  > really is an expression that is not a truth bearer, or
>  > proposition in L.

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer