Explainable artificial intelligence (XAI) aims to help people understand black box algorithms, particularly of their outputs. But what are these explanations and when is one explanation better than another? The manipulationist definition of explanation from the philosophy of science offers good answers to these questions, holding that an explanation consists of a generalization that shows what happens in counterfactual cases. Furthermore, when it comes to explanatory depth this account holds that a generalization that has more abstract variables, is broader in (...) scope and/or more accurate is better. By applying these definitions and contrasting them with alternative definitions in the XAI literature I hope to help clarify what a good explanation is for AI. (shrink)

According to Hempel’s influential theory of explanation, explaining why some a is G consists in showing that the truth that a is G follows from a law-like generalization to the effect that all Fs are G together with the initial condition that a is F. While Hempel’s overall account is now widely considered to be deeply flawed, the idea that some generalizations play the explanatory role that the account predicts is still often endorsed by contemporary philosophers of science. This idea, (...) however, conflicts with widely shared views in metaphysics according to which the generalization that all Fs are G is partially explained by the fact that a is G. I discuss two solutions to this conflict that have been proposed recently, argue that they are unsatisfactory, and offer an alternative. (shrink)

This paper discusses counterexamples to the thesis that the probabilities of conditionals are conditional probabilities. It is argued that the discrepancy is systematic and predictable, and that conditional probabilities are crucially involved in the apparently deviant interpretations. Furthermore, the examples suggest that such conditionals have a less prominent reading on which their probability is in fact the conditional probability, and that the two readings are related by a simple step of abductive inference. Central to the proposal is a distinction between (...) causal and purely stochastic dependence between variables. (shrink)

According to the standard account of forgiveness, you forgive your wrongdoer by overcoming your resentment towards them. But how exactly must you do so? And when is such overcoming fitting? The aim of this paper is to introduce a novel version of the standard account to answer these questions. Its core idea is that the reactive attitudes are a fitting response not just to someone’s blameworthiness, but to their blameworthiness being significant for you, or worthy of your caring, in virtue (...) of your relationship to it. Someone’s blameworthiness is significant for you to the extent you’re bound up with what grounds it––e.g. with the wrongdoer’s being a participant in human relationships, with their attitudes, or with the victim’s being a source of demands. So you may fittingly not care about someone’s blameworthiness if it’s sufficiently insignificant for you in this manner––e.g. if their wrong happened far off in place and time. And forgiveness revolves around this. You forgive your wrongdoer if and only if, partly out of goodwill towards them, you cease to care about their blameworthiness––a bit as if their wrong had happened far off. If I’m right, this agent-relativity-based account can resolve the apparent ‘paradoxy of forgiveness’, satisfies a number of desiderata, and is plausible on an intuitive level. (shrink)

The connection between the probabilities of conditionals and the corresponding conditional probabilities has long been explored in the philosophical literature, but its implementation faces both technical obstacles and objections on empirical grounds. In this paper I ?rst outline the motivation for the probabilistic turn and Lewis’ triviality results, which stand in the way of what would seem to be its most straightforward implementation. I then focus on Richard Jeffrey’s ’random-variable’ approach, which circumvents these problems by giving up the notion that (...) conditionals denote propositions in the usual sense. Even so, however, the random-variable approach makes counterintuitive predictions in simple cases of embedded conditionals. I propose to address this problem by enriching the model with an explicit representation of causal dependencies. The addition of such causal information not only remedies the shortcomings of Jeffrey’s conditional, but also opens up the possibility of a uni?ed probabilistic account of indicative and counterfactual conditionals. (shrink)

Conditionals with conditional constituents pose challenges for _the Thesis_, the idea that the probability of a conditional is the corresponding conditional probability. This note is concerned with two proposals for overcoming those challenges, both inspired by early work of van Fraassen: the _Bernoulli Semantics_ associated with Stalnaker and Jeffrey, and augmented with a mechanism for obtaining “local probabilities” by Kaufmann; and a proposal by Bacon which I dub _Ordinal Semantics_. Despite differences in mathematical details and emphasis of presentation, both proposals (...) lend themselves for use as a basis for a modal-theoretic interpretation of embedded conditionals. The goal of this note is to compare the two frameworks by implementing a model for the interpretation of conditionals in each, based on the same underlying probability model for non-conditional sentences. I show that in the Ordinal model, certain sentences are assigned probabilities that do not accord with intuitions. This problem is familiar from the literature on Bernoulli models and can be addressed by introducing Kaufmann-style local probabilities into Ordinal models. I then show that Bernoulli Semantics has other limitations, in that it assigns probabilities in violation of the Thesis to certain very complex formulas. The upshot is that a fusion of the theories may be our best shot at getting the predictions right. (shrink)

In their paper Nothing but the Truth Andreas Pietz and Umberto Rivieccio present Exactly True Logic, an interesting variation upon the four-valued logic for first-degree entailment FDE that was given by Belnap and Dunn in the 1970s. Pietz & Rivieccio provide this logic with a Hilbert-style axiomatisation and write that finding a nice sequent calculus for the logic will presumably not be easy. But a sequent calculus can be given and in this paper we will show that a calculus for (...) the Belnap-Dunn logic we have defined earlier can in fact be reused for the purpose of characterising ETL, provided a small alteration is made—initial assignments of signs to the sentences of a sequent to be proved must be different from those used for characterising FDE. While Pietz & Rivieccio define ETL on the language of classical propositional logic we also study its consequence relation on an extension of this language that is functionally complete for the underlying four truth values. On this extension the calculus gets a multiple-tree character—two proof trees may be needed to establish one proof. (shrink)

The rise of causality and the attendant graph-theoretic modeling tools in the study of counterfactual reasoning has had resounding effects in many areas of cognitive science, but it has thus far not permeated the mainstream in linguistic theory to a comparable degree. In this study I show that a version of the predominant framework for the formal semantic analysis of conditionals, Kratzer-style premise semantics, allows for a straightforward implementation of the crucial ideas and insights of Pearl-style causal networks. I spell (...) out the details of such an implementation, focusing especially on the notions of intervention on a network and backtracking interpretations of counterfactuals. (shrink)

In the past few decades, a growth in ethical consumerism has led brands to increasingly develop conscientiousness and depict ethical image at a corporate level. However, most of the research studying business ethics in the field of corporate brand management is either conceptual or has been empirically conducted in relation to goods/products contexts. This is surprising because corporate brands are more relevant in services contexts, because of the distinct nature of services and the key role that employees have in the (...) services sector. Accordingly, this article aims at empirically examining the effects of customer perceived ethicality in the context of corporate services brands. Based on data collected for eight service categories using a panel of 2179 customers, the hypothesized structural model is tested using path analysis. The results show that, in addition to a direct effect, customer perceived ethicality has a positive and indirect effect on customer loyalty, through the mediators of customer affective commitment and customer perceived quality. Further, employee empathy positively influences the impact of customer perceived ethicality on customer affective commitment, and customer loyalty positively impacts customer positive word-of-mouth. The first implication of these results is that corporate brand strategy needs to be aligned with human resources policies and practices if brands want to turn ethical strategies into employee behavior. Second, corporate brands should build more authentic communications grounded in their ethical beliefs and supported by evidence from actual employees. (shrink)

The topic of this thesis is axiological uncertainty – the question of how you should evaluate your options if you are uncertain about which axiology is true. As an answer, I defend Expected Value Maximisation (EVM), the view that one option is better than another if and only if it has the greater expected value across axiologies. More precisely, I explore the axiomatic foundations of this view. I employ results from state-dependent utility theory, extend them in various ways and interpret (...) them accordingly, and thus provide axiomatisations of EVM as a theory of axiological uncertainty. (shrink)

A measure of coherence is said to be reliability conducive if and only if a higher degree of coherence (as measured) results in a higher likelihood that the witnesses are reliable. Recently, it has been proved that several coherence measures proposed in the literature are reliability conducive in a restricted scenario (Olsson and Schubert 2007, Synthese 157:297–308). My aim is to investigate which coherence measures turn out to be reliability conducive in the more general scenario where it is any finite (...) number of witnesses that give equivalent reports. It is shown that only the so-called Shogenji measure is reliability conducive in this scenario. I take that to be an argument for the Shogenji measure being a fruitful explication of coherence. (shrink)

The number of legal and nonlegal ethical regulations in the biomedical field has increased tremendously, leaving present-day practitioners and researchers in a virtual crossfire of legislations and guidelines. Judging by the production and by the way these regulations are motivated and presented, they are held to be of great importance to ethical practice. This view is shared by many commentators. For instance, Commons and Baldwin write that, within the nursing profession, patient care can be performed unethically or ethically depending on (...) the professional standards the nurses have set for themselves. They also hold that such standards are set when nurses become aware of the ethical codes available. As nurses are often not familiar with the codes, they do not all conform to them. Commons and Baldwin argue that nurses' ability to deal with ethical dilemmas is effectively secured with education on guidelines, creating a “barrier” between personal and professional values. (shrink)

This paper is devoted to Bolzano’s theory of grounding (Abfolge) in his Wissenschaftslehre. Bolzanian grounding is an explanatory consequence relation that is frequently considered an ancestor of the notion of metaphysical grounding. The paper focuses on two principles that concern grounding in the realm of conceptual sciences and relate to traditionally widespread ideas on explanations: the principles, namely, that grounding orders conceptual truths from simple to more complex ones (Simplicity), and that it comes along with a certain theoretical economy among (...) them (Economy). Being spelled out on the basis of Bolzano’s notion of deducibility (Ableitbarkeit), these principles are revealing for the question to what extent grounding can be considered a formal relation. (shrink)

It is widely recognized that the innate versus acquired distinction is a false dichotomy. Yet many scientists continue to describe certain traits as “innate” and take this to imply that those traits are not acquired, or “unlearned.” This article asks what cognitive role, if any, the concept of innateness should play in the psychological and behavioural sciences. I consider three arguments for eliminating innateness from scientific discourse. First, the classification of a trait as innate is thought to discourage empirical research (...) into its developmental origin. Second, this concept lumps together a number of different biological properties that ought to be treated as distinct. Third, innateness is associated with the outmoded folk biological theory of essentialism. In response to these objections, I consider two attempts to revise the concept of innateness which aim to make it more suitable for scientific explanation and research. One proposal is that innateness can be defined in terms of the biological property of environmental canalization. On this view, a trait is innate to the extent that it is developmentally buffered against a range of different environments. Another proposal is that innateness serves as an explanatory primitive for cognitive science. This view holds that there exist a sharp boundary between psychological and biological explanations and that to identify a trait as innate means that it falls into the latter explanatory domain. This essay ends with some questions for future research. (shrink)

Many people think that if you're uncertain about which moral theory is correct, you ought to maximize the expected choice-worthiness of your actions. This idea presupposes that the strengths of our moral reasons are comparable across theories – for instance, that our reasons to create new people, according to total utilitarianism, can be stronger than our reasons to benefit an existing person, according to a person-affecting view. But how can we make sense of such comparisons? In this article, I introduce (...) a constructivist account of intertheoretic comparisons. On this account, such comparisons don't hold independently of facts about morally uncertain agents. They're simply the result of an ideal deliberation in terms of certain epistemic norms about what you ought to do in light of your uncertainty. If I'm right, this account is metaphysically more parsimonious than some existing proposals, and yet has plausible and strong implications. (shrink)

ABSTRACT:The notion of “democracy” has become a much-debated concept in scholarship on business ethics, management, and organization studies. The strategy of this paper is to distinguish between a principle of organization that fosters participation (type I democracy) and a principle of legitimation that draws on consent (type II democracy). Based on this distinction, we highlight conceptual shortcomings of the literature on stakeholder democracy. We demonstrate that parts of the literature tend to confound ends with means. Many approaches employ type I (...) democracy notions of participation and often take for granted that this also improves type II democratic legitimation. We hold this to be a mistake. We provide examples of the ambiguity of organizational procedures and show that under some circumstances a decrease in the degree of participation may actually increase legitimation because a governance structure that results in higher productivity can provide higher benefits for all parties involved, serve their interests and therefore meet their agreement. Less type I democracy may mean more type II democracy. We believe this to be an important insight for judging (and further improving) the legitimacy of both capitalistic firms and competitive markets. (shrink)

Against content theories of slurs, according to which slurs have some kind of derogatory content, Anderson and Lepore have objected that they cannot explain that even slurs under quotation can cause offense. If slurs had some kind of derogatory content, the argument goes, quotation would render this content inert and, thus, quoted slurs should not be offensive. Following this, Anderson and Lepore propose that slurs are offensive because they are prohibited words. In this paper, we will show that, pace Anderson (...) and Lepore, content theories of slurs do provide an explanation of the fact that quoted slurs can cause offense: even under quotation, the explanation goes, the derogatory content of a slur can still be psychologically efficacious. We will go one step further by pointing out that offensiveness is not the only function of slurs, but that slurs can also be used to create and reinforce negative attitudes towards the target group. While content theories can easily explain this by referring to some kind of derogatory content, Anderson and Lepore’s prohibitionism will lack a satisfactory explanation of this second function of slurs. Concluding, we will argue that, unlike uses of slurs, uses of quoted slurs normally do not derogate the target group. This will again speak in favor of content theories. Accordingly, uses of quoted slurs are not derogatory because quotation renders the derogatory content inert. Hence, rather than speaking against content theories, quoted slurs speak in their favor. (shrink)

The globalization movement in recent decades has meant rapid growth in trade, financial transactions, and cross-country ownership of economic assets. In this article, we examine how the globalization of national business systems has influenced the framing of corporate social responsibility (CSR). This is done using text analysis of CEO letters appearing in the annual reports of 15 major corporations in Sweden during a period of transformational change. The results show that the discourse about CSR in the annual reports has changed (...) from a national and communitarian view of social responsibility (cf. a negotiated view of CSR) toward an international and individualistic view of social responsibility (cf. a self-regulating view of CSR). The article contributes theoretically (1) by adding a national–global dimension to previous conceptualizations of CSR and (2) by showing that the rise of CSR discourse and activities in the last 10 years does not have to imply an increased commitment and interest in corporate responsibility per se, only that there are increased societal expectations that corporations should develop the capability to act more independently as moral agents. (shrink)

Within evolutionary biology, life-history theory is used to explain cross-species differences in allocation strategies regarding reproduction, maturation, and survival. Behavioral scientists have recently begun to conceptualize such strategies as a within-species individual characteristic that is predictive of behavior. Although life history theory provides an important framework for behavioral scientists, the psychometric approach to life-history strategy measurement—as operationalized by K-factors—involves conceptual entanglements. We argue that current psychometric approaches attempting to identify K-factors are based on an unwarranted conflation of functional descriptions and (...) proximate mechanisms—a conceptual mix-up that may generate unviable hypotheses and invites misinterpretation of empirical findings. The assumptions underlying generic psychometric methodology do not allow measurement of functionally defined variables; rather these methods are confined to Mayr’s proximate causal realm. We therefore conclude that K-factor scales lack validity, and that life history strategy cannot be identified with psychometrics as usual. To align theory with methodology, suggestions for alternative methods and new avenues are proposed. (shrink)

A measure of coherence is said to be reliability conducive if and only if a higher degree of coherence (asmeasured) of a set of testimonies implies a higher probability that the witnesses are reliable. Recently, it has been proved that the Shogenji measure of coherence is reliability conducive in restricted scenarios (e.g., Olsson and Schubert, Synthese, 157:297–308, 2007). In this article, I investigate whether the Shogenji measure, or any other coherence measure, is reliability conducive in general. An impossibility theorem is (...) proved to the effect that this is not the case. I conclude that coherence is not reliability conducive. (shrink)

Can concepts be acquired by testing hypotheses about these concepts? Fodor famously argued that this is not possible. Testing the correct hypothesis would require already possessing the concept. I argue that this does not generally hold for mathematical concepts. I discuss specific, empirically motivated, hypotheses for number concepts that can be tested without needing to possess the relevant number concepts. I also argue that one can test hypotheses about the identity conditions of other mathematical concepts, and then fix the application (...) conditions based on those hypotheses—under the assumption that the neo‐logicist view on abstraction principles is correct. (shrink)

We show that under the assumption of the existence of the canonical inner model with one Woodin cardinal$M_1$, there is a model of$\mathsf {ZFC}$in which$\mbox {NS}_{\omega _{1}}$is$\aleph _2$-saturated and${\Delta }_{1}$-definable with$\omega _1$as a parameter which answers a question of S. D. Friedman and L. Wu. We also show that starting from an arbitrary universe with a Woodin cardinal, there is a model with$\mbox {NS}_{\omega _{1}}$saturated and${\Delta }_{1}$-definable with a ladder system$\vec {C}$and a full Suslin treeTas parameters. Both results rely on (...) a new coding technique whose presentation is the main goal of this article. (shrink)

The distinction between causal role and selected effect functions is typically framed in terms of their respective explanatory roles. However, much of the controversy over functions in genomics takes place in an investigative, not an explanatory context. Specifically, the process of component-driven functional investigation begins with the designation of some genetic or epigenetic element as functional —i.e. not junk— because it possesses properties that, arguably, suggest some biologically interesting organismal effect. The investigative process then proceeds, in a bottom-up fashion, to (...) search for those effects. I argue that this process encounters a problem reminiscent of one that Gould and Lewontin associated with the adaptationist program. Just as their stereotypical adaptationst became trapped in the myopic pursuit of one selectionist hypothesis after another, so can the investigation of CR functions in genomics lead to an unending series putative organism-level CR functions for junk DNA. This is an acute problem for genomics, because eukaryotic genomes are littered with transposable elements and their deactivated descendants which often masquerade as interesting CR-functional components and it is experimentally onerous to determine whether they lack such a function. I further argue that selectionist reasoning about TE-host coevolutionary dynamics can greatly streamline the investigative process. Importantly, selectionist hypotheses need not be well confirmed to be illuminating in this context. Informed selectionist reasoning about the strategic roles of TEs in the genome offers a corrective to the idea that most of our DNA is somehow CR functional for the organism. (shrink)

The normative mechanics of promising seem complex. The strength and content of promissory obligations, and the residual duties they entail upon being violated, have various prima facie surprising features. We give an account to explain these features. Promises have a point. The point of a promise to φ is a promise-independent reason to φ for the promisee’s sake. A promise turns this reason into a duty. This explains the mechanics of promises. And it grounds a nuanced picture of immoral promises, (...) an argument against promissory bare wrongings, and a constraint on theories of why we have promissory obligations at all. (shrink)

I am focusing here on the main counterarguments that were raised against a thesis I put forward in my article “Nietzsche, the Overhuman, and Transhumanism” (2009), namely that significant similarities can be found on a fundamental level between the concept of the posthuman, as put forward by some transhumanists, and Nietzsche’s concept of the overhuman. The articles with the counterarguments were published in the recent “Nietzsche and European Posthumanisms” issue of The Journal of Evolution and Technology (January-July 2010). As several (...) commentators referred to identical issues, I decided that it would be appropriate not to respond to each of the articles individually, but to focus on the central arguments and to deal with the counterarguments mentioned in the various replies. I am concerned with each topic in a separate section. The sections are entitled as follows: 1. Technology and evolution; 2. Overcoming nihilism; 3. Politics and liberalism; 4. Utilitarianism or virtue ethics?; 5. The good Life; 6. Creativity and the will to power; 7. Immortality and longevity; 8. Logocentrism; 9. The Third Reich. When dealing with the various topics, I am not merely responding to counterarguments; I also raise questions concerning transhumanism and put forward my own views concerning some of the questions I am dealing with. (shrink)

ABSTRACTLocke’s influential discussion of agency in the chapter ‘Of Power’ in the Essay Concerning Human Understanding underwent important changes between the first and second edition. He reconside...

Research on patients with damage to ventromedial frontal cortices suggests a key role for emotions in practical decision making. This field of investigation is often associated with Antonio Damasio’s Somatic Marker Hypothesis—a putative account of the mechanism through which autonomic tags guide decision making in typical individuals. Here we discuss two questionable assumptions—or ‘myths’—surrounding the direction and interpretation of this research. First, it is often assumed that there is a single somatic marker hypothesis. As others have noted, however, Damasio’s ‘hypothesis’ (...) admits of multiple interpretations (Dunn et al. [2006]; Colombetti [2008]). Our analysis builds upon this point by characterizing decision making as a multi-stage process and identifying the various potential roles for somatic markers. The second myth is that the available evidence suggests a role for somatic markers in the core stages of decision making, that is, during the generation, deliberation, or evaluation of candidate options. On the contrary, we suggest that somatic markers most likely have a peripheral role, in the recognition of decision points, or in the motivation of action. This conclusion is based on an examination of the past twenty-five years of research conducted by Damasio and colleagues, focusing in particular on some early experiments that have been largely neglected by the critical literature. 1 Introduction2 What is the Somatic Marker Model?3 Multiple Somatic Marker Hypotheses3.1 Are somatic markers necessary for practical decision making?3.2 Speed, accuracy, or both?3.3 At which of the five stages of decision making are somatic markers engaged?4 Anecdotal Evidence Suggests a Peripheral Role for Somatic Markers4.1 Chronic indecisiveness4.2 Extreme impulsiveness4.3 Enhanced decision making in the lab4.4 Lack of motivation. 5 Early Experiments Suggest that VMF Damage Leaves Core Processes Intact5.1 The evocative images study5.2 Five problem solving tasks6 Recent Experiments Fail to Discriminate among Alternate Versions of SMH7 Conclusion. (shrink)

Most accounts of our knowledge of the successor axiom claim that this is based on the procedure of adding one. While they usually don’t claim to provide an account of how children actually acquire this knowledge, one may well think that this is how they get that knowledge. I argue that when we look at children’s responses in interviews, the time when they learn the successor axiom and the intermediate learning stages they find themselves in, that there is an empirically (...) viable alternative. I argue that they could also learn it on the basis of a method that has to do with the structure of the numeral system. Specifically, that they (1) use the syntactic structure of the numeral system and (2) attend to the leftmost digits, the one with the highest place-value. Children can learn that this is a reliable method of forming larger numbers by combining two elements. First, a grasp of the syntactic structure of the numeral system. That way they know that the leftmost digit receives the highest value. Second, an interpretation of numerals as designating cardinal values, so that they also realise that increasing or adding digits on the lefthand side of a numeral produces a larger number. There are thus two, currently equally well-supported, ways in which children might learn that there are infinitely many natural numbers. (shrink)

The paradox of predictability refers to situations in which, even in a deterministic universe, a correct prediction of a future action is seemingly impossible because the agent whose action is predicted is determined to act counterpredictively. In a recent contribution to this journal, Victor Gijsbers provides an example of the paradox in which the undecidability of the situation plays an essential role and claims, additionally, that this undecidability is at the root of all examples of the paradox. This paper argues, (...) first, that the latter claim is not correct because there are clear examples of the paradox in which the situation remains fully decidable. The paper argues, secondly, that, because of its reliance on rather artificial conditions and in contrast with examples referring to the physical nature of the predictor, the example presented by Gijsbers, though technically correct, has little relevance for our understanding of the role of (counter-)predictability in the context of human interactions. (shrink)

Theater rehearsals are (usually) confronted with the problem of having to transform a written text into an audio-visual, situated and temporal performance. Our contribution focuses on the emergence and stabilization of a gestural form as a solution for embodying a certain aesthetic concept which is derived from the script. This process involves instructions and negotiations, making the process of stabilization publicly and thus intersubjectively accessible. As scenes are repeatedly rehearsed, rehearsals are perspicuous settings for tracking interactional histories. Based on videotaped (...) professional theatre interactions in Germany, we focus on consecutive instances of rehearsing the same scene and trace the interactional history of a particular gesture. This gesture is used by the director to instruct the actors to play a particular aspect of a scene adopting a certain aesthetic concept. Stabilization requires the emergence of shared knowledge. We will show the practices by which shared knowledge is established over time during the rehearsal process and, in turn, how the accumulation of knowledge contributes to a change in the interactional practices themselves. Specifically, we show how a gesture emerges in the process of developing and embodying an aesthetic concept, and how this gesture eventually becomes a sign that refers to and evokes accumulated knowledge. At the same time, we show how this accumulated knowledge changes the instructional activities in the rehearsal process. Our study contributes to the overall understanding of knowledge accumulation in interaction in general and in theater rehearsals in particular. At the same time, it is devoted to the central importance of gestures in theater, which are both a means and a product of theatrical staging. (shrink)

In order to at least begin addressing the extensive the problem of moral clarity in aiding the deprived to some degree, I first argue that the duty to aid the deprived is not merely a charitable one, dependent on the discretion, or the arbitrary will, of the giver (1). Then, before further analysing the individual duty to aid, I critically examine whether deprivation is better alleviated or remedied through the duties of corrective justice. I argue that the perspective of corrective (...) justice is important, but not sufficient when it comes to dealing with deprivation (2). I then argue that non-domination cannot serve as a first-order principle of justice. It is too minimalistic, since it would not require duties of justice where deprivation exists, but dominating relations and institutions do not. (3). Going back to the individual duty to help, I argue that the duties to aid the needy must be assessed according to the situation at hand (4). In order to avoid meaninglessness and morality’s excessive demands, one should be able to identify the responsible agents by constructing a shared and, in the last resort, institution-based duty to help (5). The institutional approach in this paper argues that we should create and reform institutions in order to realize the pre-existing requirement to alleviate global deprivation. This is a form of “global political justice” that does not start with politics, but ends with global political institutions. (shrink)

As conservation biology has developed as a distinct discipline from ecology, conservation guidelines based on ecological theory have been largely cast aside in favor of theory-independent decision procedures for designing conservation reserves. I argue that this transition has failed to advance the field toward its aim of preserving biodiversity. The abandonment of island biogeography theory in favor of complementarity-based algorithms is a case in point. In what follows, I consider the four central objections raised against island biogeographic conservation guidelines, arguing (...) that they fail to undermine the credibility of this framework as a conservation tool. At best, these objections call for a more careful application of this framework to conservation problems, not its wholesale abandonment. At the same time, complementarily-based algorithms are biased in favor of networks of small reserves containing non-overlapping species. These conditions threaten to promote inbreeding depression, genetic drift and other factors that increase a population’s risk of extinction. Therefore, recent developments in the field of conservation biology have arguably not contributed to its ultimate aim of preserving the maximum amount of biodiversity in the long run. (shrink)

On the basis of an earlier contribution to the philosophy of computer science by Amnon Eden, this essay discusses to what extent Eden’s ‘paradigms’ of computer science can be transferred or applied to software engineering. This discussion implies an analysis of how software engineering and computer science are related to each other. The essay concludes that software engineering can neither be fully subsumed by computer science, nor vice versa. Consequently, also the philosophies of computer science and software engineering—though related to (...) each other—are not identical branches of a general philosophy of science. This also implies that not all of Eden’s earlier arguments can be directly mapped from the domain of computer science into the domain of software science. After the discussion of this main topic, the essay also points to some further problems and open issues for future studies in the philosophy of software science and engineering. (shrink)

In their recent paper Bi-facial truth: a case for generalized truth values Zaitsev and Shramko [7] distinguish between an ontological and an epistemic interpretation of classical truth values. By taking the Cartesian product of the two disjoint sets of values thus obtained, they arrive at four generalized truth values and consider two “semi-classical negations” on them. The resulting semantics is used to define three novel logics which are closely related to Belnap’s well-known four valued logic. A syntactic characterization of these (...) logics is left for further work. In this paper, based on our previous work on a functionally complete extension of Belnap’s logic, we present a sound and complete tableau calculus for these logics. It crucially exploits the Cartesian nature of the four values, which is reflected in the fact that each proof consists of two tableaux. The bi-facial notion of truth of Z&S is thus augmented with a bi-facial notion of proof. We also provide translations between the logics for semi-classical negation and classical logic and show that an argument is valid in a logic for semi-classical negation just in case its translation is valid in classical logic. (shrink)

There are several important criticisms against the unificationist model of scientific explanation: Unification is a broad and heterogeneous notion and it is hard to see how a model of explanation based exclusively on unification can make a distinction between genuine explanatory unification from cases of ordering or classification. Unification alone cannot solve the asymmetry and irrelevance problems. Unification and explanation pull in different directions and should be decoupled, because for good scientific explanation extra ad explanandum information is often required. I (...) am presenting a possible solution to those problems, by focusing on an often overlooked but important element of how theoretic unification is achieved—the conceptual frameworks of theories. The core conceptual assumptions behind theories are decisive for discriminating between explanatory and non-explanatory unification. The conceptual framework is also flexible enough to balance the tension between informativeness and maximum systematization in constructing explanatory inferences. A short case study of orthogenetic and Darwinian explanations in paleontology is presented as an illustration of how my addition to the unificationist model is applicable to a historical debate between rival explanations. (shrink)

Neo-Russellians like Salmon and Braun hold that: the semantic contents of sentences are structured propositions whose basic components are objects and properties, names are directly referential terms, and a sentence of the form ‘n believes that S’ is true in a context c iff the referent of the name n in c believes the proposition expressed by S in c. This is sometimes referred to as ‘the Naive Russellian theory’. In this talk, I will discuss the Naive Russellian theory primarily (...) in connection with a problem known as Schiffer’s puzzle. Schiffer first presented the puzzle as an argument against the Naive Russellian theory. Schiffer’s argument proceeds in two steps. In step one, Schiffer argues that the Naive Russellian theory is committed to two principles regarding de re belief; the special-case consequence and Frege’s constraint. Then, in step two, Schiffer argues that the special-case consequence is not consistent with Frege’s constraint. Salmon and Braun reply to Schiffer’s argument that although the Naive Russellian theory is committed to Frege’s constraint, it is not committed to the special-case consequence. However, in this paper, I will argue with a new Schiffer-case that even if the Naive Russellian theory is not committed to the special-case consequence, it is still not consistent with Frege’s constraint. Concluding, I will discuss the possibility to reject Frege’s constraint within the Naive Russellian theory. (shrink)

This paper discusses the Indirect Duties View implying that, when our actions have no negative effects on humans, we can treat animals any way we wish. I offer several criticisms of this view. Subsequently, I explore some implications of rejecting this view that rise in the contexts of animal research and veterinarian ethics.

The dissertation provides a reconstruction of Bernard Bolzano's theory of grounding (both in early and late works) against the background of a classical conception of science and scientific explanation.

In this paper we give an analytic tableau calculus P L 1 6 for a functionally complete extension of Shramko and Wansing’s logic. The calculus is based on signed formulas and a single set of tableau rules is involved in axiomatising each of the four entailment relations ⊧ t, ⊧ f, ⊧ i, and ⊧ under consideration—the differences only residing in initial assignments of signs to formulas. Proving that two sets of formulas are in one of the first three entailment (...) relations will in general require developing four tableaux, while proving that they are in the ⊧ relation may require six. (shrink)

In this article, I consider a number of arguments that assume that beings who have immortal souls occupy a special position in the sphere of moral concern. First, I place these arguments in their historical and cultural contexts. Next, I formulate several conditions of adequacy that all such arguments must satisfy. Subsequently, I distinguish two different general kinds of such arguments: Inclusionary arguments attempt to use the immortality of soul as a criterion for either including someone into a sphere of (...) morality while excluding others or, at least, for elevating someone's position within this sphere. Modifying arguments attempt to strengthen or weaken moral considerations that already apply to a being included into the sphere of morality. I argue that, although some modifying arguments may fulfill all conditions of adequacy, they have very little practical importance. (shrink)