[lojban-beginners] Re: Propositional vs. predicate was: Firefox Add-on

["Vid Sintef" <picos.picos@gmail.com>]

On 8/2/07, Jorge Llambías <jjllambias@gmail.com> 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