Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: Analytic Truth-makers
Date: Mon, 22 Jul 2024 11:42:53 -0500
Organization: A noiseless patient Spider
Lines: 18
Message-ID: <v7m26d$nrr4$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 22 Jul 2024 18:42:53 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9aaf30c8a38b34dfe54399611020f1ec";
	logging-data="782180"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/YCu53utu8bdFy7beYLmCn"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:VmJy6MkuQhOi841DZzb83EUyZ4Y=
Content-Language: en-US
Bytes: 1651

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.

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

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.



-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer