Path: ...!feeds.phibee-telecom.net!3.eu.feeder.erje.net!feeder.erje.net!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: Tue, 11 Jun 2024 20:43:19 -0500
Organization: A noiseless patient Spider
Lines: 38
Message-ID: <v4aufn$1apao$1@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>
 <v44toi$3egp9$13@i2pn2.org> <v44ujh$3m841$6@dont-email.me>
 <v4508h$3egpa$11@i2pn2.org> <v45pfb$3ph0$1@dont-email.me>
 <v45q1d$3h641$7@i2pn2.org> <v45qvp$41qf$1@dont-email.me>
 <v46na2$3ifov$2@i2pn2.org> <v478g9$hcgj$1@dont-email.me>
 <v48gh2$3kcoe$2@i2pn2.org> <v4a1jk$15ems$1@dont-email.me>
 <v4am8g$3n8ob$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:43:20 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="6f170c39f5487c8533188545300f883a";
	logging-data="1402200"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/t+S8M5MfVZJp/6hv0RctA"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:8SOPak6teyQEa0HLjpFMVyA+L+A=
Content-Language: en-US
In-Reply-To: <v4am8g$3n8ob$1@i2pn2.org>
Bytes: 3002

On 6/11/2024 6:22 PM, Richard Damon wrote:
> On 6/11/24 1:30 PM, olcott wrote:
>> On 6/10/2024 10:32 PM, Richard Damon wrote:
>>> On 6/10/24 12:09 PM, olcott wrote:
>>>>
>>>> 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.
>>>>
>>>> Then it is self-evident that this <is> the way that truth really works.
>>>>
>>>
>>> So, how does that apply to something that isn't a part of "the 
>>> universe", as Formal Logic systems are not.
>>>
>>
>> *STOPPING AT YOUR FIRST RIDICULOUSLY HUGE MISTAKE*
>> In other words you are saying that formal system have never
>> existing in any way what-so-ever?
> 
> Nope, and I don't see where you get that from, except to not understand 
> the meaning of a universe.
> 

The universe is all of space and time[a] and their contents.
It comprises all of existence, any fundamental interaction, physical
process and physical constant, and therefore all forms of energy and
matter, and the structures they form, from sub-atomic particles to
entire galactic filaments. https://en.wikipedia.org/wiki/Universe

AKA *EVERYTHING* Duh !

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