Session 02.1.1 and 02.2.2

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

Themes covered in this session:

  1. Arguments and cases
  2. Truth tables
  3. Inferences in propositional logic
  4. Using propositional logic to represent legal argument
  5. Basic logical and metalogical concepts

Cases

  • Wright v. Newman (link)

Exercises

  • Translation exercises (Giovanni) (link)
  • Exercises on propositional logic: see session 1.2.2.
  • Brewer, s. Exercises on the logocratic method (link)
  • Brewer, s. Exercises on representing law in propositional logic (link)

Reading

Tapscott 1-8 (link)

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s