Received: from mail-bk0-f61.google.com ([209.85.214.61]:38391) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1SpOv3-0003OF-4G; Thu, 12 Jul 2012 12:19:29 -0700 Received: by bkwj4 with SMTP id j4sf1659297bkw.16 for ; Thu, 12 Jul 2012 12:19:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:mime-version:subject:from:in-reply-to:date :message-id:references:to:x-mailer:x-provags-id: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 :content-transfer-encoding; bh=jvUovMciLfa/KUVBGScbPbdsDIlTtRBXKO1PVASQ3yo=; b=imNUOXOlC/viVYhRUSQTb1L3BglOclAe2ShWzP3TFQW3A/ebnVIaOQ8Y5kXpO4f6UZ T+ddu687gOk2RHd3vud5Edpb7vrxawG3UPxcFIswuOMpvbF0tg/GlE23GmMzHnLh0yPC UdTt0qs91i6u4d+2/090u7oW5Q/O1iXTOs+5w= Received: by 10.216.230.205 with SMTP id j55mr734153weq.23.1342120751101; Thu, 12 Jul 2012 12:19:11 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.216.206.198 with SMTP id l48ls2696632weo.3.gmail; Thu, 12 Jul 2012 12:19:09 -0700 (PDT) Received: by 10.180.105.38 with SMTP id gj6mr4357111wib.0.1342120749354; Thu, 12 Jul 2012 12:19:09 -0700 (PDT) Received: by 10.180.105.38 with SMTP id gj6mr4357109wib.0.1342120749344; Thu, 12 Jul 2012 12:19:09 -0700 (PDT) Received: from moutng.kundenserver.de (moutng.kundenserver.de. [212.227.17.8]) by gmr-mx.google.com with ESMTP id ce10si43203wib.1.2012.07.12.12.19.09; Thu, 12 Jul 2012 12:19:09 -0700 (PDT) Received-SPF: neutral (google.com: 212.227.17.8 is neither permitted nor denied by best guess record for domain of kozmikreis@lojban.org.uk) client-ip=212.227.17.8; Received: from [192.168.0.5] (82-71-48-121.dsl.in-addr.zen.co.uk [82.71.48.121]) by mrelayeu.kundenserver.de (node=mreu1) with ESMTP (Nemesis) id 0MY24K-1SKeeC3OHA-00VPXW; Thu, 12 Jul 2012 21:19:09 +0200 Mime-Version: 1.0 (Apple Message framework v1278) Subject: Re: [lojban] &Lang From: kozmikreis In-Reply-To: <4FFF180C.8060000@gmail.com> Date: Thu, 12 Jul 2012 20:19:07 +0100 Message-Id: <275E33F0-1CFB-4925-BE7B-043731755936@lojban.org.uk> References: <90a7e54c-42fe-4ee0-9693-8155db9a7646@googlegroups.com> <4FFDC7C8.2010707@gmail.com> <237c4ac5-64f3-40fa-81d3-8a97c76dcc5d@googlegroups.com> <1342109844.79789.YahooMailNeo@web184407.mail.bf1.yahoo.com> <4FFF180C.8060000@gmail.com> To: lojban@googlegroups.com X-Mailer: Apple Mail (2.1278) X-Provags-ID: V02:K0:TKmWXlk7zTzg3A+oGZGTek40qshBKpBPTVDzVirWHnD 5Hy7ItSAEW6PrYW/V7B+rPBnYt5XJMYu1VlKp4UMUxdcawPjU2 3qx54RZRhS02zT1gqoZZN4x4TOIYq0e5rvpU7Vr8dwKbvmY9J+ yiaw0Q1cEfibx7tndLIgIDtscuqHqnh0ldL+v3pfDiy95qDdzw oPqGNMstmsSmvUYQM2gYdlojjI/05wmqtTETd9ardliHfiUQQw Lx8WVvCKjYBbpdRzRDA1uVsJMyBoJViI5aG4ezJww5g7TWNhOj IdY3PrfvuFM0z6TMy0JiUYbPF8XW7z6N3bkhKl3E2GNpmWc1tH vYofq/sfV/fSwqZ9sHdWfEu0dk/OV1vkUjxNOBNqaZ9RC0BFaK 8tJ+BY3ZFKfSg== X-Original-Sender: kozmikreis@lojban.org.uk X-Original-Authentication-Results: gmr-mx.google.com; spf=neutral (google.com: 212.227.17.8 is neither permitted nor denied by best guess record for domain of kozmikreis@lojban.org.uk) smtp.mail=kozmikreis@lojban.org.uk 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 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.7 (/) X-Spam_score: -0.7 X-Spam_score_int: -6 X-Spam_bar: / The 1-dimensional constraint of speech is a big one in terms of serializing= anything significant. How about consider exploiting more than one 1-dimen= sional stream to slightly alleviate the issue, perhaps conveyed through sem= aphore or dance :-) kozmikreis On 12 Jul 2012, at 19:31, And Rosta wrote: > Let me try harder to explain: >=20 >=20 > Take a variety of predicate logic consisting of predicates, quantifiers a= nd variables. In normal predicate logic notation, if a given variable is an= argument of more than one predicate, it gets repeated. And every bound var= iable is notated at least twice, once where it is shown bound by quantifier= and once where it is argument of a predicate. But this is one and the same= variable; the repetition is a mere notational device necessary to lineariz= e the string. >=20 > If the notation could be two dimensional, then you wouldn't need to write= variables at all. For simplicity's sake, I'll describe a notation for only= predicates and variables: > Use a 2 dimensional grid, infinite in both dimensions. > Each 'row' corresponds to a variable. > Each 'column' corresponds to a predicate. > Predicates are notated by sets of symbols, one symbol for each argument p= lace. Each argument place symbol is placed on the appropriate row for the v= ariable that fills the argument place. >=20 > That's the basic data structure for predicate--argument structure. A 2-di= mensional notation can notate it without redundancy. But spoken language is= 1-dimensional. Is there a way of linearizing predicate-argument structure = ergonomically, in such a way that it is not so verbose or so taxing on the = memory that the advantages of its logical explicitness and unambiguousness = are not outweighed? >=20 > --And. >=20 > John E Clifford, On 12/07/2012 17:17: >> As far as I can figure from the limited information, &'s language differ= s from Logjam in two significant respects. >> 1. Instead of a predicate with various arguments dripping from it, the c= ore utterance is an argument (topic, say) with dangling predicates (comment= s -- not the standard usage quite but Logjam is not famous for following pr= ecedents in terminology). This is a feasible structure, easily realized in = two (and simply in three) dimensions, without anaphora. The case of existen= tial graphs and general topological considerations, however, suggest that a= naphora will be needed in one-dimensional speech. The usual problems with t= hat are simplified by the canonical location of topics. Multiple topics inc= rease the complexity of this but not its basic simplicity. Comments come an= d go (naturally) while topics run on and on (and so are always available fo= r connection). >> 2. Comments have no inherent places, which need to be filled implicitly = when not explicitly, but have only those which are explicitly filled. This = means, apparently, that the nature of the connection of a comment to its to= pic has to be specified in (almost) every case, an added nuisance in speech= but probably a simplification in learning (and possible a reduction in the= need for compounds, many of which are just to add a place to an existing p= redicate or rearrange those places). The bareness of comments means that co= mment words can be raised to topics directly to do business as properties o= r events, without a lot of extra detail. >> These points are too sketchy to give any notion of the relative size, ea= se or clarity of an &lang as here conceived, but at least it looks feasible= so far. --=20 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@googlegrou= ps.com. For more options, visit this group at http://groups.google.com/group/lojban= ?hl=3Den.