-
Principles Of Talmudic LogicIn Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic, Kluwer Academic Publishers. 1983.
-
26Benton, RA, 527 Blackburn, P., 281 Braüner, T., 359 Brink, C., 543Journal of Philosophical Logic 31 (615). 2002.
-
24Alternative Set TheoriesIn Dov Gabbay (ed.), The Handbook of the History of Logic, Elsevier. 2009.
-
16Belief contraction, anti-formulae and resource overdraft: Part II deletion in resource unbounded logicsIn S. Rahman (ed.), Logic, Epistemology, and the Unity of Science, Kluwer Academic Publishers. pp. 291--326. 2004.
-
Sets and extensions in the twentieth centuryIn Dov M. Gabbay, John Woods & Akihiro Kanamori (eds.), Handbook of the history of logic, Elsevier. 2004.
-
31Fallacies as cognitive virtuesIn Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy, Springer Verlag. pp. 57--98. 2009.
-
Natural-Language Content: A Proof-Theoretic PerspectiveIn Dov Gabbay & Ruth Kempson (eds.), Proceedings of the Eigth Amsterdam Formal Semantics Colloqium, University of Amsterdam. 1992.
-
56Logical Analysis of the Talmudic Rules of General and Specific (Klalim-u-Pratim)History and Philosophy of Logic 32 (1): 47-62. 2011.This article deals with a set-theoretic interpretation of the Talmudic rules of General and Specific, known as Klal and Prat (KP), Prat and Klal (PK), Klal and Prat and Klal (KPK) and Prat and Klal and Prat (PKP)
-
99Obligations and prohibitions in Talmudic deontic logicArtificial Intelligence and Law 19 (2-3): 117-148. 2011.This paper examines the deontic logic of the Talmud. We shall find, by looking at examples, that at first approximation we need deontic logic with several connectives: O T A Talmudic obligation F T A Talmudic prohibition F D A Standard deontic prohibition O D A Standard deontic obligation. In classical logic one would have expected that deontic obligation O D is definable by $O_DA \equiv F_D\neg A$ and that O T and F T are connected by $O_TA \equiv F_T\neg A$ This is not the case in the Talmud f…Read more
-
40Future determination of entities in Talmudic public announcement logicJournal of Applied Logic 11 (1): 63-90. 2013.
-
76Contrary to time conditionals in Talmudic logicArtificial Intelligence and Law 20 (2): 145-179. 2012.We consider conditionals of the form A ⇒ B where A depends on the future and B on the present and past. We examine models for such conditional arising in Talmudic legal cases. We call such conditionals contrary to time conditionals.Three main aspects will be investigated: Inverse causality from future to past, where a future condition can influence a legal event in the past (this is a man made causality).Comparison with similar features in modern law.New types of temporal logics arising from mod…Read more
-
49Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix AbductionStudia Logica 92 (3): 281-364. 2009.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 practi…Read more
-
26A bimodal simulation of defeasibility in the normative domainIn Tomer Libal, Matteo Pascucci, Leendert van der Torre & Dov Gabbay (eds.), Proceedings of FCR-2020, Ceur Workshop Proceedings. pp. 41-54. 2020.In the present work we illustrate how two sorts of defeasible reasoning that are fundamental in the normative domain, that is, reasoning about exceptions and reasoning about violations, can be simulated via monotonic propositional theories based on a bimodal language with primitive operators representing knowledge and obligation. The proposed theoretical framework paves the way to using native theorem provers for multimodal logic, such as MleanCoP, in order to automate normative reasoning.
-
30Handbook of the History of Logic. Volume 10: Inductive Logic (edited book)Elsevier. 2011.Inductive Logic is number ten in the 11-volume Handbook of the History of Logic. While there are many examples were a science split from philosophy and became autonomous (such as physics with Newton and biology with Darwin), and while there are, perhaps, topics that are of exclusively philosophical interest, inductive logic — as this handbook attests — is a research field where philosophers and scientists fruitfully and constructively interact. This handbook covers the rich history of scientific…Read more
-
The Handbook of the History of Logic. Volume 6: Logic and Modalities in the Twentieth Century (edited book)Elsevier. 2006.
-
1The Handbook of the History of Logic, vol. 7: Logic and the Modalities in the Twentieth Century (edited book)Elsevier Press. 2006.
-
62Philosophy of economics (edited book)North Holland. 2012.This volume serves as a detailed introduction for those new to the field as well as a rich source of new insights and potential research agendas for those already engaged with the philosophy of economics.
-
163Handbook of the history of logic (edited book)Elsevier. 2004.Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic. Additional volumes will be published when ready, rather than in strict chronological order. Soon to appear are The Rise of Modern Logic: From Leibniz to Frege. Also in preparation are Logic From Russell to Gödel, The Emergence of Classical Logic, Logic and the Modalities in the Twentieth Century, and The Many-Valued and Non-Monotonic Turn in Logic. Further volumes will follow, includ…Read more
-
72Handbook of the History and Philosophy of Logic Vol. 10: Inductive Logic (edited book)Elsevier. 2011.Inductive Logic is number ten in the 11-volume Handbook of the History of Logic. While there are many examples were a science split from philosophy and became autonomous (such as physics with Newton and biology with Darwin), and while there are, perhaps, topics that are of exclusively philosophical interest, inductive logic — as this handbook attests — is a research field where philosophers and scientists fruitfully and constructively interact. This handbook covers the rich history of scientific…Read more
-
1122. Filtration Structures and the Cut Down Problem for AbductionIn Kent A. Peacock & Andrew D. Irvine (eds.), Mistakes of reason: essays in honour of John Woods, University of Toronto Press. pp. 398-417. 2005.
-
25Abductive reasoning in neural-symbolic systemsTopoi 26 (1): 37-49. 2007.Abduction is or subsumes a process of inference. It entertains possible hypotheses and it chooses hypotheses for further scrutiny. There is a large literature on various aspects of non-symbolic, subconscious abduction. There is also a very active research community working on the symbolic (logical) characterisation of abduction, which typically treats it as a form of hypothetico-deductive reasoning. In this paper we start to bridge the gap between the symbolic and sub-symbolic approaches to abdu…Read more
-
459Abductive reasoning in neural-symbolic systemsTopoi 26 (1): 37-49. 2007.Abduction is or subsumes a process of inference. It entertains possible hypotheses and it chooses hypotheses for further scrutiny. There is a large literature on various aspects of non-symbolic, subconscious abduction. There is also a very active research community working on the symbolic (logical) characterisation of abduction, which typically treats it as a form of hypothetico-deductive reasoning. In this paper we start to bridge the gap between the symbolic and sub-symbolic approaches to abdu…Read more
-
37The new logicLogic Journal of the IGPL 9 (2): 141-174. 2001.The purpose of this paper is to communicate some developments in what we call the new logic. In a nutshell the new logic is a model of the behaviour of a logical agent. By these lights, logical theory has two principal tasks. The first is an account of what a logical agent is. The second is a description of how this behaviour is to be modelled. Before getting on with these tasks we offer a disclaimer and a warning. The disclaimer is that although the new logic is significantly different from it,…Read more