Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: sci.logic
Subject: Re: Analytic Truth-makers
Date: Tue, 23 Jul 2024 11:50:22 +0300
Organization: -
Lines: 29
Message-ID: <v7nqse$14r0g$1@dont-email.me>
References: <v7m26d$nrr4$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 23 Jul 2024 10:50:23 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="02234f129a80b5c5c3fdb3e7f62086ab";
	logging-data="1207312"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19ksSUt/q7KlmarUTVg4WGT"
User-Agent: Unison/2.2
Cancel-Lock: sha1:mcoJVxtA4GZZicFRIhBEZLierYY=
Bytes: 2059

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