---
title: "Analysis of the Talmudic Argumentum A Fortiori Inference Rule"
description: "The paper asks how one can justify filling a missing value when only a small table of yes/no facts is… 26 references, cited by 1 paper here."
authors: ["M. Abraham", "Dov M. Gabbay", "Uri J. Schild"]
year: 2009
venue: "Studia Logica"
source: "https://doi.org/10.1007/s11225-009-9202-5"
doi: "10.1007/s11225-009-9202-5"
licence: "Author/repository copy, free to read, no open licence — read only (repository record says CC BY-NC-SA but neither the PDF nor a landing page shows it → read only; copy from orbilu.uni.lu)"
summary_licence: "Elamur Cosmic License"
canonical: "https://research.elamur.ai/free/en/papers/abraham-2009-analysis-talmudic-argumentum-fortiori/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/abraham-2009-analysis-talmudic-argumentum-fortiori/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [2009](https://md.research.elamur.ai/free/en/papers/2009/page/2/) / Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction

# Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction

**Authors:** M. Abraham, [Dov M. Gabbay](https://md.research.elamur.ai/free/en/authors/dov-m-gabbay/) and [Uri J. Schild](https://md.research.elamur.ai/free/en/authors/uri-j-schild/) · **Year:** 2009 · **Venue:** Studia Logica · **Publisher:** [Springer Science+Business Media](https://md.research.elamur.ai/free/en/publishers/springer-science-business-media/) · **Licence:** Author/repository copy, free to read, no open licence — read only (repository record says CC BY-NC-SA but neither the PDF nor a landing page shows it → read only; copy from orbilu.uni.lu)

**Links:** [Publisher's page](https://doi.org/10.1007/s11225-009-9202-5) · [PDF](https://orbilu.uni.lu/bitstream/10993/15950/1/art%253A10.1007%252Fs11225-009-9202-5.pdf) · [DOI 10.1007/s11225-009-9202-5](https://doi.org/10.1007/s11225-009-9202-5) · [OpenAlex](https://openalex.org/W1969951327)

**Citations:** 28 citations (OpenAlex, 2026-10-14) · [1](https://md.research.elamur.ai/free/en/papers/abraham-2009-analysis-talmudic-argumentum-fortiori/cited-by/) in our library, of the 149,439 papers whose bibliographies we read

## Summary
The paper asks how one can justify filling a missing value when only a small table of yes/no facts is available. This is the kind of non-deductive step the Talmud takes with Kal-Vachomer (argument from the lesser to the greater) and with analogy. The authors formalise the task as Matrix Abduction. Rows are agents or situations, columns are features, and every entry except one is 0 or 1. The algorithm then decides whether the blank should become 0, become 1, or stay undecided. The method only applies when all columns point in a shared "direction", such as more damage or better performance. Each candidate filling is tested by treating columns as vectors, comparing the partial orders they induce, and preferring the ordering that is structurally better behaved. The framework is shown on online shopping tables, a bull-damage law case, sentencing for traffic offences, and a full analysis of the Kal-Vachomer passage in Kidushin 5a–5b. Appendices extend it to argumentation networks, voting and judgement-aggregation paradoxes, finite monadic models and access control. The result is a general, algorithmic account of reasoning by analogy and a fortiori.

## Key points
- The problem is a 0/1 matrix with exactly one unknown cell. There are three possible outcomes: 0, 1, or undecided.
- Applicability depends on a "direction" condition: 1 must mean "more" along one agreed axis for every column. A matrix without direction, such as a bare binary relation, gives meaningless answers.
- In the bull example, foot damage in a public place pays 0, horn damage there pays ½, and foot damage in a private place pays in full. Setting the unknown to x ≥ ½ makes the columns linearly ordered, while x = 0 makes them incomparable, so the paper argues for the former.
- Shopping illustrations use four LCD screens and four cameras from a real price-comparison site, each with one missing feature.
- Appendix D shows that a theorem prover searching for a minimal model of a formula built from the matrix yields a set realisation of it. Monadic models with m predicates reduce to at most 2^m elements.

## Interesting ideas
- Before inferring anything, check that the data are directional, meaning every feature is encoded so that 1 pushes the same way; otherwise refuse to infer.
- Fill a gap by trying each candidate value and keeping the one that yields the simplest, most ordered structure among the rows and columns, with "undecided" as a legitimate answer.
- An a fortiori argument can be read both by rows and by columns, such as severity of place versus severity of action, and agreement between the two readings strengthens the conclusion.
- Choosing a binary cut-off for numeric data, such as wind above 150 mph, is a modelling decision that must follow the shared direction, not mere notation.
- Minimal-model search with a theorem prover can recover a compact set labelling that realises a whole matrix.

## For Mova

How these ideas could serve Mova, our small open language model — its files, stages and tests:

- **I1** (world): Compiled knowledge tables, such as verb classes or value scales, could carry an explicit polarity per column, so that gap-filling is allowed only when polarity is consistent.
- **I2** (world): A missing entity state or holding could be guessed by choosing the value that keeps the comparison order over entities coherent, and the reason could be logged as an explainable step.
- **I3** (answer): Comparative questions in fables or word problems ("if even X, then surely Y") could be checked from both axes, with an answer given only when both readings concur.
- **I4** (world): When measures are turned into boolean features, record the threshold and its direction so that later inferences stay traceable.
- **I5** (learn): Self-induced repair rules could be compressed by asking a prover for the smallest set of labels that explains an observed feature matrix of parser errors.

*Our summary of the paper, in our own words — not its text. The work belongs to its authors; read it at the links above.*

## Institutions

- [Bar-Ilan University](https://md.research.elamur.ai/free/en/universities/bar-ilan-university/) — University, Ramat Gan, Israel · 150 works · 25,428 citations
- [King's College London](https://md.research.elamur.ai/free/en/universities/king-s-college-london/) — University, London, United Kingdom · 50 works · 1,852 citations

📚 Shelves (3): [🖥️ Computer Science](https://md.research.elamur.ai/free/en/shelves/computer-science/) · 19,503 works · [🤖 Artificial Intelligence](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · 18,805 works · [🧮 Computational Theory and Mathematics](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) · 496 works

🧭 Topics (1): [🕎 Hebrew & Aramaic](https://md.research.elamur.ai/free/en/topics/hebrew-aramaic/) · 502 works

## Cite

Cite as: M. Abraham, Dov M. Gabbay and Uri J. Schild. 2009. Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction. Studia Logica.

The paper itself, not this page. BibTeX from the library's record of the work.

```bibtex
@inproceedings{abraham2009analysis,
  title = {{Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction}},
  author = {M. Abraham, Dov M. Gabbay and Uri J. Schild},
  booktitle = {Studia Logica},
  year = {2009},
  doi = {10.1007/s11225-009-9202-5},
  url = {https://doi.org/10.1007/s11225-009-9202-5}
}
```

- [← previous The Apertium machine translation platform: Five years on](https://md.research.elamur.ai/free/en/papers/forcada-2009-apertium-machine-translation-platform-five/)
- [next → Employing the Centering Theory in Pronoun Resolution from the Semantic Perspective](https://md.research.elamur.ai/free/en/papers/kong-2009-employing-centering-theory-pronoun-resolution/)
- [↑ back to papers of 2009](https://md.research.elamur.ai/free/en/papers/2009/page/2/)

## References

26 references, 0 of them with a card of ours. ↗ leads to the work, «find» searches for one we have no id for yet.

1. Barker, S., G. Boella, D. M. Gabbay, and V. Genovese, ‘A Meta-model of Access Control in a Fibred Security Language’, Studia Logica 92: 437–476, 2009. [find](https://scholar.google.com/scholar?q=Barker%2C+S%2E%2C+G%2E+Boella%2C+D%2E+M%2E+Gabbay%2C+and+V%2E+Genovese%2C+%E2%80%98A+Meta%2Dmodel+of+Access+Control+in+a+Fibred+Security+Language%E2%80%99%2C+Studia+Logica+92%3A+437%E2%80%93476%2C+2009%2E)
2. Barringer, H., D. M. Gabbay, and J. Woods, ‘Temporal dynamics of argumentation networks’, in D. Hutter and W. Stephan (eds.), Mechanising Mathematical Reasoning, LNCS 2605, Springer, 2005, pp. 59–98. [find](https://scholar.google.com/scholar?q=Barringer%2C+H%2E%2C+D%2E+M%2E+Gabbay%2C+and+J%2E+Woods%2C+%E2%80%98Temporal+dynamics+of+argumentation+networks%E2%80%99%2C+in+D%2E+Hutter+and+W%2E+Stephan+%28eds%2E%29%2C+Mechanising+Mathematical+Reasoning%2C+LNCS+2605%2C+Springer%2C+2005%2C+pp%2E+59%E2%80%9398%2E)
3. Becker, M. Y., J. F. Mackay, and B. Dillaway, ‘Abductive Authorization Credential Gathering. [http://research.microsoft.com/pubs/80508/becker2009ieee-policy-submission.pdf](http://research.microsoft.com/pubs/80508/becker2009ieee-policy-submission.pdf) [↗](http://research.microsoft.com/pubs/80508/becker2009ieee-policy-submission.pdf)
4. Besnard, P., and A. B. Hunter, Elements of Argumentation, MIT Press, 2008, 300 pages. [find](https://scholar.google.com/scholar?q=Besnard%2C+P%2E%2C+and+A%2E+B%2E+Hunter%2C+Elements+of+Argumentation%2C+MIT+Press%2C+2008%2C+300+pages%2E)
5. Boella, G., D. M. Gabbay, V. Genovese, and L. van der Torre, ‘Fibred Security Language’, Studia Logica 92: 395–436, 2009. [find](https://scholar.google.com/scholar?q=Boella%2C+G%2E%2C+D%2E+M%2E+Gabbay%2C+V%2E+Genovese%2C+and+L%2E+van+der+Torre%2C+%E2%80%98Fibred+Security+Language%E2%80%99%2C+Studia+Logica+92%3A+395%E2%80%93436%2C+2009%2E)
6. Brams, S. J., D. M. Kilgour, and W. S. Zwicker, ‘The paradox of multiple elections’, Social Choice and Welfare 15: 211–236, 1998. [find](https://scholar.google.com/scholar?q=Brams%2C+S%2E+J%2E%2C+D%2E+M%2E+Kilgour%2C+and+W%2E+S%2E+Zwicker%2C+%E2%80%98The+paradox+of+multiple+elections%E2%80%99%2C+Social+Choice+and+Welfare+15%3A+211%E2%80%93236%2C+1998%2E)
7. Caminada, M. W. A., and L. Amgoud, ‘On the evaluation of argumentation formalisms’, Artificial Intelligence 171 (5–6): 286–310, 2007. [find](https://scholar.google.com/scholar?q=Caminada%2C+M%2E+W%2E+A%2E%2C+and+L%2E+Amgoud%2C+%E2%80%98On+the+evaluation+of+argumentation+formalisms%E2%80%99%2C+Artificial+Intelligence+171+%285%E2%80%936%29%3A+286%E2%80%93310%2C+2007%2E)
8. Dung, Phan Minh, ‘An argumentation theoretic foundation for logic programming, Journal of Logic Programming 22 (2): 151–171, 1995. [find](https://scholar.google.com/scholar?q=Dung%2C+Phan+Minh%2C+%E2%80%98An+argumentation+theoretic+foundation+for+logic+programming%2C+Journal+of+Logic+Programming+22+%282%29%3A+151%E2%80%93171%2C+1995%2E)
9. Fisch, M., Rational Rabbis: Science and Talmudic Culture, Indiana University Press, Bloomignton, 1997. [find](https://scholar.google.com/scholar?q=Fisch%2C+M%2E%2C+Rational+Rabbis%3A+Science+and+Talmudic+Culture%2C+Indiana+University+Press%2C+Bloomignton%2C+1997%2E)
10. Gabbay, D. M., Labelled Deductive Systems, OUP, 1996. [find](https://scholar.google.com/scholar?q=Gabbay%2C+D%2E+M%2E%2C+Labelled+Deductive+Systems%2C+OUP%2C+1996%2E)
11. Gabbay, D. M., and J. Woods, The Reach of Abduction, Elsevier, 2005. [find](https://scholar.google.com/scholar?q=Gabbay%2C+D%2E+M%2E%2C+and+J%2E+Woods%2C+The+Reach+of+Abduction%2C+Elsevier%2C+2005%2E)
12. Gabbay, D. M., and J. Woods, ‘Resource origins of non-monotonicity’, Studia Logica 88: 85–112, 2008. [find](https://scholar.google.com/scholar?q=Gabbay%2C+D%2E+M%2E%2C+and+J%2E+Woods%2C+%E2%80%98Resource+origins+of+non%2Dmonotonicity%E2%80%99%2C+Studia+Logica+88%3A+85%E2%80%93112%2C+2008%2E)
13. Grabenhorst, T. K., Das Argumentum A Fortiori, Peter Lang, 1990. [find](https://scholar.google.com/scholar?q=Grabenhorst%2C+T%2E+K%2E%2C+Das+Argumentum+A+Fortiori%2C+Peter+Lang%2C+1990%2E)
14. Hartmann, S., G. Pigozzi, and J. Sprenger, ‘Reliable methods of judgement aggregation’, Draft, 23 February 2009. [find](https://scholar.google.com/scholar?q=Hartmann%2C+S%2E%2C+G%2E+Pigozzi%2C+and+J%2E+Sprenger%2C+%E2%80%98Reliable+methods+of+judgement+aggregation%E2%80%99%2C+Draft%2C+23+February+2009%2E)
15. Hasan, A., Analogical reasoning in Islamic jurisprudence, 1986, Republished Adam Publishers, 2007, 486 pages. [find](https://scholar.google.com/scholar?q=Hasan%2C+A%2E%2C+Analogical+reasoning+in+Islamic+jurisprudence%2C+1986%2C+Republished+Adam+Publishers%2C+2007%2C+486+pages%2E)
16. Jacobs, L., Studies in Talmudic Logic and Methodology, London, Vallentine-Mitchell, 1061. Republished paperback, 2006. [find](https://scholar.google.com/scholar?q=Jacobs%2C+L%2E%2C+Studies+in+Talmudic+Logic+and+Methodology%2C+London%2C+Vallentine%2DMitchell%2C+1061%2E+Republished+paperback%2C+2006%2E)
17. Kamali, M. H., Principles of Islamic Jurisprudence, Islamic Text Society, 3rd Revised Eition, 2002, 550 pages. [find](https://scholar.google.com/scholar?q=Kamali%2C+M%2E+H%2E%2C+Principles+of+Islamic+Jurisprudence%2C+Islamic+Text+Society%2C+3rd+Revised+Eition%2C+2002%2C+550+pages%2E)
18. Kornhauser, L., and L. Sager, ‘Unpacking the court’, Yale Law Journal 96: 82–117, 1986. [find](https://scholar.google.com/scholar?q=Kornhauser%2C+L%2E%2C+and+L%2E+Sager%2C+%E2%80%98Unpacking+the+court%E2%80%99%2C+Yale+Law+Journal+96%3A+82%E2%80%93117%2C+1986%2E)
19. Kornhauser, L., and L. Sager, ‘The one and the many: adjudication in collegial courts’, California Law Review 81: 1–51, 1993. [find](https://scholar.google.com/scholar?q=Kornhauser%2C+L%2E%2C+and+L%2E+Sager%2C+%E2%80%98The+one+and+the+many%3A+adjudication+in+collegial+courts%E2%80%99%2C+California+Law+Review+81%3A+1%E2%80%9351%2C+1993%2E)
20. Kunst, A., ‘An overlooked type of inference’, Bulletin of the School of Oriental and African Studies, X, part 4, 1942, pp. 976–991. [find](https://scholar.google.com/scholar?q=Kunst%2C+A%2E%2C+%E2%80%98An+overlooked+type+of+inference%E2%80%99%2C+Bulletin+of+the+School+of+Oriental+and+African+Studies%2C+X%2C+part+4%2C+1942%2C+pp%2E+976%E2%80%93991%2E)
21. Neusner, J., ‘The making of the mind of Judaism; the formative age’, Brown Judaic Studies, vol. 133, Scholars press, Atlanta, 1987. [find](https://scholar.google.com/scholar?q=Neusner%2C+J%2E%2C+%E2%80%98The+making+of+the+mind+of+Judaism%3B+the+formative+age%E2%80%99%2C+Brown+Judaic+Studies%2C+vol%2E+133%2C+Scholars+press%2C+Atlanta%2C+1987%2E)
22. Pigozzi, G., and L. van der Torre, ‘Premise independence in judgement aggregation’, Dagstuhl Seminar 07531, 2007. [find](https://scholar.google.com/scholar?q=Pigozzi%2C+G%2E%2C+and+L%2E+van+der+Torre%2C+%E2%80%98Premise+independence+in+judgement+aggregation%E2%80%99%2C+Dagstuhl+Seminar+07531%2C+2007%2E)
23. Prakken, H., and G. Sartor, ‘Argument based extended logic programming with defeasible priorities’, Journal of Applied Non-classical Logics 7: 25–75, 1997. [find](https://scholar.google.com/scholar?q=Prakken%2C+H%2E%2C+and+G%2E+Sartor%2C+%E2%80%98Argument+based+extended+logic+programming+with+defeasible+priorities%E2%80%99%2C+Journal+of+Applied+Non%2Dclassical+Logics+7%3A+25%E2%80%9375%2C+1997%2E)
24. Schild, U. J., ‘Criminal Sentencing and Intelligent Decision Support’, Artificial Intelligence and Law 6: 2–4, 1998. [find](https://scholar.google.com/scholar?q=Schild%2C+U%2E+J%2E%2C+%E2%80%98Criminal+Sentencing+and+Intelligent+Decision+Support%E2%80%99%2C+Artificial+Intelligence+and+Law+6%3A+2%E2%80%934%2C+1998%2E)
25. Schwarz, A., Der Hermeneutische Syllogismus in der Talmudischen, Ltitteratur, Karlsruhe, 1901. [find](https://scholar.google.com/scholar?q=Schwarz%2C+A%2E%2C+Der+Hermeneutische+Syllogismus+in+der+Talmudischen%2C+Ltitteratur%2C+Karlsruhe%2C+1901%2E)
26. Stebbing, V. L. S., A Modern Introduction to Logic, London, 1945. M. Abraham U. Schild Bar-Ilan University, Israel mdabraham@bezeqint.net schild@cs.biu.ac.il Dov M. Gabbay Department of Computer Science King’s College, London, UK and Bar-Ilan University, Israel dov.gabbay@dcs.kcl.ac.uk [find](https://scholar.google.com/scholar?q=Stebbing%2C+V%2E+L%2E+S%2E%2C+A+Modern+Introduction+to+Logic%2C+London%2C+1945%2E+M%2E+Abraham+U%2E+Schild+Bar%2DIlan+University%2C+Israel+mdabraham%40bezeqint%2Enet+schild%40cs%2Ebiu%2Eac%2Eil+Dov+M%2E+Gabbay+Department+of+Computer+Scien)

*Updated 4 November 2026*