Representing the law in predicate logic: prospects and challenges (Scott Brewer and Giovanni Sartor)
Tuesday, July 17, second afternoon session: 15h40 – 17h
Themes covered in this session:
- Criteria of adequacy for representing legal arguments: when does one need propoisitional logic, when does one need predicate logic?
- The logic of definition
- Using logical tools to illuminate paradoxes: the legal version of Russell’s barber paradox
- An issue of nominalism vs. realism regarding predicates: Nietzsche’s challenge to deduction?