LAW AND LOGIC SUMMER SCHOOL 2016

Date: 11-16 July 2016

Place: Badia Fiesolana, Theatre

ABSTRACT

The Summer School on Law and Logic is being held for its fifth year, from 11-16 July 2016. This course
is designed to give students rigorous training in a wide variety of logical methods that can assist 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 this method can be a powerful tool for all legal analysts.

Organized in collaboration with

PROGRAMME
Day 1, Monday 11 July

8:30 9:00

Registration

9:00 10:30

Session 1.1.1: Introduction: 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 (post version 07-25-14) (Scott Brewer and
Giovanni Sartor)

10:30 11:00 Coffee break

11:00 12:30

Session 1.1.2: Logic and argumentation (Henry Prakken and Giovanni Sartor)

12:30 14:00 Lunch, Mensa, Badia

14:00 15:30

Session 1.2.1: Introduction to propositional logic: Part 1 (Henry Prakken and

Giovanni Sartor)

15:30 16:00 Coffee break

16:00 17:30

Session 1.2.2: Introduction to propositional logic: Part 2 (Henry Prakken and

Giovanni Sartor)

Day 2, Tuesday 12 July

9:00 10:30

Session 2.1.1: Review of basic concepts and exercises from the first day (Scott
Brewer, Henry Prakken, and Giovanni Sartor)

10:30 11:00 Coffee break

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 (Scott Brewer and Giovanni Sartor)

15:30 16:00 Coffee break

16:00 17:30

Session 2.2.2: Review of basic concepts and exercises on propositional logic

(Scott Brewer, Henry Prakken and Giovanni Sartor)

Day 3, Wednesday 13 July

9:00 10:30

Session 3.1.1: From propositional to predicate logic: grammar and basic structure
(Nino Rotolo and Giovanni Sartor)

10:30 11:00 Coffee break

11:00 12:30

Session 3.1.2: From propositional to predicate logic: semantics and relations

(Scott Brewer and Giovanni Sartor)

12:30 14:00 Lunch, Mensa, Badia

14:00 15:30

Session 3.2.1: Review of basic concepts and exercises on predicate logic

(Scott Brewer, Nino Rotolo and Giovanni Sartor)

15:30 16:00 Coffee break

16:00 17:30

Session 3.2.2: Modelling the law in predicate logic (Scott Brewer and Giovanni
Sartor)

Day 4, Thursday 14 July

9:00 10:30

Session 4.1.1: Argumentation and argument schemes (Henry Prakken, Giovanni

Sartor)

10:30 11:00 Coffee break

11:00 12:30

Session 4.1.2: Formalising argumentation / Burdens of proof and presumptions

(Henry Prakken and Giovanni Sartor)

12:30 14:00 Lunch, Mensa, Badia

14:00 15:30

Session 4.2.1: Review of basic concepts and exercises on argumentation theory

and tools (Henry Prakken and Giovanni Sartor)

15:30 16:00 Coffee break

16:00 17:30

Session 4.2.2: Analogical reasoning: Part 1 (Scott Brewer and Giovanni Sartor)

19:30

Social dinner at La Pentola DellOro

Day 5, Friday 15 July

9:00 10:30

Analogical reasoning: Part 2 (Scott Brewer and Giovanni Sartor)

10:30 11:00 Coffee break

11:00 12:30

Session 5.1.2: Deontic and modal logic: Part 1 (Nino Rotolo and Giovanni Sartor)

12:30 14:00 Lunch, Mensa, Badia

14:00 15:30

Session 5.2.1: Deontic and modal logic: Part 2 (Giovanni Sartor and Nino Rotolo)

15:30 16:00 Coffee break

16:00 17:30

Session 5.2.2: Deontic logic and Hohfeldian concepts (Giovanni Sartor and Nino
Rotolo)

Day 6, Saturday 16 July

9:00 10:30

Session 6.1.1: Review of basic concepts and exercises on deontic logic (Giovanni
Sartor and Nino Rotolo)

10:30 11:00 Coffee break

11:00 12:30

Session 6.1.2: Induction: generalisation and specification (Scott Brewer)

12:30 14:00 Sala Rossa, Badia

14:00 15:30

Session 6.2.1: Inference to the best explanation (Scott Brewer)

15:30 16:00 Coffee break

16:00 17:30

Session 6.2.2: Bringing it all together: a master case for logocratic analysis (Scott
Brewer, Nino Rotolo and Giovanni Sartor)

17:30 18:00

Closing Session. Certificates of attendance