Deutsch English Français Italiano |
<v6cajn$3uu9o$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 Subject: Re: Minimal Logics in the 2020's: A Meteoric Rise Date: Sat, 6 Jul 2024 15:48:55 -0500 Organization: A noiseless patient Spider Lines: 136 Message-ID: <v6cajn$3uu9o$1@dont-email.me> References: <v67685$6fr5$1@solani.org> <v676rf$2u7lu$1@dont-email.me> <v67i45$6keq$1@solani.org> <v67j9a$2vtu0$2@dont-email.me> <v67jvc$6l2j$1@solani.org> <v67mbp$349l4$1@dont-email.me> <4394939716c6c6d2ed1fa9b5a269ed261768914e@i2pn2.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> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sat, 06 Jul 2024 22:48:56 +0200 (CEST) Injection-Info: dont-email.me; posting-host="1569906ca87652a7e8ed8fdc0709863c"; logging-data="4159800"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18tCgHzhC3FzBcJXlYCCjsO" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:5bsZOUUGksr/OXhmgqq0JwGto2s= Content-Language: en-US In-Reply-To: <ffea314eb0c48ef1c7c52e41bbe5e596252363c9@i2pn2.org> Bytes: 7114 On 7/6/2024 3:24 PM, Richard Damon wrote: > On 7/6/24 3:35 PM, olcott wrote: >> >> You have ignored my reference to a book that was classified >> by the Library of Congress as possibly true that says anyone >> reading this book *is* the one and only creator of the universe. > > The Library of Congress makes no such determinations. The authors > provide the classifications. > What is your source of this, I found a source that seem to conflict. https://www.loc.gov/catworkshop/lcc/PDFs%20of%20slides/12-3%20handout.pdf > The fact that such a statement is a logical impossiblity if one accepts > that there is a shared reality (as that realith existed before the > reader did) makes it absurd. > Yes and when one accept that numbers do not exist it logically follows that there is no such thing as arithmetic. >> >> *Anyone seeking the truth cannot simply ignore that* >> You have not seen this actual book, yet I have several copies. > > You would, and it fits in your pattern of logic. > >> >>>> >>>>> comes time for the judgement of your life, you will be found >>>>> lacking in the faith needed to redeam you from your failings, and >>>>> thus spend your eternity seperated from him, in the place, best >>>>> described in human terms, as the eternal fires of Hell. >>>>> >>>> Faith is not the same thing as the mere presumption that >>>> beliefs often are. Faith is the substance of things hoped for >>>> not the presumption that we are correct thus others are wrong. >>> >>> Right, but since you do not have a faith in the actual creator of the >>> universe, you are unable to avail yourself of his grace to let you >>> have the relationship you need with him, so will forever be outside >>> of him. >>> >>> You may not belevie that now, but if you honestly look at the outcome >>> of your beliefs and your life, you should be able to see that they >>> don't have any better foundation. I KNOW that what I believe is true, >>> because I have put it to the test, and he has proven himself faithful. >>> >>>> >>>>> If you are not convinced, which is the more likely origin of the >>>>> world, and which decision has the more impact on what you should do. >>>>> >>>> I am testing the hypothesis that I was deceived by Satan. >>>> >>>> Every translation of the bible agrees that God himself would >>>> be this deceiver. >>> >>> Nope. >>> >>>> >>>> For this reason God sends them a powerful delusion, leading them to >>>> believe what is false, >>>> https://www.biblegateway.com/verse/en/2%20Thessalonians%202:11 >>> >>> Read the context. Man because of our sin, can not directly see God at >>> work. >>> >> >> That the bible says God himself would send a delusion cannot >> possibly have any context where God himself is not a deceiver. >> That every translation agrees is strong evidence that it is not >> a translation error. > > But if you look at the context, the delusion is the delusion created by > ones own denial of the law of God, so he sends them what they wanted, by > their own choice, so God is not "a deceiver" but only allows people who > have chosen to be decieved to be deceived. > He has abolished the law with its commandments and ordinances, so that he might create in himself one new humanity in place of the two, thus making peace, https://www.biblegateway.com/passage/?search=Ephesians+2%3A15&version=NRSVA >> >>>> >>>> I have ALWAYS only wanted what-ever the truth turns out to be >>>> even if everyone in the universe disagrees. >>> >>> But you ignore that truth when it shows itself to you. >>> >>>> >>>> *THE TRUTH OF THIS SEEMS INFALLIBLY CORRECT* >>>> That every expression of language that is {true on the basis of >>>> its meaning expressed using language} must have a connection by >>>> truth preserving operations to its {meaning expressed using language} >>>> is a tautology. The accurate model of the actual world is expressed >>>> using formal language and formalized natural language. >>>> >>>> *Meaning that all of math and logic that disagrees are WRONG* >>>> >>> >>> Nope, that is just your own deception. The human use of language just >>> isn't that good and has flaws in it. >>> >> My system does not get stuck like the Tarski system. >> As you already know there cannot possibly be any sequence >> of truth preserving operations to LP or ~LP proves that >> my system overcomes Tarski's proof. > > So, what is the value of True(L, x) where x in L is the statement > ~True(L,x) > This is simply the Prolog model where true means provable and false means not provable. Conventional false means ~x is provable. True(L,x) only when x is true, otherwise false. True(L,~x) only when ~x is true, otherwise false. x = ~True(L, x) True(L, x) is false. True(L, ~x) is false. ?- 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