Help! -- logic types

While i have taken logic classes, I don’t remember ever having the types of logic “named”. But lately, I’ve been introduced through the internet to some who say this kind of logic is proven, or that one is dis-. I hear names like “sentential” or “analytic” or “inductive” used as qualifiers.

Would some kind person enlighten be briefly on what are the types of logic spoken about and what do they mean?

Thx.

Cordially,
my real name
(no, i’m not a philosophy major, i was a great books major.)

I’ve studied two basic type of logic so far: Sentential and Predicate.

SL deals with propositional variables, and PL deals with both propositional and quantified variables. PL allows us to use “all”, “some”. and “none” in arguments, thus allowing us to define the universe of discourse that a given statement applies too.

Although I haven’t studied modal logic, it is my unerstanding that it extends to ecompass possibilities and necessities.

well that is kind of what i am studying (cognitive sci.) so i shall give a crack at it.

deductive and inductive reasoning (including comp./incompleteness proofs)
aristotelian
modal (deontic, doxastic, temporal)
predicate
sentential
then perhaps drt (discourse representation theory)

and im sure there are a few if not many other “logics” that i know of…nonetheless, these are the few that i am familiar with

iep.utm.edu/p/prop-log.htm

plato.stanford.edu/entries/logic-inductive/

wikipedia also has some good entries on logic.

http://en.wikipedia.org/wiki/Logic.