22 found
Order:
See also
Profile: Robert Trypuz (John Paul II Catholic University of Lublin)
  1. A Norm-Giver Meets Deontic Action Logic.Robert Trypuz & Piotr Kulicki - 2011 - Logic and Logical Philosophy 20 (1-2):2011.
    In the paper we present a formal system motivated by a specific methodology of creating norms. According to the methodology, a norm-giver before establishing a set of norms should create a picture of the agent by creating his repertoire of actions. Then, knowing what the agent can do in particular situations, the norm-giver regulates these actions by assigning deontic qualifications to each of them. The set of norms created for each situation should respect (1) generally valid deontic principles being the (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2. Modelowanie działań i norm w logice deontycznej.Piotr Kulicki & Robert Trypuz - 2013 - In Jerzy Juchnowski & Robert Wiszniowski (eds.), Współczesna teoria i praktyka badań społecznych i humanistycznych. Tom 1. Adam Marszałek.
    In the paper we provide an overview of issues related to the models used in the research on the logic of norms and actions. We present two models of the variability of the world: temporal (acyclic) and atemporal (cyclic). In the first one the past is always clearly defined, and the future is potentially “branched”. The second type of model allows for a return to the situation that took place. Next we describe different approaches towards agency modeling. We present the (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  3. Doing the Right Things–Trivalence in Deontic Action Logic.Piotr Kulicki & Robert Trypuz - 2012 - Trivalent Logics and Their Applications.
    Trivalence is quite natural for deontic action logic, where actions are treated as good, neutral or bad.We present the ideas of trivalent deontic logic after J. Kalinowski and its realisation in a 3-valued logic of M. Fisher and two systems designed by the authors of the paper: a 4-valued logic inspired by N. Belnap’s logic of truth and information and a 3-valued logic based on nondeterministic matrices. Moreover, we combine Kalinowski’s idea of trivalence with deontic action logic based on boolean (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  4. Two Faces of Obligation.Piotr Kulicki & Robert Trypuz - 2013 - In Anna Brożek, Jacek Jadacki & Berislav Žarnić (eds.), Theory of Imperatives from Different Points of View (2). Wydawnictwo Naukowe Semper.
    In the paper we discuss different intuitions about the properties of obligatory actions in the framework of deontic action logic based on boolean algebra. Two notions of obligation are distinguished–abstract and processed obligation. We introduce them formally into the system of deontic logic of actions and investigate their properties and mutual relations.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5. How to Build a Deontic Action Logic.Piotr Kulicki & Robert Trypuz - 2012 - In Michal Pelis & Vit Puncochar (eds.), The Logica Yearbook 2011. College Publications.
    The aim of the paper is to point out the modelling choices that lead to different systems of deontic action logic. A kind of a roadmap is presented. On the one hand it can help the reader to find the deontic logic appropriate for an intended application relying on the information considering the way in which a deontic logic represents actions and how it characterises deontic properties in relation to (the representation of) actions. On the other hand it is a (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6. Epistemic Capacities, Incompatible Information and Incomplete Beliefs.Piotr Kulicki, Robert Trypuz, Paweł Garbacz & Marek Lechniak - 2010 - In In proceeding of: ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA-10).
    We investigate a speci c model of knowledge and beliefs and their dynamics. The model is inspired by public announcement logic and the approach to puzzles concerning knowledge using that logic. In the model epistemic considerations are based on ontology. The main notion that constitutes a bridge between these two disciplines is the notion of epistemic capacities. Within the model we study scenarios in which agents can receive false announcements and can have incomplete or improper views about other agent's epistemic (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  21
    Completely and Partially Executable Sequences of Actions in Deontic Context.Robert Trypuz & Piotr Kulicki - 2015 - Synthese 192 (4):1117-1138.
    The paper offers a logical characterisation of multi-step actions in the context of deontic notions of obligation, permission and prohibition. Deontic notions for sequentially composed actions are founded on deontic notions for one-step actions. The present work includes a formal study of situations where execution of a multi-step action has been unsuccessful and provides normative analysis of such actions.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  8.  27
    A Systematics of Deontic Action Logics Based on Boolean Algebra.Robert Trypuz & Piotr Kulicki - 2009 - Logic and Logical Philosophy 18 (3-4):253-270.
    Within the scope of interest of deontic logic, systems in which names of actions are arguments of deontic operators (deontic action logic) have attracted less interest than purely propositional systems. However, in our opinion, they are even more interesting from both theoretical and practical point of view. The fundament for contemporary research was established by K. Segerberg, who introduced his systems of basic deontic logic of urn model actions in early 1980s. Nowadays such logics are considered mainly within propositional dynamic (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  9. On Deontic Action Logics Based on Boolean Algebra.Robert Trypuz & Piotr Kulicki - forthcoming - Journal of Logic and Computation.
     
    Export citation  
     
    My bibliography   1 citation  
  10. Formal Ontology of Action: A Unifying Approach.Robert Trypuz - 2008 - Wydawn. Kul.
     
    Export citation  
     
    My bibliography   1 citation  
  11. A Metaontology for Applied Ontology.Pawel Garbacz & Robert Trypuz - 2013 - Applied Ontology 8 (1):1-30.
     
    Export citation  
     
    My bibliography  
  12.  26
    The Polish School of Argumentation: A Manifesto.Katarzyna Budzynska, Michal Araszkiewicz, Barbara Bogołȩbska, Piotr Cap, Tadeusz Ciecierski, Kamila Debowska-Kozlowska, Barbara Dunin-Kȩplicz, Marcin Dziubiński, Michał Federowicz, Anna Gomolińska, Andrzej Grabowski, Teresa Hołówka, Łukasz Jochemczyk, Magdalena Kacprzak, Paweł Kawalec, Maciej Kielar, Andrzej Kisielewicz, Marcin Koszowy, Robert Kublikowski, Piotr Kulicki, Anna Kuzio, Piotr Lewiński, Jakub Z. Lichański, Jacek Malinowski, Witold Marciszewski, Edward Nieznański, Janina Pietrzak, Jerzy Pogonowski, Tomasz A. Puczyłowski, Jolanta Rytel, Anna Sawicka, Marcin Selinger, Andrzej Skowron, Joanna Skulska, Marek Smolak, Małgorzata Sokół, Agnieszka Sowińska, Piotr Stalmaszczyk, Tomasz Stawecki, Jarosław Stepaniuk, Alina Strachocka, Wojciech Suchoń, Krzysztof Szymanek, Justyna Tomczyk, Robert Trypuz, Kazimierz Trzȩsicki, Mariusz Urbański, Ewa Wasilewska-Kamińska, Krzysztof A. Wieczorek, Maciej Witek, Urszula Wybraniec-Skardowska, Olena Yaskorska, Maria Załȩska, Konrad Zdanowski & Żure - 2014 - Argumentation 28 (3):267-282.
    Building on our diverse research traditions in the study of reasoning, language and communication, the Polish School of Argumentation integrates various disciplines and institutions across Poland in which scholars are dedicated to understanding the phenomenon of the force of argument. Our primary goal is to craft a methodological programme and establish organisational infrastructure: this is the first key step in facilitating and fostering our research movement, which joins people with a common research focus, complementary skills and an enthusiasm to work (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  3
    Connecting Actions and States in Deontic Logic.Piotr Kulicki & Robert Trypuz - 2017 - Studia Logica 105 (5):915-942.
    This paper tackles the problem of inference in normative systems where norms concerning actions and states of affairs appear together. A deontic logic of actions and states is proposed as a solution. It is made up of two independent deontic logics, namely a deontic logic of action and a deontic logic of states, interlinked by bridging definitions. It is shown at a language and a model level how an agent should look for norms to follow in a concrete situation. It (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14.  12
    Przyczynek do analizy wartości poznawczej systemów logiki sprawczości.Robert Trypuz - 2009 - Roczniki Filozoficzne 57 (1):257-276.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  15. Setna — prosta teoria norm i działań.Robert Trypuz - 2008 - Filozofia Nauki 3 (4):155--175.
    In the first systems of deontic logic obligatoriness, prohibitiveness and permissibility were features of actions. It was a very natural choice, corresponding to the way in which these concepts were used not only in natural language but also in Law and Ethics. It's well known that contemporary systems of deontic logics do not deal with actions any more. They are simply deontic logics of propositions providing for deontic qualification of states of affairs. Such an approach, although might be useful for (...)
    Translate
     
     
    Export citation  
     
    My bibliography  
  16.  21
    A Completeness Proof of Kiczuk's Logic of Physical Change.Robert Trypuz - 2010 - Studia Logica 95 (1-2):139 - 159.
    In this paper the class of minimal models C ZI for Kiczuk's system of physical change ZI is provided and soundness and completeness proofs of ZI with respect to these models are given. ZI logic consists of propositional logic von Wright's And Then and six specific axioms characterizing the meaning of unary propositional operator "Zm", read "there is a change in the fact that". ZI is intended to be a logic which provides a formal account for describing two kinds of (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  17.  3
    A Completeness Proof of Kiczuk’s Logic of Physical Change.Robert Trypuz - 2010 - Studia Logica 95 (1-2):139-159.
  18.  4
    Jerzy Kalinowski’s Logic of Normative Sentences Revisited.Robert Trypuz & Piotr Kulicki - 2015 - Studia Logica 103 (2):389-412.
    The paper tackles two problems. The first one is to grasp the real meaning of Jerzy Kalinowski’s theory of normative sentences. His formal system K 1 is a simple logic formulated in a very limited language . While presenting it Kalinowski formulated a few interesting philosophical remarks on norms and actions. He did not, however, possess the tools to formalise them fully. We propose a formulation of Kalinowski’s ideas with the use of a set-theoretical frame similar to the one presented (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19.  1
    Spór o wartość logiczną norm. Logika norm a logika deontyczna.Robert Trypuz - 2004 - Roczniki Filozoficzne 52 (1):293-315.
    The main purpose of this paper was the trial to answer the question if norms can function as premises or conclusions in logical inferences. According to definition of logical inference, the parts of its may be only sentences (in indicative mood) which are true or false. The logic, which accepts that norms are the true and false propositions, can be named the Logic of Norms. Otherwise the logic, which reject that norms are true and false propositions, we name Deontic Logic. (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  20. In Proceeding Of: ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA-10).Piotr Kulicki, Robert Trypuz, Paweł Garbacz & Marek Lechniak - 2010
     
    Export citation  
     
    My bibliography  
  21.  3
    Krister Segerberg on Logic of Actions.Robert Trypuz (ed.) - 2013 - Springer Verlag.
    Belief revision from the point of view of doxastic logic. Logic Journal of the IGPL, 3(4), 535–553. Segerberg, K. (1995). Conditional action. In G. Crocco, L. Fariñas, & A. Herzig (Eds.), Conditionals: From philosophy to computer science, Studies ...
    Direct download  
     
    Export citation  
     
    My bibliography  
  22. O nazywaniu przedmiotów – czyli jak Tadeusz Kotarbiński uczy rozumieć Ontologię Stanisława Leśniewskiego.Robert Trypuz - 2014 - Roczniki Filozoficzne 62 (1):37-51.
    ABOUT THE PUTTING NAMES TO OBJECTS, I.E. HOW TADEUSZ KOTARBIjSKI TEACHES UNDERSTAND STANISkAW LE3NIEWSKI’S ONTOLOGY S u m m a r y This article presents an attempt to fund Ontology of Stanis;aw Lemniewski on a simple theory with one primitive relation “being denoted by”. Developed theory shows that to the linguistic model of the Ontology can belong only such general names that in their extensions have at least two objects (references) denoted by individual names.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography