-
338Systemy sylogistyki dowodowejRoczniki Filozoficzne 58 (1): 139-154. 2010.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 i…Read more
-
11Minimalne empiryczne podstawy teorii bytu a modele dla logiki nazwRoczniki Filozoficzne 58 (2): 29-39. 2010.
-
1035On Minimal Models for Pure Calculi of NamesLogic and Logical Philosophy 22 (4). 2013.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…Read more
-
876Deontic Logics based on Boolean AlgebraIn Robert Trypuz (ed.), Krister Segerberg on Logic of Actions, Springer. forthcoming.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-…Read more
-
1176A norm-giver meets deontic action logicLogic and Logical Philosophy 20 (1-2): 2011. 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…Read more
-
449How to Build a Deontic Action LogicIn Michal Pelis & Vit Puncochar (eds.), The Logica Yearbook 2011, College Publications. 2012.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 guideline how to build a deontic acti…Read more
Areas of Specialization
Logic and Philosophy of Logic |
General Philosophy of Science |
Science, Logic, and Mathematics |