We study satisfiability and infinite-state model checking in ICPDL, which extends Propositional Dynamic Logic (PDL) with intersection and converse operators on programs. The two main results of this paper are that (i) satisfiability is in 2EXPTIME, thus 2EXPTIME-complete by an existing lower bound, and (ii) infinite-state model checking of basic process algebras and pushdown systems is also 2EXPTIME-complete. Both upper bounds are obtained by polynomial time computable reductions to ω-regular tree satisfiability in ICPDL, a reasoning problem that we introduce specifically (...) for this purpose. This problem is then reduced to the emptiness problem for alternating two-way automata on infinite trees. Our approach to (i) also provides a shorter and more elegant proof of Danecki's difficult result that satisfiability in IPDL is in 2EXPTIME. We prove the lower bound(s) for infinite-state model checking using an encoding of alternating Turing machines. (shrink)

The logic L (Qu) extends first-order logic by a generalized form of counting quantifiers ("the number of elements satisfying... belongs to the set C"). This logic is investigated for structures with an injectively ω-automatic presentation. If first-order logic is extended by an infinity-quantifier, the resulting theory of any such structure is known to be decidable [6]. It is shown that, as in the case of automatic structures [21], also modulo-counting quantifiers as well as infinite cardinality quantifiers ("there are χ many (...) elements satisfying...") lead to decidable theories. For a structure of bounded degree with injective ω-automatic presentation, the fragment of L(Qu) that contains only effective quantifiers is shown to be decidable and an elementary algorithm for this decision is presented. Both assumptions (ω-automaticity and bounded degree) are necessary for this result to hold. (shrink)

The first-order theory of a string automatic structure is known to be decidable, but there are examples of string automatic structures with nonelementary first-order theories. We prove that the first-order theory of a string automatic structure of bounded degree is decidable in doubly exponential space (for injective automatic presentations, this holds even uniformly). This result is shown to be optimal since we also present a string automatic structure of bounded degree whose first-order theory is hard for 2EXPSPACE. We prove similar (...) results also for tree automatic structures. These findings close the gaps left open in [28] by improving both the lower and the upper bounds. (shrink)

We prove that a finitely generated group is context-free whenever its Cayley-graph has a decidable monadic second-order theory. Hence, by the seminal work of Muller and Schupp, our result gives a logical characterization of context-free groups and also proves a conjecture of Schupp. To derive this result, we investigate general graphs and show that a graph of bounded degree with a high degree of symmetry is context-free whenever its monadic second-order theory is decidable. Further, it is shown that the word (...) problem of a finitely generated group is decidable if and only if the first-order theory of its Cayley-graph is decidable. (shrink)

For automatic and recursive graphs, we investigate the following problems: (A) existence of a Hamiltonian path and existence of an infinite path in a tree (B) existence of an Euler path, bounding the number of ends, and bounding the number of infinite branches in a tree (C) existence of an infinite clique and an infinite version of set cover The complexity of these problems is determined for automatic graphs and, supplementing results from the literature, for recursive graphs. Our results show (...) that these problems (A) are equally complex for automatic and for recursive graphs ( $\Sigma _{1}^{1}\text{-complete}$ ), (B) are moderately less complex for automatic than for recursive graphs (complete for different levels of the arithmetic hierarchy), (C) are much simpler for automatic than for recursive graphs (decidable and $\Sigma _{1}^{1}\text{-complete}$ , resp.). (shrink)

The main result of this paper states that the isomorphism problem for ω-automatic trees of finite height is at least has hard as second-order arithmetic and therefore not analytical. This strengthens a recent result by Hjorth, Khoussainov, Montalbán, and Nies showing that the isomorphism problem for ω-automatic structures is not in . Moreover, assuming the continuum hypothesis CH, we can show that the isomorphism problem for ω-automatic trees of finite height is recursively equivalent with second-order arithmetic. On the way to (...) our main results, we show lower and upper bounds for the isomorphism problem for ω-automatic trees of every finite height: It is decidable , for height 1 , -hard and in for height 3, and - and -hard and in for height . All proofs are elementary and do not rely on theorems from set theory. (shrink)

This 44-chapter volume tackles a quickly-evolving field of inquiry, mapping the existing discourse as part of a general attempt to place current developments in historical context; at the same time, breaking new ground in taking on novel subjects and pursuing fresh approaches. The term "A.I." is used to refer to a broad range of phenomena, from machine learning and data mining to artificial general intelligence. The recent advent of more sophisticated AI systems, which function with partial or full autonomy and (...) are capable of tasks which require learning and 'intelligence', presents difficult ethical questions, and has drawn concerns from many quarters about individual and societal welfare, democratic decision-making, moral agency, and the prevention of harm. This work ranges from explorations of normative constraints on specific applications of machine learning algorithms today-in everyday medical practice, for instance-to reflections on the (potential) status of AI as a form of consciousness with attendant rights and duties and, more generally still, on the conceptual terms and frameworks necessarily to understand tasks requiring intelligence, whether "human" or "A.I.". (shrink)

Following the lead of Hannah Arendt and others, I want to argue that the imperial mystique seen in the British Empire found its way into Germany’s expansionist ambitions. I am concerned with the emotional costs of oppression, or what I call soul death. I focus on three key writers of the 20th century: Doris Lessing, Nadine Gordimer, and J. M. Coetzee, placing their writings in the context of war trauma and the barbarities associated with 20th century totalitarianism. My argument seeks (...) to elucidate the relationship between postcoloniality and the wars that shaped that century. These narratives of distress will be juxtaposed with novels by Imre Kertész and Arnošt Lustig whose writings of the Holocaust and the war atmosphere on the Eastern Front illuminate scenes of trauma and personal anguish. Here my study draws on the work of recent psychologists whose term soul murder is made much of. These writers’ works can be more fully understood to reveal patterns of personal destruction that are part of living under imperialism. They bring to the forefront behaviours that expose the debasement and hardening witnessed in the early decades of the century. (shrink)

The argument from inductive risk is considered to be one of the strongest challenges for value-free science. A great part of its appeal lies in the idea that even an ideal epistemic agent—the “perfect scientist” or “scientist qua scientist”—cannot escape inductive risk. In this paper, I scrutinize this ambition by stipulating an idealized Bayesian decision setting. I argue that inductive risk does not show that the “perfect scientist” must, descriptively speaking, make non-epistemic value-judgements, at least not in a way that (...) undermines the value-free ideal. However, the argument is more successful in showing that there are cases where the “perfect scientist” should, normatively speaking, use non-epistemic values. I also show that this is possible without creating problems of illegitimate prescription and wishful thinking. Thus, while inductive risk does not refute value-freedom completely, it still represents a powerful critique of value-free science. (shrink)

Intellectual humility is an interesting but underexplored disposition. The claim “I am (intellectually) humble” seems paradoxical in that someone who has the disposition in question would not typically volunteer it. There is an explanatory gap between the meaning of the sentence and the meaning the speaker expresses by uttering it. We therefore suggest analyzing intellectual humility semantically, using a psycholexical approach that focuses on both synonyms and antonyms of ‘intellectual humility’. We present a thesaurus-based method to map the semantic space (...) of intellectual humility as a heuristic to support philosophical and psychological analysis of this disposition. We find three semantic clusters that compose intellectual humility: the sensible self, the discreet self, and the inquisitive self; likewise, we find three clusters that compose its contraries: the overrated self, the underrated other, and the underrated self. (shrink)

Intellectual humility can be broadly construed as being conscious of the limits of one’s existing knowledge and capable of acquiring more knowledge, which makes it a key virtue of the information age. However, the claim “I am humble” seems paradoxical in that someone who has the disposition in question would not typically volunteer it. Therefore, measuring intellectual humility via self-report may be methodologically unsound. As a consequence, we suggest analyzing intellectual humility semantically, using a psycholexical approach that focuses on both (...) synonyms and antonyms of ‘intellectual humility’. We present a thesaurus-based methodology to map the semantic space of intellectual humility and the vices it opposes as a heuristic to support analysis and diagnosis of this disposition. We performed the mapping both in English and German in order to test for possible cultural differences in the understanding of intellectual humility. In both languages, we find basically the same three semantic dimensions of intellectual humility as well as three dimensions of its related vices. The resulting semantic clusters were validated in an empirical study with English and German participants. We find medium-to-high correlations between thesaurus similarity and perceived similarity, and we can validate the three dimensions identified in the study. But we also find limitations of the thesaurus methodology in terms of cluster plausibility. We conclude by discussing the importance of these findings for constructing psychometric measures of intellectual humility via self-report vs. computer models. (shrink)

We propose a multi-step evaluation schema designed to help procurement agencies and others to examine the ethical dimensions of autonomous systems to be applied in the security sector, including autonomous weapons systems.

The current humanitarian use of drones is focused on two applications: disaster mapping and medical supply delivery. In response to the growing interest in drone deployment in the aid sector, we sought to develop a resource to support value sensitivity in humanitarian drone activities. Following a bottom-up approach encompassing a comprehensive literature review, two empirical studies, a review of guidance documents, and consultations with experts, this work illuminates the nature and scope of ethical challenges encountered by humanitarian organizations embarking upon (...) innovation programmes. The Framework for the Ethics Assessment of Humanitarian Drones (FEAHD) identifies five values and five key questions related to ethical considerations along the decision chain of humanitarian drone activities. It fills a gap between high-level, principle-based guidance related to humanitarian innovation, and detailed operation-oriented checklists for projects involving the use of drones. In this way, the FEAHD contributes to support value sensitivity in the humanitarian use of drones. (shrink)

Moral philosophers and psychologists often assume that people judge morally lucky and morally unlucky agents differently, an assumption that stands at the heart of the Puzzle of Moral Luck. We examine whether the asymmetry is found for reflective intuitions regarding wrongness, blame, permissibility, and punishment judg- ments, whether people’s concrete, case-based judgments align with their explicit, abstract principles regarding moral luck, and what psychological mechanisms might drive the effect. Our experiments produce three findings: First, in within-subjects experiments favorable to reflective (...) deliberation, the vast majority of people judge a lucky and an unlucky agent as equally blameworthy, and their actions as equally wrong and permissible. The philosophical Puzzle of Moral Luck, and the challenge to the very possibility of systematic ethics it is frequently taken to engender, thus simply do not arise. Second, punishment judgments are significantly more outcome- dependent than wrongness, blame, and permissibility judgments. While this constitutes evidence in favor of current Dual Process Theories of moral judgment, the latter need to be qualified: punishment and blame judgments do not seem to be driven by the same process, as is commonly argued in the literature. Third, in between-subjects experiments, outcome has an effect on all four types of moral judgments. This effect is mediated by negligence ascriptions and can ultimately be explained as due to differing probability ascriptions across cases. (shrink)

The principles of biomedical ethics – autonomy, non-maleficence, beneficence, and justice – are of paradigmatic importance for framing ethical problems in medicine and for teaching ethics to medical students and professionals. In order to underline this significance, Tom L. Beauchamp and James F. Childress base the principles in the common morality, i.e. they claim that the principles represent basic moral values shared by all persons committed to morality and are thus grounded in human moral psychology. We empirically investigated the relationship (...) of the principles to other moral and non-moral values that provide orientations in medicine. By way of comparison, we performed a similar analysis for the business & finance domain. (shrink)

In der 1970 gegr ndeten Reihe erscheinen Arbeiten, die philosophiehistorische Studien mit einem systematischen Ansatz oder systematische Studien mit philosophiehistorischen Rekonstruktionen verbinden. Neben deutschsprachigen werden auch englischsprachige Monographien ver ffentlicht. Gr ndungsherausgeber sind: Erhard Scheibe (Herausgeber bis 1991), G nther Patzig (bis 1999) und Wolfgang Wieland (bis 2003). Von 1990 bis 2007 wurde die Reihe von J rgen Mittelstra mitherausgegeben.

Moral progress may be a matter of time scale. If intuitive measures of moral progress like the degree of physical violence within a society are taken as empirical markers, then most human societies have experienced moral progress in the last few centuries. However, if the development of the human species is taken as relevant time scale, there is evidence that humanity has experienced a global moral decline compared to a small-band hunter-gatherer baseline that represents a lifestyle presumed to largely account (...) for 99% of human history. A counter-argument to such a diagnosis of moral decline is the fact that the living conditions of the modern world that emerged since sedentariness and the beginning of agriculture are completely different compared to those of SBHG due to cultural and technological developments. We therefore suggest that two notions of moral progress should be distinguished: a “biological notion” referring to the inherited capacities typical of the evolutionary niche of mammals and that unfold in a specific way in the human species; and a “cultural notion” that relates moral progress to dealing with an increasing diversity of temptations and possible wrongdoings in a human social world whose complexity accumulates in time. In our contribution, we describe these two different notions of moral progress, we discuss how they interact, how this interaction impacts the standards by which we measure moral progress, and we provide suggestions and justifications for re-aligning biological and cultural moral progress. (shrink)

In very general terms, an agent is a being with the capacity to act, and 'agency' denotes the exercise or manifestation of this capacity. The philosophy of action provides us with a standard conception and a standard theory of action. The former construes action in terms of intentionality, the latter explains the intentionality of action in terms of causation by the agent’s mental states and events. From this, we obtain a standard conception and a standard theory of agency. There are (...) alternative conceptions of agency, and it has been argued that the standard theory fails to capture agency. Further, it seems that genuine agency can be exhibited by beings that are not capable of intentional action, and it has been argued that agency can and should be explained without reference to causally efficacious mental states and events. Debates about the nature of agency have flourished over the past few decades in philosophy and in other areas of research. In philosophy, the nature of agency is an important issue in the philosophy of mind, the philosophy of psychology, the debates on free will and moral responsibility, in ethics, meta-ethics, and in the debates on the nature of reasons and practical rationality. For the most part, this entry focuses on conceptual and metaphysical questions concerning the nature of agency. In the final sections, it provides an overview of empirically informed accounts of the sense of agency and of various empirical challenges to the commonsense assumption that our reasons and our conscious intentions make a real difference to how we act. (shrink)

Levels of organization are structures in nature, usually defined by part-whole relationships, with things at higher levels being composed of things at the next lower level. Typical levels of organization that one finds in the literature include the atomic, molecular, cellular, tissue, organ, organismal, group, population, community, ecosystem, landscape, and biosphere levels. References to levels of organization and related hierarchical depictions of nature are prominent in the life sciences and their philosophical study, and appear not only in introductory textbooks and (...) lectures, but also in cutting-edge research articles and reviews. In philosophy, perennial debates such as reduction, emergence, mechanistic explanation, interdisciplinary relations, natural selection, and many other topics, also rely substantially on the notion. -/- Yet, in spite of the ubiquity of the notion, levels of organization have received little explicit attention in biology or its philosophy. Usually they appear in the background as an implicit conceptual framework that is associated with vague intuitions. Attempts at providing general and broadly applicable definitions of levels of organization have not met wide acceptance. In recent years, several authors have put forward localized and minimalistic accounts of levels, and others have raised doubts about the usefulness of the notion as a whole. -/- There are many kinds of ‘levels’ that one may find in philosophy, science, and everyday life—the term is notoriously ambiguous. Besides levels of organization, there are levels of abstraction, realization, being, analysis, processing, theory, science, complexity, and many others. In this article, the focus will be on levels of organization and debates associated with them, and other kinds of levels will only be discussed when they are relevant to this main topic. (shrink)

This volume provides an overview of the most recent developments in empirical investigations of morality and assesses their impact and importance for ethical thinking. It involves contributions of scholars both from philosophy, theology and empirical sciences with firm standings in their own disciplines, but an inclination to step across borders-in particular the one between the world of facts and the world of norms. Human morality is complex, and probably even messy-and this clean distinction becomes blurred whenever one looks more closely (...) at the various components that enable and influence our moral actions and ethical orientations. In that way, morality may indeed be located between facts and norms-and an empirically informed ethics that is less concerned with analytical purity but immerses into this moral complexity may be an important step to make the contributions of ethics to this world more valuable and relevant. (shrink)

I identify two reasons for believing in the objectivity of mathematical knowledge: apparent objectivity and applications in science. Focusing on arithmetic, I analyze platonism and cognitive nativism in terms of explaining these two reasons. After establishing that both theories run into difficulties, I present an alternative epistemological account that combines the theoretical frameworks of enculturation and cumulative cultural evolution. I show that this account can explain why arithmetical knowledge appears to be objective and has scientific applications. Finally, I will argue (...) that, while this account is compatible with platonist metaphysics, it does not require postulating mind-independent mathematical objects. (shrink)

Charles S. Peirce's epistemological theory of mental diagrams forms the theoretical basis of his attempt to analyze diagrammatic reasoning. Two examples, one from science and another from art, are examined to test the scope of this theory. While the first example shows how scientific diagrams form part of translation processes, similar processes are demonstrated in how paintings are received. The article attempts to connect Peirce and A. J. Greimas's theory of narrative. Relating the two proves useful in allowing Peirce's theory (...) of the connection between the three normative sciences to be discussed on a new basis. (shrink)

Die Interpretationen in diesem Band verfolgen das Ziel, das antike Ideal des Wissens historisch zu rekonstruieren, dem die klassische Philosophie ihre Gestalt verdankt. Denn bei Platon und bei Aristoteles hat die Wissenschaft noch Funktionen zu erfüllen, von denen heute in einer modernen Gesellschaft nur selten die Rede ist: Sie unterhält Beziehungen zu Fragen der antiken Religion, sie will die menschliche Seele von Schlamm befreien und der Begründung einer wahren Ordnung der Gesellschaft dienen. Der Weg von der göttlichen Logik zur menschlichen (...) Politik ist der steile Weg des Philosophen, auf dem er sich denkend abmüht. Winkt ihm dort oben auch die Glückseligkeit der Götter, stellt sich dem Philosophen hier doch zuallererst die Frage: Welche Politik? (shrink)

Foundational Texts in Modern Criminal Law presents essays in which scholars from various countries and legal systems engage critically with formative texts in criminal legal thought since Hobbes. It examines the emergence of a transnational canon of criminal law by documenting its intellectual and disciplinary history and provides a snapshot of contemporary work on criminal law within that historical and comparative context. Criminal law discourse has become, and will continue to become, more international and comparative, and in this sense global: (...) the long-standing parochialism of criminal law scholarship and doctrine is giving way to a broad exploration of the foundations of modern criminal law. The present book advances this promising scholarly and doctrinal project by making available key texts, including several not previously available in English translation, from the common law and civil law traditions, accompanied by contributions from leading representatives of both systems. (shrink)

This chapter notes the complex and unsatisfying efforts to distinguish between punishment and regulation, and reframes the discussion of punishment and regulation by labeling the former law and the latter police. Doing so relocates this classification in a particular historical genealogy. Reconceptualizing the terms of the discussion suggests that while law operates on the individual, the object of police regulation tends to be collective. One of the distinctions frequently invoked as crucial to the difference between punishment and regulation is the (...) difference between private and public. However, the notion of private law and public regulation relies on an overly simplistic model and history of law. Comparing punishment and regulation is like comparing apples and oranges, because they are two fundamentally different things. Regulation is an empty label unless it is combined with a mode of governance. That mode of governance, which parallels and complements law, is the concept of police. Police and law are contemporary manifestations of the ancient Greek distinction between household governance and public governance. (shrink)

Metaphysics and science have a long but troubled relationship. In the twentieth century the Logical Positivists argued metaphysics was irrelevant and that philosophy should be guided by science. However, metaphysics and science attempt to answer many of the same, fundamental questions: What are laws of nature? What is causation? What are natural kinds? -/- In this book, Markus Schrenk examines and explains the central questions and problems in the metaphysics of science. He reviews the development of the field from (...) the early modern period through to the latest research, systematically assessing key topics including -/- dispositions, counterfactual conditionals, laws of nature, causation, natural kinds, essence, necessity. -/- With the addition of chapter summaries and annotated further reading, Metaphysics of Science is a much-needed, clear and informative survey of this exciting area of philosophical research. It is essential reading for students and scholars of philosophy of science and metaphysics. (shrink)

The basic human ability to treat quantitative information can be divided into two parts. With proto-arithmetical ability, based on the core cognitive abilities for subitizing and estimation, numerosities can be treated in a limited and/or approximate manner. With arithmetical ability, numerosities are processed (counted, operated on) systematically in a discrete, linear, and unbounded manner. In this paper, I study the theory of enculturation as presented by Menary (2015) as a possible explanation of how we make the move from the proto-arithmetical (...) ability to arithmetic proper. I argue that enculturation based on neural reuse provides a theoretically sound and fruitful framework for explaining this development. However, I show that a comprehensive explanation must be based on valid theoretical distinctions and involve several stages in the development of arithmetical knowledge. I provide an account that meets these challenges and thus leads to a better understanding of the subject of enculturation. (shrink)

Beck presents an outline of the procedure of bootstrapping of integer concepts, with the purpose of explicating the account of Carey. According to that theory, integer concepts are acquired through a process of inductive and analogous reasoning based on the object tracking system, which allows individuating objects in a parallel fashion. Discussing the bootstrapping theory, Beck dismisses what he calls the "deviant-interpretation challenge"—the possibility that the bootstrapped integer sequence does not follow a linear progression after some point—as being general to (...) any account of inductive learning. While the account of Carey and Beck focuses on the OTS, in this paper I want to reconsider the importance of another empirically well-established cognitive core system for treating numerosities, namely the approximate number system. Since the ANS-based account offers a potential alternative for integer concept acquisition, I show that it provides a good reason to revisit the deviant-interpretation challenge. Finally, I will present a hybrid OTS-ANS model as the foundation of integer concept acquisition and the framework of enculturation as a solution to the challenge. (shrink)