[Ltru] [OT] Logic (was: Re: my technical position on extlang)

Martin Duerst <duerst@it.aoyama.ac.jp> Mon, 26 May 2008 10:50 UTC

Return-Path: <ltru-bounces@ietf.org>
X-Original-To: ltru-archive@megatron.ietf.org
Delivered-To: ietfarch-ltru-archive@core3.amsl.com
Received: from [127.0.0.1] (localhost [127.0.0.1]) by core3.amsl.com (Postfix) with ESMTP id 8A4D23A6B82; Mon, 26 May 2008 03:50:36 -0700 (PDT)
X-Original-To: ltru@core3.amsl.com
Delivered-To: ltru@core3.amsl.com
Received: from localhost (localhost [127.0.0.1]) by core3.amsl.com (Postfix) with ESMTP id 8FA0F3A695C for <ltru@core3.amsl.com>; Mon, 26 May 2008 03:50:29 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: 3.872
X-Spam-Level: ***
X-Spam-Status: No, score=3.872 tagged_above=-999 required=5 tests=[AWL=0.666, BAYES_00=-2.599, HELO_EQ_JP=1.244, HOST_EQ_JP=1.265, J_CHICKENPOX_23=0.6, RCVD_IN_NJABL_RELAY=2.696]
Received: from mail.ietf.org ([64.170.98.32]) by localhost (core3.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id ZNgOpZEoTD6w for <ltru@core3.amsl.com>; Mon, 26 May 2008 03:50:27 -0700 (PDT)
Received: from scmailgw1.scop.aoyama.ac.jp (scmailgw1.scop.aoyama.ac.jp [133.2.251.194]) by core3.amsl.com (Postfix) with ESMTP id 5D0383A685B for <ltru@ietf.org>; Mon, 26 May 2008 03:50:27 -0700 (PDT)
Received: from scmse1.scbb.aoyama.ac.jp (scmse1 [133.2.253.16]) by scmailgw1.scop.aoyama.ac.jp (secret/secret) with SMTP id m4QAoLbk020541 for <ltru@ietf.org>; Mon, 26 May 2008 19:50:23 +0900 (JST)
Received: from (133.2.206.133) by scmse1.scbb.aoyama.ac.jp via smtp id 22a3_8966329a_2b11_11dd_909f_0014221fa3c9; Mon, 26 May 2008 19:50:21 +0900
Received: from Tanzawa.it.aoyama.ac.jp ([133.2.210.1]:56083) by itmail.it.aoyama.ac.jp with [XMail 1.22 ESMTP Server] id <S3F330> for <ltru@ietf.org> from <duerst@it.aoyama.ac.jp>; Mon, 26 May 2008 19:45:03 +0900
Message-Id: <6.0.0.20.2.20080526182246.024ad070@localhost>
X-Sender: duerst@localhost
X-Mailer: QUALCOMM Windows Eudora Version 6J
Date: Mon, 26 May 2008 18:32:18 +0900
To: Peter Constable <petercon@microsoft.com>, LTRU Working Group <ltru@ietf.org>
From: Martin Duerst <duerst@it.aoyama.ac.jp>
In-Reply-To: <DDB6DE6E9D27DD478AE6D1BBBB83579562E2A40FEC@NA-EXMSG-C117.r edmond.corp.microsoft.com>
References: <20080523044305.GB7960@mercury.ccil.org> <30b660a20805230851r519f5d14wd93a92494d1db1c9@mail.gmail.com> <20080523160905.GD21554@mercury.ccil.org> <30b660a20805231405q56b156c4vbb3b6abda4af3893@mail.gmail.com> <20080523225400.GB13152@mercury.ccil.org> <30b660a20805231639w1de0fda8w116662738f8c5d6a@mail.gmail.com> <20080523234427.GC13152@mercury.ccil.org> <30b660a20805231655r34486205m9362e8fe65193ae6@mail.gmail.com> <20080524001151.GD13152@mercury.ccil.org> <30b660a20805240943o44a5719r50eb8f0eaf721dca@mail.gmail.com> <20080525021640.GE13854@mercury.ccil.org> <DDB6DE6E9D27DD478AE6D1BBBB83579562E2A40FCD@NA-EXMSG-C117.redmond.corp.microsoft.com> <48393B47.3060008@malform.no> <DDB6DE6E9D27DD478AE6D1BBBB83579562E2A40FEC@NA-EXMSG-C117.redmond.corp.microsoft.com>
Mime-Version: 1.0
Subject: [Ltru] [OT] Logic (was: Re: my technical position on extlang)
X-BeenThere: ltru@ietf.org
X-Mailman-Version: 2.1.9
Precedence: list
List-Id: Language Tag Registry Update working group discussion list <ltru.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/listinfo/ltru>, <mailto:ltru-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www.ietf.org/pipermail/ltru>
List-Post: <mailto:ltru@ietf.org>
List-Help: <mailto:ltru-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/ltru>, <mailto:ltru-request@ietf.org?subject=subscribe>
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Sender: ltru-bounces@ietf.org
Errors-To: ltru-bounces@ietf.org

This is off-topic, but may be helpful anyway.

At 06:30 08/05/26, Peter Constable wrote:
>> From: Leif Halvard Silli [mailto:lhs@malform.no]
>
>> > My hunch is that, for most macrolanguage cases, most users would not
>> be able to handle most of the encompassed languages. If that's the case,
>> then you're making an argument *against* extlang.
>> >
>>
>> And if your hunch is wrong, you are making an argument for Extlang.
>
>Not necessarily. If a implies b, it does not logically follow that not b 
>implies not a.

Well, in classical logic, "not b implies not a" indeed logically
follows from "a implies b". That only breaks down if you remove
the law of the excluded middle, if you no longer have "a or not a = TRUE".

Regards,   Martin.

>Besides, I doubt my hunch is wrong: AFAIK, it's not the case that most 
>Chinese are able to handle most Chinese languages; it's not the case that 
>most Quechua are able to handle most Quechuan languages; it's not the case 
>that most Zapotec are able to handle most Zapotec languages.



#-#-#  Martin J. Du"rst, Assoc. Professor, Aoyama Gakuin University
#-#-#  http://www.sw.it.aoyama.ac.jp       mailto:duerst@it.aoyama.ac.jp     

_______________________________________________
Ltru mailing list
Ltru@ietf.org
https://www.ietf.org/mailman/listinfo/ltru