In the accepted view, the basic disposition of believers is one of absolute obedience, humility, and lack of critique, doubt, or, indeed, defiance of God. Only through such a disposition do believers convey their absolute faith and establish the appropriate hierarchy between God and humans. This article challenges this view and argues that, in mainstream rabbinic tradition, the believer is not required to renounce his or her moral autonomy and certainly not his or her understanding of God and the world. (...) Indeed, faith rests on such understanding; moreover, human autonomy is the mechanism through which humans convey God’s goodness and perfection. Their questions and criticism are part of a persistent effort to close the evident gap between their assumptions about God’s goodness and the flawed imperfect reality. The analysis focuses on rabbinic tradition but its implications go beyond it, presenting a model of a life of faith that compels subjects, as believers, to preserve their constitutive foundations as rational autonomous creatures. (shrink)

Both left libertarians, who support the redistribution of income and wealth through taxation, and right libertarians, who oppose redistributive taxation, share an important view: that, looming catastrophes aside, the state must never redistribute any part of our body or our person without our consent. Cécile Fabre rejects that view. For her, just as the undeservedly poor have a just claim to money from their fellow citizens in order to lead a minimally flourishing life, the undeservedly ‘medically poor’ have a just (...) claim to help from fellow citizens in order to lead such a life. Such obligatory help may in principle involve even the supply of body parts for transplantation. The state ought to exact such resources from the medically rich whenever doing so would secure the prospect of a minimally flourishing life to the medically poor without denying that prospect to anyone else. Fabre criticizes Ronald Dworkin's belief in ‘a prophylactic line that comes close to making the body inviolate, that is, making body parts not parts of social resources at all’. For her, ‘Duties to help. . . do not stop at material resources: they involve the body. . . in invasive ways’. (shrink)

Tarski characterized logical notions as invariant under permutations of the domain. The outcome, according to Tarski, is that our logic, which is commonly said to be a logic of extension rather than intension, is not even a logic of extension—it is a logic of cardinality. In this paper, I make this idea precise. We look at a scale inspired by Ruth Barcan Marcus of various levels of meaning: extensions, intensions and hyperintensions. On this scale, the lower the level of meaning, (...) the more coarse-grained and less “intensional” it is. I propose to extend this scale to accommodate a level of meaning appropriate for logic. Thus, below the level of extension, we will have a more coarse-grained level of form. I employ a semantic conception of form, adopted from Sher, where forms are features of things “in the world”. Each expression in the language embodies a form, and by the definition we give, forms will be invariant under permutations and thus Tarskian logical notions. I then define the logical terms of a language as those terms whose extension can be determined by their form. Logicality will be shown to be a lower level analogue of rigidity. Using Barcan Marcus’s principles of explicit and implicit extensionality, we are able to characterize purely logical languages as “sub-extensional”, namely, as concerned only with form, and we thus obtain a wider perspective on both logicality and extensionality. (shrink)

In recent decades, the scientific study of consciousness has significantly increased our understanding of this elusive phenomenon. Yet, despite critical development in our understanding of the functional side of consciousness, we still lack a fundamental theory regarding its phenomenal aspect. There is an “explanatory gap” between our scientific knowledge of functional consciousness and its “subjective,” phenomenal aspects, referred to as the “hard problem” of consciousness. The phenomenal aspect of consciousness is the first-person answer to “what it’s like” question, and it (...) has thus far proved recalcitrant to direct scientific investigation. Naturalistic dualists argue that it is composed of a primitive, private, non-reductive element of reality that is independent from the functional and physical aspects of consciousness. Illusionists, on the other hand, argue that it is merely a cognitive illusion, and that all that exists are ultimately physical, non-phenomenal properties. We contend that both the dualist and illusionist positions are flawed because they tacitly assume consciousness to be an absolute property that doesn’t depend on the observer. We develop a conceptual and a mathematical argument for a relativistic theory of consciousness in which a system either has or doesn’t have phenomenal consciousness with respect to some observer. Phenomenal consciousness is neither private nor delusional, just relativistic. In the frame of reference of the cognitive system, it will be observable and in other frame of reference it will not. These two cognitive frames of reference are both correct, just as in the case of an observer that claims to be at rest while another will claim that the observer has constant velocity. Given that consciousness is a relativistic phenomenon, neither observer position can be privileged, as they both describe the same underlying reality. Based on relativistic phenomena in physics we developed a mathematical formalization for consciousness which bridges the explanatory gap and dissolves the hard problem. Given that the first-person cognitive frame of reference also offers legitimate observations on consciousness, we conclude by arguing that philosophers can usefully contribute to the science of consciousness by collaborating with neuroscientists to explore the neural basis of phenomenal structures. (shrink)

In standard model-theoretic semantics, the meaning of logical terms is said to be fixed in the system while that of nonlogical terms remains variable. Much effort has been devoted to characterizing logical terms, those terms that should be fixed, but little has been said on their role in logical systems: on what fixing their meaning precisely amounts to. My proposal is that when a term is considered logical in model theory, what gets fixed is its intension rather than its extension. (...) I provide a rigorous way of spelling out this idea, and show that it leads to a graded account of logicality: the less structure a term requires in order for its intension to be fixed, the more logical it is. Finally, I focus on the class of terms that are invariant under isomorphisms, as they render themselves more easily to mathematical treatment. I propose a mathematical measure for the logicality of such terms based on their associated Löwenheim numbers. (shrink)

The Global Burden of Disease Study is one of the largest-scale research collaborations in global health, producing critical data for researchers, policy-makers, and health workers about more than 350 diseases, injuries, and risk factors. Such an undertaking is, of course, extremely complex from an empirical perspective. But it also raises complex ethical and philosophical questions. In this volume, a group of leading philosophers, economists, epidemiologists, and policy scholars identify and discuss these philosophical questions. Better appreciating the philosophical dimensions of a (...) study like the GBD can make possible a more sophisticated interpretation of its results, and it can improve epidemiological studies in the future, so that they are better suited to produce results that help us to improve global health. (shrink)

Dreams are a remarkable experiment in psychology and neuroscience, conducted every night in every sleeping person. They show that the human brain, disconnected from the environment, can generate an entire world of conscious experiences by itself. Content analysis and developmental studies have promoted understanding of dream phenomenology. In parallel, brain lesion studies, functional imaging and neurophysiology have advanced current knowledge of the neural basis of dreaming. It is now possible to start integrating these two strands of research to address fundamental (...) questions that dreams pose for cognitive neuroscience: how conscious experiences in sleep relate to underlying brain activity; why the dreamer is largely disconnected from the environment; and whether dreaming is more closely related to mental imagery or to perception. (shrink)

We show that there is a restriction, or modification of the finite-variable fragments of First Order Logic in which a weak form of Craig's Interpolation Theorem holds but a strong form of this theorem does not hold. Translating these results into Algebraic Logic we obtain a finitely axiomatizable subvariety of finite dimensional Representable Cylindric Algebras that has the Strong Amalgamation Property but does not have the Superamalgamation Property. This settles a conjecture of Pigozzi [12].

Is the mathematical function being computed by a given physical system determined by the system’s dynamics? This question is at the heart of the indeterminacy of computation phenomenon (Fresco et al. [unpublished]). A paradigmatic example is a conventional electrical AND-gate that is often said to compute conjunction, but it can just as well be used to compute disjunction. Despite the pervasiveness of this phenomenon in physical computational systems, it has been discussed in the philosophical literature only indirectly, mostly with reference (...) to the debate over realism about physical computation and computationalism. A welcome exception is Dewhurst’s ([2018]) recent analysis of computational individuation under the mechanistic framework. He rejects the idea of appealing to semantic properties for determining the computational identity of a physical system. But Dewhurst seems to be too quick to pay the price of giving up the notion of computational equivalence. We aim to show that the mechanist need not pay this price. The mechanistic framework can, in principle, preserve the idea of computational equivalence even between two different enough kinds of physical systems, say, electrical and hydraulic ones. (shrink)

Brain implants, such as Deep Brain Stimulation (DBS), which are designed to improve motor, mood and behavioural pathology, present unique challenges to our understanding of identity, agency and free will. This is because these devices can have visible effects on persons' physical and psychological properties yet are essentially undetectable when operating correctly. They can supplement and compensate for one's inherent abilities and faculties when they are compromised by neuropsychiatric disorders. Further, unlike talk therapy or pharmacological treatments, patients need not ‘do’ (...) anything for the treatment to take effect. If one accepts, as we argue here, that brain implants are unique among implantable types of devices, then this can have significant implications for what it means to persist as the same person and be the source of one's thoughts and actions. By examining two of the most common indications for DBS in current use, namely in the motor (Parkinson's Disease) and psychiatric (Major Depression) domains, we further argue that although DBS, as it is currently applied, does not necessarily represent a unique threat to personal identity and agency per se, it introduces an unprecedented ‘third party’ into the debate on these concepts. In this way, DBS can be used as a tool to begin probing, both conceptually and empirically, some of philosophy's most perennial metaphysical questions. (shrink)

There are many different notions of information in logic, epistemology, psychology, biology and cognitive science, which are employed differently in each discipline, often with little overlap. Since our interest here is in biological processes and organisms, we develop a taxonomy of functional information that extends the standard cue/signal distinction. Three general, main claims are advanced here. This new taxonomy can be useful in describing learning and communication. It avoids some problems that the natural/non-natural information distinction faces. Functional information is​ ​produced (...) through exploration and stabilisation processes. (shrink)

Is the mathematical function being computed by a given physical system determined by the system’s dynamics? This question is at the heart of the indeterminacy of computation phenomenon (Fresco et al. [unpublished]). A paradigmatic example is a conventional electrical AND-gate that is often said to compute conjunction, but it can just as well be used to compute disjunction. Despite the pervasiveness of this phenomenon in physical computational systems, it has been discussed in the philosophical literature only indirectly, mostly with reference (...) to the debate over realism about physical computation and computationalism. A welcome exception is Dewhurst’s ([2018]) recent analysis of computational individuation under the mechanistic framework. He rejects the idea of appealing to semantic properties for determining the computational identity of a physical system. But Dewhurst seems to be too quick to pay the price of giving up the notion of computational equivalence. We aim to show that the mechanist need not pay this price. The mechanistic framework can, in principle, preserve the idea of computational equivalence even between two different enough kinds of physical systems, say, electrical and hydraulic ones. (shrink)

This paper presents a review of academic literature, policy documents from government organizations and international agencies, and reports from industries and popular media on the trends in Big Data utilization in key development issues and its worthwhileness, usefulness, and relevance. By looking at Big Data deployment in a number of key economic sectors, it seeks to provide a better understanding of the opportunities and challenges of using it for addressing key issues facing the developing world. It reviews the uses of (...) Big Data in agriculture and farming activities in developing countries to assess the capabilities required at various levels to benefit from Big Data. It also provides insights into how the current digital divide is associated with and facilitated by the pattern of Big Data diffusion and its effective use in key development areas. It also discusses the lessons that developing countries can learn from the utilization of Big Data in big corporations as well as in other activities in industrialized countries. (shrink)

Major depression is among the most common, challenging and disabling conditions. It is highly heterogeneous, affects patients throughout the lifespan and, in up to one-third of people affected, res...

This response to Gail Henderson et al argues that they were right that interviewees’ appraisals of cure study participation should inform protocol review decisions, but wrong to take these appraisals at face value.

Do the dynamics of a physical system determine what function the system computes? Except in special cases, the answer is no: it is often indeterminate what function a given physical system computes. Accordingly, care should be taken when the question ‘What does a particular neuronal system do?’ is answered by hypothesising that the system computes a particular function. The phenomenon of the indeterminacy of computation has important implications for the development of computational explanations of biological systems. Additionally, the phenomenon lends (...) some support to the idea that a single neuronal structure may perform multiple cognitive functions, each subserved by a different computation. We provide an overarching conceptual framework in order to further the philosophical debate on the nature of computational indeterminacy and computational explanation. (shrink)

The notion of the riddle plays a pivotal role in Wittgenstein’s Tractatus . By examining the comparisons he draws between philosophical problems and riddles, this paper offers a reassessment of the aims and methods of the book. Solving an ordinary riddle does not consist in learning a new fact; what it requires is that we transform the way we use words. Similarly, Wittgenstein proposes to transform the way philosophers understand the nature of their problems. But since he holds that these (...) problems are ultimately unsolvable, rather than attempting to solve the riddles of philosophy, he aims to dissolve them. (shrink)

The fundamental error of the metaphysical tradition, according to Heidegger, is the subordination of general ontology to the ontology of a special, exemplary entity (God, the soul, etc.). But Being and Time itself treats one kind of entity as exemplary, namely Dasein. Does this mean that Heidegger fails to free himself from the kind of metaphysics that he sought to criticize? To show how he avoids this charge I propose to examine the parallels between the methodology of Being and Time (...) and the methodology Heidegger ascribes to Aristotle's Metaphysics. Heidegger takes the virtue of Aristotle's inquiry to reside in the way he resists the subordination of general to special ontology: Aristotle was guided by a "double concept" of metaphysics, pursued two irreducibly distinct methods of inquiry, and avoided the temptation to unite them. In proposing to similarly pursue a "double task" in Being and Time Heidegger seeks to apply this insight to his own work. Alongside the task of fundamental ontology, Heidegger spells out the shape of a second task, Destruktion, understood as a historical critique that traces ontological concepts back to their ontic roots. But Destruktion is not a mere addendum to fundamental ontology; the two tasks are meant to counterbalance one another and thereby prevent the collapse of the ontological difference between being and beings. Indeed, Heidegger proposes to apply Destruktion to the results of his own fundamental ontology. He hopes to thereby achieve a transformation of the philosophical attitude which underpins the metaphysical tradition. (shrink)

A single physical process may often be described equally well as computing several different mathematical functions—none of which is explanatorily privileged. How, then, should the computational identity of a physical system be determined? Some computational mechanists hold that computation is individuated only by either narrow physical or functional properties. Even if some individuative role is attributed to environmental factors, it is rather limited. The computational semanticist holds that computation is individuated, at least in part, by semantic properties. She claims that (...) the mechanistic account lacks the resources to individuate the computations performed by some systems, thereby leaving interesting cases of computational indeterminacy unaddressed. This article examines some of these views, and claims that more cases of computational indeterminacy can be addressed, if the system-environment interaction plays a greater role in individuating computations. A new, long-arm functional strategy for individuating computation is advanced. (shrink)

Advances in neuromodulation and an improved understanding of the anatomy and circuitry of psychopathology have led to a resurgence of interest in surgery for psychiatric disease. Clinical trials exploring deep brain stimulation (DBS), a focally targeted, adjustable and reversible form of neurosurgery, are being developed to address the use of this technology in highly selected patient populations. Psychiatric patients deemed eligible for surgical intervention, such as DBS, typically meet stringent inclusion criteria, including demonstrated severity, chronicity and a failure of conventional (...) therapy. Although a humanitarian device exemption by the US Food and Drug Administration exists for its use in obsessive-compulsive disorder, DBS remains a largely experimental treatment in the psychiatric context, with its use currently limited to clinical trials and investigative studies. The combination of a patient population at the limits of conventional therapy and a novel technology in a new indication poses interesting challenges to the informed consent process as it relates to clinical trial enrollment. These challenges can be divided into those that relate to the patient, their disease and the technology, with each illustrating how traditional conceptualisations of research consent may be inadequate in the surgical psychiatry context. With specific reference to risk analysis, patient autonomy, voluntariness and the duty of the clinician-researcher, this paper will discuss the unique challenges that clinical trials of surgery for refractory psychiatric disease present to the consent process. Recommendations are also made for an ethical approach to clinical trial consent acquisition in this unique patient population. (shrink)

Let be a countable first order structure and endow the universe of with the discrete topology. Then the automorphism group of becomes a topological group. A tuple of automorphisms is defined to be weakly generic iff its diagonal conjugacy class (in the algebraic sense) is dense (in the topological sense) and the ‐orbit of each is finite. Existence of tuples of weakly generic automorphisms are interesting from the point of view of model theory as well as from the point of (...) view of finite combinatorics.The main results of the present work are as follows. In Theorem 2.6 we characterize the existence of tuples of weakly generic automorphisms with the aid of the profinite topology of free groups. In Corollary 2.12 we will show that if has finite topological rank r (and satisfies a further, mild technical condition) then the existence of a weakly generic tuple in implies the existence of weakly generic tuples in for all natural number. Finally, in Theorem 3.2 we show that if is a countable model of an ℵ0‐categorical, simple theory in which all types over the empty set are stationary and has a pair of weakly generic automorphisms then it has tuples of weakly generic automorphisms of arbitrary finite length.At the technical level we will combine elementary investigations about the profinite topology of free groups with the results of [11] about topological ranks of the automorphism groups of some structures. (shrink)

The question ‘What is computation?’ might seem a trivial one to many, but this is far from being in consensus in philosophy of mind, cognitive science and even in physics. The lack of consensus leads to some interesting, yet contentious, claims, such as that cognition or even the universe is computational. Some have argued, though, that computation is a subjective phenomenon: whether or not a physical system is computational, and if so, which computation it performs, is entirely a matter of (...) an observer choosing to view it as such. According to one view, which we dub bold anti-realist pancomputationalism, every physical object (can be said to) computes every computer program. According to another, more modest view, some computational systems can be ascribed multiple computational descriptions. We argue that the first view is misguided, and that the second view need not entail observer-relativity of computation. At least to a large extent, computation is an objective phenomenon. Construed as a form of information processing, we argue that information-processing considerations determine what type of computation takes place in physical systems. (shrink)

Fear can undermine cooperation. It may discourage individuals from collaborating with others because of concerns about potential exploitation; prompt them to engage in defensive aggression by launching a preemptive strike; and propel power-seeking individuals to act dominantly rather than compassionately. Therefore, accumulated evidence requires a more contextualized consideration of the link between fear and cooperation in adults.

Recent developments in the field of neurosurgery, specifically those dealing with the modification of mood and affect as part of psychiatric disease, have led some researchers to discuss the ethical implications of surgery to alter personality and personal identity. As knowledge and technology advance, discussions of surgery to alter undesirable traits, or possibly the enhancement of normal traits, will play an increasingly larger role in the ethical literature. So far, identity and enhancement have yet to be explored in a neurosurgical (...) context, despite the fact that 1) neurological disease and treatment both potentially alter identity, and 2) that neurosurgeons will likely be the purveyors of future enhancement implantable technology. Here, we use interviews with neurosurgical patients to shed light on the ethical issues and challenges that surround identity and enhancement in neurosurgery. The results provide insight into how patients approach their identity prior to potentially identity-altering procedures and what future ethical challenges lay ahead for clinicians and researchers in the field of neurotherapeutics. (shrink)

The claims that “The brain processes information” or “Cognition is information processing” are accepted as truisms in cognitive science. However, it is unclear how to evaluate such claims absent a specification of “information” as it is used by neurocognitive theories. The aim of this article is, thus, to identify the key features of information that information-based neurocognitive theories posit. A systematic identification of these features can reveal the explanatory role that information plays in specific neurocognitive theories, and can, therefore, be (...) both theoretically and practically important. These features can be used, in turn, as desiderata against which candidate theories of information may be evaluated. After discussing some characteristics of explanation in cognitive science and their implications for “information”, three notions are briefly introduced: natural, sensory, and endogenous information. Subsequently, six desiderata are identified and defended based on cognitive scientific practices. The global workspace theory of consciousness is then used as a specific case study that arguably posits either five or six corresponding features of information. (shrink)

The literature on conscientious objection in medicine presents two key problems that remain unresolved: Which conscientious objections in medicine are justified, if it is not feasible for individual medical practitioners to conclusively demonstrate the genuineness or reasonableness of their objections? How does one respect both medical practitioners’ claims of conscience and patients’ interests, without leaving practitioners complicit in perceived or actual wrongdoing? My aim in this paper is to offer a new framework for conscientious objections in medicine, which, by bringing (...) medical professionals’ conscientious objection into the public realm, solves the justification and complicity problems. In particular, I will argue that: an “Uber Conscientious Objection in Medicine Committee” —which includes representatives from the medical community and from other professions, as well as from various religions and from the patient population—should assess various well-known conscientious objections in medicine in terms of public reason and decide which conscientious objections should be permitted, without hearing out individual conscientious objectors; medical practitioners should advertise their conscientious objections, ahead of time, in an online database that would be easily accessible to the public, without being required, in most cases, to refer patients to non-objecting practitioners. (shrink)

Is reducing large-scale intergroup conflict the business of corporations? Although large corporations can use their power and prominence to reduce intergroup conflict in society, it is unclear to what extent stakeholders support corporate Intergroup Responsibility. Study 1 showed that support for CIR correlates in theoretically meaningful ways with relevant economic, social, and moral attitudes, including fair market ideology, consumer support for corporate social responsibility, social dominance orientation, symbolic racism, and moral foundations. Studies 2 and 3 employed experimental designs to test (...) the hypothesis that business leaders who advocate for intergroup tolerance boost perceptions of corporations and their leaders as moral, just, and fair, which in turn, increases stakeholders’ support for CIR. We found support for this hypothesis across two highly publicized and contentious events related to racial conflict in the U.S.: The White supremacy rally in Charlottesville and the federal government’s announcement about the planned rescinding of the Deferred Action for Childhood Arrivals immigration policy. Specifically, exposing participants to real-world tweets by CEOs who advocated intergroup tolerance following these events increased participants’ support for CIR. This effect was mediated by heightened perceptions of corporations and their leaders as moral, just, and fair. Taken together, these findings enhance our understanding of the factors that shape stakeholders’ reactions to CIR; highlight intergroup conflict as an emerging arena for CSR; and illustrate the power of ethical intergroup leadership. (shrink)

The target article focuses on how attacker-defender conflicts are fought. This commentary complements it by considering how attacker-defender conflicts may be resolved at the bargaining table. I highlight multiple linkages between asymmetric intergroup conflict as modeled with the attacker-defender game and negotiation research and illustrate how the proposed model of attacker-defender conflicts can inspire new research on intergroup negotiation.

A gradual semantics takes a weighted argumentation framework as input and outputs a final acceptability degree for each argument, with different semantics performing the computation in different manners. In this work, we consider the problem of attack inference. That is, given a gradual semantics, a set of arguments with associated initial weights, and the final desirable acceptability degrees associated with each argument, we seek to determine whether there is a set of attacks on those arguments such that we can obtain (...) these acceptability degrees. The main contribution of our work is to demonstrate that the associated decision problem, i.e., whether a set of attacks can exist which allows the final acceptability degrees to occur for given initial weights, is NP-complete for the weighted h-categoriser and card-based semantics, and is polynomial for the weighted max-based semantics, even for the complete version of the problem (where all initial weights and final acceptability degrees are known). We then briefly discuss how this decision problem can be modified to find the attacks themselves and conclude by examining the partial problem where not all initial weights or final acceptability degrees may be known. (shrink)

In this paper I discuss a prevailing view by which logical terms determine forms of sentences and arguments and therefore the logical validity of arguments. This view is common to those who hold that there is a principled distinction between logical and nonlogical terms and those holding relativistic accounts. I adopt the Tarskian tradition by which logical validity is determined by form, but reject the centrality of logical terms. I propose an alternative framework for logic where logical terms no longer (...) play a distinctive role. This account employs a new notion of semantic. (shrink)

Wittgenstein’s Tractatus construes the nature of reasoning in a manner which sharply conflicts with the conventional wisdom that logic is normative, not descriptive of thought. For although we sometimes seem to reason incorrectly, Wittgenstein denies that we can make logical mistakes (5.473). My aim in this paper is to show that the Tractatus provides us with good reasons to rethink some of the central assumptions that are standardly made in thinking about the relation between logic and thought. In particular, the (...) rejection of logical mistakes is to be understood in connection with Wittgenstein’s non-psychological approach to the thinking subject (5.641). On Wittgenstein's view, inference, understanding, and meaning are holistically related; cases of defective reasoning are to be explained in terms of a defective grasp of meaning which manifests in an indeterminate use of signs. Invalid reasoning therefore does not count for Wittgenstein as a species of reasoning, but rather as the mere illusion of reasoning. The rejection of logical mistakes thus gives voice to a radical disjunctivist approach. (shrink)

The idea that the brain is an information processing system raises some challenging questions about whether information exists independently of brains. Answering these questions is relevant for clarifying the theoretical foundations of the sciences of mind and brain, but also for appropriately interpreting and evaluating the evidence about how brains—and other biological systems—work. This article claims that (1) informational descriptions in the sciences of mind and brain can be genuinely explanatory, despite assuming a mind-dependent notion of information; and (2) that (...) either Popperian objectivity or response-dependence in normal receivers is sufficient for grounding the explanatory role that information often plays in these sciences. Hierarchical predictive processing, which has become a central theoretical framework for neurocognitive research, is used as a case study for supporting these two claims. (shrink)

Which inequalities in longevity and health among individuals, groups, and nations are unfair? And what priority should health policy attach to narrowing them? These essays by philosophers, economists, epidemiologists, and physicians attempt to determine how health inequalities should be conceptualized, measured, ranked, and evaluated.

This essay responds to criticisms of and reflections on A Theory of Truces offered by Keith Breen, David Lyons, Colleen Murphy and Thaddeus Metz. I focus on the place of truces within just war theory, the permissibility of making truces with particularly unsavory actors, the tension between present and future considerations in truce making, and Truce Thinking as an instance of non-ideal theory.

Floridi’s Theory of Strongly Semantic Information posits the Veridicality Thesis. One motivation is that it can serve as a foundation for information-based epistemology being an alternative to the tripartite theory of knowledge. However, the Veridicality thesis is false, if ‘information’ is to play an explanatory role in human cognition. Another motivation is avoiding the so-called Bar-Hillel/Carnap paradox. But this paradox only seems paradoxical, if ‘information’ and ‘informativeness’ are synonymous, logic is a theory of inference, or validity suffices for rational inference; (...) a, b, and c are false. (shrink)

The phenomenon of digital computation is explained (often differently) in computer science, computer engineering and more broadly in cognitive science. Although the semantics and implications of malfunctions have received attention in the philosophy of biology and philosophy of technology, errors in computational systems remain of interest only to computer science. Miscomputation has not gotten the philosophical attention it deserves. Our paper fills this gap by offering a taxonomy of miscomputations. This taxonomy is underpinned by a conceptual analysis of the design (...) and implementation of conventional computational systems at various levels of abstraction. It shows that ‘malfunction’ as it is typically used in the philosophy of artefacts only represents one type of miscomputation. (shrink)

ABSTRACT I examine five arguments against removing controversial monuments. I argue that none of these arguments provides good reasons for leaving controversial monuments in place. A close examination of these arguments also points to some of our misconceptions about the nature of monuments. The arguments include the claim that removing monuments rewrites history, that removal amounts to ex-post facto moralizing, that controversial monuments are needed to stir people to healthy debate, that the focus on monuments is a distraction preventing us (...) from making pragmatic progress, and that removing some monuments is the first step in a slippery slope that will lead to excessive censure of historical figures. (shrink)