Toggle Main Menu Toggle Search

Open Access padlockePrints

Representing Legal Norms with the Pullback Functor f*

Lookup NU author(s): Dr Brian Rossiter

Downloads


Abstract

Language and logic are fundamental to the representation of legal knowledge. Geometric logic is of current interest in theoretical computing science. Category theory provides a natural object-oriented approach to geometric logic appropriate to problems like environmental law where the long-term health of the inhabitants of the planet Earth depends critically on getting the law logically right. Progress achieved in local systems with artificial intelligence and with cognitive legal reasoning and with model logics now needs to be put together to achieve an integrable operating system for the Earth. This cannot mean a single simple global system but a constructive interoperability between all systems with consistency. This consistency can only come from a higher meta-level closure that can provide the necessary logical compatibility and integrity in the interaction between different sub-systems. The commutation of legal language and legal logic is discussed in the context of motor licensing to illustrate that category theory has the ability to combine diagrammatic formalisms as in geometry with symbolic notation as in algebra. This report 1 suggests that the categorial concept of adjointness identifies legal norms within pullbacks as the precompositional free functor f *.


Publication metadata

Author(s): Heather MA, Rossiter BN

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 1994

Pages: 28

Print publication date: 01/03/1994

Source Publication Date: March 1994

Report Number: 470

Institution: Department of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/470.pdf


Share