Deutsch English Français Italiano |
<Extensionality-20240417132304@ram.dialup.fu-berlin.de> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!fu-berlin.de!uni-berlin.de!not-for-mail From: ram@zedat.fu-berlin.de (Stefan Ram) Newsgroups: comp.lang.lisp Subject: Re: Lisp history: IF, etc. Date: 17 Apr 2024 12:24:04 GMT Organization: Stefan Ram Lines: 19 Expires: 1 Feb 2025 11:59:58 GMT Message-ID: <Extensionality-20240417132304@ram.dialup.fu-berlin.de> References: <uu54la$3su5b$6@dont-email.me> <20240329101248.556@kylheku.com> <uu6t9h$dq4d$1@dont-email.me> <20240329104716.777@kylheku.com> <uu8p02$uebm$1@dont-email.me> <20240330112105.553@kylheku.com> <uudrfg$2cskm$1@dont-email.me> <87r0fp8lab.fsf@tudado.org> <uuehdj$2hshe$1@dont-email.me> <87wmpg7gpg.fsf@tudado.org> <LISP-20240402085115@ram.dialup.fu-berlin.de> <20240402084057.881@kylheku.com> <86h6gjpq3i.fsf_-_@williamsburg.bawden.org> <m3frw2vlok.fsf@leonis4.robolove.meer.net> <86cyr6pb2l.fsf@williamsburg.bawden.org> <875xwy412p.fsf@nightsong.com> <868r1up0wk.fsf@williamsburg.bawden.org> <871q7m3wrj.fsf@nightsong.com> <86zfu9ooux.fsf@williamsburg.bawden.org> <87frw03b4j.fsf@nightsong.com> <877chbfs00.fsf@yaxenu.org> <87r0f61jkb.fsf@nightsong.com> <uvkf5e$iaa5$1@dont-email.me> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Trace: news.uni-berlin.de U60qpqYRHnHeGDwqUWeCOAw3eLDDDNABRGhNSHb6ghesCY Cancel-Lock: sha1:papQ8rGwkO57u6s/Hq2gOptgIug= sha256:6WfuNt70nyayXuehRbojT2hIiFI2bs2k5mVKnZ2ObOk= X-Copyright: (C) Copyright 2024 Stefan Ram. All rights reserved. Distribution through any means other than regular usenet channels is forbidden. It is forbidden to publish this article in the Web, to change URIs of this article into links, and to transfer the body without this notice, but quotations of parts in other Usenet posts are allowed. X-No-Archive: Yes Archive: no X-No-Archive-Readme: "X-No-Archive" is set, because this prevents some services to mirror the article in the web. But the article may be kept on a Usenet archive server with only NNTP access. X-No-Html: yes Content-Language: en-US Bytes: 2922 Jeff Barnett <jbb@notatt.com> wrote or quoted: >Sir Walter Raleigh was the author of "The Lie" >Did the Queen know that Raleigh wrote "The Lie"? >might produce >Did the Queen know TRUE? This here thing might have some connection to what folks call "Extensionality": "To find the value of an expression, the only thing one needs to know about a subexpression is its (the subexpression's) value." Now, we can say with a high degree of certainty that natural language ain't got no truck with this "Extensionality" business, at least not the way ol' man McCarthy was demonstratin' it. The very idea that logical statements are a good fit for modellin' natural language utterances, and that these bad boys have some kind of "truth value" as their "meaning"? Hoo-wee, that's a real doozy, let me tell you!