Analysis of the Talmudic Argumentum A Fortiori Inference Rule using Matrix Abduction

Studia Logica 92 (3):281-364 (2009)
Authors
Dov Gabbay
Hebrew University of Jerusalem
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 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.
Keywords Philosophy   Computational Linguistics   Mathematical Logic and Foundations   Logic
Categories (categorize this paper)
DOI 10.1007/s11225-009-9202-5
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 35,457
Through your library

References found in this work BETA

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 8 references / Add more references

Citations of this work BETA

Qal Wa- Omer and Theory of Massive-Parallel Proofs.Andrew Schumann - 2011 - History and Philosophy of Logic 32 (1):71-83.
Preface.Andrew Schumann - 2011 - History and Philosophy of Logic 32 (1):1-8.

Add more citations

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.
Guessing and Abduction. Tschaepe - 2014 - Transactions of the Charles S. Peirce Society 50 (1):115-138,.
Patterns of Abduction.G. 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 index
2009-08-22

Total downloads
358 ( #10,992 of 2,285,667 )

Recent downloads (6 months)
2 ( #231,908 of 2,285,667 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature