Abstract
Previous research into the formalisation of statute law identified a number of uses of language which posed problems for formalisation. A previous paper argued that these uses establish the requirement that a formalisation be isomorphic, but noted that this has odd consequences. This paper expands on what these consequences are and argues that they undermine the very idea of formalisation. Therefore, the whole argument constitutes a reductio ad absurdum of the idea of formalising statute law. The paper provides reasons why this activity is impossible and places the conclusion in the context of the development of modem logic, in which context it appears uncontroversial.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
J. Barwise and J. Etchemendy. Model-theoretic semantics. In M. I. Posner, editor, Foundations of Cognitive Science, pages 207–243. MIT Press, 1989.
T. J. M. Bench-Capon and F. P. Coenen. Isomorphism and legal knowledge-based systems. Artificial Intelligence and Law, 1(1):65–86, 1992.
T. J. M. Bench-Capon, M. J. Sergot, T. W. Routen, and G. O. Robinson. Logic for large-scale applications in law. In Proceedings of the First International Conference on Artificial Intelligence and Law, pages 190–198. ACM Press, 1987.
L. Birnbaum. Rigor mortis: a response to Nilsson's ‘logic and artificial intelligence’. Artificial Intelligence, 47:57–77, 1991.
R. J. Brachman and H. J. Levesque, editors. Readings in Knowledge Representation. Morgan Kaufmann, 1985.
R. Carnap. Empiricism, semantics and ontology. In L. Linsky, editor, Semantics and the Philosophy of Language, pages 208–228. University of Illinois Press, 1952.
E. Charniak and D. McDermott. Introduction to Artificial Intelligence. Addison-Wesley, 1985.
G. Frege. The thought: A logical inquiry. In P. F. Strawson, editor, Philosophical Logic, pages 17–38. Oxford University Press, 1967.
G. Frege. Concept notation. In P. Geach and M. Black, editors, Translations from the Philosophical Writings of Gottlob Frege, pages 1–20. Basil Blackwell, 3rd edition, 1980.
M. R. Genesereth and N. J. Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann, San Mateo, CA, 1987.
P. J. Hayes. The naive physics manifesto. In M. Boden, editor, The Philosophy of Artificial Intelligence, pages 171–205. Oxford University Press, 1990.
P J. Hayes. Some problems and non-problems in representation theory. In R. J. Brachman and H. J. Levesque, editors, Readings in Knowledge Representation, pages 4–22. Morgan Kaufmann, 1985.
R. A. Kowalski and M. J. Sergot. The use of logical models in legal problem solving. Ratio Juris, 3:201–218, 1990.
D. McDermott. A critique of pure reason. In M. Boden, editor, The Philosophy of Artificial Intelligence, pages 208–230. Oxford University Press, 1990.
N. J. Nilsson. Logic and artificial intelligence. Artificial Intelligence, 47:31–56, 1991.
A. Nye. Assisting at the birth and death of philosophic vision. In M. Levin, editor, Modernity and the Hegemony of Vision. University of California Pess, 1993.
D. Poulin, P. Bratley, J. Fremont, and Mackaay. Legal interpretation in expert systems. In Proceedings of the Fourth International Conference on Artificial Intelligence and Law, pages 90–99. ACM Press, 1993. ISBN 0-89791-606-9.
T. W. Routen. Hierarchically organised formalisations. In Proceedings of 2nd International Conference on Artificial Intelligence and Law, pages 242–250, New York, 1989. A.C.M. Press.
T. W. Routen and T. J. M. Bench-Capon. Hierarchical formalisations. International Journal of Man-Machine Studies, 1991.
B. Russell. Introduction to Mathematical Philosophy. George Allen and Unwin Ltd., 1919.
B. Russell. Mathematical logic as based on the theory of types. In R. C. Marsh, editor, Logic and Knowledge: Essays 1901–1950, pages 59–102. George Allen and Unwin Ltd., London, 1956. Originally published in the American Journal of Mathematics 1908.
R. M. Sainsbury. Logical Forms: An Introduction to Philosophical Logic. Basil Blackwell, Oxford, 1991.
M. J. Sergot, F. Sadri, R. A. Kowalski, F. Kriwaczek, P. Hammond, and H. T. Cory. The british nationality act as a logic program. Communications of the ACM, 29(5):370–386, May 1986.
P F. Strawson. Introduction to Logical Theory. Methuen and Co. Ltd., London, 1952.
A. Tarski. An Introduction to Logic. Oxford University Press, 1941.
A. Tarski. Logic, Semantics and Metamathematics. Clarendon Press, Oxford, 1956. Translated by J. H. Woodger.
S. Toulmin. Understanding Human Nature. 1957.
W. v. O. Quine. Methods of Logic. Routledge and Kegan Paul, London, 2nd edition, 1952.
W. v. O. Quine. Theories and Things. Belknap Press of the Harvard University Press, London, 1981.
L. Wittgenstein. Philosophical Investigations. Basil Blackwell, Oxford, 1953.
L. Wittgenstein. Tractatus Logico-Philosophicas. Routledge and Kegan Paul, 1974. Translated by D. F. Pears and B. F. McGuinness.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Routen, T. On isomorphic formalisations. Artif Intell Law 4, 113–132 (1996). https://doi.org/10.1007/BF00116788
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF00116788