Documente Academic
Documente Profesional
Documente Cultură
Provisional Programme
§ ABSTRACT
The Summer School on Law and Logic is being held for its sixth year, from 9-14 July 2018. This course is
designed to give students rigorous training in a wide variety of logical methods that can assist in the
analysis of law all kinds of legal analysts, including students, lawyers, judges and scholars. The overall
framework for the course is the Logocratic Method, a systematic method for assessing the strengths and
weaknesses of arguments, including, but not limited to, legal arguments. Since so much legal analysis
consists in making and evaluating arguments, this method can be a powerful tool for all legal analysts.
1
§ PROGRAMME
9:00 – 10:30 Session 1.1.1: Perceptions of cooperation and clash of logic and law – opening
thoughts about the utilities of logic for law – Basic definitions and methods of the
Logocratic Method (Scott Brewer and Giovanni Sartor)
11:00 – 12:30 Session 1.1.2: Logic and argumentation (Henry Prakken and Giovanni Sartor)
14:00 – 15:30 Session 1.2.1: Introduction to propositional logic: Part 1 (Henry Prakken and
Giovanni Sartor)
16:00 – 17:30 Session 1.2.2: Introduction to propositional logic: Part 2 (Henry Prakken and
Giovanni Sartor)
9:00 – 10:30 Session 2.1.1: Review of basic concepts and exercises from the first day – link
(Scott Brewer, Henry Prakken, and Giovanni Sartor)
11:00 – 12:30 Session 2.1.2: Representing legal rules and legal arguments in propositional logic:
Part 1 (Scott Brewer and Giovanni Sartor)
12:30 – 14:00 Lunch, Mensa, Badia
14:00 – 15:30 Session 2.2.1: Representing legal rules and legal arguments in propositional logic:
Part 2 (Matthias Armgardt, Giovanni Sartor)
16:00 – 17:30 Session 2.2.2: Review of basic concepts and exercises on propositional logic
(Matthias Armgardt, Scott Brewer, Henry Prakken and Giovanni Sartor)
9:00 – 10:30 Session 3.1.1: From propositional to predicate logic: grammar and basic structure
(Bartosz Brozek, Nino Rotolo and Giovanni Sartor)
11:00 – 12:30 Session 3.1.2: From propositional to predicate logic: semantics and relations –
link (Bartosz Brozek, Nino Rotolo Scott Brewer and Giovanni Sartor)
14:00 – 15:30 Session 3.2.1: Review of basic concepts and exercises on predicate logic – link
(Bartosz Brozek, Nino Rotolo, Scott Brewer and Giovanni Sartor)
16:00 – 17:30 Session 3.2.2: Modelling the law in predicate logic (Bartosz Brozek, Nino Rotolo
Scott Brewer and Giovanni Sartor)
9:00 – 10:30 Session 4.1.1: Argumentation and argument schemes (Giovanni Sartor)
11:00 – 12:30 Session 4.1.2: Formalising argumentation / Burdens of proof and presumptions –
(Giovanni Sartor)
14:00 – 15:30 Session 4.2.1: Review of basic concepts and exercises on argumentation theory
and tools (Giovanni Sartor and Bartosz Brozek)
9:00 – 10:30 Analogical reasoning: Part 2 (Scott Brewer and Giovanni Sartor)
11:00 – 12:30 Session 5.1.2: Deontic and modal logic: Part 1 (Emiliano Lorini, Nino Rotolo and
Giovanni Sartor)
14:00 – 15:30 Session 5.2.1: Deontic and modal logic: Part 2 (Emiliano Lorini, Giovanni Sartor
and Nino Rotolo)
16:00 – 17:30 Session 5.2.2: Deontic logic and Hohfeldian concepts (Emiliano Lorini, Giovanni
Sartor and Nino Rotolo)
9:00 – 10:30 Session 6.1.1: Induction: Generalisation and specification (Scott Brewer)
11:00 – 12:30 Session 6.1.2: Abduction: Inference to the best explanation (Scott Brewer)
14:00 – 15:00 Closing Session. Certificates for attendance (Scott Brewer, Bartosz Brozek,
Giovanni Sartor)