How ought you to evaluate your options if you’re uncertain about which axiology is true? One prominent response is Expected Moral Value Maximisation, the view that under axiological uncertainty, an option is better than another if and only if it has the greater expected moral value across axiologies. EMVM raises two fundamental questions. First, there’s a question about what it should even mean. In particular, it presupposes that we can compare moral value across axiologies. So to even understand EMVM, we (...) need to explain what it is for such comparisons to hold. Second, assuming that we understand it, there’s a question about whether EMVM is true. Since there are many plausible rivals, we need an argument to defend it. In this paper, I’ll introduce a representation theorem for axiological uncertainty to answer these two questions. Roughly, the theorem shows that if all our axiologies satisfy the von Neumann–Morgenstern axioms, and if the facts about which options are better than which in light of your uncertainty also satisfy these axioms as well as a Pareto condition, then these facts have a relevantly unique expected utility representation. If I’m right, this theorem at once affords us a compelling way to understand EMVM—and specifically intertheoretic comparisons—and a systematic argument for its truth. (shrink)

Users of sociotechnical systems often have no way to independently verify whether the system output which they use to make decisions is correct; they are epistemically dependent on the system. We argue that this leads to problems when the system is wrong, namely to bad decisions and violations of the norm of practical reasoning. To prevent this from occurring we suggest the implementation of defeaters: information that a system is unreliable in a specific case (undercutting defeat) or independent information that (...) the output is wrong (rebutting defeat). Practically, we suggest to design defeaters based on the different ways in which a system might produce erroneous outputs, and analyse this suggestion with a case study of the risk classification algorithm used by the Dutch tax agency. (shrink)

Integrating the study of human diversity into the human evolutionary sciences requires substantial revision of traditional conceptions of a shared human nature. This process may be made more difficult by entrenched, 'folkbiological' modes of thought. Earlier work by the authors suggests that biologically naive subjects hold an implicit theory according to which some traits are expressions of an animal's inner nature while others are imposed by its environment. In this paper, we report further studies that extend and refine our account (...) of this aspect of folkbiology. We examine biologically naive subjects' judgments about whether traits of an animal are 'innate', 'in its DNA' or 'part of its nature'. Subjects do not understand these three descriptions to be equivalent. Both innate and in its DNA have the connotation that the trait is species-typical. This poses an obstacle to the assimilation of the biology of polymorphic and plastic traits by biologically naive audiences. Researchers themselves may not be immune to the continuing pull of folkbiological modes of thought. (shrink)

Process reliabilist accounts claim that a belief is justified when it is the result of a reliable belief-forming process. Yet over what range of possible token processes is this reliability calculated? I argue against the idea that _all_ possible token processes (in the actual world, or some other subset of possible worlds) are to be considered using the case of a user acquiring beliefs based on the output of an AI system, which is typically reliable for a substantial local range (...) but unreliable when all possible inputs are considered. I show that existing solutions to the generality problem imply that these cases cannot be solved by a more fine-grained typing of the belief-forming process. Instead, I suggest that reliability is evaluated over a range restricted by the content of the actual belief and by the similarity of the input to the actual input. (shrink)

How do we get out knowledge of the natural numbers? Various philosophical accounts exist, but there has been comparatively little attention to psychological data on how the learning process actually takes place. I work through the psychological literature on number acquisition with the aim of characterising the acquisition stages in formal terms. In doing so, I argue that we need a combination of current neologicist accounts and accounts such as that of Parsons. In particular, I argue that we learn the (...) initial segment of the natural numbers on the basis of the Fregean definitions, but do not learn the natural number structure as a whole on the basis of Hume's principle. Therefore, we need to account for some of the consistency of our number concepts with the Dedekind-Peano axioms in other terms. (shrink)

I argue for an account of know‐how as a capacity for practical judgment—a view I derive from Gilbert Ryle. I begin by offering an interpretation of Ryle and by correcting a number of widespread misconceptions about his views in the current debate. I then identify some problems with Ryle's account and finally present my own view which, I argue, retains Ryle's insights while avoiding his mistakes.

By using the notions of exact truth and exact falsity, one can give 16 distinct definitions of classical consequence. This paper studies the class of relations that results from these definitions in settings that are paracomplete, paraconsistent or both and that are governed by the Strong Kleene schema. Besides familiar logics such as Strong Kleene logic, the Logic of Paradox and First Degree Entailment, the resulting class of all Strong Kleene generalizations of classical logic also contains a host of unfamiliar (...) logics. We first study the members of our class semantically, after which we present a uniform sequent calculus that is sound and complete with respect to all of them. Two further sequent calculi and \ calculus) will be considered, which serve the same purpose and which are obtained by applying general methods to construct sequent calculi for many-valued logics. Rules and proofs in the SK calculus are much simpler and shorter than those of the \ and the \ calculus, which is one of the reasons to prefer the SK calculus over the latter two. Besides favourably comparing the SK calculus to both the \ and the \ calculus, we also hint at its philosophical significance. (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)

According to an increasingly popular view among philosophers of science, both causal and non-causal explanations can be accounted for by a single theory: the counterfactual theory of explanation. A kind of non-causal explanation that has gained much attention recently but that this theory seems unable to account for are grounding explanations. Reutlinger :239-256, 2017) has argued that, despite these appearances to the contrary, such explanations are covered by his version of the counterfactual theory. His idea is supported by recent work (...) on grounding by Schaffer and Wilson who claim there to be a tight connection between grounding and counterfactual dependence. The present paper evaluates the prospects of the idea. We show that there is only a weak sense in which grounding explanations convey information about counterfactual dependencies, and that this fact cannot plausibly be taken to reveal a distinctive feature that grounding explanations share with other kinds of explanations. (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 Approximate Number System (ANS) is a system that allows us to distinguish between collections based on the number of items, though only if the ratio between numbers is high enough. One of the questions that has been raised is what the representations involved in this system represent. I point to two important constraints for any account: (a) it doesn’t involve numbers, and (b) it can account for the approximate nature of the ANS. Furthermore, I argue that representations of pure (...) magnitude with vehicles that have an imprecision in the value of the unit of measurement (further clarified through a formal model from measurement theory) fit both these requirements. (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)

For Aristotle, a just political community has to find similarity in difference and foster habits of reciprocity. Conventionally, speech and law have been seen to fulfill this role. This article reconstructs Aristotle’s conception of currency ( nomisma) as a political institution of reciprocal justice. By placing Aristotle’s treatment of reciprocity in the context of the ancient politics of money, currency emerges not merely as a medium of economic exchange but also potentially as a bond of civic reciprocity, a measure of (...) justice, and an institution of ethical deliberation. Reconstructing this account of currency ( nomisma) in analogy to law ( nomos) recovers the hopes Aristotle placed in currency as a necessary institution particular to the polis as a self-governing political community striving for justice. If currency was a foundational institution, it was also always insufficient, likely imperfect, and possibly tragic. Turned into a tool for the accumulation of wealth for its own sake, currency becomes unjust and a serious threat to any political community. Aristotelian currency can fail precisely because it contains an important moment of ethical deliberation. This political significance of currency challenges accounts of the ancient world as bifurcated between oikos and polis and encourages contemporary political theorists to think of money as a constitutional project that can play an important role in improving reciprocity across society. (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)

This paper critically compares a deliberative system based on parliamentary elections (an electoral system) and a deliberative system based on sortition (a lottocratic system). Both systems are analyzed in three dimensions. The epistemic dimension concerns the rational quality of the democratic process. The power dimension concerns the distribution of power and the extent to which citizens genuinely control all decisions. The motivational dimension, finally, concerns citizens’ identification with the decision-making process and their willingness to abide by its outcomes. We argue (...) that an electoral system is, in all three dimensions, normatively superior to a sortition-based system. Most prominently, we claim that electoral mechanisms provide visibility to the decision-making process. This enables a form of interactive representation in which citizens and their representatives engage in a joint process of opinion and will formation. Sortition, in contrast, is characterized by a democratically much poorer form of descriptive representation. The selected citizens are a representative sample of the wider citizenry, but they deliberate in a forum that remains mostly disconnected from that wider citizenry and therefore cannot shoulder the process of collective self-government. (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)

In this text I investigate the increasing usage of the Rights of Nature to approach the task of Stewardship for the Earth. The Ecuadorian constitution of 2008 introduces the indigenous concept of Pachamama and interpretes nature as a subject of rights. Reflecting the two 2017 cases of the Whanganui River and the Gangotri and Yamunotri Glaciers, my main argument is that, although the language of individual rights relies on modern subjectivity as well as the constitutionalism of the secular nation state, (...) it is obviously seen as a trans-cultural tool to justify Human Stewardship over the Earth in the Age of Anthropocene. I argue that the new Rights of Nature debate “provides” a straightforward justification of the Stewardship for the Earth and it includes two moments aimed to transcend European Modernity. The Rights Approach justifies obligations towards nature beyond human interests and it appeals to indigenous knowledge as an alternative sphere of argumentation. The relation of this endevor to the Anthropocene is twofold: The indigenous worldviews can now be translated into Rights of Nature because of the two core items of the Anthropocene that are gaining more and more acceptance: the idea of the Earth as a system and of history as a non-linear process. The scientific description of the Earth system offered by the Anthropocene supports holistic narratives of the Rights of Nature and facilitates the recognition of non-Western worldviews. At the same time the Rights of Nature help to clarify the normative claims implicit in the Anthropocene because the integrity of natural items and processes is presented as the explicit reason for a responsible human stewardship towards the Earth. (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)

ABSTRACT How do non-experts single out numbers for reference? Linnebo has argued that they do so using a criterion of identity based on the ordinal properties of numerals. Neo-logicists, on the other hand, claim that cardinal properties are the basis of individuation, when they invoke Hume’s Principle. I discuss empirical data from cognitive science and linguistics to answer how non-experts individuate numbers better in practice. I use those findings to develop an alternative account that mixes ordinal and cardinal properties to (...) provide a detailed answer to the question: how do we in fact semantically individuate numbers? (shrink)

The inference from determinism to predictability, though intuitively plausible, needs to be qualified in an important respect. We need to distinguish between two different kinds of predictability. On the one hand, determinism implies external predictability , that is, the possibility for an external observer, not part of the universe, to predict, in principle, all future states of the universe. Yet, on the other hand, embedded predictability as the possibility for an embedded subsystem in the universe to make such predictions, does (...) not obtain in a deterministic universe. By revitalizing an older result—the paradox of predictability —we demonstrate that, even in a deterministic universe, there are fundamental, non-epistemic limitations on the ability of one subsystem embedded in the universe to predict the future behaviour of other subsystems embedded in the same universe. As an explanation, we put forward the hypothesis that these limitations arise because the predictions themselves are physical events which are part of the law-like causal chain of events in the deterministic universe. While the limitations on embedded predictability cannot in any direct way show evidence of free human agency, we conjecture that, even in a deterministic universe, human agents have a take-it-or-leave-it control over revealed predictions of their future behaviour. (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)

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...

Journal of Mathematical Logic, Volume 22, Issue 02, August 2022. We generically construct a model in which the [math]-separation property is true, i.e. every pair of disjoint [math]-sets can be separated by a [math]-definable set. This answers an old question from the problem list “Surrealist landscape with figures” by A. Mathias from 1968. We also construct a model in which the (lightface) [math]-separation property is true.

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)

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)

This paper examines women’s experiences with decision-making about non-invasive prenatal testing (NIPT). Such tests offer knowledge about chromosomal disorders early in pregnancy, without the risk of miscarriage associated with invasive procedures such as amniocentesis. Based on qualitative interviews with women in Germany who used, or declined, NIPT, we show how some women, who would not consider amniocentesis due to the risk of miscarriage, welcome the knowledge provided by, and the additional agency resulting from, NIPT. For others, declining the offer to (...) “know more” becomes increasingly difficult to articulate. The absence of risk strips women of a “good reason” to justify their decision not to test, thus implicitly challenging their “right not to know.” Moreover, NIPT heightens moral dilemmas within relationships with partners, existing children, and sometimes other close relatives. While clinically “non-invasive,” we argue that NIPT changes decision-making in an ethically and socially highly significant way. (shrink)

Lawton’s contingency thesis states that there are no useful generalizations at the level of ecological communities because these systems are especially prone to contingent historical events. I argue that this influential thesis has been grounded on the wrong kind of evidence. CT is best understood in Woodward’s terms as a claim about the instability of certain causal dependencies across different background conditions. A recent distinction between evolution and ecology reveals what an adequate test of Lawton’s thesis would look like. To (...) date, CT remains untested. But developments in genome and molecular ecology point in a promising direction. (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)

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)

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)

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.

Mathematical cognition has become an interesting case study for wider theories of cognition. Menary :1–20, 2015) argues that arithmetical cognition not only shows that internalist theories of cognition are wrong, but that it also shows that the Hypothesis of Extended Cognition is right. I examine this argument in more detail, to see if arithmetical cognition can support such conclusions. Specifically, I look at how the use of numerals extends our arithmetical abilities from quantity-related innate systems to systems that can deal (...) with exact numbers of arbitrary size. I then argue that the system underlying our grasp of small numbers is an unhelpful case study for Menary; it doesn’t support an argument for externalism over internalism. The system for large numbers, on the other hand, clearly displays important interactions between public numeral systems and our cognitive processes. I argue that the large number system supports an argument against internalist theories of arithmetical cognition, but that one cannot conclude that the Hypothesis of Extended Cognition is correct. In other words, the large number case doesn’t decide between the Hypothesis of Extended Cognition and the Hypothesis of EMbedded Cognition. (shrink)