Sujet : Re: Can there be a truth without a truthmaker?
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory sci.logicDate : 03. Apr 2024, 04:10:26
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <uuidqi$3spcu$1@i2pn2.org>
References : 1
User-Agent : Mozilla Thunderbird
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.
…