Deutsch English Français Italiano |
<v6ch6a$13k$2@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 Subject: Re: Minimal Logics in the 2020's: A Meteoric Rise Date: Sat, 6 Jul 2024 17:41:14 -0500 Organization: A noiseless patient Spider Lines: 34 Message-ID: <v6ch6a$13k$2@dont-email.me> References: <v67685$6fr5$1@solani.org> <v67ono$34d9q$1@dont-email.me> <ba31e5eebae5a2b987f1ff1ec5886f00f59dc3b5@i2pn2.org> <v69b2t$3chpq$1@dont-email.me> <5e4fb6d29fbd03c807c9a8d4140f807a44c29cb9@i2pn2.org> <v69k46$3duna$1@dont-email.me> <49291bd9f18eaf11097b6a26f062f54b7f4d6fa9@i2pn2.org> <v69pca$3eq6r$1@dont-email.me> <7e4f146addad55792c0f18ab92d2092ebcc5dbfd@i2pn2.org> <v69scb$3fc2r$1@dont-email.me> <6e51f0e94c1e00fcaec8897b4374547bfa2d2be1@i2pn2.org> <v6aeup$3lj41$1@dont-email.me> <b47ba0b985bb7a89548bd47c0f86d8693241f892@i2pn2.org> <v6c0lk$3skuk$3@dont-email.me> <e474b5f0ed67e56f6da43e7c0deb62c76342933a@i2pn2.org> <v6c2td$3skuk$4@dont-email.me> <51aecdca646d067438e9cd44b11cb8bf9be933f2@i2pn2.org> <v6c69s$3u2mj$2@dont-email.me> <ffea314eb0c48ef1c7c52e41bbe5e596252363c9@i2pn2.org> <v6cajn$3uu9o$1@dont-email.me> <e25eac30415eb75101e6e8af05c3a40d6ea8dbda@i2pn2.org> <v6cf9d$3viun$3@dont-email.me> <f22abb5f17f657bd1122de3c6339beadf4fb3e8f@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sun, 07 Jul 2024 00:41:15 +0200 (CEST) Injection-Info: dont-email.me; posting-host="9c29ee80738061e83f912864b4700212"; logging-data="1140"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX193TryqbsTEVSC1RWgrv423" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:7Ij2T7v928WQQlv4dMxiI4bwWJY= Content-Language: en-US In-Reply-To: <f22abb5f17f657bd1122de3c6339beadf4fb3e8f@i2pn2.org> Bytes: 3053 On 7/6/2024 5:22 PM, Richard Damon wrote: > On 7/6/24 6:08 PM, olcott wrote: >> On 7/6/2024 4:02 PM, Richard Damon wrote: >>> The problem here is you logic doesn't actually allow for the >>> necessaery references in it. >>> >> Not at all. My logic is simply smart enough to reject >> non-truth-bearers AKA expressions that are not valid >> propositions. It does not stupidly falsely assume that >> every expression is a valid proposition.\ > > Logic isn't "Smart", it follows its rules. > > Your rules are just inconsistent. > When-so-ever true means provable and false means not provable the meaning of these words proves that such a system cannot get stuck in pathological expressions. LP := ~True(LP) has a cycle in the directed graph of the elements of the expression related to each other that Prolog and MTT detects. ?- LP = not(true(LP)). LP = not(true(LP)). ?- unify_with_occurs_check(LP, not(true(LP))). false. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer