15 found
Order:
See also
Matteo Pascucci
Slovak Academy of Sciences
  1.  15
    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  
  2.  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 (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  33
    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 (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  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  
  5.  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  
  6.  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  
  7.  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  
  8.  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  
  9. 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.
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  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  
  11.  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  
  12.  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  
  13. 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  
  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.  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