Re: Can there be a truth without a truthmaker?

On 4/2/2024 11:50 AM, olcott wrote:

There is a great debate about whether an expression of language
can be true without a truth maker.
 Truthmaker Maximalism defended GONZALO RODRIGUEZ-PEREYRA
https://philarchive.org/archive/RODTMD
 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
 

Analytic truth seems to be essentially nothing more than relations between finite strings. Copyright 2024 PL Olcott
*Here is my key basis for that*
By the theory of simple types I mean the doctrine which says that the
objects of thought (or, in another interpretation, the symbolic
expressions) are divided into types, namely: individuals, properties of
individuals, relations between individuals, properties of such
relations, etc. (with a similar hierarchy for extensions), and that
sentences of the form: " a has the property φ ", " b bears the relation
R to c ", etc. are meaningless, if a, b, c, R, φ are not of types
fitting together.
https://en.wikipedia.org/wiki/History_of_type_theory#G%C3%B6del_1944
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer