The Summer School on Law and Logic is the first course ever to provide a comprehensive introduction to the wide variety of uses of logic in the law. Our aim at this Summer School is to provide law students, graduate law students, and legal professionals with a knowledge of the methods of formal logic and the ability to apply those methods to the analysis and critical evaluation of legal arguments and sources of law (including statutes, cases, regulations, constitutional provisions).
The Summer School includes the basics of propositional and predicate deductive logic, as well as the use of logic for capturing representing deontic and Hohfeldian modalities, analogical reasoning and inference to the best explanation. It also addresses presents some aspects of non-deductive reasoning in law, such as defeasible reasoning, including argumentation schemes and inductive reasoning.
We believe that the kind of background in formal logic we offer in this course can be a very powerful tool for use in legal theory, for developing doctrinal legal research, for working in legal informatics (the application of computer programs to the analysis of law), and, more generally, for the practice of law.