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)

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.

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.

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)

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

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.

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.

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

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.

本书从教师职业素质和专业发展的角度出发,参考借鉴了网络上颇为流行的《做教师的22条军规》的部分条款,分成运筹职业:三尺讲台与你一生有约;决胜课堂:让你的教学充满激情与诗意;倾情心田:让爱做主,剑指未来 :让你的教师生涯洒满阳光四个部分。.

本书主要对东西文化和中西印哲学作了相当广泛的讨论,涵摄科学哲学、文化哲学、人生哲学、宗教哲学、历史哲学、比较哲学等方面的内容,表现出超越式的融合趋向。.

Compiled by scholars at the court of Liu An, king of Huainan, in the second century B.C.E, _The Huainanzi_ is a tightly organized, sophisticated articulation of Western Han philosophy and statecraft. Outlining "all that a modern monarch needs to know," the text emphasizes rigorous self-cultivation and mental discipline, brilliantly synthesizing for readers past and present the full spectrum of early Chinese thought. _The Huainanzi_ locates the key to successful rule in a balance of broad knowledge, diligent application, and the penetrating (...) wisdom of a sage. It is a unique and creative synthesis of Daoist classics, such as the _Laozi_ and the _Zhuangzi_; works associated with the Confucian tradition, such as the _Changes_, the _Odes_, and the _Documents_; and a wide range of other foundational philosophical and literary texts from the _Mozi_ to the _Hanfeizi_. The product of twelve years of scholarship, this remarkable translation preserves _The Huainanzi_'s special rhetorical features, such as parallel prose and verse, and showcases a compositional technique that conveys the work's powerful philosophical appeal. This path-breaking volume will have a transformative impact on the field of early Chinese intellectual history and will be of great interest to scholars and students alike. (shrink)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

Wie in anderen Ländern, so galt Einstein auch in China als einer der berühmtesten Wissenschaftler schlechthin. In den siebziger Jahren des 20. Jahrhunderts wurden drei Bände Einstein’scher Schriften zusammengestellt, übersetzt und als Einsteins gesammelte Werke veröffentlicht. Diese Bände dienten lange Zeit vielen Chinesen als Hauptwissensquelle über Einstein; sie übten sogar einen bedeutenden ideologischen Einfluss aus. Im Hintergrund dieses herausgeberischen Projekts standen in der Zeit nach 1949 einflussreiche politische Bewegungen im Zusammenwirken mit wissenschaftskritischen Ansätzen, die ein solches Projekt erst möglich machten (...) und die Textauswahl sowie die Herangehensweise bei der Übersetzung und den Druckvorbereitungen beeinflussten. Unter den Herausgebern und Übersetzern kommt Xu Liangying eine besondere und wichtige Rolle zu, denn er war ursprünglich, vor der Gründung der Republik China, ein Untergrundrevolutionär gewesen. Später wurde er Wissenschaftshistoriker. Es vergingen fast 10 Jahre, bis er die Übersetzung der Einstein’schen Schriften fertigstellen konnte, da er gleichzeitig als Bauer auf dem Lande arbeiten musste und während der „Anti-Rechts-Bewegung” „rechts” stand. Die Übersetzung und Veröffentlichung von Einsteins gesammelten Werken in diesem besonderen soziologischen, kulturellen und politischen Kontext bietet viel Stoff für Rückblicke und Aufarbeitungen aus historischer Perspektive. Vor allem die ideologischen, symbolischen Implikationen in Zusammenhang mit Einstein waren ein dominantes Merkmal jener Zeit. (shrink)

Comme dans les autres pays, Einstein a été l’un des scientifiques les plus célèbres en Chine. Dans les années soixante-dix du 20e siècle, trois volumes des OEuvres complètes d’Einstein ont été traduits et publiés en Chine. Pour de nombreux Chinois ces volumes représentaient une source d’informations sur Einstein et une influence idéologique importante. Le contexte politique en est le suivant: après l’an 1949 des mouvements politiques très influents sont nés en Chine, ayant pour objectif la critique des sciences. Ces mouvements (...) ont beaucoup influencé les décisions, la sélection, le progrès ainsi que la manière de traduire et de publier les oeuvres d’Einstein. Parmi les éditeurs et les traducteurs excellait Xu Liangying. Révolutionnaire clandestin avant la mise en place de la République, il est devenu par la suite historien de la science. Il a investi presque dix ans pour terminer la traduction des oeuvres d’Einstein parce qu’ à l’époque il travaillait comme agriculteur pour ses idées de droite pendant la Révolution culturelle. Dans ce contexte sociologique, culturel et politique, la traduction et la publication des OEuvres complètes d’Einstein offre beaucoup de points qui méritent d’être examinés et analysés dans une perspective historique. Surtout, par exemple, les implications idéologiques, symboliques reliés à Einstein et qui ont été les caractéristiques dominantes de cette époque historique. (shrink)

As in other countries, Einstein has been one of the most famous scientists in China. In 1970’s, the three volumes Collection of Einstein in Chinese have been selected, translated and published, which was the main sources for Chinese people knowing Einstein for long time, and even had important ideological influence. However, as the background of it, in China, there were very influential political movements related to criticism of science after 1949, which also influenced the decision, selection, progress and the way (...) of the translating and publishing of Einstein’s works. Among the editors and translators, XU Liangying was a special and important person, who was originally a underground revolutionist before establishment of the Republic, and latterly became a historian of science. He spent nearly ten years to finish the most translation when he was a real peasant in countryside and a “righty” because of the “anti-righty“ movement. During the translating work and the publication of Collection of Einstein in that special social, cultural and political context then, there were many things worth to look back and analyze their meanings by a historical perspective reflection. Especially, the ideological symbolic implication related to the Einstein has been a very dominant characteristic in the history mentioned here. (shrink)

本书作者直握生命的本质,着眼于道德对生命的提升和超越,论证道德教化对生命的提升与激励,抓住了道德教化的灵魂。.

Let Λ be a singular cardinal of uncountable confinality ψ. Under various assumptions about the sizes of covering families for cardinals below Λ, we prove upper bounds for the covering number cov(Λ, Λ, v⁺, 2). This covering number is closely related to the cofinality of the partial order ([Λ]", ⊆).

On the question of whether the universe should be infinite or finite, there has been throughout the history of physics a struggle between materialism and idealism, between dialectics and metaphysics. Materialism asserts that the universe is infinite, while idealism advocates finitude. At every stage in the history of physics, these two philosophical lines have engaged in fierce struggle. Although developments in physics always demonstrate the failure of the finite universe doctrine, with every new advance in science the idealists distort and (...) take advantage of the latest results of physics to "prove" with varying sleights of hand that the universe is finite, serving the reactionary rule of the moribund exploiting classes. In the early part of this century after the rise of quantum theory and relativity theory, physics arrived at a new stage of development. After General Relativity was announced in 1916, a lot of people used it and similar theories of gravity to produce all sorts of models of the universe. The "finite universe" point of view became even more fashionable. Lenin pointed out that "That certain schools of the new physics have various dealings with Machism and other variants of modern idealism, is a fact not to be doubted for a moment." It is clear from reading all sorts of foreign literature that the schools of physics promoting a finite universe are linked up with all sorts of idealist philosophy, including theology. (shrink)

本书收集了一些与“科学”有关的论文、评论和书评。包括《论第二种科学》、《科学与知性》、《反科学与伪科学》等54篇文章。.

本书从建设性的向度上讲,一方面通过逻辑劳动为正确描述美的存在的建构了一种本体论语境,即“本体分析”与“结构关系”相结合的理论方法。.