Re: Can there be a truth without a truthmaker?

On 4/2/24 12:50 PM, olcott wrote:

There is a great debate about whether an expression of language
can be true without a truth maker.

Not in Standard Formal Logic.
In Standard Formal Logic, a statments truth arises solely from have a connection (possible infinite in length) via valid arguements to the truthmakes of the system.

 Truthmaker Maximalism defended GONZALO RODRIGUEZ-PEREYRA
https://philarchive.org/archive/RODTMD

WHich isn't about Formal Systems, but just more generic philosophy.

 A truth without a truthmaker is like a cake without a baker,
non-existent.
 True and unprovable is self-contradictory once one understands
how true really works the way that I and Wittgenstein do.
https://www.liarparadox.org/Wittgenstein.pdf
 

Nope, because True allows for an INFINITE change of reasoning, while PROOF requires a finite chain to allow it to come into the domain of Knowledge, since we can not view an infinite chain of reason since we are finite beings.