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

Studia Logica 92 (3):281-364 (2009)
  Copy   BIBTEX

Abstract

We motivate and introduce a new method of abduction, Matrix Abduction, and apply it to modelling the use of non-deductive inferences in the Talmud such as Analogy and the rule of Argumentum A Fortiori. Given a matrix $${\mathbb {A}}$$ with entries in {0, 1}, we allow for one or more blank squares in the matrix, say a i,j =?. The method allows us to decide whether to declare a i,j = 0 or a i,j = 1 or a i,j =? undecided. This algorithmic method is then applied to modelling several legal and practical reasoning situations including the Talmudic rule of Kal-Vachomer. We add an Appendix showing that this new rule of Matrix Abduction, arising from the Talmud, can also be applied to the analysis of paradoxes in voting and judgement aggregation. In fact we have here a general method for executing non-deductive inferences.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Projectual Abduction.Giovanni Tuzet - 2006 - Logic Journal of the IGPL 14 (2):151-160.
Abduction and Estimation in Animals.Woosuk Park - 2012 - Foundations of Science 17 (4):321-337.
Patterns of abduction.Gerhard Schurz - 2008 - Synthese 164 (2):201-234.
Obligations and prohibitions in Talmudic deontic logic.M. Abraham, D. M. Gabbay & U. Schild - 2011 - Artificial Intelligence and Law 19 (2-3):117-148.
Ampliative abduction.James Blachowicz - 1996 - International Studies in the Philosophy of Science 10 (2):141 – 157.
A Priori Abduction.David Botting - 2013 - Argumentation 27 (2):167-181.
Defending abduction.Ilkka Niiniluoto - 1999 - Philosophy of Science 66 (3):451.
Four Problems of Abduction: A Brief History.Anya Plutynski - 2011 - Hopos: The Journal of the International Society for the History of Philosophy of Science 1 (2):227-248.
Truth-Seeking by Abduction.Ilkka Niiniluoto - 2004 - Vienna Circle Institute Yearbook 11:57-82.

Analytics

Added to PP
2009-08-22

Downloads
397 (#48,095)

6 months
12 (#203,353)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Dov Gabbay
Hebrew University of Jerusalem

References found in this work

On the evaluation of argumentation formalisms.Martin Caminada & Leila Amgoud - 2007 - Artificial Intelligence 171 (5-6):286-310.
Argument-based extended logic programming with defeasible priorities.Henry Prakken & Giovanni Sartor - 1997 - Journal of Applied Non-Classical Logics 7 (1-2):25-75.
Reliable Methods of Judgment Aggregation.Stephan Hartmann, Gabriella Pigozzi & Jan Sprenger - 2007 - Journal for Logic and Computation 20:603--617.
Resource-origins of Nonmonotonicity.Dov Gabbay & John Woods - 2008 - Studia Logica 88 (1):85-112.

View all 10 references / Add more references