Article (Scientific journals)
Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal-Vachomer) using Matrix Abduction
Abraham, Michael; GABBAY, Dov M.; Schild, U.
2009In Studia Logica, 92 (3), p. 281–364
Peer reviewed
 

Files


Full Text
art%3A10.1007%2Fs11225-009-9202-5.pdf
Publisher postprint (608.49 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Abstract :
[en] 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 Ana- logy and the rule of Argumentum A Fortiori. Given a matrix A with entries in {0,1},we allow for one or more blank squares in the matrix, say ai,j=?. The method allows us to decide whether to declare ai,j=0 or ai,j=1 or ai,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.
Disciplines :
Computer science
Identifiers :
UNILU:UL-ARTICLE-2010-173
Author, co-author :
Abraham, Michael
GABBAY, Dov M. ;  King’s College London, Department of Computer Science, London, UK ; Bar-Ilan University, Ramat-Gan, Israel
Schild, U.
Language :
English
Title :
Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal-Vachomer) using Matrix Abduction
Publication date :
2009
Journal title :
Studia Logica
ISSN :
1572-8730
Publisher :
Springer, Berlin, Germany
Volume :
92
Issue :
3
Pages :
281–364
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 10 March 2014

Statistics


Number of views
61 (0 by Unilu)
Number of downloads
384 (0 by Unilu)

Scopus citations®
 
24
Scopus citations®
without self-citations
19
OpenCitations
 
15

Bibliography


Similar publications



Contact ORBilu