## Works by Piotr Kulicki

14 found
Order:
 Piotr Kulicki John Paul II Catholic University of Lublin
1. 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 (...)

Export citation

Bookmark   4 citations
2. 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 (...)

Export citation

Bookmark   4 citations
3. 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 (...)

Export citation

Bookmark   3 citations
4. 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 (...)

Export citation

Bookmark   3 citations
5. 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 (...)

Export citation

Bookmark   1 citation
6. 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 (...)

Export citation

Bookmark   1 citation
7. 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 (...)

Export citation

Bookmark
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.

Export citation

Bookmark
9. 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 (...)

Export citation

Bookmark
10. On a Minimal System of Aristotle’s Syllogistic.Piotr Kulicki - 2011 - Bulletin of the Section of Logic 40 (3/4):129-145.

Export citation

Bookmark
11. 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 (...)

Export citation

Bookmark
12. Aksjomatyczne systemy rachunku nazw.Piotr Kulicki - 2011 - Wydawnictwo KUL.

Export citation

Bookmark   1 citation
13. Hallden Incomplete Calculus of Names.Piotr Kulicki - 2010 - Buletin of the Section of Logic 39 (1/2):53-55.