From nobody@digitalkingdom.org Thu Aug 02 12:21:48 2007 Received: with ECARTIS (v1.0.0; list lojban-beginners); Thu, 02 Aug 2007 12:21:48 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.67) (envelope-from ) id 1IGgF1-0007OY-2x for lojban-beginners-real@lojban.org; Thu, 02 Aug 2007 12:21:47 -0700 Received: from wx-out-0506.google.com ([66.249.82.226]) by chain.digitalkingdom.org with esmtp (Exim 4.67) (envelope-from ) id 1IGgEx-0007OL-UN for lojban-beginners@lojban.org; Thu, 02 Aug 2007 12:21:46 -0700 Received: by wx-out-0506.google.com with SMTP id i27so462062wxd for ; Thu, 02 Aug 2007 12:21:41 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=MPHf2DtbyLtbx7TUjPYaUg6K0ZJPpSXwxtBJv2BqVmxyriMs0smurT3sf99ZPOZE0EM09t9/xi91KHIwLzhihiKEcZWPqzaEeMbZHOagCDez7TEOujSja2I+i02PBk1qKfopQe8+O2oAtWTokdy+Kbjnacjd8J5SR3aHdg7bC68= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=MvYYxZOxdE1hhRkxJxP+wbauX4WZh8GG3wfadxkax6agARDcmu3THJwDT5F8V20ejR8FA1yNEbDhQ0EBmAGTJi/5tnGdOum7ep7vBknfvGGPFLw1WPCClUj2uLZ86F/MPZdPBCQapRh1r2a/eh5ISIa97jwtpKERLjOC7anO4cY= Received: by 10.70.51.17 with SMTP id y17mr3705905wxy.1186082500222; Thu, 02 Aug 2007 12:21:40 -0700 (PDT) Received: by 10.70.38.7 with HTTP; Thu, 2 Aug 2007 12:21:40 -0700 (PDT) Message-ID: <2f91285f0708021221t505c0266t78ea63fc1c1c14a8@mail.gmail.com> Date: Thu, 2 Aug 2007 20:21:40 +0100 From: "Vid Sintef" To: lojban-beginners@lojban.org Subject: [lojban-beginners] Re: Propositional vs. predicate was: Firefox Add-on In-Reply-To: <925d17560708021155w120db208j6bfc1e6a60d083d2@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by Ecartis Content-Disposition: inline References: <1185834413.46ae65add169c@ssl0.ovh.net> <2f91285f0707310810l32b77e7ao5062ff143cd7c028@mail.gmail.com> <200708020100.03727.phma@phma.optus.nu> <2f91285f0708021124l3e5a53fs52b324da9e0fca48@mail.gmail.com> <925d17560708021155w120db208j6bfc1e6a60d083d2@mail.gmail.com> X-Spam-Score: 0.1 X-Spam-Score-Int: 1 X-Spam-Bar: / X-archive-position: 5287 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-beginners-bounce@lojban.org Errors-to: lojban-beginners-bounce@lojban.org X-original-sender: picos.picos@gmail.com Precedence: bulk Reply-to: lojban-beginners@lojban.org X-list: lojban-beginners On 8/2/07, Jorge Llambías wrote: > Expressions such as "A is B" belong to term logic, not propositional > logic. In propositional logic the atomic components are complete > propositions which are not further decomposed, and the logic deals with > the complex propositions obtained by combining the atomic ones by > means of logical connectives: p and q, p or q, if p then q, etc. "A is B" in > term logic consists of two terms that together form a proposition. > > Natlangs are not formal logic systems, but propositional logic, term logic > and predicate logic are all diffferent formalizations of natlang logic. Lojban > is obviously not a purely formal system, but it is an attempt to make the > connection with formal predicate logic as transparent as possible. My appologies. mi'e vid fe'o