This volume contains the proceedings of DEON2020/2021, the 15th International Conference on Deontic Logic and Normative Systems that was organized by the Munich Center for Mathematical Philosophy at LMU Munich (Germany) on 21st-24th July, 2021. The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts, normative language and normative systems with computer science, artificial intelligence, linguistics, philosophy, organization theory, and law.

Statements not only update our current knowledge, but also have other dynamic effects. In particular, suggestions or commands ?upgrade' our preferences by changing the current order among worlds. We present a complete logic of knowledge update plus preference upgrade that works with dynamic-epistemic-style reduction axioms. This system can model changing obligations, conflicting commands, or ?regret'. We then show how to derive reduction axioms from arbitrary definable relation changes. This style of analysis also has a product update version with preferences between (...) actions, as well as worlds. Some illustrations are presented involving defaults and obligations. We conclude that our dynamic framework is viable, while admitting a further extension to more numerical ?utility update'. (shrink)

Imperatives occur ubiquitously in natural languages. They produce forces which change the addressee’s cognitive state and regulate her actions accordingly. In real life we often receive conflicting orders, typically, issued by various authorities with different ranks. A new update semantics is proposed in this paper to formalize this idea. The general properties of this semantics, as well as its background ideas are discussed extensively. In addition, we compare our framework with other approaches of deontic logics in the context of normative (...) conflicts. (shrink)

This article proposes a systematic application of recent developments in the logic of preference to a number of topics in deontic logic. The key junction is the well-known Hansson conditional for dyadic obligations. These conditionals are generalized by pairing them with reasoning about syntactic priority structures. The resulting two-level approach to obligations is tested first against standard scenarios of contrary-to-duty obligations, leading also to a generalization for the Kanger-Anderson reduction of deontic logic. Next, the priority framework is applied to model (...) two intuitively different sorts of deontic dynamics of obligations, based on information changes and on genuine normative events. In this two-level setting, we also offer novel takes on vexed issues such as the Chisholm paradox and modelling strong permission. Finally, the priority framework is shown to provide a unifying setting for the study of operations on norms as such, in particular, adding or deleting individual norms, and even merging whole norm systems in different manners. (shrink)

Les agents épistémiques peuvent avoir différents pouvoirs d’observation et de raisonnement, et nous montrons comment cette diversité prend place en logique dynamique de mise à jour.

In this paper we explore the relationship between norms of belief revision that may be adopted by members of a community and the resulting dynamic properties of the distribution of beliefs across that community. We show that at a qualitative level many aspects of social belief change can be obtained from a very simple model, which we call ‘threshold influence’. In particular, we focus on the question of what makes the beliefs of a community stable under various dynamical situations. We (...) also consider refinements and alternatives to the ‘threshold’ model, the most significant of which is to consider changes to plausibility judgements rather than mere beliefs. We show first that some such change is mandated by difficult problems with belief-based dynamics related to the need to decide on an order in which different beliefs are considered. Secondly, we show that the resulting plausibility-based account results in a deterministic dynamical system that is non-deterministic at the level of beliefs. (shrink)

Our preferences determine how we act and think, but exactly what the mechanics are and how they work is a central cause of concern in many disciplines. This book uses techniques from modern logics of information flow and action to develop a unified new theory of what preference is and how it changes. The theory emphasizes reasons for preference, as well as its entanglement with our beliefs. Moreover, the book provides dynamic logical systems which describe the explicit triggers driving preference (...) change, including new information, suggestions, and commands. In sum, the book creates new bridges between many fields, from philosophy and computer science to economics, linguistics, and psychology. For the experienced scholar access to a large body of recent literature is provided and the novice gets a thorough introduction to the action and techniques of dynamic logic. (shrink)

In this paper, we first propose a simple formal language to specify types of agents in terms of necessary conditions for their announcements. Based on this language, types of agents are treated as ‘first-class citizens’ and studied extensively in various dynamic epistemic frameworks which are suitable for reasoning about knowledge and agent types via announcements and questions. To demonstrate our approach, we discuss various versions of Smullyan’s Knights and Knaves puzzles, including the Hardest Logic Puzzle Ever (HLPE) proposed by Boolos (...) (in Harv Rev Philos 6:62–65, 1996). In particular, we formalize HLPE and verify a classic solution to it. Moreover, we propose a spectrum of new puzzles based on HLPE by considering subjective (knowledge-based) agent types and relaxing the implicit epistemic assumptions in the original puzzle. The new puzzles are harder than the previously proposed ones in the literature, in the sense that they require deeper epistemic reasoning. Surprisingly, we also show that a version of HLPE in which the agents do not know the others’ types does not have a solution at all. Our formalism paves the way for studying these new puzzles using automatic model checking techniques. (shrink)

This paper proposes a two-level modeling perspective which combines intrinsic 'betterness' and reason-based extrinsic preference, and develops its static and dynamic logic in tandem. Our technical results extend, integrate, and re-interpret earlier theorems on preference representation and update in the literature on preference change.

We make a proposal for formalizing simultaneous games at the abstraction level of player’s powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of ‘concurrent game logic’ CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quantifiers and independence-friendly evaluation games for first-order logic.

Schemat wnioskowania mou w logice mohistycznej Biorąc za punkt wyjścia monotoniczność rozumowania, artykuł przedstawia systematyczny sposób interpretacji schematu wnioskowania mou w tekstach mohistycznych. Wzięliśmy pod uwagę zarówno perspektywę logiczną. jak i lingwistyczną, zwracając szczególną uwagę na specyfikę klasycznego języka chińskiego, rolę kontekstu i uwzględniając wszelkie możliwe wskazówki pochodzące ze źródłowych tekstów. Poprzez zastosowania reguł monotoniczności sformułowaliśmy jednolitą odpowiedź na pytanie, dlaczego shi er ran są uznawane za rozumowania poprawne, a shi er buran przeciwnie — uznawane są za kontrprzykłady.

Preference is a key area where analytic philosophy meets philosophical logic. I start with two related issues: reasons for preference, and changes in preference, first mentioned in von Wright’s book The Logic of Preference but not thoroughly explored there. I show how these two issues can be handled together in one dynamic logical framework, working with structured two-level models, and I investigate the resulting dynamics of reason-based preference in some detail. Next, I study the foundational issue of entanglement between preference (...) and beliefs, and relate the resulting richer logics to belief revision theory and decision theory. (shrink)

Preference is a key area where analytic philosophy meets philosophical logic. I start with two related issues: reasons for preference, and changes in preference, first mentioned in von Wright’s book The Logic of Preference but not thoroughly explored there. I show how these two issues can be handled together in one dynamic logical framework, working with structured two-level models, and I investigate the resulting dynamics of reason-based preference in some detail. Next, I study the foundational issue of entanglement between preference (...) and beliefs, and relate the resulting richer logics to belief revision theory and decision theory. (shrink)

Diversity of agents occurs naturally in epistemic logic, and dynamic logics of information update and belief revision. In this paper we provide a systematic discussion of different sources of diversity, such as introspection ability, powers of observation, memory capacity, and revision policies, and we show how these can be encoded in dynamic epistemic logics allowing for individual variation among agents. Next, we explore the interaction of diverse agents by looking at some concrete scenarios of communication and learning, and we propose (...) a logical methodology to deal with these as well. We conclude with some further questions on the logic of diversity and interaction. (shrink)

SOCREAL 2013 : 3rd International Workshop on Philosophy and Ethics of Social Reality 2013. Hokkaido University, Sapporo, Japan, 25-27 October 2013. Session 3 : Logic, Norms, and Preferences.

The notion of preference is important in philosophy, decision theory, and many other disciplines. It is the interplay of information and preferences that provides the driving force behind what we actually do. The chapter adds a new focus and argues that preference is not static, instead, it changes dynamically when triggered by various kinds of events. We show that how a wide variety of preference changes can be modeled in logic, thereby providing the formal philosopher with a natural extension of (...) the scope of inquiry in the area of preference. (shrink)

SOCREAL 2010: 2nd International Workshop on Philosophy and Ethics of Social Reality. Sapporo, Japan, 2010-03-27/28. Keynote Lecture 2.

This article proposes a systematic application of recent developments in the logic of preference to a number of topics in deontic logic. The key junction is the well‐known Hansson conditional for dyadic obligations. These conditionals are generalized by pairing them with reasoning about syntactic priority structures. The resulting two‐level approach to obligations is tested first against standard scenarios of contrary‐to‐duty obligations, leading also to a generalization for the Kanger‐Anderson reduction of deontic logic. Next, the priority framework is applied to model (...) two intuitively different sorts of deontic dynamics of obligations, based on information changes and on genuine normative events. In this two‐level setting, we also offer novel takes on vexed issues such as the Chisholm paradox and modelling strong permission. Finally, the priority framework is shown to provide a unifying setting for the study of operations on norms as such, in particular, adding or deleting individual norms, and even merging whole norm systems in different manners. (shrink)

We make a proposal for formalizing simultaneous games at the abstraction level of player’s powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of ‘concurrent game logic’ CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quantifiers and independence-friendly evaluation games for first-order logic.

We discuss a simple logic to describe one of our favourite games from childhood, hide and seek, and show how a simple addition of an equality constant to describe the winning condition of the seeker makes our logic undecidable. There are certain decidable fragments of first-order logic which behave in a similar fashion and we add a new modal variant to that class of logics. We also discuss the relative expressive power of the proposed logic in comparison to the standard (...) modal counterparts. (shrink)

The Asian Logic Conference (ALC) is a major international event in mathematical logic. It features the latest scientific developments in the fields of mathematical logic and its applications, logic in computer science, and philosophical logic. The ALC series also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere for an exchange of information and ideas. This combined proceedings volume represents works presented or arising from the 14th and 15th ALCs.

We make a proposal for formalizing simultaneous games at the abstraction level of player's powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of 'concurrent game logic' CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quantifiers and independence-friendly evaluation games for first-order logic.

We discuss a simple logic to describe one of our favourite games from childhood, hide and seek, and show how a simple addition of an equality constant to describe the winning condition of the seeker makes our logic undecidable. There are certain decidable fragments of first-order logic which behave in a similar fashion with respect to such a language extension, and we add a new modal variant to that class. We discuss the relative expressive power of the proposed logic in (...) comparison to the standard modal counterparts. We prove that the model checking problem for the resulting logic is \(\textsf{P}\) -complete. In addition, by exploring the connection with related product logics, we gain more insight towards having a better understanding of the subtleties of the proposed framework. (shrink)

The surface grammar of reports such as ‘I have a pain in my leg’ suggests that pains are objects which are spatially located in parts of the body. We show that the parallel construction is not available in Mandarin. Further, four philosophically important grammatical features of such reports cannot be reproduced. This suggests that arguments and puzzles surrounding such reports may be tracking artefacts of English, rather than philosophically significant features of the world.

Philosophers disagree about what the folk concept of pain is. This paper criticises existing theories of the folk concept of pain, i.e. the mental view, the bodily view, and the recently proposed polyeidic view. It puts forward an alternative proposal – the polysemy view – according to which pain terms like “sore,” “ache” and “hurt” are polysemous, where one sense refers to a mental state and another a bodily state, and the type of polysemy at issue reflects two distinct but (...) related concepts of pain. Implications with respect to issues in philosophy of pain are also drawn. (shrink)

本书前部为为其生平与学术评传, 正文为文选, 收入其论著58种, 其后为学术年谱和论著目录.

In The Specter of Materialism Petrus Liu examines what "materialism" means for progressive queer theory and Marxist approaches to China's postsocialist economy. Liu recasts the history of queer theory in light of the Beijing Consensus, arguing that North American queer theory's inability to sustain a materialist analysis is the result of its positioning of the United States, rather than China, as the focal point of contemporary global capitalism. Analyzing relations of gender and sexuality that have been reconfigured by China's global (...) capitalist accumulation-such as dagongmei (female migrant laborers in China's export-oriented sunbelt) and money boys (rural-to-urban sex workers)-Liu argues for a materialist queer theory that positions China at the center. (shrink)

Against a backcloth of philosophical debates on science and technology, and in particular the viewpoints of Karl Marx, this three-volume set proposes to reconsider science and technology and explores how the philosophy of science and technology responds to scientific and technological evolutions and an ever-changing world. The first volume analyses Marx's reconsideration of science and technology in five parts: its positioning, its historical practice, alienation of science and technology, and its relationship with productivity and human liberty. In the second volume, (...) viewpoints and problems of scientism and anti-scientism are discussed, covering topics such as instrumental reason, scientific optimism and pessimism, irrationalism and the deconstruction of scientism. The final volume discusses complementary value choices, the loss and awakening of scientific culture and reveals a vison for a liberal and open world of science and technology. The volumes will appeal to scholars and students interested in Marxist philosophy, the philosophy of science and technology and topics related to scientific culture. (shrink)

The problem of consciousness has been an issue in philosophy of mind for decades, and in recent years panpsychism and panprotopsychism have gained attention among philosophers who are still dedicated to finding a complete explanation of consciousness. In this dissertation, I criticize panpsychism and panprotopsychism by examining their metaphysical plausibility and their epistemic prospects. Concerning the metaphysical plausibility of panpsychism and panprotopsychism, I explain the “combination problem” of panpsychism and criticize several major accounts of panpsychism and panprotopsychism that aim at (...) solving this problem, including Seager’s panpsychist infusionism, Goff’s phenomenal bonding proposal, and Coleman’s panqualityism. I also examine the proposal of motivating panpsychism and panprotopsychism by drawing support from the integrated information theory (IIT) of consciousness. I argue that this proposal to merge panpsychism or panprotopsychism with IIT does not work. Concerning the epistemic prospect of panpsychism and panprotopsychism, I raise concerns about whether panpsychism and panprotopsychism can guide a fruitful research program about the nature of consciousness. First, I argue that a theory based on Russellian Monism would not have a promising epistemic prospect. I compare Russellian Monism to Thomistic Hylomorphism and argue that Russellian Monism faces similar epistemic challenges that plagued Thomistic Hylomorphism. Since most theories of contemporary panpsychism and panprotopsychism rely on the metaphysical framework of Russellian Monism, the challenges to Russellian Monism also undermine the epistemic prospects of panpsychism and panprotopsychism. Second, I challenge the epistemic prospects of panpsychism and panprotopsychism by examining if there can be a viable method to study the consciousness of micro-level entities. After revisiting the reasoning process that guided the study of atoms, I argue that studying micro-level facts requires “analogies” that compare micro-level facts with macro-level models. Then I argue that an analogy that fits the need of panpsychism or panprotopsychism is hard to achieve, because we have no macro-level models to be compared to the hypothesized systems of micro-level consciousness. (shrink)