From LOJBAN%CUVMB.BITNET@UBVM.CC.BUFFALO.EDU Sat Feb 10 11:21:30 1996 Received: from wnt.dc.lsoft.com (wnt.dc.lsoft.com [205.186.43.7]) by locke.ccil.org (8.6.9/8.6.10) with ESMTP id LAA13735 for ; Sat, 10 Feb 1996 11:21:27 -0500 Message-Id: <199602101621.LAA13735@locke.ccil.org> Received: from PEACH.EASE.LSOFT.COM (205.186.43.4) by wnt.dc.lsoft.com (LSMTP for Windows NT v1.0a) with SMTP id 08FFB430 ; Sat, 10 Feb 1996 10:46:29 -0500 Date: Sat, 10 Feb 1996 10:48:51 -0500 Reply-To: Logical Language Group Sender: Lojban list From: Logical Language Group Subject: *old response on "which logic" X-To: lojban@cuvmb.cc.columbia.edu To: John Cowan Status: OR X-Mozilla-Status: 0001 Content-Length: 1748 &: >> &: but maybe there are great virtues to restricted quantification that I >> am failing to recognize >> pc: Let's see: >> They are the quantifiers of natural language, the ones grammars are >> designed to deal with (arguable for the universal, the particular, >> finite numerals and the plurative -- though less in the last case; not >> for the majoritive or any of the rest) > >That's open to debate, and decisions for lojban shouldn't depend on >resolution of that debate. I (naively?) thought that logic is >relatively well understood, while natural language is relatively ill >understood, and hence some of the appeal of lojban is that it is based >principally on logic. But which logic? A valid claim would be that TLI Loglan was based on JCB's imperfect understanding of logic as it was understood in 1950, with a heavy Quinian perspective. At best it can be said to envelop a freshman university course level of depth of understanding of logic. Such courses are rather heavily oriented towards pragmatic representation of natural language, rather than the formal foundational stuff of mathematics. Of course, since there are multiple schools of thought as to how natlangs should be represented in logic, what has happened is that ignoramusses like JCB and I who know little about logic have been selecting schools that show what seems to be a naive consistency with the patterns that JCB built into the language. In some cases. This has even at times put Loglan ahead of logic research, as implied by pc when he said that JCB's quantifier+selbri construct is coming to be recognized in logical analysis of natlang as something fundamental - but JCB came up with this 15-20 years ago. lojbab