Open Access. Powered by Scholars. Published by Universities.®

Law Commons

Open Access. Powered by Scholars. Published by Universities.®

Public Law and Legal Theory

University of Michigan Law School

1992

Logic

Articles 1 - 2 of 2

Full-Text Articles in Law

Some Lesson About The Law From Self-Referential Problems In Mathematics, John M. Rogers, Robert E. Molzon Mar 1992

Some Lesson About The Law From Self-Referential Problems In Mathematics, John M. Rogers, Robert E. Molzon

Michigan Law Review

We first describe briefly mathematician Kurt Gödel's brilliant Incompleteness Theorem of 1931, and explore some of its general implications. We then attempt to draw a parallel between axiomatic systems of number theory (or of logic in general) and systems of law, and defend the analogy against anticipated objections. Finally, we reach two types of conclusions. First, failure to distinguish between language and metalanguage in mathematical self-referential problems leads to fallacies that are highly analogous to certain legal fallacies. Second, and perhaps more significantly, Gödel's theorem strongly suggests that it is impossible to create a legal system that is "complete" in …


Infinite Strands, Infinitesimally Thin: Storytelling, Bayesianism, Hearsay And Other Evidence, Richard D. Friedman Jan 1992

Infinite Strands, Infinitesimally Thin: Storytelling, Bayesianism, Hearsay And Other Evidence, Richard D. Friedman

Articles

David Schum has long been one of our keenest commentators on questions of inference and proof. He has been particularly interested in, and illuminating on, the subject of "cascaded," or multi-step, inference.' This is a subject of importance to lawyers, because most evidence at trial can be analyzed in terms of cascaded inference. Usually, the proposition that the fact finder2 might immediately infer from the evidence is not itself an element of a crime, claim, or defense. Most often, an extra inference would be required to jump from that proposition to a proposition that the law deems material. Thus, inference …