This book constitutes the refereed proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing, SAT 2009, held in Swansea, UK, in June/July 2009. The 34 revised full papers presented together with 11 revised short papers and 2 invited talks were carefully selected from 86 submissions. The papers are organized in topical sections on applications of SAT, complexity theory, structures for SAT, resolution and SAT, translations to CNF, techniques for conflict-driven SAT Solvers, solving SAT by local search, (...) hybrid SAT solvers, automatic adaption of SAT solvers, stochastic approaches to SAT solving, QBFs and their representations, optimization algorithms, distributed and parallel solving. (shrink)

To find more information about Rowman and Littlefield titles, please visit www.rowmanlittlefield.com.

Substantivalists believe that spacetime and its parts are fundamental constituents of reality. Relationalists deny this, claiming that spacetime enjoys only a derivative existence. I begin by describing how the Galilean symmetries of Newtonian physics tell against both Newton's brand of substantivalism and the most obvious relationalist alternative. I then review the obvious substantivalist response to the problem, which is to ditch substantival space for substantival spacetime. The resulting position has many affinities with what are arguably the most natural interpretations of (...) special and general relativity. I move on to consider and reject two recent antisubstantivalist lines of thought. The interim conclusion is that the best argument for relationalism is an appeal to Ockham's razor. However, for this to be successful there must be genuine relationalist theories that share the theoretical virtues of their substantivalist rivals but without the additional ontological commitment. The bulk of the paper is therefore an investigation of various concrete relationalist proposals. I distinguish three options for the relationalist in the face of the success of Galilean invariant physics and trace how these generalise to relativistic physics. One of the options is particularly promising but, since its basic objects end up being spacetime points, this does not help the prospects of relationalism as traditionally conceived. I end with some reflections on the fate of substantivalism in the aftermath of the Hole Argument, concluding that we have as yet to be given good reasons to abandon the natural, substantivalist interpretation of current physics. (shrink)

English has plural terms as well as singular terms. But our standard formal languages, e.g., the predicate calculus, feature only singular terms. How can the plural idiom be formalized?‘Changing the subject’ is by far the most common plurals strategy among both philosophers and linguists: a plural term is replaced by a singular term standing for some complex object that ‘contains’ the individuals to which the plural term alludes. For example, one might simply replace ‘A, B imply C’ with ‘{A, B} (...) implies [singular] C’. We uncover a surprising variety of ways to change the subject, of ever‐increasing complexity and ingenuity. Our question is whether any can made to work. (shrink)

A systematic treatment of Hume's conception of imagination in all the main topics of his philosophy.

Keine ausführliche Beschreibung für "Wissenschaft und Methode" verfügbar.

Postcolonial discourse is incredibly diverse and postcolonial art in Australia has numerous critical modes. This paper describes an approach in Contemporary Indigenous art that attempts a critique of the law from within the law rather than outside of it. It takes a radical form of over-proximity, rather than avant-garde distance, and finds the gap and failure in law’s attempt at creating legal subjects of us all. In the work of Gordon Bennett, Danie Mellor and the duo Adam Geczy and Adam (...) Hill, there is a working through the political and legal ramifications of the Indigenous subject in contemporary Australia. The focus on processes of initiation and subjectivization, or what Althusser called “interpellation” and show the effects of this interpellation in the Indigenous subject and offer modes of resistance. The artists are informed by Lacanian notions of subjectivization and utilise this approach to semiotics and power as the starting point for their critique. (shrink)

ABSTRACT The use of broad consent for genomics research raises important ethical questions for the conduct of genomics research, including relating to its acceptability to research participants and comprehension of difficult scientific concepts. To explore these and other challenges, we conducted a study using qualitative methods with participants enrolled in an H3Africa Rheumatic Heart Disease genomics study (the RHDGen network) in Zambia to explore their views on broad consent, sample and data sharing and secondary use. In-depth interviews were conducted with (...) RHDGen participants (n = 18), study staff (n = 5) and with individuals who refused to participate (n = 3). In general, broad consent was seen to be reasonable if reasons for storing the samples for future research use were disclosed. Some felt that broad consent should be restricted by specifying planned future studies and that secondary research should ideally relate to original disease for which samples were collected. A few participants felt that broad consent would delay the return of research results to participants. This study echoes findings in other similar studies in other parts of the continent that suggested that broad consent could be an acceptable consent model in Africa if careful thought is given to restrictions on re-use. (shrink)

Immanuel Kant is often considered to be the source of the contemporary idea of human dignity, but his conception of human dignity and its relation to human value and to the requirement to respect others have not been widely understood. Kant on Human Dignity offers the first in-depth study in English of this subject. Based on a comprehensive analysis of all the passages in which Kant uses the term ;dignity, as well as an analysis of the most prominent arguments for (...) a value of human beings in the Kant literature, the book carefully examines different ways of construing the relationship between dignity, value and respect for others. It takes seriously Kant s Copernican Revolution in moral philosophy: Kant argues that moral imperatives cannot be based on any values without yielding heteronomy. Instead it is imperatives of reason that determine what is valuable. The requirement to respect all human beings is one such imperative. Respect for human beings does not follow from human dignity for this would violate autonomy but is an unconditional command of reason. Following this train of thought yields a unified account of Kant s moral philosophy. (shrink)

This paper reviews the hole argument as an argument against spacetime substantivalism. After a careful presentation of the argument itself, I critically review possible responses.

Is the objective passage of time compatible with relativistic physics? There are two easy routes to an affirmative answer: (1) provide a deflationary analysis of passage compatible with the block universe, or (2) argue that a privileged global present is compatible with relativity. (1) does not take passage seriously. (2) does not take relativity seriously. This paper is concerned with the viability of views that seek to take both passage and relativity seriously. The investigation proceeds by considering how traditional A-theoretic (...) conceptions of passage might be generalized to relativistic space-times without incorporating a privileged global present. I argue that the most promising position marries the idea that open possibilities for the future are settled as time passes with a ‘non-standard’ interpretation of the relevant formal models. (shrink)

What is morality? How many moral values are there? And what are they? According to the theory of morality-as-cooperation, morality is a collection of biological and cultural solutions to the problems of cooperation recurrent in human social life. This theory predicts that there will be as many different types of morality as there are different types of cooperation. Previous research, drawing on evolutionary game theory, has identified at least seven different types of cooperation, and used them to explain seven different (...) types of morality: family values, group loyalty, reciprocity, heroism, deference, fairness and property rights. Here we explore the conjecture that these simple moral ‘elements’ combine to form a much larger number of more complex moral ‘molecules’, and that as such morality is a combinatorial system. For each combination of two elements, we hypothesise a candidate moral molecule, and successfully locate an example of it in the professional and popular literature. These molecules include: fraternity, blood revenge, family pride, filial piety, gavelkind, primogeniture, friendship, patriotism, tribute, diplomacy, common ownership, honour, confession, turn taking, restitution, modesty, mercy, munificence, arbitration, mendicancy, and queuing. These findings indicate that morality – like many other physical, biological, psychological and cultural systems – is indeed a combinatorial system. Thus morality-as-cooperation provides a principled and powerful theory, that explains why there are many moral values, and successfully predicts what they will be; and it generates a systematic framework that has the potential to explain all moral ideas, possible and actual. Pursuing the many implications of this theory will help to place the study of morality on a more secure scientific footing. (shrink)

In his paper ``What is Structural Realism?'' James Ladyman drew a distinction between epistemological structural realism and metaphysical (or ontic) structural realism. He also drew a suggestive analogy between the perennial debate between substantivalist and relationalist interpretations of spacetime on the one hand, and the debate about whether quantum mechanics treats identical particles as individuals or as `non-individuals' on the other. In both cases, Ladyman's suggestion is that an ontic structural realist interpretation of the physics might be just what is (...) needed to overcome the stalemate. The main thesis of this paper is that, whatever the interpretative difficulties of generally covariant spacetime physics are, they do not support or suggest structural realism. In particular, I hope to show that there is in fact no analogy that supports a similar interpretation of the metaphysics of spacetime points and of quantum particles. (shrink)

Whether Kant’s late legal theory and his theory of race are contradictory in their account of colonialism has been a much-debated question that is also of highest importance for the evaluation of the Enlightenment’s contribution to Europe’s colonial expansion and the dispossession and enslavement of native and black peoples. This article discusses the problem by introducing the discourse on barbarism. This neglected discourse is the original and traditional European colonial vocabulary and served the justification of colonialism from ancient Greece throughout (...) the Renaissance to the eighteenth century. Kant’s explicit rejection of this discourse and its prejudices reveals his early critical stance toward colonial judgements of native peoples even before he developed his legal theory. This development of his critical position can be traced in his writings on race: although he makes racist statements in these texts, his theory of race is not meant to ground moral judgements on ‘races’ or a racial hierarchy but to defend the unity of mankind under the given empirical reality of colonial hierarchies. (shrink)

Explainable artificial intelligence (XAI) seeks to produce explanations for those machine learning methods which are deemed opaque. However, there is considerable disagreement about what this means and how to achieve it. Authors disagree on what should be explained (topic), to whom something should be explained (stakeholder), how something should be explained (instrument), and why something should be explained (goal). In this paper, I employ insights from means-end epistemology to structure the field. According to means-end epistemology, different means ought to be (...) rationally adopted to achieve different epistemic ends. Applied to XAI, different topics, stakeholders, and goals thus require different instruments. I call this the means-end account of XAI. The means-end account has a descriptive and a normative component: on the one hand, I show how the specific means-end relations give rise to a taxonomy of existing contributions to the field of XAI; on the other hand, I argue that the suitability of XAI methods can be assessed by analyzing whether they are prescribed by a given topic, stakeholder, and goal. (shrink)

Objective: Gait adaptation to environmental challenges is fundamental for independent and safe community ambulation. The possibility of precisely studying gait modulation using standardized protocols of gait analysis closely resembling everyday life scenarios is still an unmet need.Methods: We have developed a fully-immersive virtual reality environment where subjects have to adjust their walking pattern to avoid collision with a virtual agent crossing their gait trajectory. We collected kinematic data of 12 healthy young subjects walking in real world and in the VR (...) environment, both with and without the VA perturbation. The VR environment closely resembled the RW scenario of the gait laboratory. To ensure standardization of the obstacle presentation the starting time speed and trajectory of the VA were defined using the kinematics of the participant as detected online during each walking trial.Results: We did not observe kinematic differences between walking in RW and VR/A-, suggesting that our VR environment per se might not induce significant changes in the locomotor pattern. When facing the VA all subjects consistently reduced stride length and velocity while increasing stride duration. Trunk inclination and mediolateral trajectory deviation also facilitated avoidance of the obstacle.Conclusions: This proof-of-concept study shows that our VR/A+ paradigm effectively induced a timely gait modulation in a standardized immersive and realistic scenario. This protocol could be a powerful research tool to study gait modulation and its derangements in relation to aging and clinical conditions. (shrink)

Many research fields concerned with the processing of information contained in human faces would benefit from face stimulus sets in which specific facial characteristics are systematically varied while other important picture characteristics are kept constant. Specifically, a face database in which displayed expressions, gaze direction, and head orientation are parametrically varied in a complete factorial design would be highly useful in many research domains. Furthermore, these stimuli should be standardised in several important, technical aspects. The present article presents the freely (...) available Radboud Faces Database offering such a stimulus set, containing both Caucasian adult and children images. This face database is described both procedurally and in terms of content, and a validation study concerning its most important characteristics is presented. In the validation study, all frontal images were rated with respect to the shown facial expression, intensity of expression, clarity of expression, genuineness of expression, attractiveness, and valence. The results show very high recognition of the intended facial expressions. (shrink)

In this article, I offer a detailed examination of Margaret Macdonald's response to the Cartesian sceptical argument from dreaming. I show that Macdonald's views were not well understood by her contemporaries, and I suggest that this misunderstanding has led to her omission from subsequent discussions of this subject. I end with a brief demonstration of the fact that Macdonald's central claims have re-emerged in contemporary epistemology.

There are strong indications that many consumers are switching towards more socially and environmentally responsible products and services, reflecting a shift in consumer values indicated in several countries. However, little is known about the motives that drive some toward, or deter others from, higher levels of ethical concern and action in their purchasing decisions. Following a qualitative investigation using ZMET and focus group discussions, a questionnaire was developed and administered to a representative sample of consumers; nearly 1,000 usable questionnaires were (...) collected. The degree of awareness, concern and action regarding 16 ethical issues was quantified, using a measure developed from the Stages of Change concept within the Transtheoretical model. Motivations for ethical behaviour, in relation to each individual’s most salient ethical issue, were investigated using initially 22 motive statements within the framework of the Decisional Balance Scale (DBS). The findings suggest that the DBS and Stages model have an explanatory value within the ethical decision-making context, and that the motives identified do reflect the Decisional Balance Constructs. Indeed the study suggests that respondents’ motivational attitudes are a function of their stage of ethical awareness, concern and action. Therefore, the Decisional Balance Scale may well prove useful for designing appropriate interventions and communications to facilitate movement towards more ethical decision-making. These findings yield strategic insight for communicating messages to ethical consumers and for better understanding their purchasing decisions. (shrink)

The use of broad consent for genomics research raises important ethical questions for the conduct of genomics research, including relating to its acceptability to research participants and comprehension of difficult scientific concepts. To explore these and other challenges, we conducted a study using qualitative methods with participants enrolled in an H3Africa Rheumatic Heart Disease genomics study in Zambia to explore their views on broad consent, sample and data sharing and secondary use. In-depth interviews were conducted with RHDGen participants, study staff (...) and with individuals who refused to participate. In general, broad consent was seen to be reasonable if reasons for storing the samples for future research use were disclosed. Some felt that broad consent should be restricted by specifying planned future studies and that secondary research should ideally relate to original disease for which samples were collected. A few participants felt that broad consent would delay the return of research results to participants. This study echoes findings in other similar studies in other parts of the continent that suggested that broad consent could be an acceptable consent model in Africa if careful thought is given to restrictions on re-use. (shrink)

Generative AI has gained a lot of attention in society, business, and science. This trend has increased since 2018, and the big breakthrough came in 2022. In particular, AI-based text and image generators are now widely used. This raises a variety of ethical issues. The present paper first gives an introduction to generative AI and then to applied ethics in this context. Three specific image generators are presented: DALL-E 2, Stable Diffusion, and Midjourney. The author goes into technical details and (...) basic principles, and compares their similarities and differences. This is followed by an ethical discussion. The paper addresses not only risks, but opportunities for generative AI. A summary with an outlook rounds off the article. (shrink)

Diffeomorphism invariance is sometimes taken to be a criterion of background independence. This claim is commonly accompanied by a second, that the genuine physical magnitudes (the ``observables'') of background-independent theories and those of background-dependent (non-diffeomorphism-invariant) theories are essentially different in nature. I argue against both claims. Background-dependent theories can be formulated in a diffeomorphism-invariant manner. This suggests that the nature of the physical magnitudes of relevantly analogous theories (one background free, the other background dependent) is essentially the same. The temptation (...) to think otherwise stems from a misunderstanding of the meaning of spacetime coordinates in background-dependent theories. (shrink)

This paper uses a schema for infinite regress arguments to provide a solution to the problem of the infinite regress of justification. The solution turns on the falsity of two claims: that a belief is justified only if some belief is a reason for it, and that the reason relation is transitive.

We make some remarks on the mathematics and metaphysics of the hole argument, in response to a recent article in this journal by Weatherall ([2018]). Broadly speaking, we defend the mainstream philosophical literature from the claim that correct usage of the mathematics of general relativity `blocks' the argument.

Philosophy in the English-speaking world is dominated by analytic approaches to its problems and projects; but theology has been dominated by alternative approaches. Many would say that the current state in theology is not mere historical accident, but is, rather, how things ought to be. On the other hand, many others would say precisely the opposite: that theology as a discipline has been beguiled and taken captive by 'continental' approaches, and that the effects on the discipline have been largely deleterious. (...) The methodological divide between systematic theologians and analytic philosophers of religion is ripe for exploration. The present volume represents an attempt to begin a much-needed interdisciplinary conversation about the value of analytic philosophical approaches to theological topics. Most of the essays herein are sympathetic toward the enterprise the editors are calling analytic theology; but, with an eye toward balance, the volume also includes essays and an introduction that try to offer more critical perspectives on analytic theology. (shrink)

The synthetization of voices, or speech synthesis, has been an object of interest for centuries. It is mostly realized with a text-to-speech system, an automaton that interprets and reads aloud. This system refers to text available for instance on a website or in a book, or entered via popup menu on the website. Today, just a few minutes of samples are enough to be able to imitate a speaker convincingly in all kinds of statements. This article abstracts from actual products (...) and actual technological realization. Rather, after a short historical outline of the synthetization of voices, exemplary applications of this kind of technology are gathered for promoting the development, and potential applications are discussed critically to be able to limit them if necessary. The ethical and legal challenges should not be underestimated, in particular with regard to informational and personal autonomy and the trustworthiness of media. (shrink)

The UN Global Compact is a voluntary initiative designed to help fashion a more humane world by enlisting business to follow ten principles concerning human rights, labor, the environment, and corruption. Although the four-year-old Compact is a relatively successful initiative, having signed up over eleven hundred companies and more than two hundred of the large multinationals, and having begun some important projects on globalization issues, there is a serious problem in that very few of the major U.S. companies have joined. (...) While the premier U.S. companies are interested in meeting the legitimate expectations of society, there is concerncentering around accountability issues. The accountability issues are in four major areas: 1. Accountability showing that the globalization of the economy actually helps the poor. 2. Accountability showing the corporate performance matches rhetoric. 3. Accountability that provides legitimacy to a two-tier pricing system and other measures that are designed to assist the poor in developing countries. 4. Accountability in the human rights area; what societal expectations are multinational companies accountablefor? The article outlines the problems that the Compact brings to the fore and offers some insight from the ethical literature that may address U.S. company concerns or provide new ways of thinking about the issues. It further argues that the forum provided by the Compact may be the most effective means to gain consensus of the role of business in society. (shrink)

The UN Global Compact is a voluntary initiative designed to help fashion a more humane world by enlisting business to follow ten principles concerning human rights, labor, the environment, and corruption. Although the four-year-old Compact is a relatively successful initiative, having signed up over eleven hundred companies and more than two hundred of the large multinationals, and having begun some important projects on globalization issues, there is a serious problem in that very few of the major U.S. companies have joined. (...) While the premier U.S. companies are interested in meeting the legitimate expectations of society, there is concerncentering around accountability issues. The accountability issues are in four major areas: 1. Accountability showing that the globalization of the economy actually helps the poor. 2. Accountability showing the corporate performance matches rhetoric. 3. Accountability that provides legitimacy to a two-tier pricing system and other measures that are designed to assist the poor in developing countries. 4. Accountability in the human rights area; what societal expectations are multinational companies accountablefor? The article outlines the problems that the Compact brings to the fore and offers some insight from the ethical literature that may address U.S. company concerns or provide new ways of thinking about the issues. It further argues that the forum provided by the Compact may be the most effective means to gain consensus of the role of business in society. (shrink)

I argue, through appeal to the distinction between analysis and decomposition described by Dummett, that Wittgenstein employs both of those notions in the Tractatus. I then bring this interpretation to bear upon the issue of propositional unity, where I formulate an objection to the views of both Leonard Linksy and José Zalabardo. I show that both Linsky and Zalabardo fail to acknowledge the distinction between analysis and decomposition present in the Tractatus, and that they consequently mischaracterise Wittgenstein’s position with respect (...) to propositional unity. (shrink)

In 2012, a new and promising gene manipulation technique, CRISPR-Cas9, was announced that seems likely to be a foundational technique in health care and agriculture. However, patents have been granted. As with other technological developments, there are concerns of social justice regarding inequalities in access. Given the technologies’ “foundational” nature and societal impact, it is vital for such concerns to be translated into workable recommendations for policymakers and legislators. Colin Farrelly has proposed a moral justification for the use of patents (...) to speed up the arrival of technology by encouraging innovation and investment. While sympathetic to his argument, this article highlights a number of problems. By examining the role of patents in CRISPR and in two previous foundational technologies, we make some recommendations for realistic and workable guidelines for patenting and licensing. (shrink)

Der Artikel spürt den subtilen Veränderungen nach, die bei Patienten, die mit tiefer Hirnstimulation behandelt werden, möglicherweise beobachtet werden können. Dabei sollen im Rückgriff auf Konzeptionen zur narrativen Identität mittels einer möglichst genauen Beschreibung und Analyse der Selbstwahrnehmung der Patienten sowie der Wahrnehmung ihres Umfelds die Änderungen im praktischen Selbstverhältnis untersucht werden, u. a. am Beispiel technomorpher Metaphern, die von den Patienten in ihren Selbstbeschreibungen verwendet werden. Ziel ist es, die Neuartigkeit und das Spezifische der Neurotechnologien – über die bisherigen (...) Untersuchungen hinaus – hinsichtlich des Umgangs mit sich selbst herauszuarbeiten und greifbar zu machen. Abschließend werden auf Basis der Analyse der Patienten-Narrationen die entsprechenden normativen Implikationen für eine ethische Bewertung des Einsatzes von Neurotechnologien benannt. (shrink)

The implications for the substantivalist–relationalist controversy of Barbour and Bertotti's successful implementation of a Machian approach to dynamics are investigated. It is argued that in the context of Newtonian mechanics, the Machian framework provides a genuinely relational interpretation of dynamics and that it is more explanatory than the conventional, substantival interpretation. In a companion paper (Pooley [2002a]), the viability of the Machian framework as an interpretation of relativistic physics is explored. 1 Introduction 2 Newton versus Leibniz 3 Absolute space versus (...) an affine connection 4 Anti-relationalist arguments 5 Rehabilitating relationalism 6 Dynamics on the relative configuration space 7 Intrinsic particle dynamics 8 Conclusion. (shrink)

A key factor for the acceptance of robots as regular partners in human-centered environments is the appropriateness and predictability of their behaviors, which depend partially on the robot behavior’s conformity to social norms. Previous experimental studies have shown that robots that follow social norms and the corresponding interactions are perceived more positively by humans than robots or interactions that do not adhere to social norms. However, the conducted studies only focused on the effects of social norm compliance in specific scenarios. (...) Therefore, this paper aims to guide further research studies by compiling how researchers in relevant research fields think the perception of robots and the corresponding interactions are influenced independently of a specific scenario if a robot’s behavior conforms to social norms. Additionally, this study investigates what characteristics and metrics constitute a good general benchmark to objectively evaluate the behavior of social robots regarding its conformity to social norms according to researchers in relevant research communities. Finally, the paper summarizes how the obtained results can guide future research toward socially aware robot behavior. (shrink)

If it is ethically wrong to hold some beliefs, there may be a conflict between the demands of morality and the demands of rationality. A recent theory holds that no such conflict exists: any morally wrong belief is also irrational to hold, made irrational through a phenomenon of radical moral encroachment. In this paper, I argue that radical moral encroachment fails to coordinate ethical and epistemic norms, given plausible epistemological principles and various substantive accounts of which beliefs are morally wrong, (...) including those endorsed by radical moral encroachment theorists themselves. (shrink)

In this paper I offer an argument against one important version of panentheism, that is, mereological panentheism. Although panentheism has proven difficult to define, I provide a working definition of the view, and proceed to argue that given this way of thinking about the doctrine, mereological accounts of panentheism have serious theological drawbacks. I then explore some of these theological drawbacks. In a concluding section I give some reasons for thinking that the classical theistic alternative to panentheism is preferable, all (...) things considered. (shrink)