25 found
Order:
See also
Profile: Piotr Kulicki
  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. Remarks on Axiomatic Rejection in Aristotle’s Syllogistic.Piotr Kulicki - 2002 - Studies in Logic and Theory of Knowledge 5:231-236.
    In the paper we examine the method of axiomatic rejection used to describe the set of nonvalid formulae of Aristotle's syllogistic. First we show that the condition which the system of syllogistic has to fulfil to be ompletely axiomatised, is identical to the condition for any first order theory to be used as a logic program. Than we study the connection between models used or refutation in a first order theory and rejected axioms for that theory. We show that any (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3. On Minimal Models for Pure Calculi of Names.Piotr Kulicki - 2013 - Logic and Logical Philosophy 22 (4):429–443.
    By pure calculus of names we mean a quantifier-free theory, based on the classical propositional calculus, which defines predicates known from Aristotle’s syllogistic and Leśniewski’s Ontology. For a large fragment of the theory decision procedures, defined by a combination of simple syntactic operations and models in two-membered domains, can be used. We compare the system which employs `ε’ as the only specific term with the system enriched with functors of Syllogistic. In the former, we do not need an empty name (...)
    Direct download (10 more)  
     
    Export citation  
     
    My bibliography  
  4. 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 (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  5. 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  
  6. 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  
  7. 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  
  8. 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  
  9. On a Minimal System of Aristotle’s Syllogistic.Piotr Kulicki - 2011 - Bulletin of the Section of Logic 40 (3/4):129-145.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. Deontic Logics Based on Boolean Algebra.Pablo F. Castro & Piotr Kulicki - forthcoming - In Robert Trypuz (ed.), Krister Segerberg on Logic of Actions. Springer.
    Deontic logic is devoted to the study of logical properties of normative predicates such as permission, obligation and prohibition. Since it is usual to apply these predicates to actions, many deontic logicians have proposed formalisms where actions and action combinators are present. Some standard action combinators are action conjunction, choice between actions and not doing a given action. These combinators resemble boolean operators, and therefore the theory of boolean algebra offers a well-known athematical framework to study the properties of the (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  11. The Use of Axiomatic Rejection.Piotr Kulicki - 2000 - In Logica yearbook 1999. Filosophia.
  12. Systemy sylogistyki dowodowej.Piotr Kulicki - 2010 - Roczniki Filozoficzne 58 (1):139-154.
    Aristotle in Analytica Posteriora presented a notion of proof as a special case of syllogism. In the present paper the remarks of Aristotle on the subject are used as an inspiration for developing formal systems of demonstrative syllogistic, which are supposed to formalize syllogisms that are proofs. We build our systems in the style of J. Łukasiewicz as theories based on classical propositional logic. The difference between our systems and systems of syllogistic known from the literature lays in the interpretation (...)
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  13. On Deontic Action Logics Based on Boolean Algebra.Robert Trypuz & Piotr Kulicki - forthcoming - Journal of Logic and Computation.
     
    Export citation  
     
    My bibliography   1 citation  
  14.  24
    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   1 citation  
  15.  35
    Hallden Incomplete Calculus of Names.Piotr Kulicki - 2010 - Buletin of the Section of Logic 39 (1/2):53-55.
  16.  32
    Minimalne empiryczne podstawy teorii bytu a modele dla logiki nazw.Piotr Kulicki - 2010 - Roczniki Filozoficzne 58 (2):29-39.
    In the article attention is paid to the analogy between considerations concerning the number of objects that are the empirical basis for the theory of being and investigations concerning the size of the models necessary for solving formulas on the ground of calculus of names without quantifiers. In both cases a minimum of two objects appear as an answer to the question that has been posed. In explaining the noticed similarity the meaning aspect, as different from the referential aspect of (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  17.  2
    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  
  18.  19
    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  
  19.  14
    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  
  20.  9
    An Axiomatisation of a Pure Calculus of Names.Piotr Kulicki - 2012 - Studia Logica 100 (5):921-946.
    A calculus of names is a logical theory describing relations between names. By a pure calculus of names we mean a quantifier-free formulation of such a theory, based on classical propositional calculus. An axiomatisation of a pure calculus of names is presented and its completeness is discussed. It is shown that the axiomatisation is complete in three different ways: with respect to a set theoretical model, with respect to Leśniewski's Ontology and in a sense defined with the use of axiomatic (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  21.  3
    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  
  22. Analiza systemowa a filozofia.Piotr Kulicki - 2010 - Roczniki Filozoficzne 58 (1):345-352.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  23. Aksjomatyczne systemy rachunku nazw.Piotr Kulicki - 2011 - Wydawnictwo KUL.
  24. 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  
  25. Logica Yearbook 1999.Piotr Kulicki - 2000 - Filosophia.
     
    Export citation  
     
    My bibliography