5. Course Schedule

Day 1 Monday 10 July

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

Session 1.1.2. Logic and argumentation – link (Henry Prakken and Giovanni Sartor)

Session 1.2.1. Introduction to propositional logic: Part 1 – link (Henry Prakken, and Giovanni Sartor)

Session 1.2.2. Introduction to propositional logic: Part 2 – link (Henry Prakken, and Giovanni Sartor)

Day 2 Tuesday 11 July

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

Session 2.1.2. Representing legal rules and legal arguments in propositional logic – link (Scott Brewer and Giovanni Sartor)

Session 2.2.1. Representing legal rules and legal arguments in propositional logic: Part 2 – link (Scott Brewer and Giovanni Sartor)

Session 2.2.2. Review of basic concepts and exercises on propositional logic – link (Scott Brewer, Henry Prakken, and Giovanni Sartor)

Day 3 Wednesday 12 July

Session 3.1.1. From propositional to predicate logic: grammar and basic structure – link (Bartosz Brozek)

Session 3.1.2. From propositional to predicate logic: semantics and relations – link (Bartosz Brozek)

Session 3.2.1. Review of basic concepts and exercises on predicate logic – link (Bartosz Brozek, Scott Brewer, Nino Rotolo and Giovanni Sartor)

Session 3.2.2. Modelling the law in predicate logic – link (Scott Brewer, and Giovanni Sartor)

Day 4 Thursday 13 July

Session 4.1.1. Argumentation and argument schemes – link (Henry Prakken, Giovanni Sartor)

Session 4.1.2. Formalising argumentation / Burdens of proof and presumptions – link (Henry Prakken and Giovanni Sartor)

Session 4.2.1. Review of basic concepts and exercises on argumentation theory and tools – link (Henry Prakken and Giovanni Sartor)

Session 4.2.2. Analogical reasoning: Part 1 – link (Scott Brewer, Giovanni Sartor)

Day 5 Friday 14 July

Session 5.1.1. Review analogy (exercises) Deontic and modal logic: Part 1 – link (Nino Rotolo, Giovanni Sartor)

Session 5.1.2. Deontic and modal logic: Part 2 – link (Giovanni Sartor, Nino Rotolo)

Session 5.2.1.- Deontic logic and Hohfeldian concepts – link (Giovanni Sartor, Nino Rotolo)

Session 5.2.2. Review of basic concepts and exercises on deontic logic – link (Giovanni Sartor, Nino Rotolo)

Day 6 Saturday 15 July

Session 6.1.1. Induction: generalisation and specification – link (Scott Brewer)

Session 6.1.2. Inference to the best explanation – link (Scott Brewer)

Session 6.2.1. Politics and argument. The Logocratic analysis Part 1 – link (Scott Brewer, Nino Rotolo, Giovanni Sartor)

Session 6.2.2. Politics and argument. The Logocratic analysis Part 2 – link (Scott Brewer, Nino Rotolo, Giovanni Sartor)