Path: ...!feeds.phibee-telecom.net!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: Truthmaker Maximalism and undecidable decision problems --- the
 way truth really works
Date: Tue, 11 Jun 2024 20:57:21 -0500
Organization: A noiseless patient Spider
Lines: 47
Message-ID: <v4ava2$1apao$2@dont-email.me>
References: <v44i60$3jnc8$1@dont-email.me> <v44o5t$3l9t2$1@dont-email.me>
 <v44r29$3egpa$5@i2pn2.org> <v44rd0$3m841$2@dont-email.me>
 <v44sa5$3egpa$10@i2pn2.org> <v44suh$3m841$4@dont-email.me>
 <v4693h$8jv1$1@dont-email.me> <v473en$ggn5$3@dont-email.me>
 <v48vbe$us2b$1@dont-email.me> <v49sla$14ek5$1@dont-email.me>
 <v4auhn$3nf9m$1@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 12 Jun 2024 03:57:22 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="6f170c39f5487c8533188545300f883a";
	logging-data="1402200"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+6VXvkosDNyW+TfS9F3fbU"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:0D0D6jS7qlfD1+O5o4tu0UlC9Bo=
In-Reply-To: <v4auhn$3nf9m$1@i2pn2.org>
Content-Language: en-US
Bytes: 3016

On 6/11/2024 8:44 PM, Richard Damon wrote:
> On 6/11/24 12:06 PM, olcott wrote:
>> On 6/11/2024 2:45 AM, Mikko wrote:
>>> On 2024-06-10 14:43:34 +0000, olcott said:
>>>
>>> Those laws do not constrain formal systems. Each formal system specifies
>>> its own laws, which include all or some or none of those. Besides, a the
>>> word "proposition" need not be and often is not used in the 
>>> specification
>>> of a formal system.
>>>
>>
>> *This is the way that truth actually works*
>> *People are free to disagree and simply be wrong*
> 
> Nope, YOU are simply wrong, because you don't understand how big logic 
> actualy is, because, it seems, your mind is to small.
> 

Every expression of language X that is
{true on the basis of its meaning}
algorithmically requires a possibly infinite sequence of
finite string transformation rules from its meaning to X.

>>
>> When we ask the question: What is a truthmaker? The generic answer is
>> whatever makes an expression of language true <is> its truthmaker.
>>
> 
> But logic systems don't necessaily deal with "expressions of language" 
> in the sense you seem to be thinking of it.
> 

Finite strings are the most generic form of "expressions of language"

>> This entails that if there is nothing in the universe that makes
>> expression X true then X lacks a truthmaker and is untrue.
> 
> Unless it just is true because it is a truthmaker by definition.
> 

That is more than nothing in the universe.

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