Non-Deductive Inferences in the Talmud

We analyse the three basic non-deductive rules of Talmudic inference; namely Kal Vachomer (Argumentum A Fortiori) and the two kinds of Binyan Av (Analogy and Induction). We construct a unified Matrix Abduction model which explains all the major instances of these rules in the Talmud.