Ever since Aristotle, philosophers have been interested in developing formal systems of logic to refine our ability to distinguish valid from invalid arguments and to further our understanding of the nature of logic and validity. The aim of this module is to introduce students to some advanced techniques of logic and formal systems.
The first part of the module is concerned with the logic and meta-logic of First Order Logic. If it’s not snowing, does it follow that if it’s snowing then I’m a monkey’s uncle? If all unicorns are wise, does it follow that there are unicorns?
The second part of the module will be devoted to more advanced logical systems, such as Modal Logic. If it is obligatory to save all innocent children, does it follow that we actually save them? Could 2+2 make 5?