Re: Truthmaker Maximalism and undecidable decision problems

On 6/11/24 9:43 PM, olcott wrote:

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 !
>

 But it is only ONE of an infinite number of such systems.