Die Begegnung von Buddhismus und Christentum fordert ein verwandeltes Selbstverständnis philosophischen Denkens. Der japanische Philosoph Keiji Nishitani sieht in der existenziellen Radikalisierung der Frage «Was ist Religion?» bis zum buddhistischen Standpunkt der Leere die Möglichkeit der Überwindung des Nihilismus. Seine Geschichtsinterpretation öffnet in dieser Arbeit den Zugang zu Nietzsches Leib-Denken in seinem Zarathustra. In diesem Rahmen versucht der Verfasser, mit einer Methodenvielfalt und in Auseinandersetzung mit wichtigen abendländischen Denkern die Fraglichkeit jener Frage an ihre Grenze zu treiben.

The idea of free trade in Grotius's Mare liberum and his legal opinion De iure praedae has a strong theological basis. Grotius called the right to travel and trade freely a ius sanctissimum, a 'sacrosanct law'. He also perceived the Freedom of the Seas as being a direct result of the will of God. This theological background was strategically necessary because Grotius developed the Mare liberum and the De iure praedae to argue against Spanish-Portuguese claims to a trade monopoly that (...) also had theological underpinnings. But the theological aspect of Grotius's theory was also emphasized by the references he made to the Dominican friar Francisco de Vitoria's ius communicationis. This precursor to Grotius's Freedom of the Seas, which Vitoria had developed in his De indis, is connected to the legal justification of Christian mission and so has a clear theological connotation. In Grotius's work, Vitoria's concept of a universal right to Christian mission supervised by the pope was transformed into a theologically supported right to free trade. With this transformation of the ius communicationis into the principle of the Mare liberum, Grotius develops a theological basis not for politics but for economics. One can speak therefore, following Giorgio Agamben, of an 'economic theology' in regard to Grotius, a term that is, in turn, derived from Carl Schmitt's notion of 'political theology'. (shrink)

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)

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)

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)

A computational model of inference during story comprehension is presented, in which story situations are represented distributively as points in a high‐dimensional “situation‐state space.” This state space organizes itself on the basis of a constructed microworld description. From the same description, causal/temporal world knowledge is extracted. The distributed representation of story situations is more flexible than Golden and Rumelhart's [Discourse Proc 16 (1993) 203] localist representation.A story taking place in the microworld corresponds to a trajectory through situation‐state space. During the (...) inference process, world knowledge is applied to the story trajectory. This results in an adjusted trajectory, reflecting the inference of propositions that are likely to be the case. Although inferences do not result from a search for coherence, they do cause story coherence to increase. The results of simulations correspond to empirical data concerning inference, reading time, and depth of processing.An extension of the model for simulating story retention shows how coherence is preserved during retention without controlling the retention process. Simulation results correspond to empirical data concerning story recall and intrusion. (shrink)

In this paper we introduce a Gentzen calculus for (a functionally complete variant of) Belnap's logic in which establishing the provability of a sequent in general requires \emph{two} proof trees, one establishing that whenever all premises are true some conclusion is true and one that guarantees the falsity of at least one premise if all conclusions are false. The calculus can also be put to use in proving that one statement \emph{necessarily approximates} another, where necessary approximation is a natural dual (...) of entailment. The calculus, and its tableau variant, not only capture the classical connectives, but also the `information' connectives of four-valued Belnap logics. This answers a question by Avron. (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)