Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: sci.logic Subject: Re: Minimal Logics in the 2020's: A Meteoric Rise Date: Sat, 6 Jul 2024 21:51:08 -0500 Organization: A noiseless patient Spider Lines: 79 Message-ID: References: <7e4f146addad55792c0f18ab92d2092ebcc5dbfd@i2pn2.org> <6e51f0e94c1e00fcaec8897b4374547bfa2d2be1@i2pn2.org> <51aecdca646d067438e9cd44b11cb8bf9be933f2@i2pn2.org> <4ce79acf7c53160136f77603265cc1e5a5d3e34e@i2pn2.org> <9e59212316a9b258e95a1de7f5cca46fee37861e@i2pn2.org> <3f12eb90be522441c8b95d17d25767fcaf72ed2d@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sun, 07 Jul 2024 04:51:09 +0200 (CEST) Injection-Info: dont-email.me; posting-host="9c29ee80738061e83f912864b4700212"; logging-data="196187"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/eWOubEO0vg91DsLRs9FiH" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:s8Y26D3Fkq6QXl0LqQQo3qmxqAg= Content-Language: en-US In-Reply-To: <3f12eb90be522441c8b95d17d25767fcaf72ed2d@i2pn2.org> Bytes: 4757 On 7/6/2024 9:16 PM, Richard Damon wrote: > On 7/6/24 9:56 PM, olcott wrote: >> On 7/6/2024 8:32 PM, Richard Damon wrote: >>> On 7/6/24 9:06 PM, olcott wrote: >>>> On 7/6/2024 6:28 PM, Richard Damon wrote: >>>>> On 7/6/24 6:41 PM, olcott wrote: >>>>>> 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. >>>>> >>>>> And such a definition requires the system to be keep simple or it >>>>> becomes inconsistant. >>>>> >>>>>> >>>>>> 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. >>>>>> >>>>> >>>>> So, what value does True(LP) return? >>>>> >>>> >>>> True(L,x)  means x is true. >>>> ~True(L,x) means x is untrue which includes false and not a >>>> proposition. >>>> >>>> True(L,~x) means x is false. >>>> ~True(L,~x) means x is unfalse which includes true and not a >>>> proposition. >>>> >>>> True(L,LP) is false and True(L,~LP) is false which means LP >>>> is not a proposition. >>> >>> And if x is defined in L as ~True(L,x) means that True(L, x) is >>> false, then x being the negation of that result is a true statement. >>> >> *That is not the way it works in my system or Prolog* >> ~True(L, x)  means x is either false or not a proposition >> ~True(L, ~x) means x is either true or not a proposition >> >> Try reading those two lines 150 more times and maybe it will >> break through your ADD. Alternatively you are simply a liar. >> >> It is something like trivalent logic {true, false, incorrect} >> ~true is false or incorrect. >> ~false is true or incorrect. >> > > So if x is defined in L as ~True(L, x) > > what value does True(L, x) have? > then True(L,x) evaluates to false ultimately meaning that x is incorrect. We can't know for sure that x is incorrect until we see that True(L,~x) also evaluates to false. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer