Abstract
This note describes a formal rule for analogical reasoning in the legal context. The rule derives first order sentences from partial decision descriptions. The construction follows the principle, that the acceptance of an incomplete argument induces the acceptance of the logically weakest assumptions, which complete it.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baaz, M., Quirchmayr, G.: Logic-based models of analogical reasoning. In: Expert Systems with Applications, vol. 4, pp. 369–378. Pergamon Press, Oxford (1992)
Baaz, M., Salzer, G.: Semi-unification and generalizations of a particularly simple form. In: Pacholski, L., Tiuryn, J. (eds.) CSL 1994. LNCS, vol. 933, pp. 106–120. Springer, Heidelberg (1995)
Baaz, M., Zach, R.: Generalizing theorems in real closed fields. Ann. Pure Appl. Logic 75, 3–23 (1995)
Cross, R., Harris, J.W.: Precedent in English law, 4th edn. Claredon Law Series. Oxford University Press, Oxford (1991)
Euler, L.: Opera Omnia, ser. 1, vol. 14, 73–86, 138–155, 177–186
Gericke, H.: Mathematik in Antike und Orient. Mathematik im Abendland. Fourier Verlag, Wiesbaden (1992)
Kant, I.: Critique of Pure Reason, trans. N. Kemp Smith, St Martins Press (1929) A133/B172
Kelsen, H.: Reine Rechtslehre. Verlag Österreich (2000) (reprinted from 2nd edition from 1960)
Klug, U.: Juristische Logik, 4th edn. Springer, Heidelberg (1982)
Krajicek, J., Pudlak, P.: The number of proof lines and the size of proofs in first order logic. Arch. Math. Log. 27, 69–84 (1988)
Kreisel, G.: On analogies in contemporary mathematics, 1978 UNESCO lecture. In: Hahn, Sinacèur (eds.) Penser avec Aristote, Erês, pp. 399–408 (1991)
Orevkov, V.P.: Reconstruction of the proof from its scheme. In: 8th Sov. Conf. Math. Log. Novosibirsk, p. 133 (1984) (Russian abstract)
Polya, G.: Induction and analogy in mathematics. Mathematics and plausible reasoning, vol. I. Princeton University Press, Princeton (1954)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baaz, M. (2005). Note on Formal Analogical Reasoning in the Juridical Context. In: Ong, L. (eds) Computer Science Logic. CSL 2005. Lecture Notes in Computer Science, vol 3634. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11538363_3
Download citation
DOI: https://doi.org/10.1007/11538363_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28231-0
Online ISBN: 978-3-540-31897-2
eBook Packages: Computer ScienceComputer Science (R0)