Since 1951 Deontic Logic, founded by Georg Henrik von Wright1, a finnish logician and
philosopher, Wittgenstein’s scholar, showed its particular attitude to serve many branches of
philosophical research, from the logic to the law2.
Despite it actually the things are not so and the reason is simple: deontic logic only captures our
normative intuitions, moral underlying structure of our language 3, but nothing more. And the reason
of this is clear. In fact, deontic logic was born as a particular logical treatment of non – assertoric
propositions, an result by recent logical neopositivism4. There exists a tension between formal
theory and the language5, notably practical language. But this doesn’t prevent to formalize
normative uses of the language.
It seems to me that it’s a useful tool for analyzing the normative uses of moral language, what we
use to express normative sentences or commands, forbids and so on … Perhaps the same normative
stances that we use in law.
So, I wish to describe in this paper what can deontic logic do for a particular branch of law:
computer applications to it. At all, I think about the deontic logic as a tool for computer law, even if
there are many difficulties that must be considered before to go beyond.
COMPUTER LAW
Since 1949 Information Technology had a great influence on Law, not only on the study of Law,
but on the Law’s applications too. In fact, it appeared immediately how it’s important to upgrade
the Law to new developments of human history.
Loevinger first proposed to use a new term, Jurimetric, for this new field of Law, today well
known as Computer Law6. Probably, he thought of computers as possible tools for teaching law (i.e.
law’s learning) or to solve some tasks (i.e. records of cases).
(here full article)
