LAW AND LOGIC SUMMER SCHOOL 15-26 JULY 2013 Teatro, Badia Fiesolana, European University Institute

Via de Roccettini 9, 50014 Florence, Italy

BASIC COURSE: 15-23 July 2013

Day 1: Monday 15 July

8:30-9:00 Registration in Seminar Room II, Badia (basic course and both courses) 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 link (Scott Brewer and Giovanni Sartor)
Coffee break (lower loggia, Badia)

11:00-12:30 Session 1.1.2. Basic tools for logical analysis of legal argument: the enthymeme, the evidential conception of logic, and the four modes of logical inference link (Scott Brewer and Giovanni Sartor)
Lunch (mensa, Badia)

14:00-15:30 Session 1.2.1. Logic and argumentation link (Henry Prakken and Giovanni Sartor)
Coffee break (lower loggia, Badia) 16:00-17:30 Session 1.2.2. Introduction to propositional logic: Part 1 link (Henry Prakken, Nino Rotolo and Giovanni Sartor) Day 2: Tuesday 16 July

9:00-10:30 Session 2.1.1. Review of basic concepts and exercises from the first day link (Scott Brewer, Bartosz Brozek, Henry Prakken, Nino Rotolo and Giovanni Sartor)
Coffee break (lower loggia, Badia)

11:00-12:30 Session 2.1.2. Introduction to propositional logic: Part 2 (Henry Prakken, Nino Rotolo and Giovanni Sartor)
Lunch (mensa, Badia)

14:00-15:30 Session 2.2.1. Representing legal rules and legal arguments in propositional logic: Part 1 link (Scott Brewer and Giovanni Sartor)
Coffee break (lower loggia, Badia)

16:00-17:30 Session 2.2.2. Representing legal rules and legal arguments in propositional logic: Part 2 (Scott Brewer and Giovanni Sartor)

LAW AND LOGIC SUMMER SCHOOL 15-26 JULY 2013 Teatro, Badia Fiesolana, European University Institute
Via de Roccettini 9, 50014 Florence, Italy

Day 3: Wednesday 17 July

9:00-10:30 Session 3.1.1. Review of basic concepts and exercises from the second day (Scott Brewer, Bartosz Brozek, Henry Prakken, Nino Rotolo and Giovanni Sartor)
Coffee break (lower loggia, Badia)

11:00-12:30 Session 3.1.2. From propositional to predicate logic: grammar and basic structure -link (Nino Rotolo, Bartosz Brozek and Giovanni Sartor)
Lunch (mensa, Badia)

14:00-15:30 Session 3.2.1. Legal reasoning with predicate logic link (Bartosz Brozek, Scott Brewer and Giovanni Sartor)
Coffee break (lower loggia, Badia)

16:00-17:30 Session 3.2.2. Representing the law in predicate logic: prospects and challenges link (Scott Brewer, Bartosz Brozek and Giovanni Sartor)
Day 4: Thursday 18 July

9:00-10:30 Session 4.1.1. Review of basic concepts and exercises from the third day link (Scott Brewer, Bartosz Brozek, Nino Rotolo and Giovanni Sartor)
Coffee break (lower loggia, Badia) 11:00-12:30 Session 4.1.2. Proof theory: Natural deduction (Bartosz Brozek, Nino Rotolo and Giovanni Sartor) Lunch (mensa, Badia) 14:00-15:30 Session 4.2.1. Argument schemes link (Henry Prakken and Giovanni Sartor) Coffee break (lower loggia, Badia)

16:00-17:30 Session 4.2.2. Defeasibility and legal reasoning link (Giovanni Sartor, Bartosz Brozek and Henry Prakken)
20:00 Dinner at Reggia degli Etruschi, Fiesole

LAW AND LOGIC SUMMER SCHOOL 15-26 JULY 2013 Teatro, Badia Fiesolana, European University Institute
Via de Roccettini 9, 50014 Florence, Italy

Day 5: Friday 19 July

9:00-10:30 Session 5.1.1. Review of basic concepts and exercises from the fourth day link (Bartosz Brozek, Henry Prakken, Nino Rotolo and Giovanni Sartor)
Coffee break (lower loggia, Badia)

11:00-12:30 Session 5.1.2. Formalising argumentation and presumptions (Henry Prakken and Giovanni Sartor)
Lunch (mensa, Badia)

14:00-15:30 Session 5.2.1. Analogical reasoning: Part 1 link (Scott Brewer and Giovanni Sartor)
Coffee break (lower loggia, Badia) 16:00-17:30 Session 5.2.2. Analogical reasoning: Part 2 link (Scott Brewer and Giovanni Sartor) Day 6: Monday 22 July

9:00-10:30 Session 6.1.1. Review of basic concepts and exercises from the fifth day link (Scott Brewer, Bartosz Brozek, Henry Prakken and Giovanni Sartor)
Coffee break (lower loggia, Badia)

11:00-12:30 Session 6.1.2. Basic deontic and modal logic (Nino Rotolo and Giovanni Sartor)
Lunch (mensa, Badia) 14:00-15:30 Session 6.2.1. Advanced deontic logic link (Nino Rotolo and Giovanni Sartor) Coffee break (lower loggia, Badia) 16:00-17:30 Session 6.2.2. Deontic logic and Hohfeldian concepts (Giovanni Sartor and Nino Rotolo)

LAW AND LOGIC SUMMER SCHOOL 15-26 JULY 2013 Teatro, Badia Fiesolana, European University Institute
Via de Roccettini 9, 50014 Florence, Italy

Day 7: Tuesday 23 July

9:00-10:30 Session 7.1.1. Review of basic concepts and exercises from the sixth day (Scott Brewer, Bartosz Brozek, Nino Rotolo and Giovanni Sartor)
Coffee break (lower loggia, Badia)

11:00-12:30 Session 7.1.2 Inference to the best explanation link (Scott Brewer and Giovanni Sartor)
Lunch (mensa, Badia)

14:00-15:30 Session 7.2.1. Induction: generalisation and specification link (Scott Brewer and Giovanni Sartor)
Coffee break (lower loggia, Badia) 16:00-17:30 Session 7.2.2. Bringing it all together: a master case link (Scott Brewer, Bartosz Brozek, Henry Prakken, Nino Rotolo and Giovanni Sartor)

17:30 Presentation of Certificates of Attendance for the participants of the Basic Course

LAW AND LOGIC SUMMER SCHOOL 15-26 JULY 2013 Teatro, Badia Fiesolana, European University Institute
Via de Roccettini 9, 50014 Florence, Italy

SPECIAL COURSE: 24-26 July 2013

Day 8: Wednesday 24 July

8:30-9:00 Registration in Seminar Room II, Badia (special course) 9:00-10:30 Session 8.1.1. Introduction to the legal framework for evidence: comparison of U.S. and representative European legal systems (Bartosz Brozek and Scott Brewer)
Coffee break (lower loggia, Badia)

11:00-12:30 Session 8.1.2. Bayesian reasoning and evidence: Part 1 (Henry Prakken, Nino Rotolo and Scott Brewer)
Lunch (mensa, Badia) 14:00-15:30 Session 8.2.1. Bayesian reasoning and evidence: Part 2 (Henry Prakken Nino Rotolo and Scott Brewer) Coffee break (lower loggia, Badia) 16:00-17:30 Session 8.2.2. Evidence and argumentation: Part 1 (Henry Prakken and Bartosz Brozek) Day 9: Thursday 25 July

9:00-10:30 Session 9.1.1. Review of basic concepts and exercises from the seventh day (Bartosz Brozek, Scott Brewer, Henry Prakken and Giovanni Sartor)
Coffee break (lower loggia, Badia) 11:00-12:30 Session 9.1.2. Evidence and argumentation: Part 2 (Henry Prakken and Giovanni Sartor) Lunch (mensa, Badia) 14:00-15:30 Session 9.2.1. Presumptions, burdens of proof and burdens of production (Scott Brewer, Henry Prakken and Giovanni Sartor) Coffee break (lower loggia, Badia) 16:00-17:30 Session 9.2.2. Concepts of relevance in the law of evidence: logical, pragmatic, and conditional (Scott Brewer and Giovanni Sartor) 20:00 Dinner at I Giuggiolo, Florence

LAW AND LOGIC SUMMER SCHOOL 15-26 JULY 2013 Teatro, Badia Fiesolana, European University Institute
Via de Roccettini 9, 50014 Florence, Italy

Day 10: Friday 26 July

9:00-10:30 Session 10.1.1. Review of basic concepts and exercises from the eighth day (Bartosz Brozek, Scott Brewer, Henry Prakken, Nino Rotolo and Giovanni Sartor)
Coffee break (lower loggia, Badia)

11:00-12:30 Session 10.1.2. The logic and epistemology of testimony: lay vs. expert (including scientific expert) testimony: Part 1 (Scott Brewer and Henry Prakken)
Lunch (mensa, Badia)

13:30-15:00 Session 10.2.1. Modes of logical inference, causality, and scientific evidence (Scott Brewer and Bartosz Brozek) 15:00-15:30 Presentation of Certificates of Attendance for the participants in both courses and the Special Course Refreshments (lower loggia, Badia) 15:30-17:00 Session 10.2.2. Bringing it all together (Scott Brewer, Bartosz Brozek, Henry Prakken, Nino Rotolo and Giovanni Sartor)