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 (...) classic deontic operators when applied to actions. In his seminal work, Segerberg uses constructions coming from boolean algebras to formalize the usual deontic notions. Segerberg’s work provided the initial step to understand logical properties of deontic operators when they are applied to actions. In the last years, other authors have proposed related logics. In this chapter we introduce Segerberg’s work, study related formalisms and investigate further challenges in this area. (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)

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 (...) rejection. The independence of axioms is proved. A decision procedure based on syntactic transformations and models defined in the domain of only two members is defined. (shrink)

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 (...) formula of syllogistic enriched with classical connectives is decidable using models in the domain with three members. (shrink)

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 (...) in the model, so we are able to construct a 3-valued matrix, while for the latter, for which an empty name is necessary, the respective matrices are 4-valued. (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.

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 (...) of general positive sentences in which the same name occurs twice (of the form SaS). As a basic assumption of demonstrative syllogistic we accept a negation of such a sentence. We present three systems which differ in the interpretation of specific positive sentences in which the same name occurs twice (of the form SiS). The theories are defined as axiomatic systems. For all of them rejected axiomatizations are also supplied. For two of them a set theoretical model is also defined. (shrink)

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 (...) cognition of reality, is pointed to. (shrink)

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)

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)

The paper is devoted to Janusz Czelakowski’s contributions to action theory and deontic logic. Various approaches to formal action theory are listed and some of them, including Maria Nowakowska’s theory, propositional dynamic logic (PDL) and sees to it that (STIT) logic, are briefly introduced. Logic of performability and deontic action logic with a goal-oriented obligation are recognized as the main contributions of Czelakowski to the field. The essentials of both theories are presented and commented. Their relation to STIT and PDL (...) is outlined. (shrink)

In the paper we examine the problem of logical systems that are extensions of Classical Propositional Logic with new, intensional connectives of agency: monadic and dyadic _bringing it about that_. These systems are usually studied within the neighbourhood semantics. Here we propose a different strategy. We study all of the accepted laws and rules of logic of agency and define a translation of the agency operators into connectives interpreted in relating semantics. After this translation we can make a reduction to (...) more basic semantic properties that are required by the particular groups of laws and axioms. Finally, we define proper semantic structures and prove that they are complete with respect to all possible logical systems determined by the combinations of the axioms and rules. (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)

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.

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)

In this paper, we apply relating semantics to the widely discussed problem of free choice between permitted actions or situations in normative systems. Leaving aside contexts in which the free choice principle is obviously unacceptable or uncontroversially valid, we concentrate on free choice for explicit permissions. In order to construct a formal representation of explicit permissions, we introduce a special constant, $\texttt {permit}$, which is analogous to the constant $\texttt {violation}$ used in the Andersonian–Kangerian approach to deontic logic with respect (...) to prohibition and obligation. Consequently, we define a permission operator on the basis of the $\texttt {permit}$ constant and a relation of legitimization. The general idea is that $P \varphi $ is true if and only if $\texttt {permit}$ is true, which means that a permission is actually issued and $\varphi $ is legitimized by $\texttt {permit}$. The intuitive notion of legitimization is formally represented by an operator of relating implication: a non-classical implication that is semantically defined by adding a constraint to the classical meaning of implication to the effect that arguments are related by a special relation. The properties of this relation are based on an informal, intuitive meaning of legitimization and determine the properties of the permission operator. We show that the resulting permission operator possesses the free choice property and avoids certain unwanted consequences that follow from alternative approaches. (shrink)

In this paper we present a tableau system for deontic logics with the operator of explicit permission. By means of this system the decidability of the considered logics can be proved. We will sketch how these logics are semantically defined by means of relating semantics and how they provide a simple solution to the free choice permission problem. In short, these logics employ relating implication and a certain propositional constant. These two are in turn used to define deontic operators similarly (...) as in Andersonian-Kangerian reduction, which uses different intensional implications and constants. (shrink)

This article focuses on Bob Zajonc’s views on unconscious emotion, especially in the context of the debates about the independence of affect and cognition. Historically, Bob was always interested in the “mere”—basic, fundamental processes. His empirical demonstrations of precognitive and preconscious emotional processes, combined with his elegant expositions of them, sharply contrasted with cold and complex cognitive models. Interestingly, Bob tended to believe that whereas the causes of emotion can be unconscious, the emotional state itself tends to be conscious. However, (...) he reconsidered this assumption and in his later work showed that subjects in affective priming experiments do not experience conscious affect, but instead act on basic preferences. Today, Bob’s insights continue to inspire research on “unconscious emotion.”. (shrink)

Predictive processing (PP) has been repeatedly presented as a unificatory account of perception, action, and cognition. In this paper, we argue that this is premature: As a unifying theory, PP fails to deliver general, simple, homogeneous, and systematic explanations. By examining its current trajectory of development, we conclude that PP remains only loosely connected both to its computational framework and to its hypothetical biological underpinnings, which makes its fundamentals unclear. Instead of offering explanations that refer to the same set of (...) principles, we observe systematic equivocations in PP‐based models, or outright contradictions with its avowed principles. To make matters worse, PP‐based models are seldom empirically validated, and they are frequently offered as mere just‐so stories. The large number of PP‐based models is thus not evidence of theoretical progress in unifying perception, action, and cognition. On the contrary, we maintain that the gap between theory and its biological and computational bases contributes to the arrested development of PP as a unificatory theory. Thus, we urge the defenders of PP to focus on its critical problems instead of offering mere re‐descriptions of known phenomena, and to validate their models against possible alternative explanations that stem from different theoretical assumptions. Otherwise, PP will ultimately fail as a unified theory of cognition. (shrink)

This two-volume collection showcases a wide range of modern approaches to the philosophical study of language. Contributions illustrate how these strands of research are interconnected and show the importance of such a broad outlook. The aim is to throw light upon some of the key questions in language and communication and also to inspire, inform, and integrate a community of researchers in philosophical linguistics. Volume one concentrates on fundamental theoretical topics. This means considering vital questions about what languages are and (...) how they relate to reality, and describing some of the key areas of thought in linguistics and the philosophy of language. Contributors also discuss how philosophy influences related fields such as translation, pragmatics, and argumentation. (shrink)

Teologia już niejednokrotnie składała współczesnej myśli filozoficznej obietnicę poszerzenia horyzontów czy też otwarcia jej na transcendencję. Jednak obietnica ta nie spotkała się – jak dotąd – z przychylnym przyjęciem, gdyż teologia sama nie zdołała przekonać filozofii o swojej racjonalności. Filozofia przestała być bowiem, z jednej strony, wrażliwa na argumentację natury metafizycznej, z drugiej zaś, teologia jest skłonna poddawać się metodologiom nauk szczegółowych, rezygnując przy tym z własnej odrębności. Zarysowana tu hermeneutyka teologii jest w pierwszym rzędzie badaniem teologii jako nauki, próbą (...) uprawomocnienia jej na gruncie jednego z najważniejszych kierunków filozofii współczesnej, mianowicie hermeneutyki filozoficznej. Teologia zostaje tu ujęta w aspekcie immanencji, choć bynajmniej nie zamyka się w jej horyzoncie. Dziejący się świat teologii rozpada się na „kawałki” – miejsca teologiczne – które jednak wchodząc ze sobą w interakcje, uczestniczą w grze teologicznej. Jako pole owej gry zostaje wskazana liturgia, miejsce metodologicznie wyróżnione ze względu na naoczność dokonujących się konsekwencji gry teologicznej. Analiza czerpie z takich źródeł jak teoria miejsc teologicznych Melchiora Cano OP, koncepcja kręgu hermeneutycznego Martina Heideggera oraz projekt hermeneutyki filozoficznej Hansa-Georga Gadamera, ze szczególnym uwzględnieniem roli prze(d)sądów, utożsamianych tutaj z miejscami teologicznymi. Nowość spojrzenia na tradycję katolicką kontekście myśli hermeneutycznej sprawia, że prezentowana książka może trafić nie tylko do teologów i filozofów, ale także do badaczy szeroko rozumianej kultury. (shrink)

This book is a manifesto of reformed Stoicism. It proposes a system of life which is bullet-proof, universal, viable and effective in every cosmic setting. It holds in every possible universe, under any government and within any economic system. We can be reformed Stoics no matter what we believe in. Reformed Stoicism is about enjoying and exercising our agency. In other words, it's about the flow of making autonomous and right decisions, and about celebrating our ability to make them. With (...) no reliance on nature, with the recalibration of metaphysical positions, with skepticism towards grand discourses and universal answers, with an emphasis on the usefulness instead of truthfulness of narratives, with no reference to the vanity argument, with criticism of both conservative and ascetic misinterpretations of Stoicism, with an overall softer and more empathic approach, we can no longer be defined by the generic term "Stoicism". Our time, in short, calls for a fresh interpretation of Stoicism. It is time for a new generation of Stoics. Thus: reformed Stoicism. (shrink)

Spanning the period between Wittgenstein's return to Cambridge in 1929 and the first version of Philosophical Investigations in 1936, Piotr Dehnel explores the middle stage in Ludwig Wittgenstein's philosophical development and identifies the major issues which engrossed him, including phenomenology, philosophy of mathematics and philosophy of language. Contrary to the dominant perspective, Dehnel argues that this period was intrinsically different from the early and late stages and should not be viewed as a mere transitional phase. The distinctiveness of Wittgenstein's (...) middle work can be seen in his philosophical thinking as it unfolds in a non-linear trajectory: thoughts do not follow upon each other, ideas do not appear sequentially one by one, and insights do not form a straight chain. Dehnel portrays the diffused and multifarious quality of Wittgenstein's middle thinking, enabling readers to form a more comprehensive view of his entire philosophy and acquire a better grasp of his conceptual trajectory, complete with the intricacies and challenges that it poses. (shrink)

Introduction. PHilosophy of Language and Linguistics: The Formal Turn Piotr Stalmaszczyk Gottlob Frege, Philosophy of Language, and Predication Piotr Stalmaszczyk Philosophy, Linguistics and Semantic Interpretation Christian Bassac An Unresolved Issue: Nonsense in Natural Language and Non-Classical Logical and Semantic Systems Elzbieta Chrzanowska-Kluczewska Varieties of Context-Dependence Tadeusz Ciecierski The Logos of Semantic Structure Marie Du í, Bjørn Jespersen and Pavel Materna The Good Samaritan and the Hygienic Cook: A Cautionary Tale About Linguistic Data Chris Fox The Meaning of Multiple (...) Quantified Sentences: Where Formal Semantics Meets Psycholinguistics Justyna Grudzinska The Hybrid Theory of Reference for Proper Names Filip Kawczynski On the Nature of Statistical Language Laws Agnieszka Kulacka Vagueness and Contextualism Joanna Odrowaz-Sypniewska The Myth of Semantic Structure Jaroslav Peregrin Scalar Implicatures, Communication and Language Evolution Salvatore Pistoia Reda Semantics and Contextuality: The Case of Pia s Leaves Stefano Predelli Is Logico-Semantical Analysis of Natural Language Expressions a Translation? Jirí Raclavský Beyond the Fregean Myth: The Value of Logical Values Fabien Schang Modal Calculus of Illocutionary Logic Andrew Schumann Subjectivity in Philosophy and Linguistics Barbara Sonnenhauser Asymmetrical Semantics Mieszko Talasiewicz Truth: An Anti-realist Adequacy Condition Luca Tranchini Belief Reports: Defaults, Intentions and Scorekeeping Giacomo Turbanti On Truth in Time Bartosz Wieckowski Order William J. SUllivan Indexes. (shrink)

In 2017, Michael Nair-Collins formulated his Transitivity Argument which claimed that brain-dead patients are alive according to a concept that defines death in terms of the loss of moral status. This article challenges Nair-Collins’ view in three steps. First, I elaborate on the concept of moral status, claiming that to understand this notion appropriately, one must grasp the distinction between direct and indirect duties. Second, I argue that his understanding of moral status implicit in the Transitivity Argument is faulty since (...) it is not based on a distinction between direct and indirect duties. Third, I show how this flaw in Nair-Collins’ argument is grounded in the more general problems between preference utilitarianism and desire fulfillment theory. Finally, I present the constructivist theory of moral status and the associated moral concept of death and explain how this concept challenges the Transitivity Argument. According to my view, brain death constitutes a valid criterion of death since brain death is incompatible with the preserved capacity to have affective attitudes and to value anything. (shrink)

In its attempt to come to grips with the nature of the human mind idealism employs such terms as "pure self," "transcendental apperception," "pure con sciousness" and so on.

As the concept of recognition shifts from philosophical theory to other fields of the humanities and social sciences, this volume explores the nature of this border category that exists in the space between sociological and philosophical considerations, related as it is to concepts such as status, prestige, the looking-glass self, respect, and dignity - at times being used interchangeably with these terms. Bringing together work from across academic disciplines, it presents theoretical conceptualizations of recognition, demonstrates its operationalization in historical and (...) literary research, considers recognition as a fundamental problem of sociological theory and examines the concept as a marker of social distances and redistribution. An examination and demonstration of the full potential of recognition as a category, Understanding Recognition: Conceptual and Empirical Studies explores the contemporary meanings and manifestations of recognition and sheds light on its capacity to complement the notions of status, class or prestige. As such, it will appeal to scholars of sociology and social theory, philosophy, history and literary studies. (shrink)