Deutsch English Français Italiano |
<d747043117d73e3a68765391fdbc684029a96bf2@i2pn2.org> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail From: Richard Damon <richard@damon-family.org> Newsgroups: sci.logic,comp.theory Subject: Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure Date: Wed, 10 Jul 2024 20:13:17 -0400 Organization: i2pn2 (i2pn.org) Message-ID: <d747043117d73e3a68765391fdbc684029a96bf2@i2pn2.org> References: <v67685$6fr5$1@solani.org> <v6csla$1otr$2@dont-email.me> <3f12eb90be522441c8b95d17d25767fcaf72ed2d@i2pn2.org> <v6cvqs$5vir$2@dont-email.me> <efced1648cf7ddc1c257d7c4369add3b391dd005@i2pn2.org> <v6d2r0$6cgn$2@dont-email.me> <931fe5b1e73d204bf20a268dd025489e3040371d@i2pn2.org> <v6e5ho$bbcb$2@dont-email.me> <0f3e40caf51b61ebb05c4ec2ae44042bff632017@i2pn2.org> <v6el1u$e6tb$1@dont-email.me> <3c9ef913b1fbbca50c1a4acd02401906646327ed@i2pn2.org> <RpKdnUjg8sjx0Bb7nZ2dnZfqlJydnZ2d@giganews.com> <2d0b6260615af8afac79ee8de57bcd45c2f2056f@i2pn2.org> <v6fk9p$mr5k$1@dont-email.me> <8bd5f2159853ff17ef81b27a85141bccc324e7d9@i2pn2.org> <v6fkrb$mr5k$2@dont-email.me> <v6fl9a$mr5k$3@dont-email.me> <v6huj5$12ktu$2@dont-email.me> <7387a77d06e4b00a1c27a447e2744a4f10b25e49@i2pn2.org> <v6i08a$12ktu$4@dont-email.me> <c81e1794259853dfd7724900ebfab484679615be@i2pn2.org> <v6m42j$1tj30$9@dont-email.me> <0453e43622bf895bdc9caad315068f0ac80d36b3@i2pn2.org> <v6n7rk$24dmg$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Thu, 11 Jul 2024 00:13:17 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="2844748"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird In-Reply-To: <v6n7rk$24dmg$1@dont-email.me> X-Spam-Checker-Version: SpamAssassin 4.0.0 Content-Language: en-US Bytes: 4329 Lines: 68 On 7/10/24 8:09 PM, olcott wrote: > On 7/10/2024 7:01 PM, Richard Damon wrote: >> On 7/10/24 9:58 AM, olcott wrote: >>> On 7/8/2024 7:37 PM, Richard Damon wrote: >>>> On 7/8/24 8:28 PM, olcott wrote: >>>>> >>>>> Every expression of language that cannot be proven >>>>> or refuted by any finite or infinite sequence of >>>>> truth preserving operations connecting it to its >>>>> meaning specified as a finite expression of language >>>>> is rejected. >>>>> >>>> >>>> So? >>>> >>>> Tarski's x like Godel's G are know to be true by an infinite >>>> sequence of truth preserving operations. >>>> >>> >>> Every time that you affirm your above error you prove >>> yourself to be a liar. >> >> What error? >> >> We know, that in the system the statements are made, tehre is an >> infinite chain of truth preserving operationf from teh fundamental >> truths of the sytsems to the conclusion. >> >> We know that because in a meta-theory we can develop additional >> knowledge allowing us to see the infinite chain, with something like >> an induction property or something else that reduces the infinite to >> finite. >> >>> >>> On 7/8/2024 9:59 PM, Richard Damon wrote: >>> > No, infinite "proofs" determine TRUTH, not knowledge. >>> >>> You could just say, "I didn't say that correctly" >>> and we would be done. >> >> Right, an infinite "proof", in quotes because that is the term YOU >> use, even though there is no such thing, but in actuality it is an >> infinite chain of truth preserving operations DO establish that >> something is True in the system, but by being infinite, we can never >> dirrectly follow that path to know it. > > That was your mistake. You said that we could know it. Because we can, by knowledge gained in the meta-system. Knowledge can cross system boundries when the system are properly related to allow it. > > Do I have to repeat the word "know" in you quote below > 100 times before you can see it? No, because you don't seem to understand that we can KNOW something about a system due to knowledge from a properly related system. If you deny that, then your whole idea of a unversal knowldege system breaks, as you can't get anything into it. > > >>> Tarski's x like Godel's G are know to be true > >>> by an infinite sequence of truth preserving operations. > >