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

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)

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)

Nozick analyzes fundamental issues, such as the identity of the self, knowledge and skepticism, free will, the foundations of ethics, and the meaning of life.

Robert Misrahi élabore une philosophie exigeante qui s'est toujours tenue à distance des modes traversant le champ intellectuel. Son propos est de définir les conditions d'accès de chacun et de tous à une existence heureuse. Mais le bonheur n'y est pas envisagé comme le résultat de simples techniques de développement personnel. Il est l'acte d'un sujet pleinement responsable de son existence, la prenant en charge, lui conférant du sens et se donnant les moyens de tracer son propre itinéraire. Connaître, (...) fonder, aimer, agir, créer sont les principales étapes qui jalonnent cet itinéraire. Ce livre s'ouvre par une série d'entretiens réalisés de janvier à juin 2011 : l'éthique, la liberté, le judaïsme, la jouissance d'être y sont, tour à tour, discutés. Il se poursuit par une présentation de concepts essentiels : la crise, le désir, l'existence, la réflexion. Ces concepts redéfinis par l'auteur constituent les pivots d'une philosophie originale et créatrice apte à relever les défis posés par notre modernité. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Democracy in an Uncertain World:Expertise as a Provisional Response to VulnerabilityRobert Smid (bio)In the final chapter of American Immanence, Michael Hogue writes that "[r]ather than asking the foundationalist question of what epistemology is needed to ground or justify democracy, the pragmatist asks what epistemology democracy entails. What 'way of knowing' follows from, or is appropriate to, democracy as an associational ethos of vulnerable life?"1 While Hogue and I have (...) explored similar themes in our research on the promises and perils of democracy, this statement identifies a key difference in our respective approaches that has significant implications for the role that democracy can and should play in inquiry as well as for its potential to revolutionize civilization as we know it in the Anthropocene.In what follows, I raise three interrelated points that interrogate that difference. The first pertains to the role of foundations, provisional or otherwise, in Hogue's work, and results in a challenge to the special status seemingly given to democracy and a proposed inversion of the relation he poses between epistemology and democracy. The second pertains to the role of education in a democracy. This is a dimension of traditional pragmatist discourse on democracy that is conspicuously absent in Hogue's book, yet one that has significant implications for his argument. In this section, I will draw out the Deweyan strains of that discourse that appear to inform Hogue's work and contrast them with a Peircean take that yields notably different outcomes. The third point addresses the relation between democracy and sovereignty, a relation that Hogue explicitly eschews but that I will argue maintains some validity within democratic discourse, albeit in a more modest and provisional form. Finally, I draw these three points together in a conclusion that affirms much of Hogue's argument—including the profound vulnerability manifested by the Anthropocene and the need for more resilient forms of associated life—but assert that democracy is no less vulnerable than any other aspect of our uncertain world and therefore cannot be expected to possess within itself all that is necessary for its ongoing development. Building on the inversion of democracy and epistemology in the first section, the constitutive role of education in a [End Page 30] democracy as laid out in the second section, and the argument for a mitigated sovereignty in the third section, I argue that professional expertise provides an acceptable and necessary default when democratic structures fail.I. Provisional FoundationsAs a theopolitics rooted in religious naturalism, Hogue's understanding of democracy is one that is "embodied, relational, and vulnerable."2 That is, knowledge, meaning, and value all emerge out of and are conditioned by their social context, and shift according to the interests and needs of those who lay claim to them. Accordingly, Hogue's argument for democracy is that it is the way of life that allows for the broadest possible participation in such constructions, and which responds most effectively to the conditions of uncertainty and vulnerability surrounding them. It comes as no surprise, then, that his account of democracy is antifoundational, recognizing not only that all inquiry begins in medias res, but also that it emerges from a wide variety of media and that, while one goal of democratic discourse may be to chart a coherent path forward, both the media and the proposed paths are subject to change at any moment. Such antifoundationalism is a fairly standard commitment in pragmatist and process discourse, and thus relatively uncontroversial in its own right. It is worth noting, however, that being committed to antifoundationalism and actually being antifoundationalist in practice are often two very different things, our best efforts to the contrary notwithstanding.It is clear from Hogue's book that he resists any foundationalist epistemology, opting instead to derive his epistemology from democratic practice. As noted above, he asks "[w]hat 'way of knowing' follows from, or is appropriate to, democracy as an associational ethos of vulnerable life?"3 While it is possible that there is one epistemology that is best suited to democracy understood in this way, that epistemology would not, by his account, stand on its own foundation but be contingent on one... (shrink)

Are mystical experiences primarily formed by the mystic's cultural background and concepts, as modern day "constructivists" maintain, or do mystics in some way transcend language, belief, and culturally conditioned expectations? Do mystical experiences differ in the different religious traditions, as "pluralists" contend, or are they identical across cultures? Twelve contributors here attempt to answer these questions through close examination of a particular form of mystical experience, "Pure Consciousness"--the experience of being awake but devoid of intentional content for consciousness. The contributors (...) analyze pure consciousness and other mystical experiences from historical Hindu, Buddhist, Christian, and Jewish sources, as well as from modern mystics. They demonstrate that pure consciousness poses serious conceptual problems for a contructivist understanding of mysticism. Revealing the inconsistencies and inadequacies of current models, they make significant strides towards developing new models for the phenomenon of mysticism, breaking new ground for our understanding of mysticism and of human experience in general. (shrink)

From the ferment of recent debates about the intellectual virtues, Roberts and Wood develop an approach they call 'regulative epistemology', exploring the connection between knowledge and intellectual virtue. In the course of their argument they analyse particular virtues of intellectual life - such as courage, generosity, and humility - in detail.

Winner of the 1975 National Book Award, this brilliant and widely acclaimed book is a powerful philosophical challenge to the most widely held political and social positions of our age--liberal, socialist, and conservative.

In this book, Robert Sokolowski argues that being a person means to be involved with truth. He shows that human reason is established by syntactic composition in language, pictures, and actions and that we understand things when they are presented to us through syntax. Sokolowski highlights the role of the spoken word in human reason and examines the bodily and neurological basis for human experience. Drawing on Husserl and Aristotle, as well as Aquinas and Henry James, Sokolowski here employs (...) phenomenology in a highly original way in order to clarify what we are as human agents. (shrink)

It is a near truism of philosophy of language that sentences are prior to words--that they are the only things that fundamentally have meaning. Robert's Stainton's study interrogates this idea, drawing on a wide body of evidence to argue that speakers can and do use mere words, not sentences, to communicate complex thoughts.

George Berkeley notoriously claimed that his immaterialist metaphysics was not only consistent with common sense but that it was also integral to its defense. Roberts argues that understanding the basic connection between Berkeley's philosophy and common sense requires that we develop a better understanding of the four principle components of Berkeley's positive metaphysics: The nature of being, the divine language thesis, the active/passive distinction, and the nature of spirits. Roberts begins by focusing on Berkeley's view of the nature of being. (...) He elucidates Berkeley's view on Locke and the Cartesians and by examining Berkeley's views about related concepts such as unity and simplicity. From there he moves on to Berkeley's philosophy of language arguing that scrutiny of the famous "Introduction" to the Principles of Human Knowledge reveals that Berkeley identified the ideational theory of meaning and understanding as the root cause of some of the worst of man's intellectual errors, not "abstract ideas." Abstract ideas are, rather, the most debilitating symptom of this underlying ailment. In place of the ideational theory, Berkeley defends a rudimentary "use theory" of meaning. This understanding of Berkeley's approach to semantics is then applied to the divine language thesis and is shown to have important consequences for Berkeley's pragmatic approach to the ontology of natural objects and for his approach to our knowledge of, and relation to other minds, including God's. Turning next to Berkeley's much aligned account of spirits, the author defends the coherence of Berkeley's view of spirits by way of providing an interpretation of the active/passive distinction as marking a normative distinction and by focusing on the role that divine language plays in letting Berkeley identify the soul with the will. With these four principles of Berkeley's philosophy in hand, he then returns to the topic of common sense and offers a defense of Berkeley's philosophy as built upon and expressive of the deepest metaphysical commitments of mainstream Christianity. Roberts' reappraisal of this important figure should appeal to all historians of philosophy as well as scholars in metaphysics and philosophy of language. (shrink)

A revised edition of an undergraduate text for students in history of psychology courses. Designed for one semester, covers: the history of psychology in ancient philosophy, structuralism, neurophysiology, functionalism, behaviorism, psychoanalysis, and gestalt theories. The new edition has expanded.

This is an extensively re-written second edition of a well regarded and much cited text on the issue of animal protection. It remains the only text to combine an examination of the philosophy and politics of the issue. Its central argument is that the philosophical debate is central to an understanding and evaluation of the substantive issues involving animals and the nature of the movement for change. The book has been thoroughly revised to include major theoretical and empirical developments. Specifically, (...) the "second generation" of animal ethics literature is examined in detail, and attention is paid to the campaigns and public controversy over the export of live animals and the use of animals in research, the impact of genetic engineering on the welfare of animals and the latest developments in the controversy over hunting. (shrink)

Philosophy has as much to do with feelings as it does with thoughts and thinking. Philosophy, accordingly, requires not only emotional sensitivity but an understanding of the emotions, not as curious but marginal psychological phenomena but as the very substance of life. In this, the second book in a series devoted to his work on the emotions, Robert Solomon presents a defense of the emotions and of sentimentality against the background of what he perceives as a long history of (...) abuse in philosophy and social thought and art and literary criticism. The title piece reopens a classic debate about the role of sentimentality in art and literature. In subsequent chapters, Solomon discusses not only such "moral sentiments" as sympathy and compassion but also grief, gratitude, love, horror, and even vengeance. He also defends, with appropriate caution, the "seven deadly sins." The emotions, at least some emotions--are essential to a well-lived life. They are or can be virtues, features of the human condition without which civilized life would be unimaginable. (shrink)

In this book, Dr. Robert J. Levine reviews federal regulations, ethical analysis, and case studies in an attempt to answer these questions.

Many theorists claim that if an agent benefits from an action that harms others, that agent has a moral duty to compensate those who are harmed, even if the agent did not cause the harm herself. In the debate on climate justice, this idea is commonly referred to as the beneficiary-pays principle . This paper argues that the BPP is implausible, both in the context of climate change and as a normative principle more generally. It should therefore be rejected.

Many theorists claim that if an agent benefits from an action that harms others, that agent has a moral duty to compensate those who are harmed, even if the agent did not cause the harm herself. In the debate on climate justice, this idea is commonly referred to as the beneficiary-pays principle. This paper argues that the BPP is implausible, both in the context of climate change and as a normative principle more generally. It should therefore be rejected.

This paper develops a view of the content of perceptual states that reflects the cognitive significance those states have for the subject. Perhaps the most important datum for such a theory is the intuition that experiences are ‘transparent’, an intuition promoted by philosophers as diverse as Sartre and Dretske. This paper distinguishes several different transparency theses, and considers which ones are truly supported by the phenomenological data. It is argued that the only thesis supported by the data is much weaker (...) than those typically considered in the literature, and has no obvious implications for the existence of sensory intermediaries. It does, however, have implications for the content of perceptual experience. It is argued that combining the first personal project with the transparency intuition yields an error theory of perception. The counterintuitive implications of this error theory are mitigated, however, by an account of perceptual beliefs which allows for them to be true even if the perceptual states are non-veridical. (shrink)

An examination and defence of the concept of personality, long central to Western moral culture but now increasingly under attack. Robert Spaemann tackles urgent practical questions, such as our treatment of the severely disabled human and the moral status of intelligent non-human animals.