Re: Truthmaker Maximalism and undecidable decision problems

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?

Their concept of truth is NOT related to any of the facts about our universe, but only their wholely self-contained system, built on the agreed upon manner.
 I think your problem is you just can't handle that level of abstraction.
 Just like you can't understand a logic system allowing "inconsistant behavior" as not being "wrong".

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