Received: from mail-qy0-f189.google.com ([209.85.216.189]:62616) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1RQnt2-0007PP-7q; Wed, 16 Nov 2011 14:23:27 -0800 Received: by qyk29 with SMTP id 29sf4498653qyk.16 for ; Wed, 16 Nov 2011 14:23:13 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:x-ct-class:x-ct-score:x-ct-refid:x-ct-spam :x-authority-analysis:x-cm-score:message-id:date:from:user-agent :x-accept-language:mime-version:to:subject:references:in-reply-to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:x-google-group-id:list-post :list-help:list-archive:sender:list-subscribe:list-unsubscribe :content-type; bh=Vc4qm+2/UtWV2g/3tMNgSshorPtYN3Lqt32cw5H8sps=; b=tL4ckY/H8AvU4k0GGQU8p1QCNFlztOYn4JlAGRDB64rER8294k2fZUICAs3Xl/53xy eZgmdPwXXiN0JidY/F6TJCDNbebHwyifTy5Ag1sONdcclGvHJ+C5jXxu9MWCSnwqGwbk qT7NDBJHYv5s0WINVTDolqDwA4u7nK9+aKdZs= Received: by 10.224.33.69 with SMTP id g5mr5972609qad.11.1321482190544; Wed, 16 Nov 2011 14:23:10 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.220.239.19 with SMTP id ku19ls23655vcb.4.canary; Wed, 16 Nov 2011 14:23:09 -0800 (PST) Received: by 10.52.88.164 with SMTP id bh4mr37650352vdb.8.1321482189222; Wed, 16 Nov 2011 14:23:09 -0800 (PST) Received: by 10.52.88.164 with SMTP id bh4mr37650351vdb.8.1321482189208; Wed, 16 Nov 2011 14:23:09 -0800 (PST) Received: from eastrmfepo102.cox.net (eastrmfepo102.cox.net. [68.230.241.214]) by gmr-mx.google.com with ESMTP id b8si14224267vdu.2.2011.11.16.14.23.08; Wed, 16 Nov 2011 14:23:09 -0800 (PST) Received-SPF: neutral (google.com: 68.230.241.214 is neither permitted nor denied by best guess record for domain of lojbab@lojban.org) client-ip=68.230.241.214; Received: from eastrmimpo305.cox.net ([68.230.241.237]) by eastrmfepo102.cox.net (InterMail vM.8.01.04.00 201-2260-137-20101110) with ESMTP id <20111116222308.TOOB3177.eastrmfepo102.cox.net@eastrmimpo305.cox.net> for ; Wed, 16 Nov 2011 17:23:08 -0500 Received: from [192.168.0.100] ([70.187.237.100]) by eastrmimpo305.cox.net with bizsmtp id xyP71h00J2AfMYu02yP7pr; Wed, 16 Nov 2011 17:23:08 -0500 X-CT-Class: Clean X-CT-Score: 0.00 X-CT-RefID: str=0001.0A020209.4EC437CC.0058,ss=1,re=0.000,fgs=0 X-CT-Spam: 0 X-Authority-Analysis: v=1.1 cv=qSyWWYXQMCUY1tO8B4deAbYy/NrksEj+WbDQmAjdQas= c=1 sm=1 a=dYDkaTZZu5wA:10 a=LNyRDDSfcIoA:10 a=xmHE3fpoGJwA:10 a=IkcTkHD0fZMA:10 a=MQZuvjT3xUZLKv0gclfWMg==:17 a=WuQIMOp636GM9VzLsnwA:9 a=lPQ6YNkBflpRcd1ydDkA:7 a=QEXdDO2ut3YA:10 a=owy1VUeQeWm4v8bT:21 a=cbRUdQiTXgc-byf9:21 a=MQZuvjT3xUZLKv0gclfWMg==:117 X-CM-Score: 0.00 Message-ID: <4EC4374C.7050704@lojban.org> Date: Wed, 16 Nov 2011 17:21:00 -0500 From: Robert LeChevalier User-Agent: Mozilla Thunderbird 1.0.7 (Windows/20050923) X-Accept-Language: en-us, en MIME-Version: 1.0 To: lojban@googlegroups.com Subject: Re: [lojban] Lions and levels and the like References: <20111112173901.GC2702@gonzales> <1321289156.24832.YahooMailRC@web81303.mail.mud.yahoo.com> <8A2121A2-7549-4123-8557-EEE300254097@yahoo.com> In-Reply-To: <8A2121A2-7549-4123-8557-EEE300254097@yahoo.com> X-Original-Sender: lojbab@lojban.org X-Original-Authentication-Results: gmr-mx.google.com; spf=neutral (google.com: 68.230.241.214 is neither permitted nor denied by best guess record for domain of lojbab@lojban.org) smtp.mail=lojbab@lojban.org Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1; format=flowed X-Spam-Score: -0.0 (/) X-Spam_score: -0.0 X-Spam_score_int: 0 X-Spam_bar: / John E. Clifford wrote: > Hmmm! Nice case! Of course, some first transistor must have been > invented that all the others copied and improved upon, but that doesn't > really dodge your point. At the moment, I don't know what to suggest, > except to hope that Lojban still has a word for kinds. Bunches are, > inter alia, Lesniewski's wholes (but xorxes doesn't like this kind of > objectifying, preferring plural reference, which works the same way > formally). I don't take 1a to be about kinds, but just about some > unspecified bunch of lions (at least in Lojban, lo cinfo). Kinds don't > seem to be the sort of things that ruin gardens, though their exemplars > may. The factual situation, as far as transistors, etc. are concerned, > is about genealogy, all transistors descend from something invented by > Shockley. But that is at least as hard to express as types, so I wait a > while on it. Actually, I just read something on this a couple days ago. There was a patent issued in Canada for a field-effect transistor in 1925, but it isn't clear if any were built. A similar patent was issued in Germany in 1934. Neither has much to do with the Shockley transistor other than name and general semiconductor nature. Bardeen and Brattain then invented the germanium transistor in 1947, but Shockley ended up getting a share of the credit. There was an independent invention in France in 1948. Texas Instruments produced the first silicon transistor in 1954, and MOS-FETs came even later, and I think they are more like the 1925 idea than like the 1947 one. It would be difficult to call any of the reinventions prior to 1948 as being "family tree descendants". Those afterwards would probably give some ancestral credit to Shockley's group, but that might be a legal fiction due to patent law rather than truly being genealogical. The same probably goes for the brothers' Wright and the airplane. Many others were independently inventing them when the Wrights first flew, and it is hard to argue that airplanes are necessarily more descended from Wright's plane than any of those others. How to express these distinctions in Lojban is beyond anything I would attempt to argue, especially post xorlo. lojbab -- You received this message because you are subscribed to the Google Groups "lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban?hl=en.