On 2024-07-22 16:42:53 +0000, olcott said:
I have focused on analytic truth-makers where an expression of language
x is shown to be true in language L by a sequence of truth preserving operations from the semantic meaning of x in L to x in L.
The phrase "true in language L" is not good. Truth is not really a feature
of language. The term "language L" is itself ambiguous: sometimes some semantics is included, sometimes not.
In rare cases such as the Goldbach conjecture this may require an
infinite sequence of truth preserving operations thus making analytic knowledge a subset of analytic truth. https://en.wikipedia.org/wiki/Goldbach%27s_conjecture
One must be caeful with infinite sequences. Sometimes a pair of semi-
infinite sequences, one without an end and the other without a beginnig,
may look like a sequence without being one.
There are cases where there is no finite or infinite sequence of
truth preserving operations to x or ~x in L because x is self-
contradictory in L. In this case x is not a truth-bearer in L.
And it may be the case that it is not know whether such sequence exists
and there is no way to find out.
--
Mikko
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)