Skip to main content
SpringerLink
Log in

Note on Formal Analogical Reasoning in the Juridical Context

  • Conference paper
Computer Science Logic (CSL 2005)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3634))

Included in the following conference series:

  • 579 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baaz, M., Quirchmayr, G.: Logic-based models of analogical reasoning. In: Expert Systems with Applications, vol. 4, pp. 369–378. Pergamon Press, Oxford (1992)

    Google Scholar 

  2. 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)

    Chapter  Google Scholar 

  3. Baaz, M., Zach, R.: Generalizing theorems in real closed fields. Ann. Pure Appl. Logic 75, 3–23 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  4. Cross, R., Harris, J.W.: Precedent in English law, 4th edn. Claredon Law Series. Oxford University Press, Oxford (1991)

    Google Scholar 

  5. Euler, L.: Opera Omnia, ser. 1, vol. 14, 73–86, 138–155, 177–186

    Google Scholar 

  6. Gericke, H.: Mathematik in Antike und Orient. Mathematik im Abendland. Fourier Verlag, Wiesbaden (1992)

    Google Scholar 

  7. Kant, I.: Critique of Pure Reason, trans. N. Kemp Smith, St Martins Press (1929) A133/B172

    Google Scholar 

  8. Kelsen, H.: Reine Rechtslehre. Verlag Österreich (2000) (reprinted from 2nd edition from 1960)

    Google Scholar 

  9. Klug, U.: Juristische Logik, 4th edn. Springer, Heidelberg (1982)

    Google Scholar 

  10. 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)

    Article  MATH  MathSciNet  Google Scholar 

  11. Kreisel, G.: On analogies in contemporary mathematics, 1978 UNESCO lecture. In: Hahn, Sinacèur (eds.) Penser avec Aristote, Erês, pp. 399–408 (1991)

    Google Scholar 

  12. Orevkov, V.P.: Reconstruction of the proof from its scheme. In: 8th Sov. Conf. Math. Log. Novosibirsk, p. 133 (1984) (Russian abstract)

    Google Scholar 

  13. Polya, G.: Induction and analogy in mathematics. Mathematics and plausible reasoning, vol. I. Princeton University Press, Princeton (1954)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Technische Universität Wien, A-1040, Vienna, Austria

    Matthias Baaz

Authors
  1. Matthias Baaz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Oxford University Computing Laboratory, Wolfson Building, Parks Road, OX1 3QD, Oxford, United Kingdom

    Luke Ong

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation