On the one hand, logic is the study of certain mathematical properties of artificial, formal languages. It is concerned with such languages as the first or second order predicate calculus, modal logics, the lambda calculus, categorial grammars, and so forth.
Underworld is a 2003 action horror film directed by Len Wiseman about the secret history of Vampires and Lycans (an abbreviated form of lycanthrope). It is the first (chronologically, the second) installment in the Underworld series. The main plot revolves around Selene (Kate Beckinsale), a vampire Death Dealer hunting Lycans.
âAnd I thought, âIâve got to do something about that. Iâve got to play something that has a little bit more edge to it.â. Kate Beckinsale as Selene in the 2003 film Underworld. (Egon Endrenyi/Screen Gems) So, for âkind of a personal experiment,â she took a role that had more than a little edge, and a lot of bite.