•  6
  •  6
    Reasoning with inconsistent precedents
    Artificial Intelligence and Law 1-30. forthcoming.
    Computational models of legal precedent-based reasoning developed in AI and Law are typically based on the simplifying assumption that the background set of precedent cases is consistent. Besides being unrealistic in the legal domain, this assumption is problematic for recent promising applications of these models to the development of explainable AI methods. In this paper I explore a model of legal precedent-based reasoning that, unlike existing models, does not rely on the assumption that the …Read more
  •  53
    In this paper, we present an extensional system of mereology suitable to account for the intuitive distinction between heaplike and non-heaplike entities. Since the need to capture this distinction has been a key motivation for non-extensional mereologies, we first assess the main non-extensional systems advanced in the last years and highlight some mereological and metaphysical difficulties they involve. We then advance a novel program, according to which the distinction between heaplike and no…Read more
  •  22
    Choice-Driven Counterfactuals
    Journal of Philosophical Logic 51 (2): 297-345. 2021.
    In this paper, we investigate the semantics and logic of choice-driven counterfactuals, that is, of counterfactuals whose evaluation relies on auxiliary premises about how agents are expected to act, i.e., about their default choice behavior. To do this, we merge one of the most prominent logics of agency in the philosophical literature, namely stit logic, with the well-known logic of counterfactuals due to Stalnaker and Lewis. A key component of our semantics for counterfactuals is to distingui…Read more
  •  7
    We propose a refinement of STIT logic to make it suitable to model causal agency and responsibility in basic multi-agent scenarios in which agents can interfere with one another. We do this by supplementing STIT semantics, first, with action types and, second, with a relation of opposing between action types. We exploit these novel elements to represent a test for potential causation, based on an intuitive notion of expected result of an action, and two tests for actual causation from the legal …Read more
  •  684
    We study imagination as reality-oriented mental simulation : the activity of simulating nonactual scenarios in one’s mind, to investigate what would happen if they were realized. Three connected questions concerning ROMS are: What is the logic, if there is one, of such an activity? How can we gain new knowledge via it? What is voluntary in it and what is not? We address them by building a list of core features of imagination as ROMS, drawing on research in cognitive psychology and the philosophy…Read more
  •  167
    Bases for an Action Logic to Model Negative Modes of Actions
    In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2017, College Publications. 2018.
    Currently available systems of action deontic logic are not designed to model procedures to assess the conduct of an agent which take into account the intentions of the agent and the circumstances in which she is acting. Yet, procedures of this kind are essential to determine what counts as culpable not doing. In light of this, we design an action logic, AL, in which it is possible to distinguish actions that are objectively possible for an agent, viz. there are no objective impediments for the …Read more
  •  292
    Enriching Deontic Logic
    Journal of Logic and Computation 1 1-23. 2018.
    It is well known that systems of action deontic logic emerging from a standard analysis of permission in terms of possibility of doing an action without incurring in a violation of the law are subject to paradoxes. In general, paradoxes are acknowledged as such if we have intuitions telling us that things should be different. The aim of this paper is to introduce a paradox-free deontic action system by (i) identifying the basic intuitions leading to the emergence of the paradoxes and (ii) exploi…Read more
  •  20
    The metaphysics of properties and relations
    with Fabio Ceravolo and Maria Scarpati
    Rivista Italiana di Filosofia Analitica Junior 6 (2): 76-113. 2015.
  •  675
    Basic Action Deontic Logic
    In Olivier Roy, Allard Tamminga & Malte Willer (eds.), Deontic Logic and Normative Systems, College Publications. pp. 80-92. 2016.
    The aim of this paper is to introduce a system of dynamic deontic logic in which the main problems related to the definition of deontic concepts, especially those emerging from a standard analysis of permission in terms of possibility of doing an action without incurring in a violation of the law, are solved. The basic idea is to introduce two crucial distinctions allowing us to differentiate (i) what is ideal with respect to a given code, which fixes the types of action that are abstractly pres…Read more
  •  252
    Intentionality is traditionally defined as the property of a mental state to be directed at something presented in a particular way. The fact that we can think about objects which do not exist makes this definition problematic: what kind of things are those objects? The aim of this paper is to analyse the definition of intentionality as a relation in theories which do not admit non-existent special entities. In particular, I consider John R. Searle and Tim Crane’s theories of intentionality and …Read more