Deutsch English Français Italiano |
<v33vc1$g5n4$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Mikko <mikko.levanto@iki.fi> Newsgroups: sci.logic Subject: Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT Date: Tue, 28 May 2024 09:59:13 +0300 Organization: - Lines: 35 Message-ID: <v33vc1$g5n4$1@dont-email.me> References: <v1mljr$1q5ee$4@dont-email.me> <v2b9mo$1ecj9$2@i2pn2.org> <v2bb6d$308qd$2@dont-email.me> <v2bc5o$1ecj9$3@i2pn2.org> <v2bsog$36vvc$1@dont-email.me> <v2cpb1$1g2n8$1@i2pn2.org> <v2cvj6$3ddo5$1@dont-email.me> <v2d0qp$3dlkm$1@dont-email.me> <v2d1io$3dplm$1@dont-email.me> <v2evl5$3snmj$1@dont-email.me> <v2g2dp$3ugq$1@dont-email.me> <v2hkkl$ggq9$1@dont-email.me> <v2ibhe$ksut$1@dont-email.me> <v2k8go$1363g$1@dont-email.me> <v2l4hr$188bi$3@dont-email.me> <v2l87m$19619$1@dont-email.me> <v2lies$1b4kp$1@dont-email.me> <v2ltgl$1nrfv$2@i2pn2.org> <v2m0m5$1dcof$2@dont-email.me> <v2m4lg$1qo0t$1@i2pn2.org> <v2mtkj$1ln2l$1@dont-email.me> <v2ngi3$1or9h$8@dont-email.me> <v2pig4$28a91$1@dont-email.me> <v2qp30$2f6v4$1@dont-email.me> <v2s5td$2psu4$1@dont-email.me> <v2t9ne$2vna0$5@dont-email.me> <v2usea$3be7o$1@dont-email.me> <v2veqj$3e8pb$1@dont-email.me> <v31eit$3ugn4$1@dont-email.me> <v324iu$2pkb$1@dont-email.me> <v324pa$2rt4$1@dont-email.me> <v325l6$2pkb$3@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 28 May 2024 08:59:14 +0200 (CEST) Injection-Info: dont-email.me; posting-host="0bc379c5be1e98273e4562ca5eab34e9"; logging-data="530148"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/SdsGphc/E96XD05At+YVg" User-Agent: Unison/2.2 Cancel-Lock: sha1:ll74pLQrBoQ97jUd+6chjew5hnU= Bytes: 2976 On 2024-05-27 14:34:14 +0000, olcott said: > ?- LP = not(true(LP)). > LP = not(true(LP)). > > ?- unify_with_occurs_check(LP, not(true(LP))). > false. > > In other words Prolog has detected a cycle in the directed graph of the > evaluation sequence of the structure of the Liar Paradox. Experts seem > to think that Prolog is taking "not" and "true" as meaningless and is > only evaluating the structure of the expression. The words "not" and "true" of Prolog are meaningful in some contexts but not above. The word "true" is meaningful only when it has no arguments. You could try ?- LP = not(true(LP), true(LP). or ?- LP = not(true(LP), not(true(LP)). The predicate unify_with_occurs_check checks whether the resulting sructure is acyclic because that is its purpose. Whether a simple unification like LP = not(true(LP)) does same is implementation dependent as Prolog rules permit but do not require that. In a typical implementation a simple unification does not check for cycles. Anyway, none of this is relevant to the topic of this thread or topics of sci.logic. -- Mikko