Deals with the study of argumentation and presenting of evidence by means of formal deductive systems such as propositional logic and predicate logic. Application of formal methods is supplemented by the study of philosophical problems about their effectiveness and limitations.

Add to Portfolio (opens a new window)