Path: ...!news.mixmin.net!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: Mild Shock <janburse@fastmail.fm>
Newsgroups: comp.theory,sci.logic
Subject: ""self contradictory"" (Was: Analytic Truth-makers)
Date: Mon, 22 Jul 2024 22:18:29 +0200
Message-ID: <v7meqk$6uld$2@solani.org>
References: <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 20:18:28 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="228013"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Firefox/91.0 SeaMonkey/2.53.18.2
Cancel-Lock: sha1:Jsh7D4tU4sSzQAT6SQuOQmVRLwg=
X-User-ID: eJwFwYEBwCAIA7CXikiFcyqO/09YEk5jn83gjomZfaiYCtNCwAC/aoB3z1G52KtUzzDZGFOnvy+1dDOH/QNCkxWq
In-Reply-To: <v7m26d$nrr4$1@dont-email.me>
Bytes: 1815
Lines: 28


What do you mean by self contradictory.
Why is there no sequencce to:

p

or to

~p

Is p self contradictory?

olcott schrieb:
> 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.
> 
> 
>