The Individual and Collective Reasoning Group (ICR) is an interdisciplinary research team at the University of Luxembourg which is driven by the insight that intelligent systems (like humans) are characterized not only by their individual reasoning capacity, but also by their social interaction potential. Its overarching goal is to develop and investigate comprehensive formal models and computational realizations of individual and collective reasoning and rationality.

ICR is anchored in the Lab for Intelligent and Adaptive Systems (ILIAS) of the Department of Computer Science (DCS), and involved in the Interdisciplinary Centre for Security, Reliability and Trust (SnT). The group, which is led by Leon van der Torre, currently counts more than 15 researchers and is strongly engaged in international cooperation.

Our areas are normative multi-agent systems, autonomous cognitive agents, computational social choice, and the foundations of logic-based knowledge representation and reasoning.

Upcoming ICR Events

  • Daniel Rowe (ICR Seminar)
    27.03.2023 - 4 p.m.

    Title: Talmudic temporal logic meets the Liar paradoxes

    The Talmud is a compendium of legal debates between Jewish scholars from the 1st Century BCE to the end of the 4th century CE. In recent decades there has been growing literature studying the logic of these debates. Of particular interest has been Talmudic Temporal Logic. The Talmud often considers Contrary-to-time legal conditions, where legal statuses at a given ‘present’ moment are conditional upon the occurrence of future events. Talmudic opinions differ (apparently) over whether future facts are considered existent facts in the present. Contrary to time conditionals can easily lead to looped temporal paradoxes. In resolving such legal loops we analyse four different approaches in the Talmud and its commentaries. We then test these against other temporal and non-temporal looped paradoxes such as Liar Paradoxes. At least one appears to offer a novel approach using two-dimensional temporal logic to help disambiguate and this resolve liar sentences and liar networks. The talk ends with the suggestion that this temporal disambiguation strategy might have implications for other self-referential paradoxes.

    The talk will be given remotely. You can join via WebEx.