Deutsch English Français Italiano |
<v21cl1$lt0s$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> Newsgroups: sci.logic,comp.theory Subject: Re: True on the basis of meaning --- Good job Richard ! ---Socratic method Date: Tue, 14 May 2024 23:11:11 -0500 Organization: A noiseless patient Spider Lines: 44 Message-ID: <v21cl1$lt0s$1@dont-email.me> References: <v1mljr$1q5ee$4@dont-email.me> <v1mnuj$lbo5$12@i2pn2.org> <v1mp1l$1qr5e$4@dont-email.me> <v1mpsh$lbo4$6@i2pn2.org> <v1ms2o$1rkit$1@dont-email.me> <v1prtb$2jtsh$1@dont-email.me> <v1qjb1$2ouob$2@dont-email.me> <v1qnfv$2q0t7$1@dont-email.me> <v1qtnk$2rdui$2@dont-email.me> <v1qvku$qvg3$5@i2pn2.org> <v1r0fg$2rva6$1@dont-email.me> <v1r1ci$qvg3$6@i2pn2.org> <v1r276$2shtf$1@dont-email.me> <v1r932$qvg3$8@i2pn2.org> <v1rdr5$30gkq$1@dont-email.me> <v1rggn$qvg3$11@i2pn2.org> <v1rhff$31ege$1@dont-email.me> <v1rhqr$qvg2$3@i2pn2.org> <v1rj05$31n8h$2@dont-email.me> <v1rkt4$qvg2$4@i2pn2.org> <v1rlj7$324ln$2@dont-email.me> <v1rn85$qvg3$12@i2pn2.org> <v1s25g$38fdl$1@dont-email.me> <v1ssv3$qvg3$15@i2pn2.org> <v1ta68$3hc9t$1@dont-email.me> <v1ub9v$v37v$1@i2pn2.org> <v1ugp1$3tnr6$1@dont-email.me> <v1uie1$v37v$16@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Wed, 15 May 2024 06:11:13 +0200 (CEST) Injection-Info: dont-email.me; posting-host="0b1a5f306bf9a6832a28841b3fc547c1"; logging-data="717852"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/rI4v+xJzBfGvlyfDE5Kvb" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:RfRuJaGALKgRCflEvTZhojWhTNs= Content-Language: en-US In-Reply-To: <v1uie1$v37v$16@i2pn2.org> Bytes: 3102 On 5/13/2024 9:31 PM, Richard Damon wrote: > On 5/13/24 10:03 PM, olcott wrote: >> On 5/13/2024 7:29 PM, Richard Damon wrote: >>> >>> Remember, p defined as ~True(L, p) is BY DEFINITION a truth bearer, >>> as True must return a Truth Value for all inputs, and ~ a truth valus >>> is always the other truth value. >>> >> >> Can a sequence of true preserving operations applied to expressions >> that are stipulated to be true derive p? > No, so True(L, p) is false > and thus ~True(L, p) is true. > >> >> Can a sequence of true preserving operations applied to expressions >> that are stipulated to be true derive ~p? > > No, so False(L, p) is false, > *PLEASE STUDY THIS VERY CAREFULLY SO WE DON'T HAVE TO KEEP* *GOING OVER THE EXACT SAME POINT MY SHOULDER IS HURTING* On 5/14/2024 10:44 PM, Richard Damon wrote: > So, what result SHOULD True(L, x) return? when x is > the expression ~True(L, x) > *YOU ALREADY AGREED THAT* On 5/13/2024 9:31 PM, Richard Damon wrote: > No, so True(L, p) is false *WHEN* >> On 5/13/2024 7:29 PM, Richard Damon wrote: >>> ... p defined as ~True(L, p) ... -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer