Dov Gabbay

The "cost of reasoning", i.e., the cognitive or computational effort required by non-ideal, resource-bounded (human or artificial) agents in order to perform non-trivial inferences, is a crucial issue in philosophy, AI, economics and cognitive (neuro)science. Accounting for this fundamental variable in modelling real-world reasoning and decision-making is one of the most important and difficult challenges in the theory of rationality. With this volume, we are launching a series that, under the general title of "Logic and Bounded Rationality", aims to create a community of researchers from several areas that wish to cooperate towards a systematic logical view of bounded rationality. However, a key stumbling block for any effort in this direction, is that a basic component of many reasoning and decision making tasks, namely deductive reasoning in propositional logic, is computationally hard. Hence, in this first volume of the series we offer a novel view of classical propositional logic. We present an "informational semantics" for the classical operators whose proof-theoretical presentation is a system of classical natural deduction that, unlike Gentzen's and Prawitz's systems, yields a simple way of measuring the "depth" of an inference. This approach leads to defining, in a natural way, a sequence of tractable depth-bounded deduction systems. As recent applications in formal argumentation and non-monotonic reasoning suggest, our approach provides a plausible model for representing rational agents with increasing, albeit limited, computational resources.

This book is intended for the formal argumentation community and for the sex offender therapist community. Both communities use logic. The message of this book is that the argumentation logic models are applicable for modelling and improving the practices of the sex offender therapist community and in parallel stimulate new logic models of argumentationDov Gabbay is a Professor at King's College London, University of Luxembourg and Bar-Ilan University. Dr Gadi Rozenberg is a lecturer at Ashkelon Academic College and Merhavim - Medical Center for Treatment of Brain and Mind (Maba'n)Lydia Rivlin is an author and broadcaster

The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are free open access, and available via the College Publications website. This Journal is open access, puts no limit on the number of pages of any article, puts no limit on the number of papers in an issue and puts no limit on the number of issues per year. We insist only on a very high academic standard, and will publish issues as they come.

This book studies Talmudic temporal logic and compares it with the logic of time in contemporary law. Following a general introduction about the logical handling of time, the book examines several key Talmudic debates involving time. The book finds that we need multi-dimensional temporal models with backward causation and parallel histories. It seems that two major issues are involved: 1 Actions conditional about future actions (Tenayim), connecting with backward causality2 Actions involving entities defined using future events (Breira), connecting with ideas from quantum MechanicsThe book concludes with a general comparative discussion of the handling of time in general law and in the Talmud.