Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connections
Warning: mysqli::query(): Couldn't fetch mysqli in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\index.php on line 66
Article <v7msg0$sepk$1@dont-email.me>
Deutsch   English   Français   Italiano  
<v7msg0$sepk$1@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!weretis.net!feeder8.news.weretis.net!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: Re: Analytic Truth-makers
Date: Mon, 22 Jul 2024 19:11:44 -0500
Organization: A noiseless patient Spider
Lines: 30
Message-ID: <v7msg0$sepk$1@dont-email.me>
References: <v7m26d$nrr4$1@dont-email.me>
 <e41a2d324173031e1fe47acc0fd69b94b7aba55e@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 23 Jul 2024 02:11:44 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c53d2de4672c698529f342dcfedcfa3a";
	logging-data="932660"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/FiyF6MU6O/CeRzDMNNOGV"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:3GRFldYwan6YL5oQ8fL8oMZkdf8=
In-Reply-To: <e41a2d324173031e1fe47acc0fd69b94b7aba55e@i2pn2.org>
Content-Language: en-US
Bytes: 2333

On 7/22/2024 7:01 PM, Richard Damon wrote:
> On 7/22/24 12:42 PM, olcott wrote:
>> 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.
>>
>>
>>
> 
> So, now you ADMIT that Formal Logical systems can be "incomplete" 
> because there exist analytic truths in them that can not be proven with 
> an actual formal proof (which, by definition, must be finite).
> 

*No stupid I have never been saying anything like that*
If g and ~g is not provable in PA then g is not a truth-bearer in PA.

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