Re: Truthmaker Maximalism and undecidable decision problems

On 6/9/2024 12:40 PM, joes wrote:

Am Sun, 09 Jun 2024 10:36:32 -0500 schrieb olcott:

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.

What even is a truthmaker?
 

I just defined its precise scope.
It is what-so-ever makes an expression of language true.
https://plato.stanford.edu/entries/truthmakers/
The cat in your living room makes
"There is a cat in my living room" true.
The definition of arithmetic makes 2 + 3 = 5 true.

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.

 >

What if both or none have a truthmaker?
 

I already answered for none. When X and ~X have no
truthmaker then X is not a truthbearer.
*The answer of both is proven impossible by*
*Three laws of logic apply to all propositions*
¬(p ∧ ¬p) Law of non-contradiction
  (p ∨ ¬p) Law of excluded middle
   p = p   Law of identity
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer