A comprehensive examination of the interfaces of logic, computer science, and game theory, drawing on twenty years of research on logic and games.

We investigate the major mathematical theories of space from a modal standpoint: topology, affine geometry, metric geometry, and vector algebra. This allows us to see new fine-structure in spatial patterns which suggests analogies across these mathematical theories in terms of modal, temporal, and conditional logics. Throughout the modal walk through space, expressive power is analyzed in terms of language design, bisimulations, and correspondence phenomena. The result is both unification across the areas visited, and the uncovering of interesting new questions.

Game-theoretic solution concepts describe sets of strategy profiles that are optimal for all players in some plausible sense. Such sets are often found by recursive algorithms like iterated removal of strictly dominated strategies in strategic games, or backward induction in extensive games. Standard logical analyses of solution sets use assumptions about players in fixed epistemic models for a given game, such as mutual knowledge of rationality. In this paper, we propose a different perspective, analyzing solution algorithms as processes of learning (...) which change game models. Thus, strategic equilibrium gets linked to fixed-points of operations of repeated announcement of suitable epistemic statements. This dynamic stance provides a new look at the current interface of games, logic, and computation. (shrink)

Preference is a basic notion in human behaviour, underlying such varied phenomena as individual rationality in the philosophy of action and game theory, obligations in deontic logic (we should aim for the best of all possible worlds), or collective decisions in social choice theory. Also, in a more abstract sense, preference orderings are used in conditional logic or non-monotonic reasoning as a way of arranging worlds into more or less plausible ones. The field of preference logic (cf. Hansson [10]) studies (...) formal systems that can express and analyze notions of preference between various sorts of entities: worlds, actions, or propositions. The art is of course to design a language that combines perspicuity and low complexity with reasonable expressive power. In this paper, we take a particularly simple approach. As preferences are binary relations between worlds, they naturally support standard unary modalities. In particular, our key modality ♦ϕ will just say that is ϕ true in some world which is at least as good as the current one. Of course, this notion can also be indexed to separate agents. The essence of this language is already in [4], but our semantics is more general, and so are our applications and later language extensions. Our modal language can express a variety of preference notions between propositions. Moreover, as already suggested in [9], it can “deconstruct” standard conditionals, providing an embedding of conditional logic into more standard modal logics. Next, we take the language to the analysis of games, where some sort of preference logic is evidently needed ([23] has a binary modal analysis different from ours). We show how a qualitative unary preference modality suffices for defining Nash Equilibrium in strategic games, and also the Backward Induction solution for finite extensive games. Finally, from a technical perspective, our treatment adds a new twist. Each application considered in this paper suggests the need for some additional access to worlds before the preference modality can unfold its true power.. (shrink)

Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added. In this paper we propose new versions that extend the underlying static epistemic language in such a way that dynamic completeness proofs can be obtained by perspicuous reduction axioms.

This paper takes its point of departure in an article by Stevens [Stevens, B.: 1994, Journal of Business Ethics 54, 163–171], in which she identified a lack of knowledge regarding how corporate codes of ethics are communicated and affect behavior in organizations. Taking heed of this suggested gap, we review studies on corporate codes of ethics with an empirical content, published since 1994. The conclusion of the review is that we still lack knowledge on how codes work, how they are (...) communicated and how they are transformed inside organizations. Stevens’ plea could even be extended, arguing that the knowledge gap might be of even more significance than in the mid-1990s. Some directions for how this situation can be approached in future studies are outlined in the paper. (shrink)

In the last few years, preference logic and in particular, the dynamic logic of preference change, has suddenly become a live topic in my Amsterdam and Stanford environments. At the request of the editors, this article explains how this interest came about, and what is happening. I mainly present a story around some recent dissertations and supporting papers, which are found in the references. There is no pretense at complete coverage of preference logic (for that, see Hanson 2001) or even (...) of preference change (Hanson 1995). (shrink)

This article is a response to Thomas David Riisfeldt’s paper entitled ‘Weakening the ethical distinction between euthanasia, palliative opioid use and palliative sedation’. It is shown that as far as euthanasia and palliative sedation are concerned, Riisfeldt has not established that a common ground, or a similarity, between the two is the relief of suffering. Quite the contrary, this is not characteristic of euthanasia, neither by definition nor from a clinical point of view. Hence, the argument hinges on a conceptually (...) and empirically erroneous premise and is accordingly a non-starter. (shrink)

In this article, we focus on the cross-cultural aspects of the implementation of an American company's code of ethics into its Swedish subsidiary. We identify the cross-cultural stories that the receivers in the subsidiary use when trying to explain the parent's code and conceptualize these stories as part of an emerging narrative of national belonging and differences. The receivers resisted the code by amplifying the importance of national identity. Rather than stimulating a discussion on ethics that might have strengthened the (...) ties between the parent and the subsidiary, the outcome of the code implementation had the opposite effect. The article concludes by stressing the process of implementing codes across cultures rather than code content. (shrink)

Natural languages are vehicles of information, arguably the most important, certainly the most ubiquitous that humans possess. Our everyday interactions with the world, with each other and with ourselves depend on them. And even where in the specialised contexts of science we use dedicated formalisms to convey information, their use is embedded in natural language. This omnipresence of natural language is due in large part to its flexibility, which is almost always a virtue, sometimes a vice. Natural languages are able (...) to carry information in a wide variety of ways, about a seemingly unlimited range of topics, which makes them both efficient and versatile, and hence useful in almost every circumstance. But sometimes, when pinpoint precision is what counts, this versatility can get in the.. (shrink)

Meer informatie over de uitgaven van Sdu Uitgevers en Academic Service kunt u verkrijgen bij: Sdu Klantenservice Postbus 20014 2500 EA Den Haag tel.: (070) 378 98 80 www.sdu.nl/service..

Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions regarding common knowledge express the essence of what communication achieves. We present some methods that yield so-called reduction axioms for common knowledge. We investigate the expressive power of public announcement logic with relativized common knowledge, and present reduction axioms that give a detailed account of the dynamics of common knowledge in some major communication types.

Has art still something to do with aesthetics? Traditional aesthetic theories were abandoned under influence of the arguments of Morris Weitz. It seems that there is no longer a place for aesthetics in the philosophy of art. Furthermore, a lot of contemporary art seems to be radically anti-aesthetic. It is argued that there is nonetheless a central role to be played for aesthetic experience in art.

‘Narrativity and Hermeneutics’ is not an obvious subject to mark the fifth anniversary of a centre devoted to applied ethics. Narrative tradition and the interpretation of texts are not the main concern of handbooks on biomedical ethics, engineering ethics, business ethics or ecological ethics. The reasons are evident; most practitioners of applied ethics see their area of research as a functionally differentiated discipline, a carefully circumscribed field wherein only specialists are competent. In their textbooks they adopt the view of ethical (...) expertise as defended by Theo van Willingenburg in his noteworthy thesis Inside the Ethical Expert. According to this view, practitioners of applied ethics are experts possessing a body of specialized knowledge and skill within a given domain acquired through a substantial amount of study and training. Besides being able to clarify problems and analyze concepts and arguments, they are, as experts, also able to apply specific skills of moral reasoning to reach a substantiated evaluation of values and norms, with the ultimate purpose of offering suitable ethical advice.The acquisition of a certain amount of expertise is doubtless important. The practice of applied ethics is more than probing for a good moral intention. They primarily pursue the right moral choice, i.e. the action that in a given, often complex situation, is objectively suitable to express a good moral intention. A right moral choice is impossible without a thorough clarification of the complex reality about which a moral judgment must be made.Yet emphasizing ethical expertise does not say everything. Is it correct to position ethicists as experts parallel to the medical, economic or technical experts with whom they deal? Does applied ethics, because of its functionally differentiated approach, not run the risk of either reducing itself to a professional deontology with a limited view of responsibility or enclosing itself with other experts in an iron cage of technocratic, bureaucratic or instrumental rationality? When forming an ethical judgment, is it possible to exclude completely all influence arising from personal convictions? (shrink)

A consensus exists in the Christian tradition concerning the idea that a faith conviction based on the gospel also has ethical and political implications. Much disunity remains, however, with respect to the interpretation of the relationship between the two. Throughout the history of theological thought we can find a variety of hypotheses on the question ranging from ideas of theocracy and ‘status confessionis’ declarations to manifold interpretations of the ‘two kingdom’ theory.In the political praxis of modern secularised society, the latter (...) ‘two kingdom’ theory, even when it is not explicit, is given some preference because it responds to our desire to guarantee the autonomy of politics in the face of ecclesiastical or ideological paternalism. Such a position is theoretically rendered by the liberal ‘method of avoidance’ and those political theologies which make a clear distinction between one’s secular dealings as a citizen or politician and one’s ‘ecclesiastical’ dealings as a believer.An unconscious maintenance of the ‘two kingdom’ theory also bears witness to the fact that the sense of responsibility and the realism of those politicians who take the logic of power into consideration, who are not afraid to get their hands dirty, is often highly praised while the ‘naive’ idealism of those who permit themselves to be guided by their faithful adherence to ideological goals are just as frequently looked down upon and spoken of with disapprobation. In concrete political praxis, the tendency to make a sharp separation between an ‘ethics of conviction’ and an ‘ethics of responsibility’ is further reinforced by the increasing influence of the technocrats and the representatives of various interest groups who inhabit the inner circle of ministerial cabinets. In such contexts, a realistic, ‘no-nonsense’ balance of interests is all too often considered the only viable and desirable option at the government’s disposal.Nevertheless, the relationship between ‘Gesinnungsethik’ and ‘Verantwortungsethik’ remains of essential importance to the political world. Without directional perspectives and individuals oriented towards high moral goals which derive their significance from meta-ethical frames of meaning, the political machine with its strategic rationality is in danger of becoming a pointless, systemimmanent and even alienating reality for many citizens. (shrink)

Games, Norms, and Reasons: Logic at the Crossroads provides an overview of modern logic focusing on its relationships with other disciplines, including new interfaces with rational choice theory, epistemology, game theory and informatics. This book continues a series called "Logic at the Crossroads" whose title reflects a view that the deep insights from the classical phase of mathematical logic can form a harmonious mixture with a new, more ambitious research agenda of understanding and enhancing human reasoning and intelligent interaction. The (...) editors have gathered together articles from active authors in this new area that explore dynamic logical aspects of norms, reasons, preferences and beliefs in human agency, human interaction and groups. The book pays a special tribute to Professor Rohit Parikh, a pioneer in this movement. (shrink)

This is an introduction for readers with some basic knowledge of logic to contemporary logical analyses of information flow and multi-agent activity with an emphasis on new perspectives and new research directions. The first major topic are dynamic-epistemic logics for analyzing information dynamics and information update based on new observations, as well as the induced processes of knowledge change and belief revision. The second part of the book connects these dynamic-epistemic logics to richer mathematical models coming from dependence logic, topology (...) and probability. In a third and final part, all these systems are brought to bear on the study of agency in games, bringing together logics for analyzing games and games for analyzing logics in one perspective. An appendix discusses a recent view on how qualitative logical and quantitative arithmetical approaches to reasoning can live together and inform each other. A further appendix summarizes the background in modal logic that is needed for this course. (shrink)

This book is a philosophical enquiry into the educational consequences of Spinoza’s political theory. Spinoza’s political theory is of particular interest for educational thought as it brings together the normative aims of his ethical theory with his realistic depiction of human psychology and the ramifications of this for successful political governance. As such, the book aims to introduce the reader to Spinoza’s original vision of civic education, as a project that ultimately aims at the ethical flourishing of individuals, while being (...) carefully tailored and adjusted to the natural limitations of human reason. This author-meets-critics includes scholars in philosophy, education and Spinoza studies. (shrink)

Prolegomena It is fitting to begin this book on intuitionistic type theory by putting the subject matter into perspective. The purpose of this chapter is to ...

t. 1. Codes et comités d'éthique -- t. 2. L'expérience québécoise.

This book is a philosophical enquiry into the educational consequences of Spinoza’s political theory. Spinoza’s political theory is of particular interest for educational thought as it brings together the normative aims of his ethical theory with his realistic depiction of human psychology and the ramifications of this for successful political governance. As such, this book aims to introduce the reader to Spinoza’s original vision of civic education, as a project that ultimately aims at the ethical flourishing of individuals, while being (...) carefully tailored and adjusted to the natural limitations of human reason. -/- Readers will benefit from a succinct introduction to Spinoza’s political philosophy and from an account of civic education that is based on careful exegetical work. It draws conclusions only hinted at in Spinoza’s own writings. (shrink)

ABSTRACT This article aspires to make two original contributions to the vast literature on Hobbes’s account of the nature and person of the commonwealth: (1) I provide the first systematic analysis of his changing conception of ‘person’; and (2) use it to show that those who claim that the Hobbesian commonwealth is created by personation by fiction misconstrue his theory of the state. Whereas Elements/de Cive advance a metaphysics-based distinction between individuals (‘natural persons’) and corporations (‘civil persons’), from Leviathan onwards (...) Hobbes contrasts individuals acting in their own name (‘natural persons’) with representatives (‘artificial persons’). These changes notwithstanding, Hobbes retains the same corporate conception of the state throughout. On the prevailing ‘fictionalist’ interpretation, the sovereign brings the commonwealth into existence by representing it. I argue, rather, that as an incorporation of natural persons, the commonwealth becomes one person through the authorized (i.e. non-fictitious) representation of each constituent member singly by one common representative (‘the sovereign’). (shrink)

One might think that money pumps directed at agents with cyclic preferences can be avoided by foresight. This view was challenged two decades ago by the discovery of a money pump with foresight, which works against agents who use backward induction. But backward induction implausibly assumes that the agent would act rationally and retain her trust in her future rationality even at choice nodes that could only be reached if she were to act irrationally. This worry does not apply to (...) BI-terminating decision problems, where at each choice node backward induction prescribes a move that terminates further action. For BI-terminating decision problems, it is enough to assume that rationality and trust in rationality are retained at choice nodes reachable by rational moves. The old money pump with foresight was not BI-terminating. In this paper, we present a new money pump with foresight, one that is both BI-terminating and considerably simpler. (shrink)

Spinoza and Education offers a comprehensive investigation into the educational implications of Spinoza’s moral theory. Taking Spinoza’s naturalism as its point of departure, it constructs a considered account of education, taking special care to investigate the educational implications of Spinoza’s psychological egoism. What emerges is a counterintuitive form of education grounded in the egoistic striving of the teacher to persevere and to flourish in existence while still catering to the ethical demands of the students and the greater community. -/- In (...) providing an educational reading of Spinoza’s moral theory, this book sets up a critical dialogue between educational theory and recent studies which highlight the centrality of ethics in Spinoza’s overall philosophy. By placing his work in a contemporary educational context, chapters explore a counterintuitive conception of education as an ethical project, aimed at overcoming the desire to seek short-term satisfaction and troubling the influential concept of the student as consumer. This book also considers how education, from a Spinozistic point of view, may be approached in terms of a kind of cognitive therapy serving to further a more scientifically adequate understanding of the world and aimed at combating prejudices and superstition. -/- Spinoza and Education demonstrates that Spinoza’s moral theory can further an educational ideal, where notions of freedom and self-preservation provide the conceptual core of a coherent philosophy of education. As such, it will appeal to researchers, academics and postgraduate students in the fields of philosophy of education, theory of education, critical thinking, philosophy, ethics, and Spinoza studies. (shrink)

The organizational theory literature is reasonably unanimous that team autonomy is a key factor for employee well-being and motivation as well as organizational performance. However, team autonomy is challenged when its processes and outputs need to be aligned with actors and factors external to a team. There are likely challenges and conflicts between team autonomy and the need for coherence in the wider system. Team autonomy has a range of implications and is challenged by a number of factors, such as (...) knowledge complexity and decision-making, learning, large-scale problems, product and technical interdependencies, the use of platforms, virtual collaboration and diversity. Alignment with the external is particularly necessary in multi-team environments with many technical interdependencies, where a single team’s failure to deliver a sufficient level of quality may lead to system-wide consequences. Therefore, teams in complex environments increasingly need to regulate and manage their work in cooperation with internal and external partners and systems. Such dependencies challenge team autonomy. In this special issue of AI&S, we want to address these topics in more detail, particularly in the context of software-intensive organizations and digital transformations. The scope and, thus, the consequences of a team’s work can be far-reaching when the team’s effort and output take place partially or completely in fully digitized contexts and processes. The articles in this special issue show various ways of dealing with the challenge of balancing autonomy and alignment with the external. A key focus is to show the buffering function: how teams, with the help of processes, technology, new organizational forms and time and space are able to find the buffer needed for maintaining team autonomy. (shrink)

During the last years competition in the textile sector has increased, putting financial returns under considerable pressure. As a result, production has shifted to low wage countries in the third world. This has raised the relevance of ethical procedures. This paper analyses how C&A, as one of the largest Western apparel companies, organises its sourcing ethics, notwithstanding the financial pressure in the market. Based on interviews with Asian suppliers of C&A during the second half of 2000, we review the opinions (...) of external stakeholders about the sourcing ethics of C&A. Finally, we evaluate C&A’s sourcing ethics from a theoretical perspective. (shrink)

Enacting an AI system typically requires three iterative phases where AI engineers are in command: selection and preparation of the data, selection and configuration of algorithmic tools, and fine-tuning of the different parameters on the basis of intermediate results. Our main hypothesis is that these phases involve practices with ethical questions. This paper maps these ethical questions and proposes a way to address them in light of a neo-republican understanding of freedom, defined as absence of domination. We thereby identify different (...) types of responsibility held by AI engineers and link them to concrete suggestions on how to improve professional practices. This paper contributes to the literature on AI and ethics by focusing on the work necessary to configure AI systems, thereby offering an input to better practices and an input for societal debates. (shrink)

This paper presents various personal reflections made about Peace studies find its new challenges, which will help to understand the reality and peace research from new globalizing dimensions. From the transnational and interdisciplinary perspective, we aim to go beyond what is established in order to open new ways to analyze and offer other benchmarks, such as equality and equity. In this sense, the text develops a convergence of different approaches to this research: sociology of peace, development, politics and culture, the (...) Taoist epistemology, and Gandhian and Buddhist ethics. This globalizing approach shows that the specificity of human functional diversity has been excluded, over time, in all peace theories and practices. The reconstruction of peace needs full inclusion of functional diversity in everything related to peace. The World Declaration is just a starting point. (shrink)

_The Herschel Telescope of the Royal Swedish Academy of Sciences: An Instrument Biography_ The so called Herschel telescope is one of the key items in the artefact collection of the Royal Swedish Academy of Science. The optics was commissioned from William Herschel in England in the mid-1780s and arrived a couple of years later, but the telescope as such was not finished until 1812. Even if it amounted to a considerable investment for the Academy, scientific speaking it turned out to (...) be a total failure. A biographical approach is used to study the instruments shifting roles in the formation of knowledge, from its completion in the early 19th century, until the present era. Since the telescope in its original configuration was unusable, it was firstly rebuild 1842, still without coming to any scientific use, and then reinterpreted as a cultural heritage object. As such, it has since served different roles in several exhibitions contexts. (shrink)

The scientific advances made in the last two centuries have drastically improved the quality and structure of human existence. Exploring the history of that technological progress, and the numerous and complex elements that propelled its development, the _Encyclopedia of Technological Progress_ attempts to comprehensively classify the theories and hypotheses proposed in modern human history on the effects, meaning, and control of these advances. This massive and learned reference work draws on a wide range of disciplines in its study of technological (...) development, including philosophy, sociology, theology, history, and literature, as well as writings found in newspapers, political speeches, letters, and sermons, among other sources. “It is exceedingly important... that we should seek to understand more deeply the nature of technological development and very timely that this book should have appeared now to give distance and perspective to our efforts in this direction.”—Alexander King, president of the Club of Rome. (shrink)