Re: Analytic Truth-makers

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