Print

Print


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