While maintaining its hardcore identity as the study of formal truth and deductive reasoning, in recent years logic has been expanding its scope, and redefining itself as the study of information flow and rational procedures.
Besides traditional fields of application—such as philosophy, artificial intelligence, linguistics, and computer science—logic has reached out to economic, social, and cognitive science, where it provides formal models of interaction, communication, and rational behaviour in multi-agent contexts.
New logical systems have been introduced to deal with the specific features of these contexts, such as dynamic changes, uncertainties, beliefs, probability, vagueness, partial information.
Applied logic at the Delft University of Technology aims at improving the existing logical formalisms, introducing new ones, and applying them in novel interdisciplinary ventures.