24 found
Order:
See also
Matteo Pascucci
Slovak Academy of Sciences
  1.  68
    The Machine Scenario: A Computational Perspective on Alternative Representations of Indeterminism.Vincent Grandjean & Matteo Pascucci - 2021 - Minds and Machines 31 (1):59-74.
    In philosophical logic and metaphysics there is a long-standing debate around the most appropriate structures to represent indeterministic scenarios concerning the future. We reconstruct here such a debate in a computational setting, focusing on the fundamental difference between moment-based and history-based structures. Our presentation is centered around two versions of an indeterministic scenario in which a programmer wants a machine to perform a given task at some point after a specified time. One of the two versions includes an assumption about (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  2.  17
    Duty and Sacrifice: A Logical Analysis of the Mīmāṃsā Theory of Vedic Injunctions.Elisa Freschi, Andrew Ollett & Matteo Pascucci - 2019 - History and Philosophy of Logic 40 (4):323-354.
    The Mīmāṃsā school of Indian philosophy has for its main purpose the interpretation of injunctions that are found in a set of sacred texts, the Vedas. In their works, Mīmāṃsā authors provide some of the most detailed and systematic examinations available anywhere of statements with a deontic force; however, their considerations have generally not been registered outside of Indological scholarship. In the present article we analyze the Mīmāṃsā theory of Vedic injunctions from a logical and philosophical point of view. The (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3. Disentangling Deontic Positions and Abilities: A Modal Analysis.Giovanni Sileno & Matteo Pascucci - 2020 - In Proceedings of CILC 2020. CEUR Workshop Proceedings. pp. 36-50.
    Computational systems are traditionally approached from control-oriented perspectives; however, as soon as we move from centralized to decentralized computational infrastructures, direct control needs to be replaced by distributed coordination mechanisms that are on par with institutional constructs observable in human societies (contracts, agreements, enforcement mechanisms, etc.). This paper presents a formalization of Hohfeld's framework building upon a logic whose language includes primitive operators of ability and parametric deontic operators. The proposal is meant to highlight the fundamental interaction between deontic and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  3
    Automated Reasoning in Normative Detachment Structures with Ideal Conditions.Tomer Libal & Matteo Pascucci - 2019 - In ICAIL 2019: International Conference on Artificial Intelligence and Law. ACM. pp. 63-72.
    In this article we introduce a logical structure for normative reasoning, called Normative Detachment Structure with Ideal Conditions, that can be used to represent the content of certain legal texts in a normalized way. The structure exploits the deductive properties of a system of bimodal logic able to distinguish between ideal and actual normative statements, as well as a novel formalization of conditional normative statements able to capture interesting cases of contrary-to-duty reasoning and to avoid deontic paradoxes. Furthermore, we illustrate (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  5. The Search for Symmetry in Hohfeldian Modalities.Matteo Pascucci & Giovanni Sileno - 2021 - In Amrita Basu, Gem Stapleton, Sven Linker, Catherine Legg, Emmanuel Manalo & Petrucio Viana (eds.), Diagrammatic Representation and Inference. Proceedings of Diagrams 2021. Springer. pp. 87-102.
    In this work we provide an analysis of some issues arising with geometrical representations of a family of deontic and potestative relations that can be classified as Hohfeldian modalities, traditionally illustrated on two diagrams, the Hohfeldian squares. Our main target is the lack of symmetry to be found in various formal accounts by drawing analogies with the square of opposition for alethic modalities. We argue that one should rather rely on an analogy with the alethic hexagon of opposition and exploit (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  22
    Normative Parties in Subject Position and in Object Position.Tereza Novotná & Matteo Pascucci - 2021 - In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2020. College Publications. pp. 147-164.
    We analyze some normative relations as instances of a general schema of relations among a finite number of parties; in this schema parties can play various roles grouped into two main conceptual layers, called 'subject position' and 'object position'. Relying on the theoretical apparatus introduced, we develop a new symbolic representation for normative reasoning which constitutes an alternative to approaches available in the literature. Our contribution includes a semantic characterization for a series of logical systems built over the proposed framework.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  10
    Anderson’s Restriction of Deontic Modalities to Contingent Propositions.Matteo Pascucci - 2017 - Theoria 83 (4):440-470.
    The deontic status of tautologies and contradictions is one of the major puzzles for authors of early works on deontic logic. It is well-known that von Wright addresses this problem by adopting a Principle of Deontic Contingency, which says that tautologies are not necessarily obligatory and contradictions are not necessarily forbidden. A more radical solution is proposed by Anderson within a reductionist approach to deontic logic and consists in restricting the range of application of deontic modalities to contingent propositions. Anderson’s (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  34
    Two Temporal Logics of Contingency.Matteo Pascucci - 2015 - Australasian Journal of Logic 12 (2):121-134.
    This work concerns the use of operators for past and future contingency in Priorean temporal logic. We will develop a system named C_t, whose language includes a propositional constant and prove that (I) C_t is complete with respect to a certain class of general frames and (II) the usual operators for past and future necessity are definable in such system. Furthermore, we will introduce the extension C_t(lin) that can be interpreted on linear and transitive general frames. The theoretical result of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  3
    Alternative Semantics for Normative Reasoning with an Application to Regret and Responsibility.Daniela Glavaničová & Matteo Pascucci - 2021 - Logic and Logical Philosophy 30 (4):653-679.
    We provide a fine-grained analysis of notions of regret and responsibility (such as agent-regret and individual responsibility) in terms of a language of multimodal logic. This language undergoes a detailed semantic analysis via two sorts of models: (i) relating models, which are equipped with a relation of propositional pertinence, and (ii) synonymy models, which are equipped with a relation of propositional synonymy. We specify a class of strictly relating models and show that each synonymy model can be transformed into an (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  9
    The Good, the Bad and the Right. Formal Reductions Among Deontic Concepts.Daniela Glavaničová & Matteo Pascucci - 2021 - Bulletin of the Section of Logic 50 (2):151-176.
    The present article provides a taxonomic analysis of bimodal logics of normative ideality and normative awfulness, two notions whose meaning is here explained in terms of the moral values pursued by a given community. Furthermore, the article addresses the traditional problem of a reduction among deontic concepts: we explore the possibility of defining other relevant normative notions, such as obligation, explicit permission and Hohfeldian relations, in terms of ideality and awfulness. Some proposals in this respect, which have been formulated in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  7
    Deontic Concepts and Their Clash in Mīmāṃsā: Towards an Interpretation.Elisa Freschi & Matteo Pascucci - 2021 - Theoria 87 (3):659-703.
    The article offers an overview of the deontic theory developed by the philosophical school of Mīmāṃsā, which is, and has been since the last centuries BCE, the main source of normative concepts in Sanskrit thought. Thus, the Mīmāṃsā deontics is interesting for any historian of philosophy and constitutes a thought-provoking occasion to rethink deontic concepts, taking advantage of centuries of systematic reflections on these topics. Some comparison with notions currently used in Euro-American normative theories and metaethical principles is offered in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12. Influence of World Knowledge and Context on the Comprehension of Natural Language Translation of Logical Formulas.Luca Cilibrasi & Matteo Pascucci - 2013 - In Chiara Ciarlo & Davide Giannoni (eds.), Language Studies Working Papers. Reading: University of Reading. pp. 13-21.
    In this paper we present an approach to conditional reasoning tasks based on two main ideas. The first idea is that, in contrast with what is usually assumed, an ‘if… then…’ sentence is not an adequate translation in natural language of a logical formula containing a material implication as its principal operator. The second idea is that when subjects are required to check the validity of a sentence in a task, their inferences are not driven uniquely by the content of (...)
     
    Export citation  
     
    Bookmark  
  13.  18
    Propositional Quantifiers in Labelled Natural Deduction for Normal Modal Logic.Matteo Pascucci - 2019 - Logic Journal of the IGPL 27 (6):865-894.
    This article concerns the treatment of propositional quantification in a framework of labelled natural deduction for modal logic developed by Basin, Matthews and Viganò. We provide a detailed analysis of a basic calculus that can be used for a proof-theoretic rendering of minimal normal multimodal systems with quantification over stable domains of propositions. Furthermore, we consider variations of the basic calculus obtained via relational theories and domain theories allowing for quantification over possibly unstable domains of propositions. The main result of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  15
    Preface.Matteo Pascucci & Adam Tamas Tuboly - 2019 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 26 (3):318-322.
    Special issue: "Reflecting on the Legacy of C.I. Lewis: Contemporary and Historical Perspectives on Modal Logic".
    Direct download  
     
    Export citation  
     
    Bookmark  
  15. A Bimodal Simulation of Defeasibility in the Normative Domain.Tomer Libal, Matteo Pascucci, Leendert van der Torre & Dov Gabbay - 2020 - In Proceedings of FCR-2020. CEUR Workshop Proceedings. pp. 41-54.
    In the present work we illustrate how two sorts of defeasible reasoning that are fundamental in the normative domain, that is, reasoning about exceptions and reasoning about violations, can be simulated via monotonic propositional theories based on a bimodal language with primitive operators representing knowledge and obligation. The proposed theoretical framework paves the way to using native theorem provers for multimodal logic, such as MleanCoP, in order to automate normative reasoning.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. An Axiomatic Approach to the Quantified Argument Calculus.Matteo Pascucci - forthcoming - Erkenntnis.
    The present article employs a model-theoretic semantics to interpret a fragment of the language of the Quantified Argument Calculus (Quarc), a recently introduced logical system whose main aim is capturing the structure of natural language sentences in a closer way than does the language of classical logic. The main contribution is an axiomatization for the set of formulas that are valid in all standard interpretations within the employed semantics.
     
    Export citation  
     
    Bookmark  
  17. Correctness and Completeness of Programming Instructions for Traffic Circulation.Daniela Glavaničová & Matteo Pascucci - 2021 - Science and Engineering Ethics 27 (6):1-16.
    In the present article we exploit the logical notions of correctness and completeness to provide an analysis of some fundamental problems that can be encountered by a software developer when transforming norms for traffic circulation into programming instructions. Relying on this analysis, we then introduce a question and answer procedure that can be helpful, in case of an accident, to clarify which components of an existing framework should be revised and to what extent software developers can be held responsible.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. Computability of Diagrammatic Theories for Normative Positions.Matteo Pascucci & Giovanni Sileno - 2021 - In Erich Schweighofer (ed.), Proceedings of JURIX 2021: 34th International Conference on Legal Knowledge and Information Systems. IOS Press. pp. 171-180.
    Normative positions are sometimes illustrated in diagrams, in particular in didactic contexts. Traditional examples are the Aristotelian polygons of opposition for deontic modalities (squares, triangles, hexagons, etc.), and the Hohfeldian squares for obligative and potestative concepts. Relying on previous work, we show that Hohfeld’s framework can be used as a basis for developing several Aristotelian polygons and more complex diagrams. Then, we illustrate how logical theories of increasing strength can be built based on these diagrams, and how those theories enable (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  9
    Formal Analysis of Responsibility Attribution in a Multimodal Framework.Daniela Glavaničová & Matteo Pascucci - 2019 - In Matteo Baldoni, Mehdi Dastani, Beishui Liao, Yuko Sakurai & Rym Zalila Wenkstern (eds.), PRIMA 2019: Principles and Practice of Multi-Agent Systems. Springer. pp. 36-51.
    The present article is devoted to a logical treatment of some fundamental concepts involved in responsibility attribution. We specify a theoretical framework based on a language of temporal deontic logic with agent-relative operators for deliberate causal contribution. The framework is endowed with a procedure to solve normative conflicts which arise from the assessment of different normative sources. We provide a characterization result for a basic system within this framework and illustrate how the concepts formalized can be put at work in (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  8
    A Note on the Issue of Cohesiveness in Canonical Models.Matteo Pascucci - 2020 - Journal of Logic, Language and Information 29 (3):331-348.
    In their presentation of canonical models for normal systems of modal logic, Hughes and Cresswell observe that some of these models are based on a frame which can be also thought of as a collection of two or more isolated frames; they call such frames ‘non-cohesive’. The problem of checking whether the canonical model of a given system is cohesive is still rather unexplored and no general decision procedure is available. The main contribution of this article consists in introducing a (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  21
    A Unified Semantics for a Family of Modal Logics with Propositional Constants.Matteo Pascucci - 2016 - Logica Universalis 10 (1):45-66.
    This article concerns the metatheory of a class of modal logics whose language includes propositional constants of various kinds. The main novelties are the use of general frames with specific restrictions and the definition of the strict range of a formula. Many examples from the literature are treated within the framework provided and some traditional model-theoretic issues such as preservation results concerning the validity of formulas and definability results concerning frame properties are addressed.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  5
    A Realistic View on Normative Conflicts.Daniela Glavaničová & Matteo Pascucci - 2020 - Logic and Logical Philosophy 29 (3):447-462.
    Kulicki and Trypuz (2016) introduced three systems of multivalued deontic action logic to handle normative conflicts. The first system suggests a pessimistic view on normative conflicts, according to which any conflicting option represents something forbidden; the second system suggests an optimistic view, according to which any conflicting option represents something obligatory; finally, the third system suggests a neutral view, according to which any conflicting option represents something that is neither obligatory nor forbidden. The aim of the present paper is to (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  4
    Notions of Instrumentality in Agency Logic.Kees van Berkel & Matteo Pascucci - 2018 - In T. Miller, O. Nir, Y. Sakurai, I. Noda, B. T. R. Savarimuthu & S. Tran (eds.), PRIMA 2018: Principles and Practice of Multi-Agent Systems. Springer. pp. 403-419.
    We present a logic of agency called LAE whose language includes propositional constants for actions and expectations. The logic is based on Von Wright’s theory of agency in general and his analysis of instrumentality in particular. An axiomatization of the logic, including an independence of agents axiom, is provided and soundness and completeness are shown with respect to its intended class of frames. The framework of LAE will allow us to formally define a manifold of concepts involved in agency theories, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  3
    Axiomatizing Norms Across Time and the 'Paradox of the Court'.Daniela Glavaničová & Matteo Pascucci - 2021 - In Fenrong Liu, Alessandra Marra, Paul Portner & Frederik Van de Putte (eds.), DEON 2020/2021. College Publications. pp. 201-218.
    In normative reasoning one typically refers to intervals of time across which norms are intended to hold, as well as to alternative possibilities representing hypothetical developments of a given scenario. Thus, deontic modalities are naturally intertwined with temporal and metaphysical ones. Furthermore, contemporary debates in philosophy suggest that a proper understanding of fundamental ethical principles, such as the Ought-Implies-Can thesis, requires a simultaneous analysis of these three families of concepts. In the present article we propose a general formal framework which (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark