On Thu, 9 Nov 2000 23:47:48 -0500 Dennis Paul Himes <[log in to unmask]> writes: > It's usually known in English as propositional calculus, > although that > has the disadvantage of potential confusion with differential and > integral > calculus, which is what people mean when they say "calculus" with no > modifier. > It's also called 0-order logic, as opposed to first order logic, > a.k.a. > prepositional calculus. First order logic allows quantification over > objects, and second order logic allows quantification over sets of > objects. - Ah, now i get it (sort of). What my class is in is First Order logic. -Stephen (Steg) "hypoth syllog..."