The Talmudic Logic Project, Ongoing Since 2008

in Logica Universalis (2019), 13(4), 425--442

We describe the state of the Talmudic Logic project as of end of 2019. The Talmud is the most comprehensive and fundamental work of Jewish religious law, employing a large number of logical components ... [more ▼]

We describe the state of the Talmudic Logic project as of end of 2019. The Talmud is the most comprehensive and fundamental work of Jewish religious law, employing a large number of logical components centuries ahead of their time. In many cases the basic principles are not explicitly formulated, which makes it difficult to formalize and make available to the modern student of Logic. This project on Talmudic Logic, aims to present logical analysis of Talmudic reasoning using modern logical tools. We investigate principles of Talmudic Logic and publish a series of books, one book or more for each principle. http://www.collegepublications.co.uk/stl/ The series begins with the systematic analysis of Talmudic inference rules. The first book shows that we can present Talmudic reasoning intuitions as a systematic logical system basic to modern non-deductive reasoning, such as Argumentum A Fortiori, Abduction and Analogy. The second book offers a systematic common sense method for intuitively defining sets and claims that this method adequately models the Talmudic use of the rules Klal uPrat. These books also criticize modern Talmudic research methodology. Later books deal with additional topics like Deontic logic, and Temporal logic, Agency and processes in the Talmud and more. The aims of the project are two fold: 1. To import into the Talmudic study modern logical methods with a view to help understand complicated Talmudic passages, which otherwise cannot be addressed. 2. To export from the Talmud new logical principles which are innovative and useful to modern contemporary logic. [less ▲]

Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362)

in Dagstuhl Manifestos (2018), 7(1), 69--95

Formal Argumentation is emerging as a key reasoning paradigm building bridges among knowledge representation and reasoning in artificial intelligence, informal argumentation in philosophy and linguistics ... [more ▼]

Formal Argumentation is emerging as a key reasoning paradigm building bridges among knowledge representation and reasoning in artificial intelligence, informal argumentation in philosophy and linguistics, legal and ethical argumentation, mathematical and logical reasoning, and graph-theoretic reasoning. It aims to capture diverse kinds of reasoning and dialogue activities in the presence of uncertainty and conflicting information in a formal and intuitive way, with potential applications ranging from argumentation mining, via LegalTech and machine ethics, to therapy in clinical psychology. The turning point for the modern stage of formal argumentation theory, much similar to the introduction of possible worlds semantics for the theory of modality, is the framework and language of Dung’s abstract argumentation theory introduced in 1995. This means that nothing could remain the same as before 1995 — it should be a focal point of reference for any study of argumentation, even if it is critical about it. Now, in modal logic, the introduction of the possible worlds semantics has led to a complete paradigm shift, both in tools and new subjects of studies. This is still not fully true for what is going on in argumentation theory. The Dagstuhl workshop led to the first volume of a handbook series in formal argumentation, reflecting the new stage of the development of argumentation theory. [less ▲]

Preface

in Journal of Logic and Computation (2017)

HEAL2100: Human Effective Argumentation and Logic for the 21st Century. The next Step in the Evolution of Logic

in IfCoLog Journal of Logics and Their Applications (2017)

This editorial is about weaponising the Fallacies, and offering them as active additional components to modern formal logic, thus forming the new evolutionary logic for the 21st Century. Logicians since ... [more ▼]

This editorial is about weaponising the Fallacies, and offering them as active additional components to modern formal logic, thus forming the new evolutionary logic for the 21st Century. Logicians since Aristotle considered the fallacies as wrong arguments which look correct but are not. They classified them into groups, discussed them and left them by the sidelines of logic as failures. Modern society, with the rise of the internet, Twitter, Facebook and YouTube showed the fallacies as most used and most effective in argumentation and debate. If this is the way humans reason and think then we need to develop the logical theory of the the use of the fallacies and legitimise them as a significant component of modern reasoning. This manifesto outlines our approach to the new logic of the 21st century which allows for the systematic use of the fallacies in argumentation and debate as practiced by people in the mass media. [less ▲]

Feasible Deduction for Realistic Agents

Book published by College Publications (2017)

Logical Analysis of Cyber Vulnerability and Protection

in IfCoLog Journal of Logics and Their Applications (2017)

The growth in IoT will far exceed that of other connected devices. In contrast to the rapid assimilation of the IoT devices and interfaces, the technology that ensures these systems are safe and secure is ... [more ▼]

The growth in IoT will far exceed that of other connected devices. In contrast to the rapid assimilation of the IoT devices and interfaces, the technology that ensures these systems are safe and secure is left behind. The IoT safety, security and privacy is composed of several key aspects. Attention has already been given to vulnerabilities associated with networked systems as authentication and encryption. However there exist more vulnerabilities issues in IoT systems for which we aim to develop a detection methodology and propose possible solutions. Specifically, here we propose techniques for security verification of an IoT system that mainly involves inconsistency and vulnerability. The proposed methods are logic based techniques that were developed especially for the new challenges that the IoT environment is facing. [less ▲]

Identity Merging and Identity Revision in Talmudic Logic: An Outline Paper

in Computational Models of Rationality, Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday (2016)

Quantum States and Disjunctive Attacks in Talmudic Logic

in Journal of Logics (2016)

Present and Future of Formal Argumentation

in Dagstuhl Reports (2016)

This report documents the program and the outcomes of Dagstuhl Perspectives Workshop 15362 “Present and Future of Formal Argumentation”. The goal of this Dagstuhl Perspectives Workshop was to gather the ... [more ▼]

This report documents the program and the outcomes of Dagstuhl Perspectives Workshop 15362 “Present and Future of Formal Argumentation”. The goal of this Dagstuhl Perspectives Workshop was to gather the world leading experts in formal argumentation in order to develop a SWOT (Strength, Weaknesses, Opportunities, Threats) analysis of the current state of the research in this field and to draw accordingly some strategic lines to ensure its successful development in the future. A critical survey of the field has been carried out through individual presentations and collective discussions. Moreover, working group activity lead to identify several open problems in argumentation. [less ▲]

The attack as intuitionistic negation

in Logic Journal of the IGPL (2016), 24(5), 807--837