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 (...) logic (PDL). Two approaches can be distinguished: in one of them deontic operators are introduced using dynamic operators and the notion of violation, in the other at least some of them are taken as primitive. The second approach may be further divided into the systems based on Boolean algebra of actions and the systems built on the top of standard PDL. In the present paper we are interested in the systems of deontic action logic based on Boolean algebra. We present axiomatizations of six systems and set theoretical models for them. We also show the relations among them and the position of some existing theories on the resulting picture. Such a presentation allows the reader to see the spectrum of possibilities of formalization of the subject. (shrink)

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 (...) theses of our logic and (2) facts from the ontology of action whose relevance for the systems of norms we postulate. (shrink)

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

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 (...) process change: the change from one state of the process to its other state (e.g., transmitting or absorbing energy with greater or less than the usual intensity) and the perishing of the process (e.g., cessation of the energetic activity of the sun). (shrink)

In this paper the class of minimal models CZI 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 process (...) change: the change from one state of the process to its other state and the perishing of the process. (shrink)

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 (...) by Krister Segerberg in his A Deontic Logic of Action. At the same time we enrich the language used by Kalinowski with more operators on actions and present an adequate axiomatisation of the resulting system. That allows us to disclose some unrevealed aspects of Kalinowski’s theory. The most important one is a relation between acts which we call moral indiscernibility. Our second problem is a proper understanding of moral indiscernibility. We show how a repertoire of agent’s actions, defined with the use of simple observable elements of actions, can be filtrated by the relation of moral indiscernibility. That allows us to understand the consequences of Kalinowski’s claim that not doing something good is always bad. (shrink)

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.

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. (...) The last one, in order to use the logical inference, changes each of norms N into normative sentences: W exists\' or W exists for the sake of set of norms\'. The normative sentences are sentences in indicative mood and thereby are true or false. The whole consideration about two types aforementioned logic is preceded by some remarks about variety of the meanings of the word \'norm\', the linguistic structures of norm and the views of the truth value of norms. (shrink)

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 (...) instance in Computer Science (especially in security applications, where there is a need of expressing that a certain state of machine is, say, permitted and the other is forbidden), is inadequate for modeling norms of Law and Ethics (and possibly norms of many other fields). In this paper the Simple Theory of Norms and Actions (in short: Setna) is proposed. It is inspired by the first deontic logics, i.e. it's deontic operators take names of actions as their arguments. Additionally this theory has as its part a theory of actions which has not been taken into account in deontic logic until now. Enriching deontic theory with a theory of action gives an account for expressing dependencies which hold between the deontic properties and some other properties of actions. For instance Setna states that two actions that cannot be carried out simultaneously in the same situation should not be both regulated as obligatory-an agent would not be able to follow such a law. (shrink)

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.

The paper tackles the problem of the relation between rights and obligations. Two examples of situations in which such a relation occurs are discussed. One concerns the abortion regulations in Polish law, the other one—a clash between freedom of expression and freedom of enterprise occurring in the context of discrimination. The examples are analysed and formalised using labelled transition systems in the \ framework. Rights are introduced to the system as procedures allowing for their fulfilment. Obligations are based on the (...) requirement of cooperation in the realisation of the goals of the agent that has a right. If the right of an agent cannot be fulfilled without an action of another agent, then that action is obligatory for that agent. If there are many potential contributors who are individually allowed to refuse, then the last of them is obliged to help when all the others have already refused. By means of formalisation this account of the relation under consideration is precisely expressed and shown consistent. (shrink)

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 action logic which satisfies the desired properties. (shrink)

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 (...) is pointed out that such specific norms are obtained by finding the most specific obligation and the most general prohibition. They are to be derived from all norms applicable to the situation by using the principles of the logic presented in this paper. (shrink)

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 (...) algebra. (shrink)

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 (...) most important paradigms, including the logic of actions, where actions are interpreted as transitions between the situations and STIT logic, which states only the responsibility of the agent for particular states of affairs. We discuss questions of determinism and indeterminism of actions, identification of basic actions and operations and the issue of identity. The final part of the paper is devoted to deontic categories. In particular, the applicability of the concepts of strong and weak permission and prohibition in different situational contexts, and their relationship to the two concepts of obligation: abstract and derived. (shrink)

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 (...) capacities. Moreover, we try to express the description of problem speci cation using the tools from applied ontology { RDF format for information and the Protege editor. (shrink)

This paper studies some normative relations that hold between actions, their preconditions and their effects, with particular attention to connecting what are often called ‘ought to be’ norms with ‘ought to do’ norms. We use a formal model based on a form of transition system called a ‘coloured labelled transition system’ (coloured LTS) introduced in a series of papers by Sergot and Craven. Those works have variously presented a formalism (an ‘action language’) nC+ for defining and computing with a (coloured) (...) LTS, and another, separate formalism, a modal language interpreted on a (coloured) LTS used to express its properties. We consolidate these two strands. Instead of specifying the obligatory and prohibited states and transitions as part of the construction of a coloured LTS as in nC+, we represent norms in the modal language and use those to construct a coloured LTS from a given regular (uncoloured) one. We also show how connections between norms on states and norms on transitions previously treated as fixed constraints of a coloured LTS can instead be defined within the modal language used for representing norms. (shrink)

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.

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 (...) together. This statement—the Manifesto—lays the foundations for the research programme of the Polish School of Argumentation. (shrink)

The impressive variation amongst biological individuals generates many complexities in addressing the simple-sounding question what is a biological individual? A distinction between evolutionary and physiological individuals is useful in thinking about biological individuals, as is attention to the kinds of groups, such as superorganisms and species, that have sometimes been thought of as biological individuals. More fully understanding the conceptual space that biological individuals occupy also involves considering a range of other concepts, such as life, reproduction, and agency. There has (...) been a focus in some recent discussions by both philosophers and biologists on how evolutionary individuals are created and regulated, as well as continuing work on the evolution of individuality. (shrink)

This paper offers an overview of "the species problem", arguing for a view of species as homeostatic property cluster kinds, positioning the resulting form of realism about species as an alternative to the claim that species are individuals and pluralistic views of species. It draws on taxonomic practice in the neurosciences, especially of neural crest cells and retinal ganglion cells, to motivate both the rejection of the species-as-individuals thesis and species pluralism.

This paper explores the relationship between eugenics, disability, and dehumanization, with a focus on forms of eugenics beyond Nazi eugenics.

Are interpersonal comparisons of desire possible? Can we give an account of how facts about desires are grounded, that underpins such comparisons? This paper supposes the answer to the first question is yes, and provides an account of the nature of desire that explains how this is so. The account is a modification of the interpretationist metaphysics of representation that the author has recently been developing. The modification is to allow phenomenological affective valence into the “base facts” on which correct (...) interpretation is grounded. To use this extra resource within that theory to vindicate interpersonal comparisons, we will need to appeal rational connections between level of valence and level of desire, which this paper sets out and examines. (shrink)

Drawing on a passage from Ramsey's Truth and Probability, we formulate a simple, plausible constraint on evaluating the accuracy of credences: the Calibration Test. We show that any additive, continuous accuracy measure that passes the Calibration Test will be strictly proper. Strictly proper accuracy measures are known to support the touchstone results of accuracy-first epistemology, for example vindications of probabilism and conditionalization. We show that our use of Calibration is an improvement on previous such appeals by showing how it answers (...) or sidesteps problems that have been raised for previous work in this area. (shrink)

In the good old days, when general philosophy of science ruled the Earth, a simple division was often invoked to talk about philosophical issues specific to particular kinds of science: that between the natural sciences and the social sciences. Over the last 20 years, philosophical studies shaped around this dichotomy have given way to those organized by more fine-grained categories, corresponding to specific disciplines, as the literatures on the philosophy of physics, biology, economics and psychology--to take the most prominent four (...) examples--have blossomed. In general terms, work in each of these areas has become increasingly enmeshed with that in the corresponding science itself, increasingly naturalistic (in at least one sense of that term), and in my view, increasingly interesting. (shrink)

If the world itself is metaphysically indeterminate in a specified respect, what follows? In this paper, we develop a theory of metaphysical indeterminacy answering this question.

My aim is to propose affectivity as a criterion for personal identity. My proposal is to be taken in its weak version: affectivity as _only one_ of the criteria for personal identity. I start by arguing for affectivity being a better candidate as a criterion for personal identity than thinking. Next, I focus on synchronic vs. diachronic and on ontic vs. epistemic distinctions (my proposal will concern diachronic ontic personal identity) and consider the realm of affectivity in its temporal dimension. (...) In my argument, I rely on the genuineness of affectivity and I exploit chiefly long- or everlasting feelings (or emotions) and those which involve the feeling subject more rather than less. I conclude by stating that genuine long-lasting feelings (or emotions) are constitutive of diachronic ontic personal identity. (shrink)

The paper offers an analysis of Protagoras’ fr. DK 80 B 1 and rejects the traditional reading of Protagoras as relativist. By considering the ipsissima verba that Protagoras makes use of in his passage, it is argued that alternative interpretations are possible, of which epistemological reism and psychological individualism are proposed. On a more general level, it is discussed to what extent Protagoras’ fragment contains descriptive rather than normative claim.

Kenneth Burke, arguably the most important American literary theorist of the twentieth century, helped define the theoretical terrain for contemporary literary and cultural studies. His perspectives were literary and linguistic, but his influences ranged across history, philosophy, and the social sciences. In this important and original study Robert Wess traces the trajectory of Burke's long career and situates his work in relation to postmodernity. His study is both an examination of contemporary theories of rhetoric, ideology, and the subject, and (...) an explanation of why Burke failed to complete his Motives trilogy. Burke's own critique of the 'isolated unique individual' led him to question the possibility of unique individuation, a strategy which anticipated important elements of postmodern concepts of subjectivity. Robert Wess's study is both a timely and judicious exposition of Burke's massive oeuvre, and a crucial intervention in current debates on rhetoric and human agency. (shrink)

Se resume en esta obra el vasto y complejo sistema teórico-jurídico de Hans Kelsen, el jurista más grande de nuestro siglo. La doctrina de Kelsen y en particular su Teoría Pura del Derecho han conocido muchas vicisitudes y ataques debidos más a prejuicios políticos y racistas que a una verdadera confrontación con sus tesis. El autor enfatiza en el hecho de que la doctrina jurídica de Kelsen no es una teoría terminada y archivada sino en permanente desarrollo, una teoría a (...) cuya ulterior construcción están convocados todos los juristas. (shrink)

Doing Greek Philosophy conveys a vivid sense of dynamism and continuity of the Greek philosophical tradition and illustrates how interaction between Greek philosophers creates and sustains that tradition. It concentrates on a set of inter-related challenges and problems that emerged early in the tradition and moves on to the subsequent reactions to them.