Re: [lojban] First-order logic learning sources

Subject: Re: [lojban] First-order logic learning sources

From: John E Clifford <kali9putra@yahoo.com>

Date: Sun, 21 Aug 2011 10:32:46 -0700 (PDT)

Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:x-yahoo-newman-property:x-yahoo-newman-id :x-ymail-osg:x-mailer:references:message-id:date:from:subject:to :in-reply-to:mime-version: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=dz0z2kgvpZeOU4CK8uO2QyEr10+i8oOyJhWH6ywYyx4=; b=4eO90K2vlrv9FYYnqd45M19LDhvOveK3FuIGRMyDR7O+eCZzblB68ywLD+x0Y6PpzE 0Pn4Xl3RThuZiw7SFEHD5OI1k9XGGmHWPK0pn1GlhgWFdlrCyPOAcHXGwI7BNLvCjSwy xpNc2xBEYVjE/7TS8D/W36+rO+i3ZSmJ6Ki94=

In-reply-to: <78489.7571.1313935676782.JavaMail.geo-discussion-forums@yqlo5>

List-archive: <http://groups.google.com/group/lojban?hl=en_US>

List-help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban+help@googlegroups.com>

List-id: <lojban.googlegroups.com>

List-post: <http://groups.google.com/group/lojban/post?hl=en_US>, <mailto:lojban@googlegroups.com>

List-subscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+subscribe@googlegroups.com>

List-unsubscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+unsubscribe@googlegroups.com>

Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com

References: <78489.7571.1313935676782.JavaMail.geo-discussion-forums@yqlo5>

Reply-to: lojban@googlegroups.com

Sender: lojban@googlegroups.com

Well, I think I could send you copies of either (or both) my books, but I don't dislike you so I'll pass. Most logic books are focused on proofs and devote very little time to the syntax of logic, which would be the part of interest to Lobanists. The most genral piece I know of (in easiloy available things) is a section near the end of Kalish, Montage, Mar: Logic, Techniques of Formal Reasoning. That gives a general framework for just about everything that can be done within the formalism. But the syntax of formal logic is incredibly simple compared to that of even Lojban, since there is (almost) no room for compound subjects or other arguments or predicates modifying predicates or any of the other things that generate, in Lojban. most of the complexities (but allow it to function as a language which can actually express something). It is possible to do pure first order (or higher) syntax in Lojban, but the result will almost always seem stilted and unnatural.

From: Muhammad Nael <muhammad.nael@gmail.com>
To: lojban@googlegroups.com
Sent: Sun, August 21, 2011 9:07:56 AM
Subject: [lojban] First-order logic learning sources

I've looked into it, but I can't find any good, publicly available, introductory learning material for First-Order Logic... I believe it would be easier for me to digest Lojban if I see its backbone first... This may be contradictory to the customs, but it's how I do it ;)
I haven't been to high-school yet; so I know about different logical and formal systems as much as I know about the back of my hand (translates to 'nothing' in my book)

PS. Is there any way to edit posts here?

Regards,
MN

--
You received this message because you are subscribed to the Google Groups "lojban" group.
To view this discussion on the web visit https://groups.google.com/d/msg/lojban/-/VgwFiUdz8c8J.
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.

References:

[lojban] First-order logic learning sources
- From: Muhammad Nael <muhammad.nael@gmail.com>