论文信息 - Note on Formal Analogical Reasoning in the Juridical Context

Note on Formal Analogical Reasoning in the Juridical Context

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.

Matthias Baaz | M. Baaz

[1] Jan Krajícek,et al. The number of proof lines and the size of proofs in first order logic , 1988, Arch. Math. Log..

[2] M. Baaz,et al. Logic-based models of analogical reasoning: A fundamental basis for the design of legal expert systems , 1992 .

[3] J. Harris,et al. Precedent in English Law , 1968 .

[4] Gernot Salzer,et al. Semi-Unification and Generalizations of a Particularly Simple Form , 1994, CSL.

[5] Alex K. Simpson,et al. Computational Adequacy in an Elementary Topos , 1998, CSL.

[6] Matthias Baaz,et al. Generalizing Theorems in Real Closed Fields , 1995, Ann. Pure Appl. Log..

[7] George Polya,et al. Induction and Analogy in Mathematics , 1954 .

[8] H. Gericke,et al. Mathematik in Antike und Orient , 1984 .

[9] G. Pólya,et al. Mathematics and Plausible Reasoning: Vol. I: Induction and Analogy in Mathematics , 1979 .

[10] Paul Guyer,et al. Critique of Pure Reason: Transcendental doctrine of method , 1998 .

[11] G. Pólya. Mathematics and Plausible Reasoning , 1958 .

[12] H. Gericke. Mathematik im Abendland , 1990 .