Re: [lojban] First-order logic learning sources

[John E Clifford <kali9putra@yahoo.com>]

No, I meant that I am a terrible writer.  But, for various reasons, my texts do spend a lot of time on syntax.
FOL (and SOL) are only good (if at all) for the purely descriptive (truth functional) part of language.  So it underlies the non-cmavo part of Lojban (with a few exceptions: some quantifiers and connectives, for example).  It can be enriched in a variety of ways, which cover yet more cmavo (modalities and tenses and such like) but still fit the general patterns (but are even less like Lojban).  This leaves a large number of cmavo which fit into FOL not at all (emotions, conversation grease, and the like).
The syntax per se of FLO is incredibly simple, though it takes a while to come to see it in operation easily.  It is, by and large, assumed in most of the books on the list (at least as far as I looked, about the first 150).  The list is very interesting to me, since it has the latest (well, a lot more recent) infor on philosophical logic (i.e., really very non-standard stuff).  

---

From: Muhammad Nael <muhammad.nael@gmail.com>
To: lojban@googlegroups.com
Sent: Mon, August 22, 2011 9:22:09 AM
Subject: Re: [lojban] First-order logic learning sources

Well, I think I could send you copies of either (or both) my books, but I don't dislike you so I'll pass.
I'm taking this to mean that the books you have are barely acceptable....
"......."
I've read about formal, first-order and second-order logics on Wikipedia; merely scratching the surface, but 'formal' looked too simplistic to be a ground for a complete language.
Seeing as there isn't any good free online courses, I'll ask for professional books... You have up to 40$, more if the book is really good and more or less universal.
---------------------
[davidjenyv]
I'll have a look at that site, although I still need recommendations for what books to look for.

Regards

--
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/-/p881k6b2GZ0J.
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.

-- 
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.