[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [lojban-beginners] 'term'



On Wed, Jun 8, 2011 at 5:16 AM, tijlan <jbotijlan@gmail.com> wrote:
> In term logic, the predicate is considered a term, which is not the
> case in Lojban (especially according to its machine grammars). Is the
> term 'term' defined differently? Or is it the definition of
> 'predicate' that's different?

Lojban is based on predicate logic, not term logic. In term logic a
proposition consists of two terms, the subject and the predicate.
That's obviously not the case in Lojban.

You can reproduce term logic by restricting lojban sentences to those
of the form: "term1 me term2"

(with some restrictions on what kind of terms you may use. For example
term2 should not have an outer quantifier).

mu'o mi'e xorxes

-- 
You received this message because you are subscribed to the Google Groups "Lojban Beginners" group.
To post to this group, send email to lojban-beginners@googlegroups.com.
To unsubscribe from this group, send email to lojban-beginners+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban-beginners?hl=en.