The Module continues the process begun by Logic A. Its main technical component is predicate logic, the extension of the formal system introduced in Logic A which accommodates arguments involving quantified sentences. The technical part of the module will involve translation of relevant English sentences into symbolic notation, and vice versa, and methods for assessing the validity of candidate arguments so characterized. Some applications of the formal machinery to standard philosophical problems will be considered along the way. In addition, we'll take a critical look at a number of germane philosophical issues: e.g. Russells theory of descriptions, the notions of identity, necessity and logical entailment, and the 'paradox' of material implication.