Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: sci.logic,comp.theory
Subject: Re: Truthmaker Maximalism and undecidable decision problems
Date: Sun, 9 Jun 2024 12:18:53 -0500
Organization: A noiseless patient Spider
Lines: 34
Message-ID: <v44o5t$3l9t2$1@dont-email.me>
References: <v44i60$3jnc8$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 09 Jun 2024 19:18:54 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f8e472f6a5ded880f3c8d2cedf42e75a";
	logging-data="3844002"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+0f65dPD9qa8kw3r2V5htz"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:4wiHhak+h9GiUh9upJOZChpo3mk=
In-Reply-To: <v44i60$3jnc8$1@dont-email.me>
Content-Language: en-US
Bytes: 2479

On 6/9/2024 10:36 AM, olcott wrote:
> *This has direct application to undecidable decision problems*
> 
> When we ask the question: What is a truthmaker? The generic answer is
> whatever makes an expression of language true <is> its truthmaker. This
> entails that if there is nothing in the universe that makes expression X
> true then X lacks a truthmaker and is untrue.
> 
> X may be untrue because X is false. In that case ~X has a truthmaker.
> Now we have the means to unequivocally define truth-bearer. X is a
> truth-bearer iff (if and only if) X or ~X has a truthmaker.
> 
> I have been working in this same area as a non-academician for a few
> years. I have only focused on expressions of language that are {true on
> the basis of their meaning}.
> 

Now that truthmaker and truthbearer are fully anchored it is easy to see
that self-contradictory expressions are simply not truthbearers.

“This sentence is not true” can't be true because that would make it
untrue and it can't be false because that would make it true.

Within the the definition of truthmaker specified above: “this sentence
has no truthmaker” is simply not a truthbearer. It can't be true within
the above specified definition of truthmaker because this would make it
false. It can't be false because that makes
it true.


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