LAW AND LOGIC SUMMER SCHOOL

14-25 JULY 2013

Teatro, Badia Fiesolana,
European University Institute

13-18 July 2013, Badia Fiesolana, Theater

Day 1: Monday 13 July

8:30-9:00
Registration
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)
Coffee break (lower loggia, Badia)
11:00-12:30
Session 1.1.2. Logic and argumentation (Henry Prakken and Giovanni Sartor)
Lunch (mensa, Badia)
14:00-15:30
Session 1.2.1. Introduction to propositional logic: Part 1 (Henry Prakken and
Giovanni Sartor)
Coffee break (lower loggia, Badia)

16:00-17:30
Session 1.2.2. Introduction to propositional logic: Part 2 (Henry Prakken and
Giovanni Sartor)
Day 2: Tuesday 14 July

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)
Coffee break (lower loggia, Badia)

11:00-12:30
Session 2.1.2. Representing legal rules and legal arguments in propositional logic: Part
1 (Scott Brewer and Giovanni Sartor)
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)
Coffee break (lower loggia, Badia)

LAW AND LOGIC SUMMER SCHOOL

14-25 JULY 2013
Teatro, Badia Fiesolana,
European University Institute

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 15 July

9:00-10:30
Session 3.1.1. From propositional to predicate logic: grammar and basic structure
(Nino Rotolo and Giovanni Sartor)
Coffee break (lower loggia, Badia)
11:00-12:30
Session 3.1.2. From propositional to predicate logic: semantics and relations
link (Scott Brewer and Giovanni Sartor)
Lunch (mensa, Badia)
14:00-15:30
Session 3.2.1. Review of basic concepts and exercises on predicate logic link (Scott
Brewer and Giovanni Sartor)
Coffee break (lower loggia, Badia)
16:00-17:30
Session 3.2.2. Modelling the law in predicate logic (Scott Brewer, and Giovanni
Sartor)
Day 4: Thursday 16 July

9:00-10:30
Session 4.1.1. Argumentation and argument schemes (Henry Prakken, Giovanni
Sartor, Samuel Brasil and Lorenz Schulz)
Coffee break (lower loggia, Badia)

11:00-12:30
Session 4.1.2. Formalising argumentation / Burdens of proof and presumptions
(Henry Prakken and Giovanni Sartor)
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, Samuel Brasil and Lorenz Schulz)
Coffee break (lower loggia, Badia)

16:00-17:30
Session 4.2.2. Session 4.2.2. Analogical reasoning: Part 1 (Scott Brewer, Giovanni
Sartor)
19:30
Social dinner (time and location to be announced)

LAW AND LOGIC SUMMER SCHOOL

14-25 JULY 2013
Teatro, Badia Fiesolana,
European University Institute
Day 5: Friday 17 July
9:00-10:30 Analogical reasoning: Part 2 (Scott Brewer, Giovanni Sartor)
Coffee break (lower loggia, Badia)
11:00-12:30
Session 5.1.2. Deontic and modal logic: Part 1 (Nino Rotolo, Giovanni Sartor)
Lunch (mensa, Badia)
14:00-15:30
Session 5.2.1. Deontic and modal logic: Part 2 (Giovanni Sartor, Nino Rotolo)
Coffee break (lower loggia, Badia)
16:00-17:30
Session 5.2.2. Deontic logic and Hohfeldian concepts (Giovanni Sartor, Nino Rotolo)
Day 6: Saturday 18 July

9:00-10:30
Session 6.1.1. Review of basic concepts and exercises on deontic logic (Giovanni
Sartor, Nino Rotolo)
Coffee break (lower loggia, Badia)
11:00-12:30
Session 6.1.2. Induction: generalisation and specification (Scott Brewer, Henry
Prakken)
Lunch (mensa, Badia)

14:00-15:30
Session 6.2.1. Inference to the best explanation (Scott Brewer)
Coffee break (lower loggia, Badia)

16:00-17:30
Session 6.2.2. Bringing it all together: a master case for logocratic analysis (Scott
Brewer, Henry Prakken, Nino Rotolo, Giovanni Sartor)
17:30-18:00
Closing Session. Certificates of attendance.