We are very pleased to announce that Jürgen Landes just joined us as an Assistant Professor. Jürgen holds a PhD in mathematical logic, from the University of Manchester (2009), and has been doing philosophy proper since 2012. His main interest is in uncertain inference. In particular, he works on Pure Inductive Logic, the Principle of […]
Assistant Professor of Logic (three-years fixed-term) The LUCI group is very happy to advertise a post for a fixed-term Assistant Professor (RTD-a) in “Logic for AI“Deadline 23 March 2022 (12 noon, strict deadline) Please see our open positions page for further details
The Group is active in the Mind, Brain and Reasoning doctoral programme, which is now advertising for 4 fully funded three-year PhD scholarships. If you are interested in applying to work with us, please note that we have a list of projects for which we are offering supervision.
In occasione della giornata internazionale della matematica, conosciuta da tempo come come Pi Day, il Gruppo di Logica del Dipartimento di Filosofia “Piero Martinetti” dell’Università degli studi di Milano, in collaborazione con MaddMaths!, organizza un incontro rivolto alle studenti, agli studenti e al pubblico generale centrato sul contributo della matematica alla filosofia. Ospite dell’incontro sarà […]
This paper presents an investigation on the structure of conditional events and on the probability measures which arise naturally in this context. In particular we introduce a construction which defines a (finite) Boolean algebra of conditionals from any (finite) Boolean algebra of events. By doing so we distinguish the properties of conditional events which depend […]
The Milano Logic Group joined the Logic Supergroup. It all started as a worldwide alliance of logicians in quarantine. But it’s so much more now! We’ll soon release our plans for our 2020/2021 logic seminar.
ASPIC+ is an established general framework for argumentation and non-monotonic reasoning. However ASPIC+ does not satisfy the non-contamination rationality postulates, and moreover, tacitly assumes unbounded resources when demonstrating satisfaction of the consistency postulates. In this paper we present a new version of ASPIC+ – Dialectical ASPIC+ – that is fully rational under resource bounds. M. […]
We introduce measures of uncertainty that are based on Depth-Bounded Logics and resemble belief functions. We show that our measures can be seen as approximation of classical probability measures over classical logic, and that a variant of the PSAT problem for them is solvable in polynomial time. Baldi P., D’Agostino M., Hosni H. (2020) “Depth-Bounded Approximations of […]
11 June 2020 – 5pm on Teams In this talk, I will discuss logics for social networks, their epistemic extensions, and dynamics in such structure, including diffusion as modeled by threshold models. I will present a selection of recent models for social networks and their epistemics, with a focus on how these may be represented […]
This paper introduces and investigates Depth-bounded Belief functions, a logic-based representation of quantified uncertainty. Depth-bounded Belief functions are based on the framework of Depth-bounded Boolean logics, which provide a hierarchy of approximations to classical logic. Similarly, Depth-bounded Belief functions give rise to a hierarchy of increasingly tighter lower and upper bounds over classical measures of […]