To err is human and non-human.
The dynamic evidence page
Evidence marshaling software MarshalPlan
It's here: the law of evidence on Spindle Law.
See also this post and this post.
The Summer School on Law and Logic is the first course ever to provide a comprehensive introduction to the uses of logic in the law. It combines an introduction to the basic methods of formal logic, a discussion of their application to the law, and an in-depth analysis of the logical structures of legal knowledge and legal reasoning.
It aims at providing postgraduate law students and legal professionals with knowledge of the methods of formal logic, and the ability to apply those methods to the analysis and critical evaluation of legal sources and legal arguments. We think that a background in formal logic is today an essential prerequisite for engaging in legal theory, and can be very useful also for developing doctrinal legal research, working in legal informatics, and, more generally, in the practice of law.
The Summer School introduces the use of logic in analysing sources of law (including statutes, cases, regulations, constitutional provisions) and legal arguments.
It includes the basics of propositional and predicate logic, as well as the the use of logic for capturing representing deontic and Hohfeldian modalities, analogical reasoning and inference to the best explanation.
It also addresses some aspects of non-deductive reasoning in law, such as defeasible reasoning, argumentation schemes, and inductive reasoning.