Off-campus access
Using PhilPapers from home?
Click here to configure this browser for off-campus access.
- M. Abraham, Dov M. Gabbay & U. Schild (2009). Analysis of the Talmudic Argumentum a Fortiori Inference Rule (Kal Vachomer) Using Matrix Abduction. Studia Logica 92 (3).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.In my reading list | Discuss this article | Edit | Categorize |My bibliography
| Export citation | Scholar
Discussion of M. Abraham , Dov M. Gabbay & U. Schild, Analysis of the talmudic argumentum a fortiori inference rule (kal vachomer) using matrix abduction
Nothing in this forum yet.
Similar books and articles
It is well known that the process of scientific inquiry, according to Peirce, is drivenby three types of inference, namely abduction, deduction, and induction. What isbehind these labels is, however, not so clear. In particular, the common identificationof abduction with Inference to the Best Explanation (IBE) begs the question,since IBE appears to be covered by Peirce's concept of induction, not that of abduction.Consequently, abduction ought to be distinguished from IBE, at least on Peirce's account. The main aim of the paper, (...)
I argue against the tendency in the philosophy of science literature to link abduction to the inference to the best explanation (IBE), and in particular, to claim that Peircean abduction is a conceptual predecessor to IBE. This is not to discount either abduction or IBE. Rather the purpose of this paper is to clarify the relation between Peircean abduction and IBE in accounting for ampliative inference in science. This paper aims at a proper classification—not justification—of types of scientific reasoning. In (...)
It is well known that every propositional logic which satisfies certain very natural conditions can be characterized semantically using a multi-valued matrix ([Los and Suszko, 1958; W´ ojcicki, 1988; Urquhart, 2001]). However, there are many important decidable logics whose characteristic matrices necessarily consist of an infinite number of truth values. In such a case it might be quite difficult to find any of these matrices, or to use one when it is found. Even in case a logic does have a (...)
No categories
Recent developments in the cognitive sciences and artificial intelligence suggest ways of answering the most serious challenge to Peirce's notion of abduction. Either there is no such logical process as abduction or, if abduction is a form of inference, it is essentially unconscious and therefore beyond rational control so that it lacks any normative significance. Peirce himself anticipates and attempts to answer this challenge. Peirce argues that abduction is both a source of creative insight and a form of logical inference (...)
The Ethical Matrix was developed to help decision-makers explore the ethical issues raised by agri-food biotechnologies. Over the decade since its inception the Ethical Matrix has been used by a number of organizations and the philosophical basis of the framework has been discussed and analyzed extensively. The role of tools such as the Ethical Matrix in public policy decision-making has received increasing attention. In order to further develop the methodological aspects of the Ethical Matrix method, work was carried out to (...)
The paper addresses the issue of how indemocratic societies a procedure might be formulatedto facilitate ethical judgements on modernbiotechnologies used in food production. A frameworkfor rational ethical analysis, the Ethical Matrix, isproposed. The Matrix adapts the principles describedby Beauchamp and Childress for application to medicalissues, to interest groups (e.g., producers,consumers, and the biotic environment) affected bythese technologies. The use of the Matrix isillustrated by applying it to an example of a ``novelfood,'' viz., a form of genetically modified maize.
In this article, I compare two varieties of abduction as reconstructive models for analysing discovery. The first is 'Hansonian abduction', which is based on N. R. Hanson's formulations of abduction. The other is 'Harmanian abduction', the Inference to the Best Explanation (IBE) model, formulated especially by Gilbert Harman. Peter Lipton has analysed processes of discovery on the basis of his developed form of Harmanian abduction. I argue that Hansonian abduction would, however, be a more apt model for this purpose. As (...)
In this paper, the traditional view that argumentum ad ignorantiam is a logical fallacy is challenged, and lessons are drawn on how to model inferences drawn from knowledge in combination with ones drawn from lack of knowledge. Five defeasible rules for evaluating knowledge-based arguments that apply to inferences drawn under conditions of lack of knowledge are formulated. They are the veridicality rule, the consistency of knowledge rule, the closure of knowledge rule, the rule of refutation and the rule for argument (...)
No categories
This paper explains how Kepler in his ``War onMars'' applied systems of models organized bothin a perspectival and in a stratifiedconceptual sense. With the help of thesesystems Kepler worked out successively moredeterminate models for the planetary orbits.Along the way he discovered the Keplerian lawsas consequences of the distance rule, hisleading regulative principle. The selection ofdecisive, so called privileged, observations,as well as the determinate geometrical andkinematical description of the phenomena,result from the application of this principleto the developing of models. Kepler's method (...)
