9. Sessions

Day 1

  • Session 1.1.1. Introduction: what logic is and why it matters for the law (Scott Brewer, Giovanni Sartor)
  • Session 1.1.2. Argumentation and defeasibility (Henry Prakken, Giovanni Sartor)
  • Session 1.2.1. Introduction to propositional logic and exercises (Henry Prakken, Nino Rotolo, Giovanni Sartor)
  • Session 1.2.2. Representing law in propositional logic (Scott Brewer and Giovanni Sartor)

Day 2

  • Session 2.1.1. Review of basic concepts and exercises from the first day (Scott Brewer, Henry Prakken, Nino Rotolo and Giovanni Sartor)
  • Session 2.1.2. From propositional to predicate logic: grammar and basic structure (Scott Brewer and Giovanni Sartor)
  • Session 2.2.1. Reasoning with predicate logic (Scott Brewer and Giovanni Sartor)
  • Session 2.2.2. Representing the law in predicate logic: prospects and challenges (Scott Brewer and Giovanni Sartor)

Day 3

  • Session 3.1.1. Review of basic concepts and exercises from the second day (Scott Brewer, Henry Prakken, Nino Rotolo and Giovanni Sartor)
  • Session 3.1.2. Argument schemes (Henry Prakken and Giovanni Sartor)
  • Session 3.2.1. Formalising argumentation /  Burdens of proof and presumptions (Henry Prakken and Giovanni Sartor
  • Session 3.2.2. Analogical reasoning (Scott Brewer and Giovanni Sartor)

Day 4

  • Session 4.1.1. Review of basic concepts and exercises from the third day (Scott Brewer, Henry Prakken, Nino Rotolo and Giovanni Sartor)
  • Session 4.1.2. Basic Deontic Logic (Nino Rotolo, Giovanni Sartor)
  • Session 4.2.1. Advanced Deontic Logic (Nino Rotolo, Giovanni Sartor)
  • Session 4.2.2. Inference to the Best Explanation (Scott Brewer, Peter Tillers)

Day 5

  • Session 5.1.1. Review of basic concepts and exercises from the fourth day (Scott Brewer, Henry Prakken, Nino Rotolo, Giovanni Sartor and Peter Tillers)
  • Session 5.1.2. Induction: generalization and specification (Scott Brewer, Peter Tillers)
  • Session 5.2.1. Bayesian reasoning about and from evidence (Scott Brewer, Peter Tillers)
  • Session 5.2.2. Bringing it all together: a master case (Scott Brewer, Henry Prakken, Nino Rotolo, Giovanni Sartor, Peter Tillers)
Advertisements